public class JaxbToAst extends JaxbToAst
| Modifier and Type | Field and Description |
|---|---|
protected CircusFactory |
mCircusFactory_ |
mZpattFactory_mZFactory_| Constructor and Description |
|---|
JaxbToAst() |
JaxbToAst(ZFactory vZFactory,
ZpattFactory vZpattFactory,
CircusFactory vCircusFactory) |
visitCheckPassed, visitHeadDeclList, visitJokerDeclList, visitJokerDeclListBinding, visitJokerExpr, visitJokerExprBinding, visitJokerExprList, visitJokerExprListBinding, visitJokerName, visitJokerNameBinding, visitJokerNameList, visitJokerNameListBinding, visitJokerPred, visitJokerPredBinding, visitJokerRenameList, visitJokerRenameListBinding, visitJokers, visitJokerStroke, visitJokerStrokeBinding, visitOracle, visitOracleAppl, visitRule, visitRuleAppl, visitSequent, visitSequentContext, visitSequentListvisitAndExpr, 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, visitZStrokeListdispatch, getMethod, tryInterfacesprotected CircusFactory mCircusFactory_
public JaxbToAst()
public JaxbToAst(ZFactory vZFactory, ZpattFactory vZpattFactory, CircusFactory vCircusFactory)
public Object visitObject(Object object)
visitObject in class JaxbToAstpublic Object visitJAXBElement(JAXBElement<?> jaxbElement)
visitJAXBElement in class JaxbToAstpublic Object visitElementNSImpl(com.sun.org.apache.xerces.internal.dom.ElementNSImpl obj)
visitElementNSImpl in class JaxbToAstpublic Object visitTransformerPara(TransformerPara jaxbObject)
public Object visitStateUpdate(StateUpdate jaxbObject)
public Object visitIndexedProcess(IndexedProcess jaxbObject)
public Object visitProofObligationAnn(ProofObligationAnn jaxbObject)
public Object visitChannelSetPara(ChannelSetPara jaxbObject)
public Object visitSeqProcessIdx(SeqProcessIdx jaxbObject)
public Object visitCircusCommunicationList(CircusCommunicationList jaxbObject)
public Object visitCircusChannelSet(CircusChannelSet jaxbObject)
public Object visitExtChoiceProcessIdx(ExtChoiceProcessIdx jaxbObject)
public Object visitActionSignatureAnn(ActionSignatureAnn jaxbObject)
public Object visitProcessSignatureList(ProcessSignatureList jaxbObject)
public Object visitCircusChannelSetList(CircusChannelSetList jaxbObject)
public Object visitHideAction(HideAction jaxbObject)
public Object visitParallelAction(ParallelAction jaxbObject)
public Object visitExtChoiceProcessIte(ExtChoiceProcessIte jaxbObject)
public Object visitParallelProcessIdx(ParallelProcessIdx jaxbObject)
public Object visitOutputFieldAnn(OutputFieldAnn jaxbObject)
public Object visitOnTheFlyDefAnn(OnTheFlyDefAnn jaxbObject)
public Object visitLetVarAction(LetVarAction jaxbObject)
public Object visitParamProcess(ParamProcess jaxbObject)
public Object visitNameSetPara(NameSetPara jaxbObject)
public Object visitSeqProcessIte(SeqProcessIte jaxbObject)
public Object visitParallelProcess(ParallelProcess jaxbObject)
public Object visitSchExprAction(SchExprAction jaxbObject)
public Object visitStopAction(StopAction jaxbObject)
public Object visitQualifiedDecl(QualifiedDecl jaxbObject)
public Object visitParallelProcessIte(ParallelProcessIte jaxbObject)
public Object visitCallProcess(CallProcess jaxbObject)
public Object visitIntChoiceProcessIte(IntChoiceProcessIte jaxbObject)
public Object visitProcessSignature(ProcessSignature jaxbObject)
public Object visitExtChoiceActionIte(ExtChoiceActionIte jaxbObject)
public Object visitIfGuardedCommand(IfGuardedCommand jaxbObject)
public Object visitProcessType(ProcessType jaxbObject)
public Object visitInterleaveAction(InterleaveAction jaxbObject)
public Object visitPrefixingAction(PrefixingAction jaxbObject)
public Object visitProcessTransformerPred(ProcessTransformerPred jaxbObject)
public Object visitCircusActionList(CircusActionList jaxbObject)
public Object visitCommunication(Communication jaxbObject)
public Object visitIntChoiceProcessIdx(IntChoiceProcessIdx jaxbObject)
public Object visitInputField(InputField jaxbObject)
public Object visitHideProcess(HideProcess jaxbObject)
public Object visitActionPara(ActionPara jaxbObject)
public Object visitExtChoiceProcess(ExtChoiceProcess jaxbObject)
public Object visitLetMuAction(LetMuAction jaxbObject)
public Object visitZSignatureList(ZSignatureList jaxbObject)
public Object visitAssignmentCommand(AssignmentCommand jaxbObject)
public Object visitChannelType(ChannelType jaxbObject)
public Object visitActionType(ActionType jaxbObject)
public Object visitSeqActionIte(SeqActionIte jaxbObject)
public Object visitIntChoiceActionIte(IntChoiceActionIte jaxbObject)
public Object visitCallAction(CallAction jaxbObject)
public Object visitSpecStmtCommand(SpecStmtCommand jaxbObject)
public Object visitStateUpdateAnn(StateUpdateAnn jaxbObject)
public Object visitChannelDecl(ChannelDecl jaxbObject)
public Object visitNameSetType(NameSetType jaxbObject)
public Object visitInterleaveProcessIdx(InterleaveProcessIdx jaxbObject)
public Object visitProcessSignatureAnn(ProcessSignatureAnn jaxbObject)
public Object visitExtChoiceAction(ExtChoiceAction jaxbObject)
public Object visitSkipAction(SkipAction jaxbObject)
public Object visitSubstitutionAction(SubstitutionAction jaxbObject)
public Object visitChannelSetType(ChannelSetType jaxbObject)
public Object visitCircusNameSet(CircusNameSet jaxbObject)
public Object visitIntChoiceAction(IntChoiceAction jaxbObject)
public Object visitParamAction(ParamAction jaxbObject)
public Object visitCircusNameSetList(CircusNameSetList jaxbObject)
public Object visitProcessPara(ProcessPara jaxbObject)
public Object visitAlphabetisedParallelAction(AlphabetisedParallelAction jaxbObject)
public Object visitBasicChannelSetExpr(BasicChannelSetExpr jaxbObject)
public Object visitInterleaveProcessIte(InterleaveProcessIte jaxbObject)
public Object visitDoGuardedCommand(DoGuardedCommand jaxbObject)
public Object visitGuardedAction(GuardedAction jaxbObject)
public Object visitSeqProcess(SeqProcess jaxbObject)
public Object visitInterruptAction(InterruptAction jaxbObject)
public Object visitAlphabetisedParallelProcessIte(AlphabetisedParallelProcessIte jaxbObject)
public Object visitIntChoiceProcess(IntChoiceProcess jaxbObject)
public Object visitCircusStateAnn(CircusStateAnn jaxbObject)
public Object visitParallelActionIte(ParallelActionIte jaxbObject)
public Object visitRenameProcess(RenameProcess jaxbObject)
public Object visitBasicProcess(BasicProcess jaxbObject)
public Object visitRenameAction(RenameAction jaxbObject)
public Object visitActionSignature(ActionSignature jaxbObject)
public Object visitChannelPara(ChannelPara jaxbObject)
public Object visitActionTransformerPred(ActionTransformerPred jaxbObject)
public Object visitCircusFieldList(CircusFieldList jaxbObject)
public Object visitImplicitChannelAnn(ImplicitChannelAnn jaxbObject)
public Object visitVarDeclCommand(VarDeclCommand jaxbObject)
public Object visitCommunicationType(CommunicationType jaxbObject)
public Object visitInterleaveActionIte(InterleaveActionIte jaxbObject)
public Object visitAlphabetisedParallelProcessIdx(AlphabetisedParallelProcessIdx jaxbObject)
public Object visitChaosAction(ChaosAction jaxbObject)
public Object visitAlphabetisedParallelProcess(AlphabetisedParallelProcess jaxbObject)
public Object visitAlphabetisedParallelActionIte(AlphabetisedParallelActionIte jaxbObject)
public Object visitAssignmentPairs(AssignmentPairs jaxbObject)
public Object visitInterleaveProcess(InterleaveProcess jaxbObject)
public Object visitActionSignatureList(ActionSignatureList jaxbObject)
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.