czt.zxml
Class DocumentToAST

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

class DocumentToAST

extends java.lang.Object

Inner Class Summary

class

DocumentToAST.ASTTransformFailure

Field Summary

private static java.lang.String[]	declNames
private static java.util.Set	declNameSet
zeta.session.Diag	diag
org.w3c.dom.Document	doc
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
Reader	reader
private static java.lang.String[]	strokeNames
private static java.util.Set	strokeNameSet
private static java.lang.String[]	typeNames
private static java.util.Set	typeNameSet

Constructor Summary

DocumentToAST(Reader r, org.w3c.dom.Document d)

Method Summary

private void	checkCorrectTag(org.w3c.dom.Element e, java.lang.String name)
(package private) zeta.session.Diag	getDiag()
(package private) java.io.File[]	getIncludedFiles()
private java.lang.String	getUnparsedForm(org.w3c.dom.Element e)
private java.lang.String	stripPrefix(java.lang.String s)
private void	stuff(org.w3c.dom.Node n, int indent)
Spec	transform()
private ApplExpr	transformApplExpr(org.w3c.dom.Element e)
private ApplExprAnns	transformApplExprAnns(org.w3c.dom.Element e)
private AxPara	transformAxPara(org.w3c.dom.Element e)
private AxParaAnns	transformAxParaAnns(org.w3c.dom.Element e)
private BindExpr	transformBindExpr(org.w3c.dom.Element e)
private BindExprAnns	transformBindExprAnns(org.w3c.dom.Element e)
private BindselExpr	transformBindselExpr(org.w3c.dom.Element e)
private BindselExprAnns	transformBindselExprAnns(org.w3c.dom.Element e)
private Branch	transformBranch(org.w3c.dom.Element e)
private BranchAnns	transformBranchAnns(org.w3c.dom.Element e)
private CompExpr	transformCompExpr(org.w3c.dom.Element e)
private CompExprAnns	transformCompExprAnns(org.w3c.dom.Element e)
private CondExpr	transformCondExpr(org.w3c.dom.Element e)
private CondExprAnns	transformCondExprAnns(org.w3c.dom.Element e)
private ConjPara	transformConjPara(org.w3c.dom.Element e)
private ConjParaAnns	transformConjParaAnns(org.w3c.dom.Element e)
private ConstDecl	transformConstDecl(org.w3c.dom.Element e)
private ConstDeclAnns	transformConstDeclAnns(org.w3c.dom.Element e)
private Decl	transformDecl(org.w3c.dom.Element e)
private DeclName	transformDeclName(org.w3c.dom.Element e)
private DeclNameAnns	transformDeclNameAnns(org.w3c.dom.Element e)
private DecorExpr	transformDecorExpr(org.w3c.dom.Element e)
private DecorExprAnns	transformDecorExprAnns(org.w3c.dom.Element e)
private Expr	transformExpr(org.w3c.dom.Element e)
private ExprPred	transformExprPred(org.w3c.dom.Element e)
private ExprPredAnns	transformExprPredAnns(org.w3c.dom.Element e)
private FalsePred	transformFalsePred(org.w3c.dom.Element e)
private FalsePredAnns	transformFalsePredAnns(org.w3c.dom.Element e)
private FreePara	transformFreePara(org.w3c.dom.Element e)
private FreeParaAnns	transformFreeParaAnns(org.w3c.dom.Element e)
private FreeType	transformFreeType(org.w3c.dom.Element e)
private FreeTypeAnns	transformFreeTypeAnns(org.w3c.dom.Element e)
private GenType	transformGenType(org.w3c.dom.Element e)
private GivenPara	transformGivenPara(org.w3c.dom.Element e)
private GivenParaAnns	transformGivenParaAnns(org.w3c.dom.Element e)
private GivenType	transformGivenType(org.w3c.dom.Element e)
private HideExpr	transformHideExpr(org.w3c.dom.Element e)
private HideExprAnns	transformHideExprAnns(org.w3c.dom.Element e)
private InclDecl	transformInclDecl(org.w3c.dom.Element e)
private InclDeclAnns	transformInclDeclAnns(org.w3c.dom.Element e)
private InStroke	transformInStroke(org.w3c.dom.Element e)
private LogExpr	transformLogExpr(org.w3c.dom.Element e)
private LogExprAnns	transformLogExprAnns(org.w3c.dom.Element e)
private LogPred	transformLogPred(org.w3c.dom.Element e)
private LogPredAnns	transformLogPredAnns(org.w3c.dom.Element e)
private MemPred	transformMemPred(org.w3c.dom.Element e)
private MemPredAnns	transformMemPredAnns(org.w3c.dom.Element e)
private Name	transformName(org.w3c.dom.Element e)
private NarrPara	transformNarrPara(org.w3c.dom.Element e)
private NegExpr	transformNegExpr(org.w3c.dom.Element e)
private NegExprAnns	transformNegExprAnns(org.w3c.dom.Element e)
private NegPred	transformNegPred(org.w3c.dom.Element e)
private NegPredAnns	transformNegPredAnns(org.w3c.dom.Element e)
private NextStroke	transformNextStroke(org.w3c.dom.Element e)
private Numeral	transformNumeral(org.w3c.dom.Element e)
private NumExpr	transformNumExpr(org.w3c.dom.Element e)
private NumExprAnns	transformNumExprAnns(org.w3c.dom.Element e)
private NumStroke	transformNumStroke(org.w3c.dom.Element e)
private java.lang.Object	transformObject(org.w3c.dom.Element e)
private Operand	transformOperand(org.w3c.dom.Element e)
private OperandList	transformOperandList(org.w3c.dom.Element e)
private OptempPara	transformOptempPara(org.w3c.dom.Element e)
private OptempParaAnns	transformOptempParaAnns(org.w3c.dom.Element e)
private OutStroke	transformOutStroke(org.w3c.dom.Element e)
private Para	transformPara(org.w3c.dom.Element e)
private Parent	transformParent(org.w3c.dom.Element e)
private ParentAnns	transformParentAnns(org.w3c.dom.Element e)
private java.lang.String	transformPCDATA(org.w3c.dom.Element e)
private PipeExpr	transformPipeExpr(org.w3c.dom.Element e)
private PipeExprAnns	transformPipeExprAnns(org.w3c.dom.Element e)
private PowerExpr	transformPowerExpr(org.w3c.dom.Element e)
private PowerExprAnns	transformPowerExprAnns(org.w3c.dom.Element e)
private PowerType	transformPowerType(org.w3c.dom.Element e)
private Pred	transformPred(org.w3c.dom.Element e)
private PreExpr	transformPreExpr(org.w3c.dom.Element e)
private PreExprAnns	transformPreExprAnns(org.w3c.dom.Element e)
private ProdExpr	transformProdExpr(org.w3c.dom.Element e)
private ProdExprAnns	transformProdExprAnns(org.w3c.dom.Element e)
private ProdType	transformProdType(org.w3c.dom.Element e)
private ProjExpr	transformProjExpr(org.w3c.dom.Element e)
private ProjExprAnns	transformProjExprAnns(org.w3c.dom.Element e)
private QntExpr	transformQntExpr(org.w3c.dom.Element e)
private QntExprAnns	transformQntExprAnns(org.w3c.dom.Element e)
private QntPred	transformQntPred(org.w3c.dom.Element e)
private QntPredAnns	transformQntPredAnns(org.w3c.dom.Element e)
private RefExpr	transformRefExpr(org.w3c.dom.Element e)
private RefExprAnns	transformRefExprAnns(org.w3c.dom.Element e)
private RefName	transformRefName(org.w3c.dom.Element e)
private RefNameAnns	transformRefNameAnns(org.w3c.dom.Element e)
private Renm	transformRenm(org.w3c.dom.Element e)
private RenmAnns	transformRenmAnns(org.w3c.dom.Element e)
private RenmExpr	transformRenmExpr(org.w3c.dom.Element e)
private RenmExprAnns	transformRenmExprAnns(org.w3c.dom.Element e)
private SchemaType	transformSchemaType(org.w3c.dom.Element e)
private SchExpr	transformSchExpr(org.w3c.dom.Element e)
private SchExprAnns	transformSchExprAnns(org.w3c.dom.Element e)
private Sect	transformSect(org.w3c.dom.Element e)
private SectAnns	transformSectAnns(org.w3c.dom.Element e)
private SectTypeEnv	transformSectTypeEnv(org.w3c.dom.Element e)
private SetExpr	transformSetExpr(org.w3c.dom.Element e)
private SetExprAnns	transformSetExprAnns(org.w3c.dom.Element e)
private Signature	transformSignature(org.w3c.dom.Element e)
private Spec	transformSpec(org.w3c.dom.Element e)
private SpecAnns	transformSpecAnns(org.w3c.dom.Element e)
private Stroke	transformStroke(org.w3c.dom.Element e)
private Template	transformTemplate(org.w3c.dom.Element e)
private TextSch	transformTextSch(org.w3c.dom.Element e)
private TextSchAnns	transformTextSchAnns(org.w3c.dom.Element e)
private ThetaExpr	transformThetaExpr(org.w3c.dom.Element e)
private ThetaExprAnns	transformThetaExprAnns(org.w3c.dom.Element e)
private TruePred	transformTruePred(org.w3c.dom.Element e)
private TruePredAnns	transformTruePredAnns(org.w3c.dom.Element e)
private TupleExpr	transformTupleExpr(org.w3c.dom.Element e)
private TupleExprAnns	transformTupleExprAnns(org.w3c.dom.Element e)
private TupleselExpr	transformTupleselExpr(org.w3c.dom.Element e)
private TupleselExprAnns	transformTupleselExprAnns(org.w3c.dom.Element e)
private Type	transformType(org.w3c.dom.Element e)
private java.lang.String	transformUnparsed(org.w3c.dom.Element e)
private VarDecl	transformVarDecl(org.w3c.dom.Element e)
private VarDeclAnns	transformVarDeclAnns(org.w3c.dom.Element e)
private java.lang.String	transformWord(org.w3c.dom.Element e)

Methods inherited from class java.lang.Object

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

Field Detail

reader

public Reader reader

doc

public org.w3c.dom.Document doc

diag

public zeta.session.Diag diag

prefix

public java.lang.String prefix

paraNames

private static final java.lang.String[] paraNames

paraNameSet

private static final java.util.Set paraNameSet

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

typeNames

private static final java.lang.String[] typeNames

typeNameSet

private static final java.util.Set typeNameSet

objectNames

private static final java.lang.String[] objectNames

objectNameSet

private static final java.util.Set objectNameSet

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

Constructor Detail

DocumentToAST

public DocumentToAST(Reader r,
                     org.w3c.dom.Document d)

Method Detail

stuff

private void stuff(org.w3c.dom.Node n,
                   int indent)

transform

public Spec transform()

transformSpec

private Spec transformSpec(org.w3c.dom.Element e)

transformSect

private Sect transformSect(org.w3c.dom.Element e)

transformPara

private Para transformPara(org.w3c.dom.Element e)

transformGivenPara

private GivenPara transformGivenPara(org.w3c.dom.Element e)

transformAxPara

private AxPara transformAxPara(org.w3c.dom.Element e)

transformFreePara

private FreePara transformFreePara(org.w3c.dom.Element e)

transformConjPara

private ConjPara transformConjPara(org.w3c.dom.Element e)

transformOptempPara

private OptempPara transformOptempPara(org.w3c.dom.Element e)

transformNarrPara

private NarrPara transformNarrPara(org.w3c.dom.Element e)

transformParent

private Parent transformParent(org.w3c.dom.Element e)

transformDeclName

private DeclName transformDeclName(org.w3c.dom.Element e)

transformName

private Name transformName(org.w3c.dom.Element e)

transformTextSch

private TextSch transformTextSch(org.w3c.dom.Element e)

transformFreeType

private FreeType transformFreeType(org.w3c.dom.Element e)

transformBranch

private Branch transformBranch(org.w3c.dom.Element e)

transformPred

private Pred transformPred(org.w3c.dom.Element e)

transformExprPred

private ExprPred transformExprPred(org.w3c.dom.Element e)

transformNegPred

private NegPred transformNegPred(org.w3c.dom.Element e)

transformLogPred

private LogPred transformLogPred(org.w3c.dom.Element e)

transformQntPred

private QntPred transformQntPred(org.w3c.dom.Element e)

transformMemPred

private MemPred transformMemPred(org.w3c.dom.Element e)

transformFalsePred

private FalsePred transformFalsePred(org.w3c.dom.Element e)

transformTruePred

private TruePred transformTruePred(org.w3c.dom.Element e)

transformExpr

private Expr transformExpr(org.w3c.dom.Element e)

transformRefExpr

private RefExpr transformRefExpr(org.w3c.dom.Element e)

transformNumExpr

private NumExpr transformNumExpr(org.w3c.dom.Element e)

transformPowerExpr

private PowerExpr transformPowerExpr(org.w3c.dom.Element e)

transformBindExpr

private BindExpr transformBindExpr(org.w3c.dom.Element e)

transformTupleselExpr

private TupleselExpr transformTupleselExpr(org.w3c.dom.Element e)

transformBindselExpr

private BindselExpr transformBindselExpr(org.w3c.dom.Element e)

transformCondExpr

private CondExpr transformCondExpr(org.w3c.dom.Element e)

transformApplExpr

private ApplExpr transformApplExpr(org.w3c.dom.Element e)

transformDecorExpr

private DecorExpr transformDecorExpr(org.w3c.dom.Element e)

transformThetaExpr

private ThetaExpr transformThetaExpr(org.w3c.dom.Element e)

transformSchExpr

private SchExpr transformSchExpr(org.w3c.dom.Element e)

transformRenmExpr

private RenmExpr transformRenmExpr(org.w3c.dom.Element e)

transformRenm

private Renm transformRenm(org.w3c.dom.Element e)

transformNegExpr

private NegExpr transformNegExpr(org.w3c.dom.Element e)

transformPreExpr

private PreExpr transformPreExpr(org.w3c.dom.Element e)

transformLogExpr

private LogExpr transformLogExpr(org.w3c.dom.Element e)

transformQntExpr

private QntExpr transformQntExpr(org.w3c.dom.Element e)

transformCompExpr

private CompExpr transformCompExpr(org.w3c.dom.Element e)

transformPipeExpr

private PipeExpr transformPipeExpr(org.w3c.dom.Element e)

transformProjExpr

private ProjExpr transformProjExpr(org.w3c.dom.Element e)

transformHideExpr

private HideExpr transformHideExpr(org.w3c.dom.Element e)

transformConstDecl

private ConstDecl transformConstDecl(org.w3c.dom.Element e)

transformRefName

private RefName transformRefName(org.w3c.dom.Element e)

transformType

private Type transformType(org.w3c.dom.Element e)

transformGivenType

private GivenType transformGivenType(org.w3c.dom.Element e)

transformGenType

private GenType transformGenType(org.w3c.dom.Element e)

transformPowerType

private PowerType transformPowerType(org.w3c.dom.Element e)

transformProdType

private ProdType transformProdType(org.w3c.dom.Element e)

transformSchemaType

private SchemaType transformSchemaType(org.w3c.dom.Element e)

transformNumeral

private Numeral transformNumeral(org.w3c.dom.Element e)

transformTemplate

private Template transformTemplate(org.w3c.dom.Element e)

transformObject

private java.lang.Object transformObject(org.w3c.dom.Element e)

transformOperand

private Operand transformOperand(org.w3c.dom.Element e)

transformOperandList

private OperandList transformOperandList(org.w3c.dom.Element e)

transformWord

private java.lang.String transformWord(org.w3c.dom.Element e)

transformSignature

private Signature transformSignature(org.w3c.dom.Element e)

transformStroke

private Stroke transformStroke(org.w3c.dom.Element e)

transformInStroke

private InStroke transformInStroke(org.w3c.dom.Element e)

transformOutStroke

private OutStroke transformOutStroke(org.w3c.dom.Element e)

transformNextStroke

private NextStroke transformNextStroke(org.w3c.dom.Element e)

transformNumStroke

private NumStroke transformNumStroke(org.w3c.dom.Element e)

transformDecl

private Decl transformDecl(org.w3c.dom.Element e)

transformVarDecl

private VarDecl transformVarDecl(org.w3c.dom.Element e)

transformInclDecl

private InclDecl transformInclDecl(org.w3c.dom.Element e)

checkCorrectTag

private void checkCorrectTag(org.w3c.dom.Element e,
                             java.lang.String name)

getUnparsedForm

private java.lang.String getUnparsedForm(org.w3c.dom.Element e)

transformPCDATA

private java.lang.String transformPCDATA(org.w3c.dom.Element e)

transformUnparsed

private java.lang.String transformUnparsed(org.w3c.dom.Element e)

stripPrefix

private java.lang.String stripPrefix(java.lang.String s)

transformSectAnns

private SectAnns transformSectAnns(org.w3c.dom.Element e)

transformSectTypeEnv

private SectTypeEnv transformSectTypeEnv(org.w3c.dom.Element e)

transformSpecAnns

private SpecAnns transformSpecAnns(org.w3c.dom.Element e)

transformParentAnns

private ParentAnns transformParentAnns(org.w3c.dom.Element e)

transformGivenParaAnns

private GivenParaAnns transformGivenParaAnns(org.w3c.dom.Element e)

transformAxParaAnns

private AxParaAnns transformAxParaAnns(org.w3c.dom.Element e)

transformFreeParaAnns

private FreeParaAnns transformFreeParaAnns(org.w3c.dom.Element e)

transformFreeTypeAnns

private FreeTypeAnns transformFreeTypeAnns(org.w3c.dom.Element e)

transformBranchAnns

private BranchAnns transformBranchAnns(org.w3c.dom.Element e)

transformConjParaAnns

private ConjParaAnns transformConjParaAnns(org.w3c.dom.Element e)

transformOptempParaAnns

private OptempParaAnns transformOptempParaAnns(org.w3c.dom.Element e)

transformExprPredAnns

private ExprPredAnns transformExprPredAnns(org.w3c.dom.Element e)

transformNegPredAnns

private NegPredAnns transformNegPredAnns(org.w3c.dom.Element e)

transformLogPredAnns

private LogPredAnns transformLogPredAnns(org.w3c.dom.Element e)

transformQntPredAnns

private QntPredAnns transformQntPredAnns(org.w3c.dom.Element e)

transformMemPredAnns

private MemPredAnns transformMemPredAnns(org.w3c.dom.Element e)

transformFalsePredAnns

private FalsePredAnns transformFalsePredAnns(org.w3c.dom.Element e)

transformTruePredAnns

private TruePredAnns transformTruePredAnns(org.w3c.dom.Element e)

transformRefExprAnns

private RefExprAnns transformRefExprAnns(org.w3c.dom.Element e)

transformNumExprAnns

private NumExprAnns transformNumExprAnns(org.w3c.dom.Element e)

transformPowerExprAnns

private PowerExprAnns transformPowerExprAnns(org.w3c.dom.Element e)

transformSetExprAnns

private SetExprAnns transformSetExprAnns(org.w3c.dom.Element e)

transformTupleExprAnns

private TupleExprAnns transformTupleExprAnns(org.w3c.dom.Element e)

transformProdExprAnns

private ProdExprAnns transformProdExprAnns(org.w3c.dom.Element e)

transformBindExprAnns

private BindExprAnns transformBindExprAnns(org.w3c.dom.Element e)

transformTupleselExprAnns

private TupleselExprAnns transformTupleselExprAnns(org.w3c.dom.Element e)

transformBindselExprAnns

private BindselExprAnns transformBindselExprAnns(org.w3c.dom.Element e)

transformCondExprAnns

private CondExprAnns transformCondExprAnns(org.w3c.dom.Element e)

transformApplExprAnns

private ApplExprAnns transformApplExprAnns(org.w3c.dom.Element e)

transformDecorExprAnns

private DecorExprAnns transformDecorExprAnns(org.w3c.dom.Element e)

transformThetaExprAnns

private ThetaExprAnns transformThetaExprAnns(org.w3c.dom.Element e)

transformSchExprAnns

private SchExprAnns transformSchExprAnns(org.w3c.dom.Element e)

transformRenmExprAnns

private RenmExprAnns transformRenmExprAnns(org.w3c.dom.Element e)

transformRenmAnns

private RenmAnns transformRenmAnns(org.w3c.dom.Element e)

transformNegExprAnns

private NegExprAnns transformNegExprAnns(org.w3c.dom.Element e)

transformPreExprAnns

private PreExprAnns transformPreExprAnns(org.w3c.dom.Element e)

transformLogExprAnns

private LogExprAnns transformLogExprAnns(org.w3c.dom.Element e)

transformQntExprAnns

private QntExprAnns transformQntExprAnns(org.w3c.dom.Element e)

transformCompExprAnns

private CompExprAnns transformCompExprAnns(org.w3c.dom.Element e)

transformPipeExprAnns

private PipeExprAnns transformPipeExprAnns(org.w3c.dom.Element e)

transformProjExprAnns

private ProjExprAnns transformProjExprAnns(org.w3c.dom.Element e)

transformHideExprAnns

private HideExprAnns transformHideExprAnns(org.w3c.dom.Element e)

transformTextSchAnns

private TextSchAnns transformTextSchAnns(org.w3c.dom.Element e)

transformVarDeclAnns

private VarDeclAnns transformVarDeclAnns(org.w3c.dom.Element e)

transformConstDeclAnns

private ConstDeclAnns transformConstDeclAnns(org.w3c.dom.Element e)

transformInclDeclAnns

private InclDeclAnns transformInclDeclAnns(org.w3c.dom.Element e)

transformDeclNameAnns

private DeclNameAnns transformDeclNameAnns(org.w3c.dom.Element e)

transformRefNameAnns

private RefNameAnns transformRefNameAnns(org.w3c.dom.Element e)

transformSetExpr

private SetExpr transformSetExpr(org.w3c.dom.Element e)

transformTupleExpr

private TupleExpr transformTupleExpr(org.w3c.dom.Element e)

transformProdExpr

private ProdExpr transformProdExpr(org.w3c.dom.Element e)

getDiag

zeta.session.Diag getDiag()

getIncludedFiles

java.io.File[] getIncludedFiles()