net.sourceforge.czt.z.jaxb

Class JaxbToAst

java.lang.Object

net.sourceforge.czt.util.ReflectiveVisitor

net.sourceforge.czt.z.jaxb.JaxbToAst

public class JaxbToAst
extends ReflectiveVisitor

The unmarshaller responsible for deserializing XML data.

Author:

GnAST version 1.6-SNAPSHOT

Field Summary

Fields

Modifier and Type	Field and Description
protected ZFactory	mZFactory_

Constructor Summary

Constructors

Constructor and Description
JaxbToAst()
JaxbToAst(ZFactory vZFactory)

Method Summary

Modifier and Type	Method and Description
Object	visitAndExpr(AndExpr jaxbObject)
Object	visitAndPred(AndPred jaxbObject)
Object	visitApplExpr(ApplExpr jaxbObject)
Object	visitAxPara(AxPara jaxbObject)
Object	visitBindExpr(BindExpr jaxbObject)
Object	visitBindSelExpr(BindSelExpr jaxbObject)
Object	visitBranch(Branch jaxbObject)
Object	visitCompExpr(CompExpr jaxbObject)
Object	visitCondExpr(CondExpr jaxbObject)
Object	visitConjPara(ConjPara jaxbObject)
Object	visitConstDecl(ConstDecl jaxbObject)
Object	visitDecorExpr(DecorExpr jaxbObject)
Object	visitDirective(Directive jaxbObject)
Object	visitElementNSImpl(com.sun.org.apache.xerces.internal.dom.ElementNSImpl obj)
Object	visitExists1Expr(Exists1Expr jaxbObject)
Object	visitExists1Pred(Exists1Pred jaxbObject)
Object	visitExistsExpr(ExistsExpr jaxbObject)
Object	visitExistsPred(ExistsPred jaxbObject)
Object	visitExprPred(ExprPred jaxbObject)
Object	visitFalsePred(FalsePred jaxbObject)
Object	visitForallExpr(ForallExpr jaxbObject)
Object	visitForallPred(ForallPred jaxbObject)
Object	visitFreePara(FreePara jaxbObject)
Object	visitFreetype(Freetype jaxbObject)
Object	visitGenericType(GenericType jaxbObject)
Object	visitGenParamType(GenParamType jaxbObject)
Object	visitGivenPara(GivenPara jaxbObject)
Object	visitGivenType(GivenType jaxbObject)
Object	visitHideExpr(HideExpr jaxbObject)
Object	visitIffExpr(IffExpr jaxbObject)
Object	visitIffPred(IffPred jaxbObject)
Object	visitImpliesExpr(ImpliesExpr jaxbObject)
Object	visitImpliesPred(ImpliesPred jaxbObject)
Object	visitInclDecl(InclDecl jaxbObject)
Object	visitInStroke(InStroke jaxbObject)
Object	visitJAXBElement(JAXBElement<?> jaxbElement)
Object	visitLambdaExpr(LambdaExpr jaxbObject)
Object	visitLatexMarkupPara(LatexMarkupPara jaxbObject)
Object	visitLetExpr(LetExpr jaxbObject)
Object	visitLocAnn(LocAnn jaxbObject)
Object	visitMemPred(MemPred jaxbObject)
Object	visitMuExpr(MuExpr jaxbObject)
Object	visitNameSectTypeTriple(NameSectTypeTriple jaxbObject)
Object	visitNameTypePair(NameTypePair jaxbObject)
Object	visitNarrPara(NarrPara jaxbObject)
Object	visitNarrSect(NarrSect jaxbObject)
Object	visitNegExpr(NegExpr jaxbObject)
Object	visitNegPred(NegPred jaxbObject)
Object	visitNewOldPair(NewOldPair jaxbObject)
Object	visitNextStroke(NextStroke jaxbObject)
Object	visitNumExpr(NumExpr jaxbObject)
Object	visitNumStroke(NumStroke jaxbObject)
Object	visitObject(Object object)
Object	visitOperand(Operand jaxbObject)
Object	visitOperator(Operator jaxbObject)
Object	visitOptempPara(OptempPara jaxbObject)
Object	visitOrExpr(OrExpr jaxbObject)
Object	visitOrPred(OrPred jaxbObject)
Object	visitOutStroke(OutStroke jaxbObject)
Object	visitParenAnn(ParenAnn jaxbObject)
Object	visitParent(Parent jaxbObject)
Object	visitPipeExpr(PipeExpr jaxbObject)
Object	visitPowerExpr(PowerExpr jaxbObject)
Object	visitPowerType(PowerType jaxbObject)
Object	visitPreExpr(PreExpr jaxbObject)
Object	visitProdExpr(ProdExpr jaxbObject)
Object	visitProdType(ProdType jaxbObject)
Object	visitProjExpr(ProjExpr jaxbObject)
Object	visitRefExpr(RefExpr jaxbObject)
Object	visitRenameExpr(RenameExpr jaxbObject)
Object	visitSchemaType(SchemaType jaxbObject)
Object	visitSchExpr(SchExpr jaxbObject)
Object	visitSectTypeEnvAnn(SectTypeEnvAnn jaxbObject)
Object	visitSetCompExpr(SetCompExpr jaxbObject)
Object	visitSetExpr(SetExpr jaxbObject)
Object	visitSignature(Signature jaxbObject)
Object	visitSignatureAnn(SignatureAnn jaxbObject)
Object	visitSpec(Spec jaxbObject)
Object	visitThetaExpr(ThetaExpr jaxbObject)
Object	visitTruePred(TruePred jaxbObject)
Object	visitTupleExpr(TupleExpr jaxbObject)
Object	visitTupleSelExpr(TupleSelExpr jaxbObject)
Object	visitTypeAnn(TypeAnn jaxbObject)
Object	visitUnparsedPara(UnparsedPara jaxbObject)
Object	visitUnparsedZSect(UnparsedZSect jaxbObject)
Object	visitVarDecl(VarDecl jaxbObject)
Object	visitZBranchList(ZBranchList jaxbObject)
Object	visitZDeclList(ZDeclList jaxbObject)
Object	visitZExprList(ZExprList jaxbObject)
Object	visitZFreetypeList(ZFreetypeList jaxbObject)
Object	visitZName(ZName jaxbObject)
Object	visitZNameList(ZNameList jaxbObject)
Object	visitZNumeral(ZNumeral jaxbObject)
Object	visitZParaList(ZParaList jaxbObject)
Object	visitZRenameList(ZRenameList jaxbObject)
Object	visitZSchText(ZSchText jaxbObject)
Object	visitZSect(ZSect jaxbObject)
Object	visitZStrokeList(ZStrokeList jaxbObject)

Methods inherited from class net.sourceforge.czt.util.ReflectiveVisitor

dispatch, getMethod, tryInterfaces

Methods inherited from class java.lang.Object

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

Field Detail

mZFactory_

protected ZFactory mZFactory_

Constructor Detail

JaxbToAst

public JaxbToAst()

JaxbToAst

public JaxbToAst(ZFactory vZFactory)

Method Detail

visitObject

public Object visitObject(Object object)

visitJAXBElement

public Object visitJAXBElement(JAXBElement<?> jaxbElement)

visitElementNSImpl

public Object visitElementNSImpl(com.sun.org.apache.xerces.internal.dom.ElementNSImpl obj)

visitDecorExpr

public Object visitDecorExpr(DecorExpr jaxbObject)

visitUnparsedPara

public Object visitUnparsedPara(UnparsedPara jaxbObject)

visitZSchText

public Object visitZSchText(ZSchText jaxbObject)

visitNewOldPair

public Object visitNewOldPair(NewOldPair jaxbObject)

visitVarDecl

public Object visitVarDecl(VarDecl jaxbObject)

visitZName

public Object visitZName(ZName jaxbObject)

visitUnparsedZSect

public Object visitUnparsedZSect(UnparsedZSect jaxbObject)

visitOptempPara

public Object visitOptempPara(OptempPara jaxbObject)

visitInclDecl

public Object visitInclDecl(InclDecl jaxbObject)

visitNarrPara

public Object visitNarrPara(NarrPara jaxbObject)

visitTupleSelExpr

public Object visitTupleSelExpr(TupleSelExpr jaxbObject)

visitBindExpr

public Object visitBindExpr(BindExpr jaxbObject)

visitMuExpr

public Object visitMuExpr(MuExpr jaxbObject)

visitTruePred

public Object visitTruePred(TruePred jaxbObject)

visitIffExpr

public Object visitIffExpr(IffExpr jaxbObject)

visitSignatureAnn

public Object visitSignatureAnn(SignatureAnn jaxbObject)

visitGivenType

public Object visitGivenType(GivenType jaxbObject)

visitPreExpr

public Object visitPreExpr(PreExpr jaxbObject)

visitSetCompExpr

public Object visitSetCompExpr(SetCompExpr jaxbObject)

visitApplExpr

public Object visitApplExpr(ApplExpr jaxbObject)

visitNumStroke

public Object visitNumStroke(NumStroke jaxbObject)

visitConjPara

public Object visitConjPara(ConjPara jaxbObject)

visitDirective

public Object visitDirective(Directive jaxbObject)

visitForallPred

public Object visitForallPred(ForallPred jaxbObject)

visitZNumeral

public Object visitZNumeral(ZNumeral jaxbObject)

visitExists1Pred

public Object visitExists1Pred(Exists1Pred jaxbObject)

visitOperand

public Object visitOperand(Operand jaxbObject)

visitRenameExpr

public Object visitRenameExpr(RenameExpr jaxbObject)

visitCondExpr

public Object visitCondExpr(CondExpr jaxbObject)

visitNextStroke

public Object visitNextStroke(NextStroke jaxbObject)

visitProjExpr

public Object visitProjExpr(ProjExpr jaxbObject)

visitZDeclList

public Object visitZDeclList(ZDeclList jaxbObject)

visitLocAnn

public Object visitLocAnn(LocAnn jaxbObject)

visitHideExpr

public Object visitHideExpr(HideExpr jaxbObject)

visitSchExpr

public Object visitSchExpr(SchExpr jaxbObject)

visitGenericType

public Object visitGenericType(GenericType jaxbObject)

visitNameSectTypeTriple

public Object visitNameSectTypeTriple(NameSectTypeTriple jaxbObject)

visitExists1Expr

public Object visitExists1Expr(Exists1Expr jaxbObject)

visitLatexMarkupPara

public Object visitLatexMarkupPara(LatexMarkupPara jaxbObject)

visitZRenameList

public Object visitZRenameList(ZRenameList jaxbObject)

visitNameTypePair

public Object visitNameTypePair(NameTypePair jaxbObject)

visitZStrokeList

public Object visitZStrokeList(ZStrokeList jaxbObject)

visitPowerType

public Object visitPowerType(PowerType jaxbObject)

visitParenAnn

public Object visitParenAnn(ParenAnn jaxbObject)

visitPipeExpr

public Object visitPipeExpr(PipeExpr jaxbObject)

visitTypeAnn

public Object visitTypeAnn(TypeAnn jaxbObject)

visitAxPara

public Object visitAxPara(AxPara jaxbObject)

visitInStroke

public Object visitInStroke(InStroke jaxbObject)

visitAndExpr

public Object visitAndExpr(AndExpr jaxbObject)

visitImpliesExpr

public Object visitImpliesExpr(ImpliesExpr jaxbObject)

visitZBranchList

public Object visitZBranchList(ZBranchList jaxbObject)

visitSchemaType

public Object visitSchemaType(SchemaType jaxbObject)

visitOutStroke

public Object visitOutStroke(OutStroke jaxbObject)

visitNumExpr

public Object visitNumExpr(NumExpr jaxbObject)

visitZExprList

public Object visitZExprList(ZExprList jaxbObject)

visitExistsExpr

public Object visitExistsExpr(ExistsExpr jaxbObject)

visitZSect

public Object visitZSect(ZSect jaxbObject)

visitLetExpr

public Object visitLetExpr(LetExpr jaxbObject)

visitProdType

public Object visitProdType(ProdType jaxbObject)

visitLambdaExpr

public Object visitLambdaExpr(LambdaExpr jaxbObject)

visitAndPred

public Object visitAndPred(AndPred jaxbObject)

visitExistsPred

public Object visitExistsPred(ExistsPred jaxbObject)

visitFreePara

public Object visitFreePara(FreePara jaxbObject)

visitOrExpr

public Object visitOrExpr(OrExpr jaxbObject)

visitTupleExpr

public Object visitTupleExpr(TupleExpr jaxbObject)

visitPowerExpr

public Object visitPowerExpr(PowerExpr jaxbObject)

visitConstDecl

public Object visitConstDecl(ConstDecl jaxbObject)

visitZParaList

public Object visitZParaList(ZParaList jaxbObject)

visitThetaExpr

public Object visitThetaExpr(ThetaExpr jaxbObject)

visitOperator

public Object visitOperator(Operator jaxbObject)

visitParent

public Object visitParent(Parent jaxbObject)

visitNegExpr

public Object visitNegExpr(NegExpr jaxbObject)

visitMemPred

public Object visitMemPred(MemPred jaxbObject)

visitCompExpr

public Object visitCompExpr(CompExpr jaxbObject)

visitForallExpr

public Object visitForallExpr(ForallExpr jaxbObject)

visitSetExpr

public Object visitSetExpr(SetExpr jaxbObject)

visitBindSelExpr

public Object visitBindSelExpr(BindSelExpr jaxbObject)

visitBranch

public Object visitBranch(Branch jaxbObject)

visitFalsePred

public Object visitFalsePred(FalsePred jaxbObject)

visitZNameList

public Object visitZNameList(ZNameList jaxbObject)

visitRefExpr

public Object visitRefExpr(RefExpr jaxbObject)

visitGivenPara

public Object visitGivenPara(GivenPara jaxbObject)

visitNegPred

public Object visitNegPred(NegPred jaxbObject)

visitGenParamType

public Object visitGenParamType(GenParamType jaxbObject)

visitSectTypeEnvAnn

public Object visitSectTypeEnvAnn(SectTypeEnvAnn jaxbObject)

visitFreetype

public Object visitFreetype(Freetype jaxbObject)

visitIffPred

public Object visitIffPred(IffPred jaxbObject)

visitImpliesPred

public Object visitImpliesPred(ImpliesPred jaxbObject)

visitSignature

public Object visitSignature(Signature jaxbObject)

visitNarrSect

public Object visitNarrSect(NarrSect jaxbObject)

visitSpec

public Object visitSpec(Spec jaxbObject)

visitProdExpr

public Object visitProdExpr(ProdExpr jaxbObject)

visitExprPred

public Object visitExprPred(ExprPred jaxbObject)

visitZFreetypeList

public Object visitZFreetypeList(ZFreetypeList jaxbObject)

visitOrPred

public Object visitOrPred(OrPred jaxbObject)