AstToJaxb (CZT Corejava Z 1.6-SNAPSHOT API)

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

All Implemented Interfaces:

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

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>>
  - visitDecorExpr
```
public JAXBElement<? extends Term> visitDecorExpr(DecorExpr zedObject)
```
    Description copied from interface: DecorExprVisitor
    
    Visits a(n) DecorExpr.
    
    Specified by:
    
    visitDecorExpr in interface DecorExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the DecorExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitUnparsedPara
```
public JAXBElement<? extends Term> visitUnparsedPara(UnparsedPara zedObject)
```
    Description copied from interface: UnparsedParaVisitor
    
    Visits a(n) UnparsedPara.
    
    Specified by:
    
    visitUnparsedPara in interface UnparsedParaVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the UnparsedPara to be visited.
    
    Returns:
    
    some kind of Object.
  - visitZSchText
```
public JAXBElement<? extends Term> visitZSchText(ZSchText zedObject)
```
    Description copied from interface: ZSchTextVisitor
    
    Visits a(n) ZSchText.
    
    Specified by:
    
    visitZSchText in interface ZSchTextVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ZSchText to be visited.
    
    Returns:
    
    some kind of Object.
  - visitNewOldPair
```
public JAXBElement<? extends Term> visitNewOldPair(NewOldPair zedObject)
```
    Description copied from interface: NewOldPairVisitor
    
    Visits a(n) NewOldPair.
    
    Specified by:
    
    visitNewOldPair in interface NewOldPairVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the NewOldPair to be visited.
    
    Returns:
    
    some kind of Object.
  - visitVarDecl
```
public JAXBElement<? extends Term> visitVarDecl(VarDecl zedObject)
```
    Description copied from interface: VarDeclVisitor
    
    Visits a(n) VarDecl.
    
    Specified by:
    
    visitVarDecl in interface VarDeclVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the VarDecl to be visited.
    
    Returns:
    
    some kind of Object.
  - visitZName
```
public JAXBElement<? extends Term> visitZName(ZName zedObject)
```
    Description copied from interface: ZNameVisitor
    
    Visits a(n) ZName.
    
    Specified by:
    
    visitZName in interface ZNameVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ZName to be visited.
    
    Returns:
    
    some kind of Object.
  - visitUnparsedZSect
```
public JAXBElement<? extends Term> visitUnparsedZSect(UnparsedZSect zedObject)
```
    Description copied from interface: UnparsedZSectVisitor
    
    Visits a(n) UnparsedZSect.
    
    Specified by:
    
    visitUnparsedZSect in interface UnparsedZSectVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the UnparsedZSect to be visited.
    
    Returns:
    
    some kind of Object.
  - visitOptempPara
```
public JAXBElement<? extends Term> visitOptempPara(OptempPara zedObject)
```
    Description copied from interface: OptempParaVisitor
    
    Visits a(n) OptempPara.
    
    Specified by:
    
    visitOptempPara in interface OptempParaVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the OptempPara to be visited.
    
    Returns:
    
    some kind of Object.
  - visitInclDecl
```
public JAXBElement<? extends Term> visitInclDecl(InclDecl zedObject)
```
    Description copied from interface: InclDeclVisitor
    
    Visits a(n) InclDecl.
    
    Specified by:
    
    visitInclDecl in interface InclDeclVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the InclDecl to be visited.
    
    Returns:
    
    some kind of Object.
  - visitNarrPara
```
public JAXBElement<? extends Term> visitNarrPara(NarrPara zedObject)
```
    Description copied from interface: NarrParaVisitor
    
    Visits a(n) NarrPara.
    
    Specified by:
    
    visitNarrPara in interface NarrParaVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the NarrPara to be visited.
    
    Returns:
    
    some kind of Object.
  - visitTupleSelExpr
```
public JAXBElement<? extends Term> visitTupleSelExpr(TupleSelExpr zedObject)
```
    Description copied from interface: TupleSelExprVisitor
    
    Visits a(n) TupleSelExpr.
    
    Specified by:
    
    visitTupleSelExpr in interface TupleSelExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the TupleSelExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitBindExpr
```
public JAXBElement<? extends Term> visitBindExpr(BindExpr zedObject)
```
    Description copied from interface: BindExprVisitor
    
    Visits a(n) BindExpr.
    
    Specified by:
    
    visitBindExpr in interface BindExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the BindExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitMuExpr
```
public JAXBElement<? extends Term> visitMuExpr(MuExpr zedObject)
```
    Description copied from interface: MuExprVisitor
    
    Visits a(n) MuExpr.
    
    Specified by:
    
    visitMuExpr in interface MuExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the MuExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitTruePred
```
public JAXBElement<? extends Term> visitTruePred(TruePred zedObject)
```
    Description copied from interface: TruePredVisitor
    
    Visits a(n) TruePred.
    
    Specified by:
    
    visitTruePred in interface TruePredVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the TruePred to be visited.
    
    Returns:
    
    some kind of Object.
  - visitIffExpr
```
public JAXBElement<? extends Term> visitIffExpr(IffExpr zedObject)
```
    Description copied from interface: IffExprVisitor
    
    Visits a(n) IffExpr.
    
    Specified by:
    
    visitIffExpr in interface IffExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the IffExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSignatureAnn
```
public JAXBElement<? extends Term> visitSignatureAnn(SignatureAnn zedObject)
```
    Description copied from interface: SignatureAnnVisitor
    
    Visits a(n) SignatureAnn.
    
    Specified by:
    
    visitSignatureAnn in interface SignatureAnnVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SignatureAnn to be visited.
    
    Returns:
    
    some kind of Object.
  - visitGivenType
```
public JAXBElement<? extends Term> visitGivenType(GivenType zedObject)
```
    Description copied from interface: GivenTypeVisitor
    
    Visits a(n) GivenType.
    
    Specified by:
    
    visitGivenType in interface GivenTypeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the GivenType to be visited.
    
    Returns:
    
    some kind of Object.
  - visitPreExpr
```
public JAXBElement<? extends Term> visitPreExpr(PreExpr zedObject)
```
    Description copied from interface: PreExprVisitor
    
    Visits a(n) PreExpr.
    
    Specified by:
    
    visitPreExpr in interface PreExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the PreExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSetCompExpr
```
public JAXBElement<? extends Term> visitSetCompExpr(SetCompExpr zedObject)
```
    Description copied from interface: SetCompExprVisitor
    
    Visits a(n) SetCompExpr.
    
    Specified by:
    
    visitSetCompExpr in interface SetCompExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SetCompExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitApplExpr
```
public JAXBElement<? extends Term> visitApplExpr(ApplExpr zedObject)
```
    Description copied from interface: ApplExprVisitor
    
    Visits a(n) ApplExpr.
    
    Specified by:
    
    visitApplExpr in interface ApplExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ApplExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitNumStroke
```
public JAXBElement<? extends Term> visitNumStroke(NumStroke zedObject)
```
    Description copied from interface: NumStrokeVisitor
    
    Visits a(n) NumStroke.
    
    Specified by:
    
    visitNumStroke in interface NumStrokeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the NumStroke to be visited.
    
    Returns:
    
    some kind of Object.
  - visitConjPara
```
public JAXBElement<? extends Term> visitConjPara(ConjPara zedObject)
```
    Description copied from interface: ConjParaVisitor
    
    Visits a(n) ConjPara.
    
    Specified by:
    
    visitConjPara in interface ConjParaVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ConjPara to be visited.
    
    Returns:
    
    some kind of Object.
  - visitDirective
```
public JAXBElement<? extends Term> visitDirective(Directive zedObject)
```
    Description copied from interface: DirectiveVisitor
    
    Visits a(n) Directive.
    
    Specified by:
    
    visitDirective in interface DirectiveVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the Directive to be visited.
    
    Returns:
    
    some kind of Object.
  - visitForallPred
```
public JAXBElement<? extends Term> visitForallPred(ForallPred zedObject)
```
    Description copied from interface: ForallPredVisitor
    
    Visits a(n) ForallPred.
    
    Specified by:
    
    visitForallPred in interface ForallPredVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ForallPred to be visited.
    
    Returns:
    
    some kind of Object.
  - visitZNumeral
```
public JAXBElement<? extends Term> visitZNumeral(ZNumeral zedObject)
```
    Description copied from interface: ZNumeralVisitor
    
    Visits a(n) ZNumeral.
    
    Specified by:
    
    visitZNumeral in interface ZNumeralVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ZNumeral to be visited.
    
    Returns:
    
    some kind of Object.
  - visitExists1Pred
```
public JAXBElement<? extends Term> visitExists1Pred(Exists1Pred zedObject)
```
    Description copied from interface: Exists1PredVisitor
    
    Visits a(n) Exists1Pred.
    
    Specified by:
    
    visitExists1Pred in interface Exists1PredVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the Exists1Pred to be visited.
    
    Returns:
    
    some kind of Object.
  - visitOperand
```
public JAXBElement<? extends Term> visitOperand(Operand zedObject)
```
    Description copied from interface: OperandVisitor
    
    Visits a(n) Operand.
    
    Specified by:
    
    visitOperand in interface OperandVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the Operand to be visited.
    
    Returns:
    
    some kind of Object.
  - visitRenameExpr
```
public JAXBElement<? extends Term> visitRenameExpr(RenameExpr zedObject)
```
    Description copied from interface: RenameExprVisitor
    
    Visits a(n) RenameExpr.
    
    Specified by:
    
    visitRenameExpr in interface RenameExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the RenameExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitCondExpr
```
public JAXBElement<? extends Term> visitCondExpr(CondExpr zedObject)
```
    Description copied from interface: CondExprVisitor
    
    Visits a(n) CondExpr.
    
    Specified by:
    
    visitCondExpr in interface CondExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the CondExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitNextStroke
```
public JAXBElement<? extends Term> visitNextStroke(NextStroke zedObject)
```
    Description copied from interface: NextStrokeVisitor
    
    Visits a(n) NextStroke.
    
    Specified by:
    
    visitNextStroke in interface NextStrokeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the NextStroke to be visited.
    
    Returns:
    
    some kind of Object.
  - visitProjExpr
```
public JAXBElement<? extends Term> visitProjExpr(ProjExpr zedObject)
```
    Description copied from interface: ProjExprVisitor
    
    Visits a(n) ProjExpr.
    
    Specified by:
    
    visitProjExpr in interface ProjExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ProjExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitZDeclList
```
public JAXBElement<? extends Term> visitZDeclList(ZDeclList zedObject)
```
    Description copied from interface: ZDeclListVisitor
    
    Visits a(n) ZDeclList.
    
    Specified by:
    
    visitZDeclList in interface ZDeclListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ZDeclList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitLocAnn
```
public JAXBElement<? extends Term> visitLocAnn(LocAnn zedObject)
```
    Description copied from interface: LocAnnVisitor
    
    Visits a(n) LocAnn.
    
    Specified by:
    
    visitLocAnn in interface LocAnnVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the LocAnn to be visited.
    
    Returns:
    
    some kind of Object.
  - visitHideExpr
```
public JAXBElement<? extends Term> visitHideExpr(HideExpr zedObject)
```
    Description copied from interface: HideExprVisitor
    
    Visits a(n) HideExpr.
    
    Specified by:
    
    visitHideExpr in interface HideExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the HideExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSchExpr
```
public JAXBElement<? extends Term> visitSchExpr(SchExpr zedObject)
```
    Description copied from interface: SchExprVisitor
    
    Visits a(n) SchExpr.
    
    Specified by:
    
    visitSchExpr in interface SchExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SchExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitGenericType
```
public JAXBElement<? extends Term> visitGenericType(GenericType zedObject)
```
    Description copied from interface: GenericTypeVisitor
    
    Visits a(n) GenericType.
    
    Specified by:
    
    visitGenericType in interface GenericTypeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the GenericType to be visited.
    
    Returns:
    
    some kind of Object.
  - visitNameSectTypeTriple
```
public JAXBElement<? extends Term> visitNameSectTypeTriple(NameSectTypeTriple zedObject)
```
    Description copied from interface: NameSectTypeTripleVisitor
    
    Visits a(n) NameSectTypeTriple.
    
    Specified by:
    
    visitNameSectTypeTriple in interface NameSectTypeTripleVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the NameSectTypeTriple to be visited.
    
    Returns:
    
    some kind of Object.
  - visitExists1Expr
```
public JAXBElement<? extends Term> visitExists1Expr(Exists1Expr zedObject)
```
    Description copied from interface: Exists1ExprVisitor
    
    Visits a(n) Exists1Expr.
    
    Specified by:
    
    visitExists1Expr in interface Exists1ExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the Exists1Expr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitLatexMarkupPara
```
public JAXBElement<? extends Term> visitLatexMarkupPara(LatexMarkupPara zedObject)
```
    Description copied from interface: LatexMarkupParaVisitor
    
    Visits a(n) LatexMarkupPara.
    
    Specified by:
    
    visitLatexMarkupPara in interface LatexMarkupParaVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the LatexMarkupPara to be visited.
    
    Returns:
    
    some kind of Object.
  - visitZRenameList
```
public JAXBElement<? extends Term> visitZRenameList(ZRenameList zedObject)
```
    Description copied from interface: ZRenameListVisitor
    
    Visits a(n) ZRenameList.
    
    Specified by:
    
    visitZRenameList in interface ZRenameListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ZRenameList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitNameTypePair
```
public JAXBElement<? extends Term> visitNameTypePair(NameTypePair zedObject)
```
    Description copied from interface: NameTypePairVisitor
    
    Visits a(n) NameTypePair.
    
    Specified by:
    
    visitNameTypePair in interface NameTypePairVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the NameTypePair to be visited.
    
    Returns:
    
    some kind of Object.
  - visitZStrokeList
```
public JAXBElement<? extends Term> visitZStrokeList(ZStrokeList zedObject)
```
    Description copied from interface: ZStrokeListVisitor
    
    Visits a(n) ZStrokeList.
    
    Specified by:
    
    visitZStrokeList in interface ZStrokeListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ZStrokeList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitPowerType
```
public JAXBElement<? extends Term> visitPowerType(PowerType zedObject)
```
    Description copied from interface: PowerTypeVisitor
    
    Visits a(n) PowerType.
    
    Specified by:
    
    visitPowerType in interface PowerTypeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the PowerType to be visited.
    
    Returns:
    
    some kind of Object.
  - visitParenAnn
```
public JAXBElement<? extends Term> visitParenAnn(ParenAnn zedObject)
```
    Description copied from interface: ParenAnnVisitor
    
    Visits a(n) ParenAnn.
    
    Specified by:
    
    visitParenAnn in interface ParenAnnVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ParenAnn to be visited.
    
    Returns:
    
    some kind of Object.
  - visitPipeExpr
```
public JAXBElement<? extends Term> visitPipeExpr(PipeExpr zedObject)
```
    Description copied from interface: PipeExprVisitor
    
    Visits a(n) PipeExpr.
    
    Specified by:
    
    visitPipeExpr in interface PipeExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the PipeExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitTypeAnn
```
public JAXBElement<? extends Term> visitTypeAnn(TypeAnn zedObject)
```
    Description copied from interface: TypeAnnVisitor
    
    Visits a(n) TypeAnn.
    
    Specified by:
    
    visitTypeAnn in interface TypeAnnVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the TypeAnn to be visited.
    
    Returns:
    
    some kind of Object.
  - visitAxPara
```
public JAXBElement<? extends Term> visitAxPara(AxPara zedObject)
```
    Description copied from interface: AxParaVisitor
    
    Visits a(n) AxPara.
    
    Specified by:
    
    visitAxPara in interface AxParaVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the AxPara to be visited.
    
    Returns:
    
    some kind of Object.
  - visitInStroke
```
public JAXBElement<? extends Term> visitInStroke(InStroke zedObject)
```
    Description copied from interface: InStrokeVisitor
    
    Visits a(n) InStroke.
    
    Specified by:
    
    visitInStroke in interface InStrokeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the InStroke to be visited.
    
    Returns:
    
    some kind of Object.
  - visitAndExpr
```
public JAXBElement<? extends Term> visitAndExpr(AndExpr zedObject)
```
    Description copied from interface: AndExprVisitor
    
    Visits a(n) AndExpr.
    
    Specified by:
    
    visitAndExpr in interface AndExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the AndExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitImpliesExpr
```
public JAXBElement<? extends Term> visitImpliesExpr(ImpliesExpr zedObject)
```
    Description copied from interface: ImpliesExprVisitor
    
    Visits a(n) ImpliesExpr.
    
    Specified by:
    
    visitImpliesExpr in interface ImpliesExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ImpliesExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitZBranchList
```
public JAXBElement<? extends Term> visitZBranchList(ZBranchList zedObject)
```
    Description copied from interface: ZBranchListVisitor
    
    Visits a(n) ZBranchList.
    
    Specified by:
    
    visitZBranchList in interface ZBranchListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ZBranchList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSchemaType
```
public JAXBElement<? extends Term> visitSchemaType(SchemaType zedObject)
```
    Description copied from interface: SchemaTypeVisitor
    
    Visits a(n) SchemaType.
    
    Specified by:
    
    visitSchemaType in interface SchemaTypeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SchemaType to be visited.
    
    Returns:
    
    some kind of Object.
  - visitOutStroke
```
public JAXBElement<? extends Term> visitOutStroke(OutStroke zedObject)
```
    Description copied from interface: OutStrokeVisitor
    
    Visits a(n) OutStroke.
    
    Specified by:
    
    visitOutStroke in interface OutStrokeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the OutStroke to be visited.
    
    Returns:
    
    some kind of Object.
  - visitNumExpr
```
public JAXBElement<? extends Term> visitNumExpr(NumExpr zedObject)
```
    Description copied from interface: NumExprVisitor
    
    Visits a(n) NumExpr.
    
    Specified by:
    
    visitNumExpr in interface NumExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the NumExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitZExprList
```
public JAXBElement<? extends Term> visitZExprList(ZExprList zedObject)
```
    Description copied from interface: ZExprListVisitor
    
    Visits a(n) ZExprList.
    
    Specified by:
    
    visitZExprList in interface ZExprListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ZExprList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitExistsExpr
```
public JAXBElement<? extends Term> visitExistsExpr(ExistsExpr zedObject)
```
    Description copied from interface: ExistsExprVisitor
    
    Visits a(n) ExistsExpr.
    
    Specified by:
    
    visitExistsExpr in interface ExistsExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ExistsExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitZSect
```
public JAXBElement<? extends Term> visitZSect(ZSect zedObject)
```
    Description copied from interface: ZSectVisitor
    
    Visits a(n) ZSect.
    
    Specified by:
    
    visitZSect in interface ZSectVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ZSect to be visited.
    
    Returns:
    
    some kind of Object.
  - visitLetExpr
```
public JAXBElement<? extends Term> visitLetExpr(LetExpr zedObject)
```
    Description copied from interface: LetExprVisitor
    
    Visits a(n) LetExpr.
    
    Specified by:
    
    visitLetExpr in interface LetExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the LetExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitProdType
```
public JAXBElement<? extends Term> visitProdType(ProdType zedObject)
```
    Description copied from interface: ProdTypeVisitor
    
    Visits a(n) ProdType.
    
    Specified by:
    
    visitProdType in interface ProdTypeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ProdType to be visited.
    
    Returns:
    
    some kind of Object.
  - visitLambdaExpr
```
public JAXBElement<? extends Term> visitLambdaExpr(LambdaExpr zedObject)
```
    Description copied from interface: LambdaExprVisitor
    
    Visits a(n) LambdaExpr.
    
    Specified by:
    
    visitLambdaExpr in interface LambdaExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the LambdaExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitAndPred
```
public JAXBElement<? extends Term> visitAndPred(AndPred zedObject)
```
    Description copied from interface: AndPredVisitor
    
    Visits a(n) AndPred.
    
    Specified by:
    
    visitAndPred in interface AndPredVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the AndPred to be visited.
    
    Returns:
    
    some kind of Object.
  - visitExistsPred
```
public JAXBElement<? extends Term> visitExistsPred(ExistsPred zedObject)
```
    Description copied from interface: ExistsPredVisitor
    
    Visits a(n) ExistsPred.
    
    Specified by:
    
    visitExistsPred in interface ExistsPredVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ExistsPred to be visited.
    
    Returns:
    
    some kind of Object.
  - visitFreePara
```
public JAXBElement<? extends Term> visitFreePara(FreePara zedObject)
```
    Description copied from interface: FreeParaVisitor
    
    Visits a(n) FreePara.
    
    Specified by:
    
    visitFreePara in interface FreeParaVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the FreePara to be visited.
    
    Returns:
    
    some kind of Object.
  - visitOrExpr
```
public JAXBElement<? extends Term> visitOrExpr(OrExpr zedObject)
```
    Description copied from interface: OrExprVisitor
    
    Visits a(n) OrExpr.
    
    Specified by:
    
    visitOrExpr in interface OrExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the OrExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitTupleExpr
```
public JAXBElement<? extends Term> visitTupleExpr(TupleExpr zedObject)
```
    Description copied from interface: TupleExprVisitor
    
    Visits a(n) TupleExpr.
    
    Specified by:
    
    visitTupleExpr in interface TupleExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the TupleExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitPowerExpr
```
public JAXBElement<? extends Term> visitPowerExpr(PowerExpr zedObject)
```
    Description copied from interface: PowerExprVisitor
    
    Visits a(n) PowerExpr.
    
    Specified by:
    
    visitPowerExpr in interface PowerExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the PowerExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitConstDecl
```
public JAXBElement<? extends Term> visitConstDecl(ConstDecl zedObject)
```
    Description copied from interface: ConstDeclVisitor
    
    Visits a(n) ConstDecl.
    
    Specified by:
    
    visitConstDecl in interface ConstDeclVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ConstDecl to be visited.
    
    Returns:
    
    some kind of Object.
  - visitZParaList
```
public JAXBElement<? extends Term> visitZParaList(ZParaList zedObject)
```
    Description copied from interface: ZParaListVisitor
    
    Visits a(n) ZParaList.
    
    Specified by:
    
    visitZParaList in interface ZParaListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ZParaList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitThetaExpr
```
public JAXBElement<? extends Term> visitThetaExpr(ThetaExpr zedObject)
```
    Description copied from interface: ThetaExprVisitor
    
    Visits a(n) ThetaExpr.
    
    Specified by:
    
    visitThetaExpr in interface ThetaExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ThetaExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitOperator
```
public JAXBElement<? extends Term> visitOperator(Operator zedObject)
```
    Description copied from interface: OperatorVisitor
    
    Visits a(n) Operator.
    
    Specified by:
    
    visitOperator in interface OperatorVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the Operator to be visited.
    
    Returns:
    
    some kind of Object.
  - visitParent
```
public JAXBElement<? extends Term> visitParent(Parent zedObject)
```
    Description copied from interface: ParentVisitor
    
    Visits a(n) Parent.
    
    Specified by:
    
    visitParent in interface ParentVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the Parent to be visited.
    
    Returns:
    
    some kind of Object.
  - visitNegExpr
```
public JAXBElement<? extends Term> visitNegExpr(NegExpr zedObject)
```
    Description copied from interface: NegExprVisitor
    
    Visits a(n) NegExpr.
    
    Specified by:
    
    visitNegExpr in interface NegExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the NegExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitMemPred
```
public JAXBElement<? extends Term> visitMemPred(MemPred zedObject)
```
    Description copied from interface: MemPredVisitor
    
    Visits a(n) MemPred.
    
    Specified by:
    
    visitMemPred in interface MemPredVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the MemPred to be visited.
    
    Returns:
    
    some kind of Object.
  - visitCompExpr
```
public JAXBElement<? extends Term> visitCompExpr(CompExpr zedObject)
```
    Description copied from interface: CompExprVisitor
    
    Visits a(n) CompExpr.
    
    Specified by:
    
    visitCompExpr in interface CompExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the CompExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitForallExpr
```
public JAXBElement<? extends Term> visitForallExpr(ForallExpr zedObject)
```
    Description copied from interface: ForallExprVisitor
    
    Visits a(n) ForallExpr.
    
    Specified by:
    
    visitForallExpr in interface ForallExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ForallExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSetExpr
```
public JAXBElement<? extends Term> visitSetExpr(SetExpr zedObject)
```
    Description copied from interface: SetExprVisitor
    
    Visits a(n) SetExpr.
    
    Specified by:
    
    visitSetExpr in interface SetExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SetExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitBindSelExpr
```
public JAXBElement<? extends Term> visitBindSelExpr(BindSelExpr zedObject)
```
    Description copied from interface: BindSelExprVisitor
    
    Visits a(n) BindSelExpr.
    
    Specified by:
    
    visitBindSelExpr in interface BindSelExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the BindSelExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitBranch
```
public JAXBElement<? extends Term> visitBranch(Branch zedObject)
```
    Description copied from interface: BranchVisitor
    
    Visits a(n) Branch.
    
    Specified by:
    
    visitBranch in interface BranchVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the Branch to be visited.
    
    Returns:
    
    some kind of Object.
  - visitFalsePred
```
public JAXBElement<? extends Term> visitFalsePred(FalsePred zedObject)
```
    Description copied from interface: FalsePredVisitor
    
    Visits a(n) FalsePred.
    
    Specified by:
    
    visitFalsePred in interface FalsePredVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the FalsePred to be visited.
    
    Returns:
    
    some kind of Object.
  - visitZNameList
```
public JAXBElement<? extends Term> visitZNameList(ZNameList zedObject)
```
    Description copied from interface: ZNameListVisitor
    
    Visits a(n) ZNameList.
    
    Specified by:
    
    visitZNameList in interface ZNameListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ZNameList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitRefExpr
```
public JAXBElement<? extends Term> visitRefExpr(RefExpr zedObject)
```
    Description copied from interface: RefExprVisitor
    
    Visits a(n) RefExpr.
    
    Specified by:
    
    visitRefExpr in interface RefExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the RefExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitGivenPara
```
public JAXBElement<? extends Term> visitGivenPara(GivenPara zedObject)
```
    Description copied from interface: GivenParaVisitor
    
    Visits a(n) GivenPara.
    
    Specified by:
    
    visitGivenPara in interface GivenParaVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the GivenPara to be visited.
    
    Returns:
    
    some kind of Object.
  - visitNegPred
```
public JAXBElement<? extends Term> visitNegPred(NegPred zedObject)
```
    Description copied from interface: NegPredVisitor
    
    Visits a(n) NegPred.
    
    Specified by:
    
    visitNegPred in interface NegPredVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the NegPred to be visited.
    
    Returns:
    
    some kind of Object.
  - visitGenParamType
```
public JAXBElement<? extends Term> visitGenParamType(GenParamType zedObject)
```
    Description copied from interface: GenParamTypeVisitor
    
    Visits a(n) GenParamType.
    
    Specified by:
    
    visitGenParamType in interface GenParamTypeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the GenParamType to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSectTypeEnvAnn
```
public JAXBElement<? extends Term> visitSectTypeEnvAnn(SectTypeEnvAnn zedObject)
```
    Description copied from interface: SectTypeEnvAnnVisitor
    
    Visits a(n) SectTypeEnvAnn.
    
    Specified by:
    
    visitSectTypeEnvAnn in interface SectTypeEnvAnnVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SectTypeEnvAnn to be visited.
    
    Returns:
    
    some kind of Object.
  - visitFreetype
```
public JAXBElement<? extends Term> visitFreetype(Freetype zedObject)
```
    Description copied from interface: FreetypeVisitor
    
    Visits a(n) Freetype.
    
    Specified by:
    
    visitFreetype in interface FreetypeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the Freetype to be visited.
    
    Returns:
    
    some kind of Object.
  - visitIffPred
```
public JAXBElement<? extends Term> visitIffPred(IffPred zedObject)
```
    Description copied from interface: IffPredVisitor
    
    Visits a(n) IffPred.
    
    Specified by:
    
    visitIffPred in interface IffPredVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the IffPred to be visited.
    
    Returns:
    
    some kind of Object.
  - visitImpliesPred
```
public JAXBElement<? extends Term> visitImpliesPred(ImpliesPred zedObject)
```
    Description copied from interface: ImpliesPredVisitor
    
    Visits a(n) ImpliesPred.
    
    Specified by:
    
    visitImpliesPred in interface ImpliesPredVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ImpliesPred to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSignature
```
public JAXBElement<? extends Term> visitSignature(Signature zedObject)
```
    Description copied from interface: SignatureVisitor
    
    Visits a(n) Signature.
    
    Specified by:
    
    visitSignature in interface SignatureVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the Signature to be visited.
    
    Returns:
    
    some kind of Object.
  - visitNarrSect
```
public JAXBElement<? extends Term> visitNarrSect(NarrSect zedObject)
```
    Description copied from interface: NarrSectVisitor
    
    Visits a(n) NarrSect.
    
    Specified by:
    
    visitNarrSect in interface NarrSectVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the NarrSect to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSpec
```
public JAXBElement<? extends Term> visitSpec(Spec zedObject)
```
    Description copied from interface: SpecVisitor
    
    Visits a(n) Spec.
    
    Specified by:
    
    visitSpec in interface SpecVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the Spec to be visited.
    
    Returns:
    
    some kind of Object.
  - visitProdExpr
```
public JAXBElement<? extends Term> visitProdExpr(ProdExpr zedObject)
```
    Description copied from interface: ProdExprVisitor
    
    Visits a(n) ProdExpr.
    
    Specified by:
    
    visitProdExpr in interface ProdExprVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ProdExpr to be visited.
    
    Returns:
    
    some kind of Object.
  - visitExprPred
```
public JAXBElement<? extends Term> visitExprPred(ExprPred zedObject)
```
    Description copied from interface: ExprPredVisitor
    
    Visits a(n) ExprPred.
    
    Specified by:
    
    visitExprPred in interface ExprPredVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ExprPred to be visited.
    
    Returns:
    
    some kind of Object.
  - visitZFreetypeList
```
public JAXBElement<? extends Term> visitZFreetypeList(ZFreetypeList zedObject)
```
    Description copied from interface: ZFreetypeListVisitor
    
    Visits a(n) ZFreetypeList.
    
    Specified by:
    
    visitZFreetypeList in interface ZFreetypeListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ZFreetypeList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitOrPred
```
public JAXBElement<? extends Term> visitOrPred(OrPred zedObject)
```
    Description copied from interface: OrPredVisitor
    
    Visits a(n) OrPred.
    
    Specified by:
    
    visitOrPred in interface OrPredVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the OrPred to be visited.
    
    Returns:
    
    some kind of Object.

Class AstToJaxb

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

AstToJaxb

Method Detail

visitTerm

visitDecorExpr

visitUnparsedPara

visitZSchText

visitNewOldPair

visitVarDecl

visitZName

visitUnparsedZSect

visitOptempPara

visitInclDecl

visitNarrPara

visitTupleSelExpr

visitBindExpr

visitMuExpr

visitTruePred

visitIffExpr

visitSignatureAnn

visitGivenType

visitPreExpr

visitSetCompExpr

visitApplExpr

visitNumStroke

visitConjPara

visitDirective

visitForallPred

visitZNumeral

visitExists1Pred

visitOperand

visitRenameExpr

visitCondExpr

visitNextStroke

visitProjExpr

visitZDeclList

visitLocAnn

visitHideExpr

visitSchExpr

visitGenericType

visitNameSectTypeTriple

visitExists1Expr

visitLatexMarkupPara

visitZRenameList

visitNameTypePair

visitZStrokeList

visitPowerType

visitParenAnn

visitPipeExpr

visitTypeAnn

visitAxPara

visitInStroke

visitAndExpr

visitImpliesExpr

visitZBranchList

visitSchemaType

visitOutStroke

visitNumExpr

visitZExprList

visitExistsExpr

visitZSect

visitLetExpr

visitProdType

visitLambdaExpr

visitAndPred

visitExistsPred

visitFreePara

visitOrExpr

visitTupleExpr

visitPowerExpr

visitConstDecl

visitZParaList

visitThetaExpr

visitOperator

visitParent

visitNegExpr