net.sourceforge.czt.zeves.jaxb

Class JaxbToAst

java.lang.Object

net.sourceforge.czt.util.ReflectiveVisitor

net.sourceforge.czt.z.jaxb.JaxbToAst

net.sourceforge.czt.zeves.jaxb.JaxbToAst

public class JaxbToAst
extends JaxbToAst

The unmarshaller responsible for deserializing XML data.

Author:

GnAST version 1.6-SNAPSHOT

Field Summary

Fields

Modifier and Type	Field and Description
protected ZEvesFactory	mZEvesFactory_

Fields inherited from class net.sourceforge.czt.z.jaxb.JaxbToAst

mZFactory_

Constructor Summary

Constructors

Constructor and Description
JaxbToAst()
JaxbToAst(ZFactory vZFactory, ZEvesFactory vZEvesFactory)

Method Summary

Modifier and Type	Method and Description
Object	visitApplyCommand(ApplyCommand jaxbObject)
Object	visitCaseAnalysisCommand(CaseAnalysisCommand jaxbObject)
Object	visitElementNSImpl(com.sun.org.apache.xerces.internal.dom.ElementNSImpl obj)
Object	visitInstantiation(Instantiation jaxbObject)
Object	visitInstantiationList(InstantiationList jaxbObject)
Object	visitJAXBElement(JAXBElement<?> jaxbElement)
Object	visitNormalizationCommand(NormalizationCommand jaxbObject)
Object	visitObject(Object object)
Object	visitProofCommandInfo(ProofCommandInfo jaxbObject)
Object	visitProofCommandInfoList(ProofCommandInfoList jaxbObject)
Object	visitProofCommandList(ProofCommandList jaxbObject)
Object	visitProofScript(ProofScript jaxbObject)
Object	visitProofType(ProofType jaxbObject)
Object	visitQuantifiersCommand(QuantifiersCommand jaxbObject)
Object	visitSimplificationCommand(SimplificationCommand jaxbObject)
Object	visitSorryCommand(SorryCommand jaxbObject)
Object	visitSubstitutionCommand(SubstitutionCommand jaxbObject)
Object	visitUseCommand(UseCommand jaxbObject)
Object	visitWithCommand(WithCommand jaxbObject)
Object	visitZEvesLabel(ZEvesLabel jaxbObject)
Object	visitZEvesNote(ZEvesNote jaxbObject)

Methods inherited from class net.sourceforge.czt.z.jaxb.JaxbToAst

visitAndExpr, visitAndPred, visitApplExpr, visitAxPara, visitBindExpr, visitBindSelExpr, visitBranch, visitCompExpr, visitCondExpr, visitConjPara, visitConstDecl, visitDecorExpr, visitDirective, visitExists1Expr, visitExists1Pred, visitExistsExpr, visitExistsPred, visitExprPred, visitFalsePred, visitForallExpr, visitForallPred, visitFreePara, visitFreetype, visitGenericType, visitGenParamType, visitGivenPara, visitGivenType, visitHideExpr, visitIffExpr, visitIffPred, visitImpliesExpr, visitImpliesPred, visitInclDecl, visitInStroke, visitLambdaExpr, visitLatexMarkupPara, visitLetExpr, visitLocAnn, visitMemPred, visitMuExpr, visitNameSectTypeTriple, visitNameTypePair, visitNarrPara, visitNarrSect, visitNegExpr, visitNegPred, visitNewOldPair, visitNextStroke, visitNumExpr, visitNumStroke, visitOperand, visitOperator, visitOptempPara, visitOrExpr, visitOrPred, visitOutStroke, visitParenAnn, visitParent, visitPipeExpr, visitPowerExpr, visitPowerType, visitPreExpr, visitProdExpr, visitProdType, visitProjExpr, visitRefExpr, visitRenameExpr, visitSchemaType, visitSchExpr, visitSectTypeEnvAnn, visitSetCompExpr, visitSetExpr, visitSignature, visitSignatureAnn, visitSpec, visitThetaExpr, visitTruePred, visitTupleExpr, visitTupleSelExpr, visitTypeAnn, visitUnparsedPara, visitUnparsedZSect, visitVarDecl, visitZBranchList, visitZDeclList, visitZExprList, visitZFreetypeList, visitZName, visitZNameList, visitZNumeral, visitZParaList, visitZRenameList, visitZSchText, visitZSect, visitZStrokeList

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

mZEvesFactory_

protected ZEvesFactory mZEvesFactory_

Constructor Detail

JaxbToAst

public JaxbToAst()

JaxbToAst

public JaxbToAst(ZFactory vZFactory,
                 ZEvesFactory vZEvesFactory)

Method Detail

visitObject

public Object visitObject(Object object)

Overrides:

visitObject in class JaxbToAst

visitJAXBElement

public Object visitJAXBElement(JAXBElement<?> jaxbElement)

Overrides:

visitJAXBElement in class JaxbToAst

visitElementNSImpl

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

Overrides:

visitElementNSImpl in class JaxbToAst

visitSimplificationCommand

public Object visitSimplificationCommand(SimplificationCommand jaxbObject)

visitInstantiationList

public Object visitInstantiationList(InstantiationList jaxbObject)

visitZEvesLabel

public Object visitZEvesLabel(ZEvesLabel jaxbObject)

visitApplyCommand

public Object visitApplyCommand(ApplyCommand jaxbObject)

visitQuantifiersCommand

public Object visitQuantifiersCommand(QuantifiersCommand jaxbObject)

visitProofCommandInfo

public Object visitProofCommandInfo(ProofCommandInfo jaxbObject)

visitProofScript

public Object visitProofScript(ProofScript jaxbObject)

visitUseCommand

public Object visitUseCommand(UseCommand jaxbObject)

visitProofCommandInfoList

public Object visitProofCommandInfoList(ProofCommandInfoList jaxbObject)

visitSorryCommand

public Object visitSorryCommand(SorryCommand jaxbObject)

visitProofType

public Object visitProofType(ProofType jaxbObject)

visitWithCommand

public Object visitWithCommand(WithCommand jaxbObject)

visitSubstitutionCommand

public Object visitSubstitutionCommand(SubstitutionCommand jaxbObject)

visitZEvesNote

public Object visitZEvesNote(ZEvesNote jaxbObject)

visitNormalizationCommand

public Object visitNormalizationCommand(NormalizationCommand jaxbObject)

visitProofCommandList

public Object visitProofCommandList(ProofCommandList jaxbObject)

visitInstantiation

public Object visitInstantiation(Instantiation jaxbObject)

visitCaseAnalysisCommand

public Object visitCaseAnalysisCommand(CaseAnalysisCommand jaxbObject)