AstToJaxb (CZT Corejava Circus 1.6-SNAPSHOT API)

java.lang.Object
- net.sourceforge.czt.z.jaxb.AstToJaxb
- - net.sourceforge.czt.zpatt.jaxb.AstToJaxb
  - - net.sourceforge.czt.circus.jaxb.AstToJaxb

All Implemented Interfaces:

TermVisitor<JAXBElement<? extends Term>>, ActionParaVisitor<JAXBElement<? extends Term>>, ActionSignatureAnnVisitor<JAXBElement<? extends Term>>, ActionSignatureListVisitor<JAXBElement<? extends Term>>, ActionSignatureVisitor<JAXBElement<? extends Term>>, ActionTransformerPredVisitor<JAXBElement<? extends Term>>, ActionTypeVisitor<JAXBElement<? extends Term>>, AlphabetisedParallelActionIteVisitor<JAXBElement<? extends Term>>, AlphabetisedParallelActionVisitor<JAXBElement<? extends Term>>, AlphabetisedParallelProcessIdxVisitor<JAXBElement<? extends Term>>, AlphabetisedParallelProcessIteVisitor<JAXBElement<? extends Term>>, AlphabetisedParallelProcessVisitor<JAXBElement<? extends Term>>, AssignmentCommandVisitor<JAXBElement<? extends Term>>, AssignmentPairsVisitor<JAXBElement<? extends Term>>, BasicChannelSetExprVisitor<JAXBElement<? extends Term>>, BasicProcessVisitor<JAXBElement<? extends Term>>, CallActionVisitor<JAXBElement<? extends Term>>, CallProcessVisitor<JAXBElement<? extends Term>>, ChannelDeclVisitor<JAXBElement<? extends Term>>, ChannelParaVisitor<JAXBElement<? extends Term>>, ChannelSetParaVisitor<JAXBElement<? extends Term>>, ChannelSetTypeVisitor<JAXBElement<? extends Term>>, ChannelTypeVisitor<JAXBElement<? extends Term>>, ChaosActionVisitor<JAXBElement<? extends Term>>, CircusActionListVisitor<JAXBElement<? extends Term>>, CircusChannelSetListVisitor<JAXBElement<? extends Term>>, CircusChannelSetVisitor<JAXBElement<? extends Term>>, CircusCommunicationListVisitor<JAXBElement<? extends Term>>, CircusFieldListVisitor<JAXBElement<? extends Term>>, CircusNameSetListVisitor<JAXBElement<? extends Term>>, CircusNameSetVisitor<JAXBElement<? extends Term>>, CircusStateAnnVisitor<JAXBElement<? extends Term>>, CircusVisitor<JAXBElement<? extends Term>>, CommunicationTypeVisitor<JAXBElement<? extends Term>>, CommunicationVisitor<JAXBElement<? extends Term>>, DoGuardedCommandVisitor<JAXBElement<? extends Term>>, DotFieldVisitor<JAXBElement<? extends Term>>, ExtChoiceActionIteVisitor<JAXBElement<? extends Term>>, ExtChoiceActionVisitor<JAXBElement<? extends Term>>, ExtChoiceProcessIdxVisitor<JAXBElement<? extends Term>>, ExtChoiceProcessIteVisitor<JAXBElement<? extends Term>>, ExtChoiceProcessVisitor<JAXBElement<? extends Term>>, GuardedActionVisitor<JAXBElement<? extends Term>>, HideActionVisitor<JAXBElement<? extends Term>>, HideProcessVisitor<JAXBElement<? extends Term>>, IfGuardedCommandVisitor<JAXBElement<? extends Term>>, ImplicitChannelAnnVisitor<JAXBElement<? extends Term>>, IndexedProcessVisitor<JAXBElement<? extends Term>>, InputFieldVisitor<JAXBElement<? extends Term>>, IntChoiceActionIteVisitor<JAXBElement<? extends Term>>, IntChoiceActionVisitor<JAXBElement<? extends Term>>, IntChoiceProcessIdxVisitor<JAXBElement<? extends Term>>, IntChoiceProcessIteVisitor<JAXBElement<? extends Term>>, IntChoiceProcessVisitor<JAXBElement<? extends Term>>, InterleaveActionIteVisitor<JAXBElement<? extends Term>>, InterleaveActionVisitor<JAXBElement<? extends Term>>, InterleaveProcessIdxVisitor<JAXBElement<? extends Term>>, InterleaveProcessIteVisitor<JAXBElement<? extends Term>>, InterleaveProcessVisitor<JAXBElement<? extends Term>>, InterruptActionVisitor<JAXBElement<? extends Term>>, LetMuActionVisitor<JAXBElement<? extends Term>>, LetVarActionVisitor<JAXBElement<? extends Term>>, MuActionVisitor<JAXBElement<? extends Term>>, NameSetParaVisitor<JAXBElement<? extends Term>>, NameSetTypeVisitor<JAXBElement<? extends Term>>, OnTheFlyDefAnnVisitor<JAXBElement<? extends Term>>, OutputFieldAnnVisitor<JAXBElement<? extends Term>>, ParallelActionIteVisitor<JAXBElement<? extends Term>>, ParallelActionVisitor<JAXBElement<? extends Term>>, ParallelProcessIdxVisitor<JAXBElement<? extends Term>>, ParallelProcessIteVisitor<JAXBElement<? extends Term>>, ParallelProcessVisitor<JAXBElement<? extends Term>>, ParamActionVisitor<JAXBElement<? extends Term>>, ParamProcessVisitor<JAXBElement<? extends Term>>, PrefixingActionVisitor<JAXBElement<? extends Term>>, ProcessParaVisitor<JAXBElement<? extends Term>>, ProcessSignatureAnnVisitor<JAXBElement<? extends Term>>, ProcessSignatureListVisitor<JAXBElement<? extends Term>>, ProcessSignatureVisitor<JAXBElement<? extends Term>>, ProcessTransformerPredVisitor<JAXBElement<? extends Term>>, ProcessTypeVisitor<JAXBElement<? extends Term>>, ProofObligationAnnVisitor<JAXBElement<? extends Term>>, QualifiedDeclVisitor<JAXBElement<? extends Term>>, RenameActionVisitor<JAXBElement<? extends Term>>, RenameProcessVisitor<JAXBElement<? extends Term>>, SchExprActionVisitor<JAXBElement<? extends Term>>, SeqActionIteVisitor<JAXBElement<? extends Term>>, SeqActionVisitor<JAXBElement<? extends Term>>, SeqProcessIdxVisitor<JAXBElement<? extends Term>>, SeqProcessIteVisitor<JAXBElement<? extends Term>>, SeqProcessVisitor<JAXBElement<? extends Term>>, SigmaExprVisitor<JAXBElement<? extends Term>>, SkipActionVisitor<JAXBElement<? extends Term>>, SpecStmtCommandVisitor<JAXBElement<? extends Term>>, StateUpdateAnnVisitor<JAXBElement<? extends Term>>, StateUpdateVisitor<JAXBElement<? extends Term>>, StopActionVisitor<JAXBElement<? extends Term>>, SubstitutionActionVisitor<JAXBElement<? extends Term>>, TransformerParaVisitor<JAXBElement<? extends Term>>, VarDeclCommandVisitor<JAXBElement<? extends Term>>, ZSignatureListVisitor<JAXBElement<? extends Term>>, Visitor<JAXBElement<? extends Term>>, AndExprVisitor<JAXBElement<? extends Term>>, AndPredVisitor<JAXBElement<? extends Term>>, ApplExprVisitor<JAXBElement<? extends Term>>, AxParaVisitor<JAXBElement<? extends Term>>, BindExprVisitor<JAXBElement<? extends Term>>, BindSelExprVisitor<JAXBElement<? extends Term>>, BranchVisitor<JAXBElement<? extends Term>>, CompExprVisitor<JAXBElement<? extends Term>>, CondExprVisitor<JAXBElement<? extends Term>>, ConjParaVisitor<JAXBElement<? extends Term>>, ConstDeclVisitor<JAXBElement<? extends Term>>, DecorExprVisitor<JAXBElement<? extends Term>>, DirectiveVisitor<JAXBElement<? extends Term>>, Exists1ExprVisitor<JAXBElement<? extends Term>>, Exists1PredVisitor<JAXBElement<? extends Term>>, ExistsExprVisitor<JAXBElement<? extends Term>>, ExistsPredVisitor<JAXBElement<? extends Term>>, ExprPredVisitor<JAXBElement<? extends Term>>, FalsePredVisitor<JAXBElement<? extends Term>>, ForallExprVisitor<JAXBElement<? extends Term>>, ForallPredVisitor<JAXBElement<? extends Term>>, FreeParaVisitor<JAXBElement<? extends Term>>, FreetypeVisitor<JAXBElement<? extends Term>>, GenericTypeVisitor<JAXBElement<? extends Term>>, GenParamTypeVisitor<JAXBElement<? extends Term>>, GivenParaVisitor<JAXBElement<? extends Term>>, GivenTypeVisitor<JAXBElement<? extends Term>>, HideExprVisitor<JAXBElement<? extends Term>>, IffExprVisitor<JAXBElement<? extends Term>>, IffPredVisitor<JAXBElement<? extends Term>>, ImpliesExprVisitor<JAXBElement<? extends Term>>, ImpliesPredVisitor<JAXBElement<? extends Term>>, InclDeclVisitor<JAXBElement<? extends Term>>, InStrokeVisitor<JAXBElement<? extends Term>>, LambdaExprVisitor<JAXBElement<? extends Term>>, LatexMarkupParaVisitor<JAXBElement<? extends Term>>, LetExprVisitor<JAXBElement<? extends Term>>, LocAnnVisitor<JAXBElement<? extends Term>>, MemPredVisitor<JAXBElement<? extends Term>>, MuExprVisitor<JAXBElement<? extends Term>>, NameSectTypeTripleVisitor<JAXBElement<? extends Term>>, NameTypePairVisitor<JAXBElement<? extends Term>>, NarrParaVisitor<JAXBElement<? extends Term>>, NarrSectVisitor<JAXBElement<? extends Term>>, NegExprVisitor<JAXBElement<? extends Term>>, NegPredVisitor<JAXBElement<? extends Term>>, NewOldPairVisitor<JAXBElement<? extends Term>>, NextStrokeVisitor<JAXBElement<? extends Term>>, NumExprVisitor<JAXBElement<? extends Term>>, NumStrokeVisitor<JAXBElement<? extends Term>>, OperandVisitor<JAXBElement<? extends Term>>, OperatorVisitor<JAXBElement<? extends Term>>, OptempParaVisitor<JAXBElement<? extends Term>>, OrExprVisitor<JAXBElement<? extends Term>>, OrPredVisitor<JAXBElement<? extends Term>>, OutStrokeVisitor<JAXBElement<? extends Term>>, ParenAnnVisitor<JAXBElement<? extends Term>>, ParentVisitor<JAXBElement<? extends Term>>, PipeExprVisitor<JAXBElement<? extends Term>>, PowerExprVisitor<JAXBElement<? extends Term>>, PowerTypeVisitor<JAXBElement<? extends Term>>, PreExprVisitor<JAXBElement<? extends Term>>, ProdExprVisitor<JAXBElement<? extends Term>>, ProdTypeVisitor<JAXBElement<? extends Term>>, ProjExprVisitor<JAXBElement<? extends Term>>, RefExprVisitor<JAXBElement<? extends Term>>, RenameExprVisitor<JAXBElement<? extends Term>>, SchemaTypeVisitor<JAXBElement<? extends Term>>, SchExprVisitor<JAXBElement<? extends Term>>, SectTypeEnvAnnVisitor<JAXBElement<? extends Term>>, SetCompExprVisitor<JAXBElement<? extends Term>>, SetExprVisitor<JAXBElement<? extends Term>>, SignatureAnnVisitor<JAXBElement<? extends Term>>, SignatureVisitor<JAXBElement<? extends Term>>, SpecVisitor<JAXBElement<? extends Term>>, ThetaExprVisitor<JAXBElement<? extends Term>>, TruePredVisitor<JAXBElement<? extends Term>>, TupleExprVisitor<JAXBElement<? extends Term>>, TupleSelExprVisitor<JAXBElement<? extends Term>>, TypeAnnVisitor<JAXBElement<? extends Term>>, UnparsedParaVisitor<JAXBElement<? extends Term>>, UnparsedZSectVisitor<JAXBElement<? extends Term>>, VarDeclVisitor<JAXBElement<? extends Term>>, ZBranchListVisitor<JAXBElement<? extends Term>>, ZDeclListVisitor<JAXBElement<? extends Term>>, ZExprListVisitor<JAXBElement<? extends Term>>, ZFreetypeListVisitor<JAXBElement<? extends Term>>, ZNameListVisitor<JAXBElement<? extends Term>>, ZNameVisitor<JAXBElement<? extends Term>>, ZNumeralVisitor<JAXBElement<? extends Term>>, ZParaListVisitor<JAXBElement<? extends Term>>, ZRenameListVisitor<JAXBElement<? extends Term>>, ZSchTextVisitor<JAXBElement<? extends Term>>, ZSectVisitor<JAXBElement<? extends Term>>, ZStrokeListVisitor<JAXBElement<? extends Term>>, ZVisitor<JAXBElement<? extends Term>>, CheckPassedVisitor<JAXBElement<? extends Term>>, HeadDeclListVisitor<JAXBElement<? extends Term>>, JokerDeclListBindingVisitor<JAXBElement<? extends Term>>, JokerDeclListVisitor<JAXBElement<? extends Term>>, JokerExprBindingVisitor<JAXBElement<? extends Term>>, JokerExprListBindingVisitor<JAXBElement<? extends Term>>, JokerExprListVisitor<JAXBElement<? extends Term>>, JokerExprVisitor<JAXBElement<? extends Term>>, JokerNameBindingVisitor<JAXBElement<? extends Term>>, JokerNameListBindingVisitor<JAXBElement<? extends Term>>, JokerNameListVisitor<JAXBElement<? extends Term>>, JokerNameVisitor<JAXBElement<? extends Term>>, JokerPredBindingVisitor<JAXBElement<? extends Term>>, JokerPredVisitor<JAXBElement<? extends Term>>, JokerRenameListBindingVisitor<JAXBElement<? extends Term>>, JokerRenameListVisitor<JAXBElement<? extends Term>>, JokerStrokeBindingVisitor<JAXBElement<? extends Term>>, JokerStrokeVisitor<JAXBElement<? extends Term>>, JokersVisitor<JAXBElement<? extends Term>>, OracleApplVisitor<JAXBElement<? extends Term>>, OracleVisitor<JAXBElement<? extends Term>>, RuleApplVisitor<JAXBElement<? extends Term>>, RuleVisitor<JAXBElement<? extends Term>>, SequentContextVisitor<JAXBElement<? extends Term>>, SequentListVisitor<JAXBElement<? extends Term>>, SequentVisitor<JAXBElement<? extends Term>>, ZpattVisitor<JAXBElement<? extends Term>>
```
public class AstToJaxb
extends AstToJaxb
implements CircusVisitor<JAXBElement<? extends Term>>
```
The marshaller responsible for serializing XML data.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors
Constructor and Description

AstToJaxb()

Constructors
Constructor and Description
`AstToJaxb()`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`JAXBElement<? extends Term>`	`visitActionPara(ActionPara zedObject)` Visits a(n) ActionPara.
`JAXBElement<? extends Term>`	`visitActionSignature(ActionSignature zedObject)` Visits a(n) ActionSignature.
`JAXBElement<? extends Term>`	`visitActionSignatureAnn(ActionSignatureAnn zedObject)` Visits a(n) ActionSignatureAnn.
`JAXBElement<? extends Term>`	`visitActionSignatureList(ActionSignatureList zedObject)` Visits a(n) ActionSignatureList.
`JAXBElement<? extends Term>`	`visitActionTransformerPred(ActionTransformerPred zedObject)` Visits a(n) ActionTransformerPred.
`JAXBElement<? extends Term>`	`visitActionType(ActionType zedObject)` Visits a(n) ActionType.
`JAXBElement<? extends Term>`	`visitAlphabetisedParallelAction(AlphabetisedParallelAction zedObject)` Visits a(n) AlphabetisedParallelAction.
`JAXBElement<? extends Term>`	`visitAlphabetisedParallelActionIte(AlphabetisedParallelActionIte zedObject)` Visits a(n) AlphabetisedParallelActionIte.
`JAXBElement<? extends Term>`	`visitAlphabetisedParallelProcess(AlphabetisedParallelProcess zedObject)` Visits a(n) AlphabetisedParallelProcess.
`JAXBElement<? extends Term>`	`visitAlphabetisedParallelProcessIdx(AlphabetisedParallelProcessIdx zedObject)` Visits a(n) AlphabetisedParallelProcessIdx.
`JAXBElement<? extends Term>`	`visitAlphabetisedParallelProcessIte(AlphabetisedParallelProcessIte zedObject)` Visits a(n) AlphabetisedParallelProcessIte.
`JAXBElement<? extends Term>`	`visitAssignmentCommand(AssignmentCommand zedObject)` Visits a(n) AssignmentCommand.
`JAXBElement<? extends Term>`	`visitAssignmentPairs(AssignmentPairs zedObject)` Visits a(n) AssignmentPairs.
`JAXBElement<? extends Term>`	`visitBasicChannelSetExpr(BasicChannelSetExpr zedObject)` Visits a(n) BasicChannelSetExpr.
`JAXBElement<? extends Term>`	`visitBasicProcess(BasicProcess zedObject)` Visits a(n) BasicProcess.
`JAXBElement<? extends Term>`	`visitCallAction(CallAction zedObject)` Visits a(n) CallAction.
`JAXBElement<? extends Term>`	`visitCallProcess(CallProcess zedObject)` Visits a(n) CallProcess.
`JAXBElement<? extends Term>`	`visitChannelDecl(ChannelDecl zedObject)` Visits a(n) ChannelDecl.
`JAXBElement<? extends Term>`	`visitChannelPara(ChannelPara zedObject)` Visits a(n) ChannelPara.
`JAXBElement<? extends Term>`	`visitChannelSetPara(ChannelSetPara zedObject)` Visits a(n) ChannelSetPara.
`JAXBElement<? extends Term>`	`visitChannelSetType(ChannelSetType zedObject)` Visits a(n) ChannelSetType.
`JAXBElement<? extends Term>`	`visitChannelType(ChannelType zedObject)` Visits a(n) ChannelType.
`JAXBElement<? extends Term>`	`visitChaosAction(ChaosAction zedObject)` Visits a(n) ChaosAction.
`JAXBElement<? extends Term>`	`visitCircusActionList(CircusActionList zedObject)` Visits a(n) CircusActionList.
`JAXBElement<? extends Term>`	`visitCircusChannelSet(CircusChannelSet zedObject)` Visits a(n) CircusChannelSet.
`JAXBElement<? extends Term>`	`visitCircusChannelSetList(CircusChannelSetList zedObject)` Visits a(n) CircusChannelSetList.
`JAXBElement<? extends Term>`	`visitCircusCommunicationList(CircusCommunicationList zedObject)` Visits a(n) CircusCommunicationList.
`JAXBElement<? extends Term>`	`visitCircusFieldList(CircusFieldList zedObject)` Visits a(n) CircusFieldList.
`JAXBElement<? extends Term>`	`visitCircusNameSet(CircusNameSet zedObject)` Visits a(n) CircusNameSet.
`JAXBElement<? extends Term>`	`visitCircusNameSetList(CircusNameSetList zedObject)` Visits a(n) CircusNameSetList.
`JAXBElement<? extends Term>`	`visitCircusStateAnn(CircusStateAnn zedObject)` Visits a(n) CircusStateAnn.
`JAXBElement<? extends Term>`	`visitCommunication(Communication zedObject)` Visits a(n) Communication.
`JAXBElement<? extends Term>`	`visitCommunicationType(CommunicationType zedObject)` Visits a(n) CommunicationType.
`JAXBElement<? extends Term>`	`visitDoGuardedCommand(DoGuardedCommand zedObject)` Visits a(n) DoGuardedCommand.
`JAXBElement<? extends Term>`	`visitDotField(DotField zedObject)` Visits a(n) DotField.
`JAXBElement<? extends Term>`	`visitExtChoiceAction(ExtChoiceAction zedObject)` Visits a(n) ExtChoiceAction.
`JAXBElement<? extends Term>`	`visitExtChoiceActionIte(ExtChoiceActionIte zedObject)` Visits a(n) ExtChoiceActionIte.
`JAXBElement<? extends Term>`	`visitExtChoiceProcess(ExtChoiceProcess zedObject)` Visits a(n) ExtChoiceProcess.
`JAXBElement<? extends Term>`	`visitExtChoiceProcessIdx(ExtChoiceProcessIdx zedObject)` Visits a(n) ExtChoiceProcessIdx.
`JAXBElement<? extends Term>`	`visitExtChoiceProcessIte(ExtChoiceProcessIte zedObject)` Visits a(n) ExtChoiceProcessIte.
`JAXBElement<? extends Term>`	`visitGuardedAction(GuardedAction zedObject)` Visits a(n) GuardedAction.
`JAXBElement<? extends Term>`	`visitHideAction(HideAction zedObject)` Visits a(n) HideAction.
`JAXBElement<? extends Term>`	`visitHideProcess(HideProcess zedObject)` Visits a(n) HideProcess.
`JAXBElement<? extends Term>`	`visitIfGuardedCommand(IfGuardedCommand zedObject)` Visits a(n) IfGuardedCommand.
`JAXBElement<? extends Term>`	`visitImplicitChannelAnn(ImplicitChannelAnn zedObject)` Visits a(n) ImplicitChannelAnn.
`JAXBElement<? extends Term>`	`visitIndexedProcess(IndexedProcess zedObject)` Visits a(n) IndexedProcess.
`JAXBElement<? extends Term>`	`visitInputField(InputField zedObject)` Visits a(n) InputField.
`JAXBElement<? extends Term>`	`visitIntChoiceAction(IntChoiceAction zedObject)` Visits a(n) IntChoiceAction.
`JAXBElement<? extends Term>`	`visitIntChoiceActionIte(IntChoiceActionIte zedObject)` Visits a(n) IntChoiceActionIte.
`JAXBElement<? extends Term>`	`visitIntChoiceProcess(IntChoiceProcess zedObject)` Visits a(n) IntChoiceProcess.
`JAXBElement<? extends Term>`	`visitIntChoiceProcessIdx(IntChoiceProcessIdx zedObject)` Visits a(n) IntChoiceProcessIdx.
`JAXBElement<? extends Term>`	`visitIntChoiceProcessIte(IntChoiceProcessIte zedObject)` Visits a(n) IntChoiceProcessIte.
`JAXBElement<? extends Term>`	`visitInterleaveAction(InterleaveAction zedObject)` Visits a(n) InterleaveAction.
`JAXBElement<? extends Term>`	`visitInterleaveActionIte(InterleaveActionIte zedObject)` Visits a(n) InterleaveActionIte.
`JAXBElement<? extends Term>`	`visitInterleaveProcess(InterleaveProcess zedObject)` Visits a(n) InterleaveProcess.
`JAXBElement<? extends Term>`	`visitInterleaveProcessIdx(InterleaveProcessIdx zedObject)` Visits a(n) InterleaveProcessIdx.
`JAXBElement<? extends Term>`	`visitInterleaveProcessIte(InterleaveProcessIte zedObject)` Visits a(n) InterleaveProcessIte.
`JAXBElement<? extends Term>`	`visitInterruptAction(InterruptAction zedObject)` Visits a(n) InterruptAction.
`JAXBElement<? extends Term>`	`visitLetMuAction(LetMuAction zedObject)` Visits a(n) LetMuAction.
`JAXBElement<? extends Term>`	`visitLetVarAction(LetVarAction zedObject)` Visits a(n) LetVarAction.
`JAXBElement<? extends Term>`	`visitMuAction(MuAction zedObject)` Visits a(n) MuAction.
`JAXBElement<? extends Term>`	`visitNameSetPara(NameSetPara zedObject)` Visits a(n) NameSetPara.
`JAXBElement<? extends Term>`	`visitNameSetType(NameSetType zedObject)` Visits a(n) NameSetType.
`JAXBElement<? extends Term>`	`visitOnTheFlyDefAnn(OnTheFlyDefAnn zedObject)` Visits a(n) OnTheFlyDefAnn.
`JAXBElement<? extends Term>`	`visitOutputFieldAnn(OutputFieldAnn zedObject)` Visits a(n) OutputFieldAnn.
`JAXBElement<? extends Term>`	`visitParallelAction(ParallelAction zedObject)` Visits a(n) ParallelAction.
`JAXBElement<? extends Term>`	`visitParallelActionIte(ParallelActionIte zedObject)` Visits a(n) ParallelActionIte.
`JAXBElement<? extends Term>`	`visitParallelProcess(ParallelProcess zedObject)` Visits a(n) ParallelProcess.
`JAXBElement<? extends Term>`	`visitParallelProcessIdx(ParallelProcessIdx zedObject)` Visits a(n) ParallelProcessIdx.
`JAXBElement<? extends Term>`	`visitParallelProcessIte(ParallelProcessIte zedObject)` Visits a(n) ParallelProcessIte.
`JAXBElement<? extends Term>`	`visitParamAction(ParamAction zedObject)` Visits a(n) ParamAction.
`JAXBElement<? extends Term>`	`visitParamProcess(ParamProcess zedObject)` Visits a(n) ParamProcess.
`JAXBElement<? extends Term>`	`visitPrefixingAction(PrefixingAction zedObject)` Visits a(n) PrefixingAction.
`JAXBElement<? extends Term>`	`visitProcessPara(ProcessPara zedObject)` Visits a(n) ProcessPara.
`JAXBElement<? extends Term>`	`visitProcessSignature(ProcessSignature zedObject)` Visits a(n) ProcessSignature.
`JAXBElement<? extends Term>`	`visitProcessSignatureAnn(ProcessSignatureAnn zedObject)` Visits a(n) ProcessSignatureAnn.
`JAXBElement<? extends Term>`	`visitProcessSignatureList(ProcessSignatureList zedObject)` Visits a(n) ProcessSignatureList.
`JAXBElement<? extends Term>`	`visitProcessTransformerPred(ProcessTransformerPred zedObject)` Visits a(n) ProcessTransformerPred.
`JAXBElement<? extends Term>`	`visitProcessType(ProcessType zedObject)` Visits a(n) ProcessType.
`JAXBElement<? extends Term>`	`visitProofObligationAnn(ProofObligationAnn zedObject)` Visits a(n) ProofObligationAnn.
`JAXBElement<? extends Term>`	`visitQualifiedDecl(QualifiedDecl zedObject)` Visits a(n) QualifiedDecl.
`JAXBElement<? extends Term>`	`visitRenameAction(RenameAction zedObject)` Visits a(n) RenameAction.
`JAXBElement<? extends Term>`	`visitRenameProcess(RenameProcess zedObject)` Visits a(n) RenameProcess.
`JAXBElement<? extends Term>`	`visitSchExprAction(SchExprAction zedObject)` Visits a(n) SchExprAction.
`JAXBElement<? extends Term>`	`visitSeqAction(SeqAction zedObject)` Visits a(n) SeqAction.
`JAXBElement<? extends Term>`	`visitSeqActionIte(SeqActionIte zedObject)` Visits a(n) SeqActionIte.
`JAXBElement<? extends Term>`	`visitSeqProcess(SeqProcess zedObject)` Visits a(n) SeqProcess.
`JAXBElement<? extends Term>`	`visitSeqProcessIdx(SeqProcessIdx zedObject)` Visits a(n) SeqProcessIdx.
`JAXBElement<? extends Term>`	`visitSeqProcessIte(SeqProcessIte zedObject)` Visits a(n) SeqProcessIte.
`JAXBElement<? extends Term>`	`visitSigmaExpr(SigmaExpr zedObject)` Visits a(n) SigmaExpr.
`JAXBElement<? extends Term>`	`visitSkipAction(SkipAction zedObject)` Visits a(n) SkipAction.
`JAXBElement<? extends Term>`	`visitSpecStmtCommand(SpecStmtCommand zedObject)` Visits a(n) SpecStmtCommand.
`JAXBElement<? extends Term>`	`visitStateUpdate(StateUpdate zedObject)` Visits a(n) StateUpdate.
`JAXBElement<? extends Term>`	`visitStateUpdateAnn(StateUpdateAnn zedObject)` Visits a(n) StateUpdateAnn.
`JAXBElement<? extends Term>`	`visitStopAction(StopAction zedObject)` Visits a(n) StopAction.
`JAXBElement<? extends Term>`	`visitSubstitutionAction(SubstitutionAction zedObject)` Visits a(n) SubstitutionAction.
`JAXBElement<? extends Term>`	`visitTerm(Term zedObject)`
`JAXBElement<? extends Term>`	`visitTransformerPara(TransformerPara zedObject)` Visits a(n) TransformerPara.
`JAXBElement<? extends Term>`	`visitVarDeclCommand(VarDeclCommand zedObject)` Visits a(n) VarDeclCommand.
`JAXBElement<? extends Term>`	`visitZSignatureList(ZSignatureList zedObject)` Visits a(n) ZSignatureList.

Methods inherited from class net.sourceforge.czt.z.jaxb.AstToJaxb
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 java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - AstToJaxb
```
public AstToJaxb()
```
- Method Detail
  - visitTerm
```
public JAXBElement<? extends Term> visitTerm(Term zedObject)
```
    Specified by:
    
    visitTerm in interface TermVisitor<JAXBElement<? extends Term>>
    
    Overrides:
    
    visitTerm in class AstToJaxb
  - visitTransformerPara
```
public JAXBElement<? extends Term> visitTransformerPara(TransformerPara zedObject)
```
    Description copied from interface: TransformerParaVisitor
    
    Visits a(n) TransformerPara.
    
    Specified by:
    
    visitTransformerPara in interface TransformerParaVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the TransformerPara to be visited.
    
    Returns:
    
    some kind of Object.
  - visitStateUpdate
```
public JAXBElement<? extends Term> visitStateUpdate(StateUpdate zedObject)
```
    Description copied from interface: StateUpdateVisitor
    
    Visits a(n) StateUpdate.
    
    Specified by:
    
    visitStateUpdate in interface StateUpdateVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the StateUpdate to be visited.
    
    Returns:
    
    some kind of Object.
  - visitIndexedProcess
```
public JAXBElement<? extends Term> visitIndexedProcess(IndexedProcess zedObject)
```
    Description copied from interface: IndexedProcessVisitor
    
    Visits a(n) IndexedProcess.
    
    Specified by:
    
    visitIndexedProcess in interface IndexedProcessVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the IndexedProcess to be visited.
    
    Returns:
    
    some kind of Object.
  - visitProofObligationAnn
```
public JAXBElement<? extends Term> visitProofObligationAnn(ProofObligationAnn zedObject)
```
    Description copied from interface: ProofObligationAnnVisitor
    
    Visits a(n) ProofObligationAnn.
    
    Specified by:
    
    visitProofObligationAnn in interface ProofObligationAnnVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ProofObligationAnn to be visited.
    
    Returns:
    
    some kind of Object.
  - visitChannelSetPara
```
public JAXBElement<? extends Term> visitChannelSetPara(ChannelSetPara zedObject)
```
    Description copied from interface: ChannelSetParaVisitor
    
    Visits a(n) ChannelSetPara.
    
    Specified by:
    
    visitChannelSetPara in interface ChannelSetParaVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ChannelSetPara to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSeqProcessIdx
```
public JAXBElement<? extends Term> visitSeqProcessIdx(SeqProcessIdx zedObject)
```
    Description copied from interface: SeqProcessIdxVisitor
    
    Visits a(n) SeqProcessIdx.
    
    Specified by:
    
    visitSeqProcessIdx in interface SeqProcessIdxVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SeqProcessIdx to be visited.
    
    Returns:
    
    some kind of Object.
  - visitCircusCommunicationList
```
public JAXBElement<? extends Term> visitCircusCommunicationList(CircusCommunicationList zedObject)
```
    Description copied from interface: CircusCommunicationListVisitor
    
    Visits a(n) CircusCommunicationList.
    
    Specified by:
    
    visitCircusCommunicationList in interface CircusCommunicationListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the CircusCommunicationList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitCircusChannelSet
```
public JAXBElement<? extends Term> visitCircusChannelSet(CircusChannelSet zedObject)
```
    Description copied from interface: CircusChannelSetVisitor
    
    Visits a(n) CircusChannelSet.
    
    Specified by:
    
    visitCircusChannelSet in interface CircusChannelSetVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the CircusChannelSet to be visited.
    
    Returns:
    
    some kind of Object.
  - visitExtChoiceProcessIdx
```
public JAXBElement<? extends Term> visitExtChoiceProcessIdx(ExtChoiceProcessIdx zedObject)
```
    Description copied from interface: ExtChoiceProcessIdxVisitor
    
    Visits a(n) ExtChoiceProcessIdx.
    
    Specified by:
    
    visitExtChoiceProcessIdx in interface ExtChoiceProcessIdxVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ExtChoiceProcessIdx to be visited.
    
    Returns:
    
    some kind of Object.
  - visitActionSignatureAnn
```
public JAXBElement<? extends Term> visitActionSignatureAnn(ActionSignatureAnn zedObject)
```
    Description copied from interface: ActionSignatureAnnVisitor
    
    Visits a(n) ActionSignatureAnn.
    
    Specified by:
    
    visitActionSignatureAnn in interface ActionSignatureAnnVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ActionSignatureAnn to be visited.
    
    Returns:
    
    some kind of Object.
  - visitProcessSignatureList
```
public JAXBElement<? extends Term> visitProcessSignatureList(ProcessSignatureList zedObject)
```
    Description copied from interface: ProcessSignatureListVisitor
    
    Visits a(n) ProcessSignatureList.
    
    Specified by:
    
    visitProcessSignatureList in interface ProcessSignatureListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ProcessSignatureList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitCircusChannelSetList
```
public JAXBElement<? extends Term> visitCircusChannelSetList(CircusChannelSetList zedObject)
```
    Description copied from interface: CircusChannelSetListVisitor
    
    Visits a(n) CircusChannelSetList.
    
    Specified by:
    
    visitCircusChannelSetList in interface CircusChannelSetListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the CircusChannelSetList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitHideAction
```
public JAXBElement<? extends Term> visitHideAction(HideAction zedObject)
```
    Description copied from interface: HideActionVisitor
    
    Visits a(n) HideAction.
    
    Specified by:
    
    visitHideAction in interface HideActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the HideAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitParallelAction
```
public JAXBElement<? extends Term> visitParallelAction(ParallelAction zedObject)
```
    Description copied from interface: ParallelActionVisitor
    
    Visits a(n) ParallelAction.
    
    Specified by:
    
    visitParallelAction in interface ParallelActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ParallelAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitExtChoiceProcessIte
```
public JAXBElement<? extends Term> visitExtChoiceProcessIte(ExtChoiceProcessIte zedObject)
```
    Description copied from interface: ExtChoiceProcessIteVisitor
    
    Visits a(n) ExtChoiceProcessIte.
    
    Specified by:
    
    visitExtChoiceProcessIte in interface ExtChoiceProcessIteVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ExtChoiceProcessIte to be visited.
    
    Returns:
    
    some kind of Object.
  - visitParallelProcessIdx
```
public JAXBElement<? extends Term> visitParallelProcessIdx(ParallelProcessIdx zedObject)
```
    Description copied from interface: ParallelProcessIdxVisitor
    
    Visits a(n) ParallelProcessIdx.
    
    Specified by:
    
    visitParallelProcessIdx in interface ParallelProcessIdxVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ParallelProcessIdx to be visited.
    
    Returns:
    
    some kind of Object.
  - visitOutputFieldAnn
```
public JAXBElement<? extends Term> visitOutputFieldAnn(OutputFieldAnn zedObject)
```
    Description copied from interface: OutputFieldAnnVisitor
    
    Visits a(n) OutputFieldAnn.
    
    Specified by:
    
    visitOutputFieldAnn in interface OutputFieldAnnVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the OutputFieldAnn to be visited.
    
    Returns:
    
    some kind of Object.
  - visitOnTheFlyDefAnn
```
public JAXBElement<? extends Term> visitOnTheFlyDefAnn(OnTheFlyDefAnn zedObject)
```
    Description copied from interface: OnTheFlyDefAnnVisitor
    
    Visits a(n) OnTheFlyDefAnn.
    
    Specified by:
    
    visitOnTheFlyDefAnn in interface OnTheFlyDefAnnVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the OnTheFlyDefAnn to be visited.
    
    Returns:
    
    some kind of Object.
  - visitLetVarAction
```
public JAXBElement<? extends Term> visitLetVarAction(LetVarAction zedObject)
```
    Description copied from interface: LetVarActionVisitor
    
    Visits a(n) LetVarAction.
    
    Specified by:
    
    visitLetVarAction in interface LetVarActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the LetVarAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitParamProcess
```
public JAXBElement<? extends Term> visitParamProcess(ParamProcess zedObject)
```
    Description copied from interface: ParamProcessVisitor
    
    Visits a(n) ParamProcess.
    
    Specified by:
    
    visitParamProcess in interface ParamProcessVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ParamProcess to be visited.
    
    Returns:
    
    some kind of Object.
  - visitNameSetPara
```
public JAXBElement<? extends Term> visitNameSetPara(NameSetPara zedObject)
```
    Description copied from interface: NameSetParaVisitor
    
    Visits a(n) NameSetPara.
    
    Specified by:
    
    visitNameSetPara in interface NameSetParaVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the NameSetPara to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSeqProcessIte
```
public JAXBElement<? extends Term> visitSeqProcessIte(SeqProcessIte zedObject)
```
    Description copied from interface: SeqProcessIteVisitor
    
    Visits a(n) SeqProcessIte.
    
    Specified by:
    
    visitSeqProcessIte in interface SeqProcessIteVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SeqProcessIte to be visited.
    
    Returns:
    
    some kind of Object.
  - visitParallelProcess
```
public JAXBElement<? extends Term> visitParallelProcess(ParallelProcess zedObject)
```
    Description copied from interface: ParallelProcessVisitor
    
    Visits a(n) ParallelProcess.
    
    Specified by:
    
    visitParallelProcess in interface ParallelProcessVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ParallelProcess to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSchExprAction
```
public JAXBElement<? extends Term> visitSchExprAction(SchExprAction zedObject)
```
    Description copied from interface: SchExprActionVisitor
    
    Visits a(n) SchExprAction.
    
    Specified by:
    
    visitSchExprAction in interface SchExprActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SchExprAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitStopAction
```
public JAXBElement<? extends Term> visitStopAction(StopAction zedObject)
```
    Description copied from interface: StopActionVisitor
    
    Visits a(n) StopAction.
    
    Specified by:
    
    visitStopAction in interface StopActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the StopAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitQualifiedDecl
```
public JAXBElement<? extends Term> visitQualifiedDecl(QualifiedDecl zedObject)
```
    Description copied from interface: QualifiedDeclVisitor
    
    Visits a(n) QualifiedDecl.
    
    Specified by:
    
    visitQualifiedDecl in interface QualifiedDeclVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the QualifiedDecl to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSigmaExpr
```
public JAXBElement<? extends Term> visitSigmaExpr(SigmaExpr zedObject)
```
    Description copied from interface: SigmaExprVisitor
    
    Visits a(n) SigmaExpr.
    
    Specified by:
    
    visitSigmaExpr in interface SigmaExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SigmaExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitParallelProcessIte
```
public JAXBElement<? extends Term> visitParallelProcessIte(ParallelProcessIte zedObject)
```
    Description copied from interface: ParallelProcessIteVisitor
    
    Visits a(n) ParallelProcessIte.
    
    Specified by:
    
    visitParallelProcessIte in interface ParallelProcessIteVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ParallelProcessIte to be visited.
    
    Returns:
    
    some kind of Object.
  - visitCallProcess
```
public JAXBElement<? extends Term> visitCallProcess(CallProcess zedObject)
```
    Description copied from interface: CallProcessVisitor
    
    Visits a(n) CallProcess.
    
    Specified by:
    
    visitCallProcess in interface CallProcessVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the CallProcess to be visited.
    
    Returns:
    
    some kind of Object.
  - visitIntChoiceProcessIte
```
public JAXBElement<? extends Term> visitIntChoiceProcessIte(IntChoiceProcessIte zedObject)
```
    Description copied from interface: IntChoiceProcessIteVisitor
    
    Visits a(n) IntChoiceProcessIte.
    
    Specified by:
    
    visitIntChoiceProcessIte in interface IntChoiceProcessIteVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the IntChoiceProcessIte to be visited.
    
    Returns:
    
    some kind of Object.
  - visitProcessSignature
```
public JAXBElement<? extends Term> visitProcessSignature(ProcessSignature zedObject)
```
    Description copied from interface: ProcessSignatureVisitor
    
    Visits a(n) ProcessSignature.
    
    Specified by:
    
    visitProcessSignature in interface ProcessSignatureVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ProcessSignature to be visited.
    
    Returns:
    
    some kind of Object.
  - visitExtChoiceActionIte
```
public JAXBElement<? extends Term> visitExtChoiceActionIte(ExtChoiceActionIte zedObject)
```
    Description copied from interface: ExtChoiceActionIteVisitor
    
    Visits a(n) ExtChoiceActionIte.
    
    Specified by:
    
    visitExtChoiceActionIte in interface ExtChoiceActionIteVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ExtChoiceActionIte to be visited.
    
    Returns:
    
    some kind of Object.
  - visitIfGuardedCommand
```
public JAXBElement<? extends Term> visitIfGuardedCommand(IfGuardedCommand zedObject)
```
    Description copied from interface: IfGuardedCommandVisitor
    
    Visits a(n) IfGuardedCommand.
    
    Specified by:
    
    visitIfGuardedCommand in interface IfGuardedCommandVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the IfGuardedCommand to be visited.
    
    Returns:
    
    some kind of Object.
  - visitProcessType
```
public JAXBElement<? extends Term> visitProcessType(ProcessType zedObject)
```
    Description copied from interface: ProcessTypeVisitor
    
    Visits a(n) ProcessType.
    
    Specified by:
    
    visitProcessType in interface ProcessTypeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ProcessType to be visited.
    
    Returns:
    
    some kind of Object.
  - visitInterleaveAction
```
public JAXBElement<? extends Term> visitInterleaveAction(InterleaveAction zedObject)
```
    Description copied from interface: InterleaveActionVisitor
    
    Visits a(n) InterleaveAction.
    
    Specified by:
    
    visitInterleaveAction in interface InterleaveActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the InterleaveAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitPrefixingAction
```
public JAXBElement<? extends Term> visitPrefixingAction(PrefixingAction zedObject)
```
    Description copied from interface: PrefixingActionVisitor
    
    Visits a(n) PrefixingAction.
    
    Specified by:
    
    visitPrefixingAction in interface PrefixingActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the PrefixingAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitProcessTransformerPred
```
public JAXBElement<? extends Term> visitProcessTransformerPred(ProcessTransformerPred zedObject)
```
    Description copied from interface: ProcessTransformerPredVisitor
    
    Visits a(n) ProcessTransformerPred.
    
    Specified by:
    
    visitProcessTransformerPred in interface ProcessTransformerPredVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ProcessTransformerPred to be visited.
    
    Returns:
    
    some kind of Object.
  - visitCircusActionList
```
public JAXBElement<? extends Term> visitCircusActionList(CircusActionList zedObject)
```
    Description copied from interface: CircusActionListVisitor
    
    Visits a(n) CircusActionList.
    
    Specified by:
    
    visitCircusActionList in interface CircusActionListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the CircusActionList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitCommunication
```
public JAXBElement<? extends Term> visitCommunication(Communication zedObject)
```
    Description copied from interface: CommunicationVisitor
    
    Visits a(n) Communication.
    
    Specified by:
    
    visitCommunication in interface CommunicationVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the Communication to be visited.
    
    Returns:
    
    some kind of Object.
  - visitIntChoiceProcessIdx
```
public JAXBElement<? extends Term> visitIntChoiceProcessIdx(IntChoiceProcessIdx zedObject)
```
    Description copied from interface: IntChoiceProcessIdxVisitor
    
    Visits a(n) IntChoiceProcessIdx.
    
    Specified by:
    
    visitIntChoiceProcessIdx in interface IntChoiceProcessIdxVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the IntChoiceProcessIdx to be visited.
    
    Returns:
    
    some kind of Object.
  - visitInputField
```
public JAXBElement<? extends Term> visitInputField(InputField zedObject)
```
    Description copied from interface: InputFieldVisitor
    
    Visits a(n) InputField.
    
    Specified by:
    
    visitInputField in interface InputFieldVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the InputField to be visited.
    
    Returns:
    
    some kind of Object.
  - visitHideProcess
```
public JAXBElement<? extends Term> visitHideProcess(HideProcess zedObject)
```
    Description copied from interface: HideProcessVisitor
    
    Visits a(n) HideProcess.
    
    Specified by:
    
    visitHideProcess in interface HideProcessVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the HideProcess to be visited.
    
    Returns:
    
    some kind of Object.
  - visitActionPara
```
public JAXBElement<? extends Term> visitActionPara(ActionPara zedObject)
```
    Description copied from interface: ActionParaVisitor
    
    Visits a(n) ActionPara.
    
    Specified by:
    
    visitActionPara in interface ActionParaVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ActionPara to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSeqAction
```
public JAXBElement<? extends Term> visitSeqAction(SeqAction zedObject)
```
    Description copied from interface: SeqActionVisitor
    
    Visits a(n) SeqAction.
    
    Specified by:
    
    visitSeqAction in interface SeqActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SeqAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitExtChoiceProcess
```
public JAXBElement<? extends Term> visitExtChoiceProcess(ExtChoiceProcess zedObject)
```
    Description copied from interface: ExtChoiceProcessVisitor
    
    Visits a(n) ExtChoiceProcess.
    
    Specified by:
    
    visitExtChoiceProcess in interface ExtChoiceProcessVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ExtChoiceProcess to be visited.
    
    Returns:
    
    some kind of Object.
  - visitLetMuAction
```
public JAXBElement<? extends Term> visitLetMuAction(LetMuAction zedObject)
```
    Description copied from interface: LetMuActionVisitor
    
    Visits a(n) LetMuAction.
    
    Specified by:
    
    visitLetMuAction in interface LetMuActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the LetMuAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitZSignatureList
```
public JAXBElement<? extends Term> visitZSignatureList(ZSignatureList zedObject)
```
    Description copied from interface: ZSignatureListVisitor
    
    Visits a(n) ZSignatureList.
    
    Specified by:
    
    visitZSignatureList in interface ZSignatureListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ZSignatureList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitAssignmentCommand
```
public JAXBElement<? extends Term> visitAssignmentCommand(AssignmentCommand zedObject)
```
    Description copied from interface: AssignmentCommandVisitor
    
    Visits a(n) AssignmentCommand.
    
    Specified by:
    
    visitAssignmentCommand in interface AssignmentCommandVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the AssignmentCommand to be visited.
    
    Returns:
    
    some kind of Object.
  - visitChannelType
```
public JAXBElement<? extends Term> visitChannelType(ChannelType zedObject)
```
    Description copied from interface: ChannelTypeVisitor
    
    Visits a(n) ChannelType.
    
    Specified by:
    
    visitChannelType in interface ChannelTypeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ChannelType to be visited.
    
    Returns:
    
    some kind of Object.
  - visitActionType
```
public JAXBElement<? extends Term> visitActionType(ActionType zedObject)
```
    Description copied from interface: ActionTypeVisitor
    
    Visits a(n) ActionType.
    
    Specified by:
    
    visitActionType in interface ActionTypeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ActionType to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSeqActionIte
```
public JAXBElement<? extends Term> visitSeqActionIte(SeqActionIte zedObject)
```
    Description copied from interface: SeqActionIteVisitor
    
    Visits a(n) SeqActionIte.
    
    Specified by:
    
    visitSeqActionIte in interface SeqActionIteVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SeqActionIte to be visited.
    
    Returns:
    
    some kind of Object.
  - visitIntChoiceActionIte
```
public JAXBElement<? extends Term> visitIntChoiceActionIte(IntChoiceActionIte zedObject)
```
    Description copied from interface: IntChoiceActionIteVisitor
    
    Visits a(n) IntChoiceActionIte.
    
    Specified by:
    
    visitIntChoiceActionIte in interface IntChoiceActionIteVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the IntChoiceActionIte to be visited.
    
    Returns:
    
    some kind of Object.
  - visitCallAction
```
public JAXBElement<? extends Term> visitCallAction(CallAction zedObject)
```
    Description copied from interface: CallActionVisitor
    
    Visits a(n) CallAction.
    
    Specified by:
    
    visitCallAction in interface CallActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the CallAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSpecStmtCommand
```
public JAXBElement<? extends Term> visitSpecStmtCommand(SpecStmtCommand zedObject)
```
    Description copied from interface: SpecStmtCommandVisitor
    
    Visits a(n) SpecStmtCommand.
    
    Specified by:
    
    visitSpecStmtCommand in interface SpecStmtCommandVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SpecStmtCommand to be visited.
    
    Returns:
    
    some kind of Object.
  - visitStateUpdateAnn
```
public JAXBElement<? extends Term> visitStateUpdateAnn(StateUpdateAnn zedObject)
```
    Description copied from interface: StateUpdateAnnVisitor
    
    Visits a(n) StateUpdateAnn.
    
    Specified by:
    
    visitStateUpdateAnn in interface StateUpdateAnnVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the StateUpdateAnn to be visited.
    
    Returns:
    
    some kind of Object.
  - visitChannelDecl
```
public JAXBElement<? extends Term> visitChannelDecl(ChannelDecl zedObject)
```
    Description copied from interface: ChannelDeclVisitor
    
    Visits a(n) ChannelDecl.
    
    Specified by:
    
    visitChannelDecl in interface ChannelDeclVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ChannelDecl to be visited.
    
    Returns:
    
    some kind of Object.
  - visitNameSetType
```
public JAXBElement<? extends Term> visitNameSetType(NameSetType zedObject)
```
    Description copied from interface: NameSetTypeVisitor
    
    Visits a(n) NameSetType.
    
    Specified by:
    
    visitNameSetType in interface NameSetTypeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the NameSetType to be visited.
    
    Returns:
    
    some kind of Object.
  - visitInterleaveProcessIdx
```
public JAXBElement<? extends Term> visitInterleaveProcessIdx(InterleaveProcessIdx zedObject)
```
    Description copied from interface: InterleaveProcessIdxVisitor
    
    Visits a(n) InterleaveProcessIdx.
    
    Specified by:
    
    visitInterleaveProcessIdx in interface InterleaveProcessIdxVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the InterleaveProcessIdx to be visited.
    
    Returns:
    
    some kind of Object.
  - visitProcessSignatureAnn
```
public JAXBElement<? extends Term> visitProcessSignatureAnn(ProcessSignatureAnn zedObject)
```
    Description copied from interface: ProcessSignatureAnnVisitor
    
    Visits a(n) ProcessSignatureAnn.
    
    Specified by:
    
    visitProcessSignatureAnn in interface ProcessSignatureAnnVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ProcessSignatureAnn to be visited.
    
    Returns:
    
    some kind of Object.
  - visitMuAction
```
public JAXBElement<? extends Term> visitMuAction(MuAction zedObject)
```
    Description copied from interface: MuActionVisitor
    
    Visits a(n) MuAction.
    
    Specified by:
    
    visitMuAction in interface MuActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the MuAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitExtChoiceAction
```
public JAXBElement<? extends Term> visitExtChoiceAction(ExtChoiceAction zedObject)
```
    Description copied from interface: ExtChoiceActionVisitor
    
    Visits a(n) ExtChoiceAction.
    
    Specified by:
    
    visitExtChoiceAction in interface ExtChoiceActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ExtChoiceAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSkipAction
```
public JAXBElement<? extends Term> visitSkipAction(SkipAction zedObject)
```
    Description copied from interface: SkipActionVisitor
    
    Visits a(n) SkipAction.
    
    Specified by:
    
    visitSkipAction in interface SkipActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SkipAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSubstitutionAction
```
public JAXBElement<? extends Term> visitSubstitutionAction(SubstitutionAction zedObject)
```
    Description copied from interface: SubstitutionActionVisitor
    
    Visits a(n) SubstitutionAction.
    
    Specified by:
    
    visitSubstitutionAction in interface SubstitutionActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SubstitutionAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitChannelSetType
```
public JAXBElement<? extends Term> visitChannelSetType(ChannelSetType zedObject)
```
    Description copied from interface: ChannelSetTypeVisitor
    
    Visits a(n) ChannelSetType.
    
    Specified by:
    
    visitChannelSetType in interface ChannelSetTypeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ChannelSetType to be visited.
    
    Returns:
    
    some kind of Object.
  - visitCircusNameSet
```
public JAXBElement<? extends Term> visitCircusNameSet(CircusNameSet zedObject)
```
    Description copied from interface: CircusNameSetVisitor
    
    Visits a(n) CircusNameSet.
    
    Specified by:
    
    visitCircusNameSet in interface CircusNameSetVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the CircusNameSet to be visited.
    
    Returns:
    
    some kind of Object.
  - visitIntChoiceAction
```
public JAXBElement<? extends Term> visitIntChoiceAction(IntChoiceAction zedObject)
```
    Description copied from interface: IntChoiceActionVisitor
    
    Visits a(n) IntChoiceAction.
    
    Specified by:
    
    visitIntChoiceAction in interface IntChoiceActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the IntChoiceAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitParamAction
```
public JAXBElement<? extends Term> visitParamAction(ParamAction zedObject)
```
    Description copied from interface: ParamActionVisitor
    
    Visits a(n) ParamAction.
    
    Specified by:
    
    visitParamAction in interface ParamActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ParamAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitCircusNameSetList
```
public JAXBElement<? extends Term> visitCircusNameSetList(CircusNameSetList zedObject)
```
    Description copied from interface: CircusNameSetListVisitor
    
    Visits a(n) CircusNameSetList.
    
    Specified by:
    
    visitCircusNameSetList in interface CircusNameSetListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the CircusNameSetList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitProcessPara
```
public JAXBElement<? extends Term> visitProcessPara(ProcessPara zedObject)
```
    Description copied from interface: ProcessParaVisitor
    
    Visits a(n) ProcessPara.
    
    Specified by:
    
    visitProcessPara in interface ProcessParaVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ProcessPara to be visited.
    
    Returns:
    
    some kind of Object.
  - visitAlphabetisedParallelAction
```
public JAXBElement<? extends Term> visitAlphabetisedParallelAction(AlphabetisedParallelAction zedObject)
```
    Description copied from interface: AlphabetisedParallelActionVisitor
    
    Visits a(n) AlphabetisedParallelAction.
    
    Specified by:
    
    visitAlphabetisedParallelAction in interface AlphabetisedParallelActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the AlphabetisedParallelAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitBasicChannelSetExpr
```
public JAXBElement<? extends Term> visitBasicChannelSetExpr(BasicChannelSetExpr zedObject)
```
    Description copied from interface: BasicChannelSetExprVisitor
    
    Visits a(n) BasicChannelSetExpr.
    
    Specified by:
    
    visitBasicChannelSetExpr in interface BasicChannelSetExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the BasicChannelSetExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitInterleaveProcessIte
```
public JAXBElement<? extends Term> visitInterleaveProcessIte(InterleaveProcessIte zedObject)
```
    Description copied from interface: InterleaveProcessIteVisitor
    
    Visits a(n) InterleaveProcessIte.
    
    Specified by:
    
    visitInterleaveProcessIte in interface InterleaveProcessIteVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the InterleaveProcessIte to be visited.
    
    Returns:
    
    some kind of Object.
  - visitDoGuardedCommand
```
public JAXBElement<? extends Term> visitDoGuardedCommand(DoGuardedCommand zedObject)
```
    Description copied from interface: DoGuardedCommandVisitor
    
    Visits a(n) DoGuardedCommand.
    
    Specified by:
    
    visitDoGuardedCommand in interface DoGuardedCommandVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the DoGuardedCommand to be visited.
    
    Returns:
    
    some kind of Object.
  - visitGuardedAction
```
public JAXBElement<? extends Term> visitGuardedAction(GuardedAction zedObject)
```
    Description copied from interface: GuardedActionVisitor
    
    Visits a(n) GuardedAction.
    
    Specified by:
    
    visitGuardedAction in interface GuardedActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the GuardedAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSeqProcess
```
public JAXBElement<? extends Term> visitSeqProcess(SeqProcess zedObject)
```
    Description copied from interface: SeqProcessVisitor
    
    Visits a(n) SeqProcess.
    
    Specified by:
    
    visitSeqProcess in interface SeqProcessVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SeqProcess to be visited.
    
    Returns:
    
    some kind of Object.
  - visitInterruptAction
```
public JAXBElement<? extends Term> visitInterruptAction(InterruptAction zedObject)
```
    Description copied from interface: InterruptActionVisitor
    
    Visits a(n) InterruptAction.
    
    Specified by:
    
    visitInterruptAction in interface InterruptActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the InterruptAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitAlphabetisedParallelProcessIte
```
public JAXBElement<? extends Term> visitAlphabetisedParallelProcessIte(AlphabetisedParallelProcessIte zedObject)
```
    Description copied from interface: AlphabetisedParallelProcessIteVisitor
    
    Visits a(n) AlphabetisedParallelProcessIte.
    
    Specified by:
    
    visitAlphabetisedParallelProcessIte in interface AlphabetisedParallelProcessIteVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the AlphabetisedParallelProcessIte to be visited.
    
    Returns:
    
    some kind of Object.
  - visitIntChoiceProcess
```
public JAXBElement<? extends Term> visitIntChoiceProcess(IntChoiceProcess zedObject)
```
    Description copied from interface: IntChoiceProcessVisitor
    
    Visits a(n) IntChoiceProcess.
    
    Specified by:
    
    visitIntChoiceProcess in interface IntChoiceProcessVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the IntChoiceProcess to be visited.
    
    Returns:
    
    some kind of Object.
  - visitCircusStateAnn
```
public JAXBElement<? extends Term> visitCircusStateAnn(CircusStateAnn zedObject)
```
    Description copied from interface: CircusStateAnnVisitor
    
    Visits a(n) CircusStateAnn.
    
    Specified by:
    
    visitCircusStateAnn in interface CircusStateAnnVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the CircusStateAnn to be visited.
    
    Returns:
    
    some kind of Object.
  - visitParallelActionIte
```
public JAXBElement<? extends Term> visitParallelActionIte(ParallelActionIte zedObject)
```
    Description copied from interface: ParallelActionIteVisitor
    
    Visits a(n) ParallelActionIte.
    
    Specified by:
    
    visitParallelActionIte in interface ParallelActionIteVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ParallelActionIte to be visited.
    
    Returns:
    
    some kind of Object.
  - visitRenameProcess
```
public JAXBElement<? extends Term> visitRenameProcess(RenameProcess zedObject)
```
    Description copied from interface: RenameProcessVisitor
    
    Visits a(n) RenameProcess.
    
    Specified by:
    
    visitRenameProcess in interface RenameProcessVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the RenameProcess to be visited.
    
    Returns:
    
    some kind of Object.
  - visitBasicProcess
```
public JAXBElement<? extends Term> visitBasicProcess(BasicProcess zedObject)
```
    Description copied from interface: BasicProcessVisitor
    
    Visits a(n) BasicProcess.
    
    Specified by:
    
    visitBasicProcess in interface BasicProcessVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the BasicProcess to be visited.
    
    Returns:
    
    some kind of Object.
  - visitRenameAction
```
public JAXBElement<? extends Term> visitRenameAction(RenameAction zedObject)
```
    Description copied from interface: RenameActionVisitor
    
    Visits a(n) RenameAction.
    
    Specified by:
    
    visitRenameAction in interface RenameActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the RenameAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitActionSignature
```
public JAXBElement<? extends Term> visitActionSignature(ActionSignature zedObject)
```
    Description copied from interface: ActionSignatureVisitor
    
    Visits a(n) ActionSignature.
    
    Specified by:
    
    visitActionSignature in interface ActionSignatureVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ActionSignature to be visited.
    
    Returns:
    
    some kind of Object.
  - visitChannelPara
```
public JAXBElement<? extends Term> visitChannelPara(ChannelPara zedObject)
```
    Description copied from interface: ChannelParaVisitor
    
    Visits a(n) ChannelPara.
    
    Specified by:
    
    visitChannelPara in interface ChannelParaVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ChannelPara to be visited.
    
    Returns:
    
    some kind of Object.
  - visitActionTransformerPred
```
public JAXBElement<? extends Term> visitActionTransformerPred(ActionTransformerPred zedObject)
```
    Description copied from interface: ActionTransformerPredVisitor
    
    Visits a(n) ActionTransformerPred.
    
    Specified by:
    
    visitActionTransformerPred in interface ActionTransformerPredVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ActionTransformerPred to be visited.
    
    Returns:
    
    some kind of Object.
  - visitCircusFieldList
```
public JAXBElement<? extends Term> visitCircusFieldList(CircusFieldList zedObject)
```
    Description copied from interface: CircusFieldListVisitor
    
    Visits a(n) CircusFieldList.
    
    Specified by:
    
    visitCircusFieldList in interface CircusFieldListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the CircusFieldList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitImplicitChannelAnn
```
public JAXBElement<? extends Term> visitImplicitChannelAnn(ImplicitChannelAnn zedObject)
```
    Description copied from interface: ImplicitChannelAnnVisitor
    
    Visits a(n) ImplicitChannelAnn.
    
    Specified by:
    
    visitImplicitChannelAnn in interface ImplicitChannelAnnVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ImplicitChannelAnn to be visited.
    
    Returns:
    
    some kind of Object.
  - visitVarDeclCommand
```
public JAXBElement<? extends Term> visitVarDeclCommand(VarDeclCommand zedObject)
```
    Description copied from interface: VarDeclCommandVisitor
    
    Visits a(n) VarDeclCommand.
    
    Specified by:
    
    visitVarDeclCommand in interface VarDeclCommandVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the VarDeclCommand to be visited.
    
    Returns:
    
    some kind of Object.
  - visitCommunicationType
```
public JAXBElement<? extends Term> visitCommunicationType(CommunicationType zedObject)
```
    Description copied from interface: CommunicationTypeVisitor
    
    Visits a(n) CommunicationType.
    
    Specified by:
    
    visitCommunicationType in interface CommunicationTypeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the CommunicationType to be visited.
    
    Returns:
    
    some kind of Object.
  - visitInterleaveActionIte
```
public JAXBElement<? extends Term> visitInterleaveActionIte(InterleaveActionIte zedObject)
```
    Description copied from interface: InterleaveActionIteVisitor
    
    Visits a(n) InterleaveActionIte.
    
    Specified by:
    
    visitInterleaveActionIte in interface InterleaveActionIteVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the InterleaveActionIte to be visited.
    
    Returns:
    
    some kind of Object.
  - visitDotField
```
public JAXBElement<? extends Term> visitDotField(DotField zedObject)
```
    Description copied from interface: DotFieldVisitor
    
    Visits a(n) DotField.
    
    Specified by:
    
    visitDotField in interface DotFieldVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the DotField to be visited.
    
    Returns:
    
    some kind of Object.
  - visitAlphabetisedParallelProcessIdx
```
public JAXBElement<? extends Term> visitAlphabetisedParallelProcessIdx(AlphabetisedParallelProcessIdx zedObject)
```
    Description copied from interface: AlphabetisedParallelProcessIdxVisitor
    
    Visits a(n) AlphabetisedParallelProcessIdx.
    
    Specified by:
    
    visitAlphabetisedParallelProcessIdx in interface AlphabetisedParallelProcessIdxVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the AlphabetisedParallelProcessIdx to be visited.
    
    Returns:
    
    some kind of Object.
  - visitChaosAction
```
public JAXBElement<? extends Term> visitChaosAction(ChaosAction zedObject)
```
    Description copied from interface: ChaosActionVisitor
    
    Visits a(n) ChaosAction.
    
    Specified by:
    
    visitChaosAction in interface ChaosActionVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ChaosAction to be visited.
    
    Returns:
    
    some kind of Object.
  - visitAlphabetisedParallelProcess
```
public JAXBElement<? extends Term> visitAlphabetisedParallelProcess(AlphabetisedParallelProcess zedObject)
```
    Description copied from interface: AlphabetisedParallelProcessVisitor
    
    Visits a(n) AlphabetisedParallelProcess.
    
    Specified by:
    
    visitAlphabetisedParallelProcess in interface AlphabetisedParallelProcessVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the AlphabetisedParallelProcess to be visited.
    
    Returns:
    
    some kind of Object.
  - visitAlphabetisedParallelActionIte
```
public JAXBElement<? extends Term> visitAlphabetisedParallelActionIte(AlphabetisedParallelActionIte zedObject)
```
    Description copied from interface: AlphabetisedParallelActionIteVisitor
    
    Visits a(n) AlphabetisedParallelActionIte.
    
    Specified by:
    
    visitAlphabetisedParallelActionIte in interface AlphabetisedParallelActionIteVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the AlphabetisedParallelActionIte to be visited.
    
    Returns:
    
    some kind of Object.
  - visitAssignmentPairs
```
public JAXBElement<? extends Term> visitAssignmentPairs(AssignmentPairs zedObject)
```
    Description copied from interface: AssignmentPairsVisitor
    
    Visits a(n) AssignmentPairs.
    
    Specified by:
    
    visitAssignmentPairs in interface AssignmentPairsVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the AssignmentPairs to be visited.
    
    Returns:
    
    some kind of Object.
  - visitInterleaveProcess
```
public JAXBElement<? extends Term> visitInterleaveProcess(InterleaveProcess zedObject)
```
    Description copied from interface: InterleaveProcessVisitor
    
    Visits a(n) InterleaveProcess.
    
    Specified by:
    
    visitInterleaveProcess in interface InterleaveProcessVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the InterleaveProcess to be visited.
    
    Returns:
    
    some kind of Object.
  - visitActionSignatureList
```
public JAXBElement<? extends Term> visitActionSignatureList(ActionSignatureList zedObject)
```
    Description copied from interface: ActionSignatureListVisitor
    
    Visits a(n) ActionSignatureList.
    
    Specified by:
    
    visitActionSignatureList in interface ActionSignatureListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ActionSignatureList to be visited.
    
    Returns:
    
    some kind of Object.

Class AstToJaxb

Constructor Summary

Method Summary

Methods inherited from class net.sourceforge.czt.zpatt.jaxb.AstToJaxb

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

Methods inherited from class java.lang.Object

Constructor Detail

AstToJaxb

Method Detail

visitTerm

visitTransformerPara

visitStateUpdate

visitIndexedProcess

visitProofObligationAnn

visitChannelSetPara

visitSeqProcessIdx

visitCircusCommunicationList

visitCircusChannelSet

visitExtChoiceProcessIdx

visitActionSignatureAnn

visitProcessSignatureList

visitCircusChannelSetList

visitHideAction

visitParallelAction

visitExtChoiceProcessIte

visitParallelProcessIdx

visitOutputFieldAnn

visitOnTheFlyDefAnn

visitLetVarAction

visitParamProcess

visitNameSetPara

visitSeqProcessIte

visitParallelProcess

visitSchExprAction

visitStopAction

visitQualifiedDecl

visitSigmaExpr

visitParallelProcessIte

visitCallProcess

visitIntChoiceProcessIte

visitProcessSignature

visitExtChoiceActionIte

visitIfGuardedCommand

visitProcessType

visitInterleaveAction

visitPrefixingAction

visitProcessTransformerPred

visitCircusActionList

visitCommunication

visitIntChoiceProcessIdx

visitInputField

visitHideProcess

visitActionPara

visitSeqAction

visitExtChoiceProcess

visitLetMuAction

visitZSignatureList

visitAssignmentCommand

visitChannelType

visitActionType

visitSeqActionIte

visitIntChoiceActionIte

visitCallAction

visitSpecStmtCommand

visitStateUpdateAnn

visitChannelDecl

visitNameSetType

visitInterleaveProcessIdx

visitProcessSignatureAnn

visitMuAction

visitExtChoiceAction

visitSkipAction

visitSubstitutionAction

visitChannelSetType

visitCircusNameSet

visitIntChoiceAction

visitParamAction

visitCircusNameSetList

visitProcessPara

visitAlphabetisedParallelAction