czt.zxml
Class ASTToDocument

java.lang.Object
  |
  +--czt.zxml.ASTToDocument

class ASTToDocument

extends java.lang.Object

Inner Class Summary

class

ASTToDocument.ASTTransformFailure

Field Summary

Spec	ast
java.lang.String	colPrefix
private static java.lang.String[]	declNames
private static java.util.Set	declNameSet
org.w3c.dom.Document	document
private static java.lang.String[]	exprNames
private static java.util.Set	exprNameSet
private static java.lang.String[]	objectNames
private static java.util.Set	objectNameSet
private static java.lang.String[]	paraNames
private static java.util.Set	paraNameSet
private static java.lang.String[]	predNames
private static java.util.Set	predNameSet
java.lang.String	prefix
private static java.lang.String[]	strokeNames
private static java.util.Set	strokeNameSet
private static java.lang.String[]	typeNames
private static java.util.Set	typeNameSet
java.lang.String	zPrefix

Constructor Summary

ASTToDocument(Spec ast, org.w3c.dom.Document document)

ASTToDocument(Spec ast, org.w3c.dom.Document document, java.lang.String zPrefix, java.lang.String colPrefix)

Method Summary

org.w3c.dom.Document	transform()
org.w3c.dom.Element	transformApplExpr(ApplExpr applexpr)
org.w3c.dom.Element	transformApplExprAnns(ApplExprAnns applexpranns)
org.w3c.dom.Element	transformAxPara(AxPara axpara)
org.w3c.dom.Element	transformAxParaAnns(AxParaAnns axparaanns)
org.w3c.dom.Element	transformBindExpr(BindExpr bindexpr)
org.w3c.dom.Element	transformBindExprAnns(BindExprAnns bindexpranns)
org.w3c.dom.Element	transformBindselExpr(BindselExpr bindselexpr)
org.w3c.dom.Element	transformBindselExprAnns(BindselExprAnns bindselexpranns)
org.w3c.dom.Element	transformBranch(Branch branch)
org.w3c.dom.Element	transformBranchAnns(BranchAnns branchanns)
org.w3c.dom.Element	transformCompExpr(CompExpr compexpr)
org.w3c.dom.Element	transformCompExprAnns(CompExprAnns compexpranns)
org.w3c.dom.Element	transformCondExpr(CondExpr condexpr)
org.w3c.dom.Element	transformCondExprAnns(CondExprAnns condexpranns)
org.w3c.dom.Element	transformConjPara(ConjPara conjpara)
org.w3c.dom.Element	transformConjParaAnns(ConjParaAnns conjparaanns)
org.w3c.dom.Element	transformConstDecl(ConstDecl constdecl)
org.w3c.dom.Element	transformConstDeclAnns(ConstDeclAnns constdeclanns)
org.w3c.dom.Element	transformDecl(Decl node)
org.w3c.dom.Element	transformDeclName(DeclName declname)
org.w3c.dom.Element	transformDeclNameAnns(DeclNameAnns declnameanns)
org.w3c.dom.Element	transformDecorExpr(DecorExpr decorexpr)
org.w3c.dom.Element	transformDecorExprAnns(DecorExprAnns decorexpranns)
org.w3c.dom.Element	transformExpr(Expr node)
org.w3c.dom.Element	transformExprPred(ExprPred exprpred)
org.w3c.dom.Element	transformExprPredAnns(ExprPredAnns exprpredanns)
org.w3c.dom.Element	transformFalsePred(FalsePred falsepred)
org.w3c.dom.Element	transformFalsePredAnns(FalsePredAnns falsepredanns)
org.w3c.dom.Element	transformFreePara(FreePara freepara)
org.w3c.dom.Element	transformFreeParaAnns(FreeParaAnns freeparaanns)
org.w3c.dom.Element	transformFreeType(FreeType freetype)
org.w3c.dom.Element	transformFreeTypeAnns(FreeTypeAnns freetypeanns)
org.w3c.dom.Element	transformGenType(GenType gentype)
org.w3c.dom.Element	transformGivenPara(GivenPara givenpara)
org.w3c.dom.Element	transformGivenParaAnns(GivenParaAnns givenparaanns)
org.w3c.dom.Element	transformGivenType(GivenType giventype)
org.w3c.dom.Element	transformHideExpr(HideExpr hideexpr)
org.w3c.dom.Element	transformHideExprAnns(HideExprAnns hideexpranns)
org.w3c.dom.Element	transformInclDecl(InclDecl incldecl)
org.w3c.dom.Element	transformInclDeclAnns(InclDeclAnns incldeclanns)
org.w3c.dom.Element	transformInStroke(InStroke instroke)
org.w3c.dom.Element	transformLogExpr(LogExpr logexpr)
org.w3c.dom.Element	transformLogExprAnns(LogExprAnns logexpranns)
org.w3c.dom.Element	transformLogPred(LogPred logpred)
org.w3c.dom.Element	transformLogPredAnns(LogPredAnns logpredanns)
org.w3c.dom.Element	transformMemPred(MemPred mempred)
org.w3c.dom.Element	transformMemPredAnns(MemPredAnns mempredanns)
org.w3c.dom.Element	transformName(Name name)
org.w3c.dom.Element	transformNarrPara(NarrPara narrpara)
org.w3c.dom.Element	transformNegExpr(NegExpr negexpr)
org.w3c.dom.Element	transformNegExprAnns(NegExprAnns negexpranns)
org.w3c.dom.Element	transformNegPred(NegPred negpred)
org.w3c.dom.Element	transformNegPredAnns(NegPredAnns negpredanns)
org.w3c.dom.Element	transformNextStroke(NextStroke nextstroke)
org.w3c.dom.Element	transformNumeral(Numeral numeral)
org.w3c.dom.Element	transformNumExpr(NumExpr numexpr)
org.w3c.dom.Element	transformNumExprAnns(NumExprAnns numexpranns)
org.w3c.dom.Element	transformNumStroke(NumStroke numstroke)
org.w3c.dom.Element	transformObject(java.lang.Object node)
org.w3c.dom.Element	transformOperand(Operand operand)
org.w3c.dom.Element	transformOperandList(OperandList operandlist)
org.w3c.dom.Element	transformOptempPara(OptempPara optemppara)
org.w3c.dom.Element	transformOptempParaAnns(OptempParaAnns optempparaanns)
org.w3c.dom.Element	transformOutStroke(OutStroke outstroke)
org.w3c.dom.Element	transformPara(Para node)
org.w3c.dom.Element	transformParent(Parent parent)
org.w3c.dom.Element	transformParentAnns(ParentAnns parentanns)
org.w3c.dom.Element	transformPipeExpr(PipeExpr pipeexpr)
org.w3c.dom.Element	transformPipeExprAnns(PipeExprAnns pipeexpranns)
org.w3c.dom.Element	transformPowerExpr(PowerExpr powerexpr)
org.w3c.dom.Element	transformPowerExprAnns(PowerExprAnns powerexpranns)
org.w3c.dom.Element	transformPowerType(PowerType powertype)
org.w3c.dom.Element	transformPred(Pred node)
org.w3c.dom.Element	transformPreExpr(PreExpr preexpr)
org.w3c.dom.Element	transformPreExprAnns(PreExprAnns preexpranns)
org.w3c.dom.Element	transformProdExpr(ProdExpr prodexpr)
org.w3c.dom.Element	transformProdExprAnns(ProdExprAnns prodexpranns)
org.w3c.dom.Element	transformProdType(ProdType prodtype)
org.w3c.dom.Element	transformProjExpr(ProjExpr projexpr)
org.w3c.dom.Element	transformProjExprAnns(ProjExprAnns projexpranns)
org.w3c.dom.Element	transformQntExpr(QntExpr qntexpr)
org.w3c.dom.Element	transformQntExprAnns(QntExprAnns qntexpranns)
org.w3c.dom.Element	transformQntPred(QntPred qntpred)
org.w3c.dom.Element	transformQntPredAnns(QntPredAnns qntpredanns)
org.w3c.dom.Element	transformRefExpr(RefExpr refexpr)
org.w3c.dom.Element	transformRefExprAnns(RefExprAnns refexpranns)
org.w3c.dom.Element	transformRefName(RefName refname)
org.w3c.dom.Element	transformRefNameAnns(RefNameAnns refnameanns)
org.w3c.dom.Element	transformRenm(Renm renm)
org.w3c.dom.Element	transformRenmAnns(RenmAnns renmanns)
org.w3c.dom.Element	transformRenmExpr(RenmExpr renmexpr)
org.w3c.dom.Element	transformRenmExprAnns(RenmExprAnns renmexpranns)
org.w3c.dom.Element	transformSchemaType(SchemaType schematype)
org.w3c.dom.Element	transformSchExpr(SchExpr schexpr)
org.w3c.dom.Element	transformSchExprAnns(SchExprAnns schexpranns)
org.w3c.dom.Element	transformSect(Sect sect)
org.w3c.dom.Element	transformSectAnns(SectAnns sectanns)
org.w3c.dom.Element	transformSectTypeEnv(SectTypeEnv secttypeenv)
org.w3c.dom.Element	transformSetExpr(SetExpr setexpr)
org.w3c.dom.Element	transformSetExprAnns(SetExprAnns setexpranns)
org.w3c.dom.Element	transformSignature(Signature signature)
org.w3c.dom.Element	transformSpec(Spec spec)
org.w3c.dom.Element	transformSpecAnns(SpecAnns specanns)
org.w3c.dom.Element	transformStroke(Stroke node)
org.w3c.dom.Element	transformTemplate(Template template)
org.w3c.dom.Element	transformTextSch(TextSch textsch)
org.w3c.dom.Element	transformTextSchAnns(TextSchAnns textschanns)
org.w3c.dom.Element	transformThetaExpr(ThetaExpr thetaexpr)
org.w3c.dom.Element	transformThetaExprAnns(ThetaExprAnns thetaexpranns)
org.w3c.dom.Element	transformTruePred(TruePred truepred)
org.w3c.dom.Element	transformTruePredAnns(TruePredAnns truepredanns)
org.w3c.dom.Element	transformTupleExpr(TupleExpr tupleexpr)
org.w3c.dom.Element	transformTupleExprAnns(TupleExprAnns tupleexpranns)
org.w3c.dom.Element	transformTupleselExpr(TupleselExpr tupleselexpr)
org.w3c.dom.Element	transformTupleselExprAnns(TupleselExprAnns tupleselexpranns)
org.w3c.dom.Element	transformType(Type node)
org.w3c.dom.Element	transformVarDecl(VarDecl vardecl)
org.w3c.dom.Element	transformVarDeclAnns(VarDeclAnns vardeclanns)
org.w3c.dom.Element	transformWord(java.lang.String word)

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait

Field Detail

ast

public final Spec ast

prefix

public final java.lang.String prefix

zPrefix

public final java.lang.String zPrefix

colPrefix

public final java.lang.String colPrefix

document

public org.w3c.dom.Document document

paraNames

private static final java.lang.String[] paraNames

paraNameSet

private static final java.util.Set paraNameSet

objectNames

private static final java.lang.String[] objectNames

objectNameSet

private static final java.util.Set objectNameSet

predNames

private static final java.lang.String[] predNames

predNameSet

private static final java.util.Set predNameSet

exprNames

private static final java.lang.String[] exprNames

exprNameSet

private static final java.util.Set exprNameSet

strokeNames

private static final java.lang.String[] strokeNames

strokeNameSet

private static final java.util.Set strokeNameSet

declNames

private static final java.lang.String[] declNames

declNameSet

private static final java.util.Set declNameSet

typeNames

private static final java.lang.String[] typeNames

typeNameSet

private static final java.util.Set typeNameSet

Constructor Detail

ASTToDocument

public ASTToDocument(Spec ast,
                     org.w3c.dom.Document document)

ASTToDocument

public ASTToDocument(Spec ast,
                     org.w3c.dom.Document document,
                     java.lang.String zPrefix,
                     java.lang.String colPrefix)

Method Detail

transform

public org.w3c.dom.Document transform()

transformSpec

public org.w3c.dom.Element transformSpec(Spec spec)

transformSect

public org.w3c.dom.Element transformSect(Sect sect)

transformParent

public org.w3c.dom.Element transformParent(Parent parent)

transformPara

public org.w3c.dom.Element transformPara(Para node)

transformGivenPara

public org.w3c.dom.Element transformGivenPara(GivenPara givenpara)

transformAxPara

public org.w3c.dom.Element transformAxPara(AxPara axpara)

transformFreePara

public org.w3c.dom.Element transformFreePara(FreePara freepara)

transformFreeType

public org.w3c.dom.Element transformFreeType(FreeType freetype)

transformBranch

public org.w3c.dom.Element transformBranch(Branch branch)

transformConjPara

public org.w3c.dom.Element transformConjPara(ConjPara conjpara)

transformOptempPara

public org.w3c.dom.Element transformOptempPara(OptempPara optemppara)

transformNumeral

public org.w3c.dom.Element transformNumeral(Numeral numeral)

transformTemplate

public org.w3c.dom.Element transformTemplate(Template template)

transformObject

public org.w3c.dom.Element transformObject(java.lang.Object node)

transformOperand

public org.w3c.dom.Element transformOperand(Operand operand)

transformOperandList

public org.w3c.dom.Element transformOperandList(OperandList operandlist)

transformNarrPara

public org.w3c.dom.Element transformNarrPara(NarrPara narrpara)

transformPred

public org.w3c.dom.Element transformPred(Pred node)

transformExprPred

public org.w3c.dom.Element transformExprPred(ExprPred exprpred)

transformNegPred

public org.w3c.dom.Element transformNegPred(NegPred negpred)

transformLogPred

public org.w3c.dom.Element transformLogPred(LogPred logpred)

transformQntPred

public org.w3c.dom.Element transformQntPred(QntPred qntpred)

transformMemPred

public org.w3c.dom.Element transformMemPred(MemPred mempred)

transformFalsePred

public org.w3c.dom.Element transformFalsePred(FalsePred falsepred)

transformTruePred

public org.w3c.dom.Element transformTruePred(TruePred truepred)

transformExpr

public org.w3c.dom.Element transformExpr(Expr node)

transformRefExpr

public org.w3c.dom.Element transformRefExpr(RefExpr refexpr)

transformNumExpr

public org.w3c.dom.Element transformNumExpr(NumExpr numexpr)

transformPowerExpr

public org.w3c.dom.Element transformPowerExpr(PowerExpr powerexpr)

transformSetExpr

public org.w3c.dom.Element transformSetExpr(SetExpr setexpr)

transformTupleExpr

public org.w3c.dom.Element transformTupleExpr(TupleExpr tupleexpr)

transformProdExpr

public org.w3c.dom.Element transformProdExpr(ProdExpr prodexpr)

transformBindExpr

public org.w3c.dom.Element transformBindExpr(BindExpr bindexpr)

transformTupleselExpr

public org.w3c.dom.Element transformTupleselExpr(TupleselExpr tupleselexpr)

transformBindselExpr

public org.w3c.dom.Element transformBindselExpr(BindselExpr bindselexpr)

transformCondExpr

public org.w3c.dom.Element transformCondExpr(CondExpr condexpr)

transformApplExpr

public org.w3c.dom.Element transformApplExpr(ApplExpr applexpr)

transformDecorExpr

public org.w3c.dom.Element transformDecorExpr(DecorExpr decorexpr)

transformStroke

public org.w3c.dom.Element transformStroke(Stroke node)

transformInStroke

public org.w3c.dom.Element transformInStroke(InStroke instroke)

transformOutStroke

public org.w3c.dom.Element transformOutStroke(OutStroke outstroke)

transformNextStroke

public org.w3c.dom.Element transformNextStroke(NextStroke nextstroke)

transformNumStroke

public org.w3c.dom.Element transformNumStroke(NumStroke numstroke)

transformThetaExpr

public org.w3c.dom.Element transformThetaExpr(ThetaExpr thetaexpr)

transformSchExpr

public org.w3c.dom.Element transformSchExpr(SchExpr schexpr)

transformRenmExpr

public org.w3c.dom.Element transformRenmExpr(RenmExpr renmexpr)

transformRenm

public org.w3c.dom.Element transformRenm(Renm renm)

transformNegExpr

public org.w3c.dom.Element transformNegExpr(NegExpr negexpr)

transformPreExpr

public org.w3c.dom.Element transformPreExpr(PreExpr preexpr)

transformLogExpr

public org.w3c.dom.Element transformLogExpr(LogExpr logexpr)

transformQntExpr

public org.w3c.dom.Element transformQntExpr(QntExpr qntexpr)

transformCompExpr

public org.w3c.dom.Element transformCompExpr(CompExpr compexpr)

transformPipeExpr

public org.w3c.dom.Element transformPipeExpr(PipeExpr pipeexpr)

transformProjExpr

public org.w3c.dom.Element transformProjExpr(ProjExpr projexpr)

transformHideExpr

public org.w3c.dom.Element transformHideExpr(HideExpr hideexpr)

transformTextSch

public org.w3c.dom.Element transformTextSch(TextSch textsch)

transformDecl

public org.w3c.dom.Element transformDecl(Decl node)

transformVarDecl

public org.w3c.dom.Element transformVarDecl(VarDecl vardecl)

transformConstDecl

public org.w3c.dom.Element transformConstDecl(ConstDecl constdecl)

transformInclDecl

public org.w3c.dom.Element transformInclDecl(InclDecl incldecl)

transformDeclName

public org.w3c.dom.Element transformDeclName(DeclName declname)

transformRefName

public org.w3c.dom.Element transformRefName(RefName refname)

transformName

public org.w3c.dom.Element transformName(Name name)

transformWord

public org.w3c.dom.Element transformWord(java.lang.String word)

transformSectTypeEnv

public org.w3c.dom.Element transformSectTypeEnv(SectTypeEnv secttypeenv)

transformSignature

public org.w3c.dom.Element transformSignature(Signature signature)

transformType

public org.w3c.dom.Element transformType(Type node)

transformGivenType

public org.w3c.dom.Element transformGivenType(GivenType giventype)

transformGenType

public org.w3c.dom.Element transformGenType(GenType gentype)

transformPowerType

public org.w3c.dom.Element transformPowerType(PowerType powertype)

transformProdType

public org.w3c.dom.Element transformProdType(ProdType prodtype)

transformSchemaType

public org.w3c.dom.Element transformSchemaType(SchemaType schematype)

transformSpecAnns

public org.w3c.dom.Element transformSpecAnns(SpecAnns specanns)

transformParentAnns

public org.w3c.dom.Element transformParentAnns(ParentAnns parentanns)

transformGivenParaAnns

public org.w3c.dom.Element transformGivenParaAnns(GivenParaAnns givenparaanns)

transformAxParaAnns

public org.w3c.dom.Element transformAxParaAnns(AxParaAnns axparaanns)

transformFreeParaAnns

public org.w3c.dom.Element transformFreeParaAnns(FreeParaAnns freeparaanns)

transformFreeTypeAnns

public org.w3c.dom.Element transformFreeTypeAnns(FreeTypeAnns freetypeanns)

transformBranchAnns

public org.w3c.dom.Element transformBranchAnns(BranchAnns branchanns)

transformConjParaAnns

public org.w3c.dom.Element transformConjParaAnns(ConjParaAnns conjparaanns)

transformOptempParaAnns

public org.w3c.dom.Element transformOptempParaAnns(OptempParaAnns optempparaanns)

transformExprPredAnns

public org.w3c.dom.Element transformExprPredAnns(ExprPredAnns exprpredanns)

transformNegPredAnns

public org.w3c.dom.Element transformNegPredAnns(NegPredAnns negpredanns)

transformLogPredAnns

public org.w3c.dom.Element transformLogPredAnns(LogPredAnns logpredanns)

transformQntPredAnns

public org.w3c.dom.Element transformQntPredAnns(QntPredAnns qntpredanns)

transformMemPredAnns

public org.w3c.dom.Element transformMemPredAnns(MemPredAnns mempredanns)

transformFalsePredAnns

public org.w3c.dom.Element transformFalsePredAnns(FalsePredAnns falsepredanns)

transformTruePredAnns

public org.w3c.dom.Element transformTruePredAnns(TruePredAnns truepredanns)

transformRefExprAnns

public org.w3c.dom.Element transformRefExprAnns(RefExprAnns refexpranns)

transformNumExprAnns

public org.w3c.dom.Element transformNumExprAnns(NumExprAnns numexpranns)

transformPowerExprAnns

public org.w3c.dom.Element transformPowerExprAnns(PowerExprAnns powerexpranns)

transformSetExprAnns

public org.w3c.dom.Element transformSetExprAnns(SetExprAnns setexpranns)

transformTupleExprAnns

public org.w3c.dom.Element transformTupleExprAnns(TupleExprAnns tupleexpranns)

transformProdExprAnns

public org.w3c.dom.Element transformProdExprAnns(ProdExprAnns prodexpranns)

transformBindExprAnns

public org.w3c.dom.Element transformBindExprAnns(BindExprAnns bindexpranns)

transformTupleselExprAnns

public org.w3c.dom.Element transformTupleselExprAnns(TupleselExprAnns tupleselexpranns)

transformBindselExprAnns

public org.w3c.dom.Element transformBindselExprAnns(BindselExprAnns bindselexpranns)

transformCondExprAnns

public org.w3c.dom.Element transformCondExprAnns(CondExprAnns condexpranns)

transformApplExprAnns

public org.w3c.dom.Element transformApplExprAnns(ApplExprAnns applexpranns)

transformDecorExprAnns

public org.w3c.dom.Element transformDecorExprAnns(DecorExprAnns decorexpranns)

transformThetaExprAnns

public org.w3c.dom.Element transformThetaExprAnns(ThetaExprAnns thetaexpranns)

transformSchExprAnns

public org.w3c.dom.Element transformSchExprAnns(SchExprAnns schexpranns)

transformRenmExprAnns

public org.w3c.dom.Element transformRenmExprAnns(RenmExprAnns renmexpranns)

transformRenmAnns

public org.w3c.dom.Element transformRenmAnns(RenmAnns renmanns)

transformNegExprAnns

public org.w3c.dom.Element transformNegExprAnns(NegExprAnns negexpranns)

transformPreExprAnns

public org.w3c.dom.Element transformPreExprAnns(PreExprAnns preexpranns)

transformLogExprAnns

public org.w3c.dom.Element transformLogExprAnns(LogExprAnns logexpranns)

transformQntExprAnns

public org.w3c.dom.Element transformQntExprAnns(QntExprAnns qntexpranns)

transformCompExprAnns

public org.w3c.dom.Element transformCompExprAnns(CompExprAnns compexpranns)

transformPipeExprAnns

public org.w3c.dom.Element transformPipeExprAnns(PipeExprAnns pipeexpranns)

transformProjExprAnns

public org.w3c.dom.Element transformProjExprAnns(ProjExprAnns projexpranns)

transformHideExprAnns

public org.w3c.dom.Element transformHideExprAnns(HideExprAnns hideexpranns)

transformTextSchAnns

public org.w3c.dom.Element transformTextSchAnns(TextSchAnns textschanns)

transformVarDeclAnns

public org.w3c.dom.Element transformVarDeclAnns(VarDeclAnns vardeclanns)

transformConstDeclAnns

public org.w3c.dom.Element transformConstDeclAnns(ConstDeclAnns constdeclanns)

transformInclDeclAnns

public org.w3c.dom.Element transformInclDeclAnns(InclDeclAnns incldeclanns)

transformDeclNameAnns

public org.w3c.dom.Element transformDeclNameAnns(DeclNameAnns declnameanns)

transformRefNameAnns

public org.w3c.dom.Element transformRefNameAnns(RefNameAnns refnameanns)

transformSectAnns

public org.w3c.dom.Element transformSectAnns(SectAnns sectanns)