AstToJaxb (CZT Corejava Z/EVES 1.6-SNAPSHOT API)

java.lang.Object
- net.sourceforge.czt.z.jaxb.AstToJaxb
- - net.sourceforge.czt.zeves.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>>, ApplyCommandVisitor<JAXBElement<? extends Term>>, CaseAnalysisCommandVisitor<JAXBElement<? extends Term>>, InstantiationListVisitor<JAXBElement<? extends Term>>, InstantiationVisitor<JAXBElement<? extends Term>>, NormalizationCommandVisitor<JAXBElement<? extends Term>>, ProofCommandInfoListVisitor<JAXBElement<? extends Term>>, ProofCommandInfoVisitor<JAXBElement<? extends Term>>, ProofCommandListVisitor<JAXBElement<? extends Term>>, ProofScriptVisitor<JAXBElement<? extends Term>>, ProofTypeVisitor<JAXBElement<? extends Term>>, QuantifiersCommandVisitor<JAXBElement<? extends Term>>, SimplificationCommandVisitor<JAXBElement<? extends Term>>, SorryCommandVisitor<JAXBElement<? extends Term>>, SubstitutionCommandVisitor<JAXBElement<? extends Term>>, UseCommandVisitor<JAXBElement<? extends Term>>, WithCommandVisitor<JAXBElement<? extends Term>>, ZEvesLabelVisitor<JAXBElement<? extends Term>>, ZEvesNoteVisitor<JAXBElement<? extends Term>>, ZEvesVisitor<JAXBElement<? extends Term>>
```
public class AstToJaxb
extends AstToJaxb
implements ZEvesVisitor<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>`	`visitApplyCommand(ApplyCommand zedObject)` Visits a(n) ApplyCommand.
`JAXBElement<? extends Term>`	`visitCaseAnalysisCommand(CaseAnalysisCommand zedObject)` Visits a(n) CaseAnalysisCommand.
`JAXBElement<? extends Term>`	`visitInstantiation(Instantiation zedObject)` Visits a(n) Instantiation.
`JAXBElement<? extends Term>`	`visitInstantiationList(InstantiationList zedObject)` Visits a(n) InstantiationList.
`JAXBElement<? extends Term>`	`visitNormalizationCommand(NormalizationCommand zedObject)` Visits a(n) NormalizationCommand.
`JAXBElement<? extends Term>`	`visitProofCommandInfo(ProofCommandInfo zedObject)` Visits a(n) ProofCommandInfo.
`JAXBElement<? extends Term>`	`visitProofCommandInfoList(ProofCommandInfoList zedObject)` Visits a(n) ProofCommandInfoList.
`JAXBElement<? extends Term>`	`visitProofCommandList(ProofCommandList zedObject)` Visits a(n) ProofCommandList.
`JAXBElement<? extends Term>`	`visitProofScript(ProofScript zedObject)` Visits a(n) ProofScript.
`JAXBElement<? extends Term>`	`visitProofType(ProofType zedObject)` Visits a(n) ProofType.
`JAXBElement<? extends Term>`	`visitQuantifiersCommand(QuantifiersCommand zedObject)` Visits a(n) QuantifiersCommand.
`JAXBElement<? extends Term>`	`visitSimplificationCommand(SimplificationCommand zedObject)` Visits a(n) SimplificationCommand.
`JAXBElement<? extends Term>`	`visitSorryCommand(SorryCommand zedObject)` Visits a(n) SorryCommand.
`JAXBElement<? extends Term>`	`visitSubstitutionCommand(SubstitutionCommand zedObject)` Visits a(n) SubstitutionCommand.
`JAXBElement<? extends Term>`	`visitTerm(Term zedObject)`
`JAXBElement<? extends Term>`	`visitUseCommand(UseCommand zedObject)` Visits a(n) UseCommand.
`JAXBElement<? extends Term>`	`visitWithCommand(WithCommand zedObject)` Visits a(n) WithCommand.
`JAXBElement<? extends Term>`	`visitZEvesLabel(ZEvesLabel zedObject)` Visits a(n) ZEvesLabel.
`JAXBElement<? extends Term>`	`visitZEvesNote(ZEvesNote zedObject)` Visits a(n) ZEvesNote.

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
  - visitSimplificationCommand
```
public JAXBElement<? extends Term> visitSimplificationCommand(SimplificationCommand zedObject)
```
    Description copied from interface: SimplificationCommandVisitor
    
    Visits a(n) SimplificationCommand.
    
    Specified by:
    
    visitSimplificationCommand in interface SimplificationCommandVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SimplificationCommand to be visited.
    
    Returns:
    
    some kind of Object.
  - visitInstantiationList
```
public JAXBElement<? extends Term> visitInstantiationList(InstantiationList zedObject)
```
    Description copied from interface: InstantiationListVisitor
    
    Visits a(n) InstantiationList.
    
    Specified by:
    
    visitInstantiationList in interface InstantiationListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the InstantiationList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitZEvesLabel
```
public JAXBElement<? extends Term> visitZEvesLabel(ZEvesLabel zedObject)
```
    Description copied from interface: ZEvesLabelVisitor
    
    Visits a(n) ZEvesLabel.
    
    Specified by:
    
    visitZEvesLabel in interface ZEvesLabelVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ZEvesLabel to be visited.
    
    Returns:
    
    some kind of Object.
  - visitApplyCommand
```
public JAXBElement<? extends Term> visitApplyCommand(ApplyCommand zedObject)
```
    Description copied from interface: ApplyCommandVisitor
    
    Visits a(n) ApplyCommand.
    
    Specified by:
    
    visitApplyCommand in interface ApplyCommandVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ApplyCommand to be visited.
    
    Returns:
    
    some kind of Object.
  - visitQuantifiersCommand
```
public JAXBElement<? extends Term> visitQuantifiersCommand(QuantifiersCommand zedObject)
```
    Description copied from interface: QuantifiersCommandVisitor
    
    Visits a(n) QuantifiersCommand.
    
    Specified by:
    
    visitQuantifiersCommand in interface QuantifiersCommandVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the QuantifiersCommand to be visited.
    
    Returns:
    
    some kind of Object.
  - visitProofCommandInfo
```
public JAXBElement<? extends Term> visitProofCommandInfo(ProofCommandInfo zedObject)
```
    Description copied from interface: ProofCommandInfoVisitor
    
    Visits a(n) ProofCommandInfo.
    
    Specified by:
    
    visitProofCommandInfo in interface ProofCommandInfoVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ProofCommandInfo to be visited.
    
    Returns:
    
    some kind of Object.
  - visitProofScript
```
public JAXBElement<? extends Term> visitProofScript(ProofScript zedObject)
```
    Description copied from interface: ProofScriptVisitor
    
    Visits a(n) ProofScript.
    
    Specified by:
    
    visitProofScript in interface ProofScriptVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ProofScript to be visited.
    
    Returns:
    
    some kind of Object.
  - visitUseCommand
```
public JAXBElement<? extends Term> visitUseCommand(UseCommand zedObject)
```
    Description copied from interface: UseCommandVisitor
    
    Visits a(n) UseCommand.
    
    Specified by:
    
    visitUseCommand in interface UseCommandVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the UseCommand to be visited.
    
    Returns:
    
    some kind of Object.
  - visitProofCommandInfoList
```
public JAXBElement<? extends Term> visitProofCommandInfoList(ProofCommandInfoList zedObject)
```
    Description copied from interface: ProofCommandInfoListVisitor
    
    Visits a(n) ProofCommandInfoList.
    
    Specified by:
    
    visitProofCommandInfoList in interface ProofCommandInfoListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ProofCommandInfoList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSorryCommand
```
public JAXBElement<? extends Term> visitSorryCommand(SorryCommand zedObject)
```
    Description copied from interface: SorryCommandVisitor
    
    Visits a(n) SorryCommand.
    
    Specified by:
    
    visitSorryCommand in interface SorryCommandVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SorryCommand to be visited.
    
    Returns:
    
    some kind of Object.
  - visitProofType
```
public JAXBElement<? extends Term> visitProofType(ProofType zedObject)
```
    Description copied from interface: ProofTypeVisitor
    
    Visits a(n) ProofType.
    
    Specified by:
    
    visitProofType in interface ProofTypeVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ProofType to be visited.
    
    Returns:
    
    some kind of Object.
  - visitWithCommand
```
public JAXBElement<? extends Term> visitWithCommand(WithCommand zedObject)
```
    Description copied from interface: WithCommandVisitor
    
    Visits a(n) WithCommand.
    
    Specified by:
    
    visitWithCommand in interface WithCommandVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the WithCommand to be visited.
    
    Returns:
    
    some kind of Object.
  - visitSubstitutionCommand
```
public JAXBElement<? extends Term> visitSubstitutionCommand(SubstitutionCommand zedObject)
```
    Description copied from interface: SubstitutionCommandVisitor
    
    Visits a(n) SubstitutionCommand.
    
    Specified by:
    
    visitSubstitutionCommand in interface SubstitutionCommandVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the SubstitutionCommand to be visited.
    
    Returns:
    
    some kind of Object.
  - visitZEvesNote
```
public JAXBElement<? extends Term> visitZEvesNote(ZEvesNote zedObject)
```
    Description copied from interface: ZEvesNoteVisitor
    
    Visits a(n) ZEvesNote.
    
    Specified by:
    
    visitZEvesNote in interface ZEvesNoteVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ZEvesNote to be visited.
    
    Returns:
    
    some kind of Object.
  - visitNormalizationCommand
```
public JAXBElement<? extends Term> visitNormalizationCommand(NormalizationCommand zedObject)
```
    Description copied from interface: NormalizationCommandVisitor
    
    Visits a(n) NormalizationCommand.
    
    Specified by:
    
    visitNormalizationCommand in interface NormalizationCommandVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the NormalizationCommand to be visited.
    
    Returns:
    
    some kind of Object.
  - visitProofCommandList
```
public JAXBElement<? extends Term> visitProofCommandList(ProofCommandList zedObject)
```
    Description copied from interface: ProofCommandListVisitor
    
    Visits a(n) ProofCommandList.
    
    Specified by:
    
    visitProofCommandList in interface ProofCommandListVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the ProofCommandList to be visited.
    
    Returns:
    
    some kind of Object.
  - visitInstantiation
```
public JAXBElement<? extends Term> visitInstantiation(Instantiation zedObject)
```
    Description copied from interface: InstantiationVisitor
    
    Visits a(n) Instantiation.
    
    Specified by:
    
    visitInstantiation in interface InstantiationVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the Instantiation to be visited.
    
    Returns:
    
    some kind of Object.
  - visitCaseAnalysisCommand
```
public JAXBElement<? extends Term> visitCaseAnalysisCommand(CaseAnalysisCommand zedObject)
```
    Description copied from interface: CaseAnalysisCommandVisitor
    
    Visits a(n) CaseAnalysisCommand.
    
    Specified by:
    
    visitCaseAnalysisCommand in interface CaseAnalysisCommandVisitor<JAXBElement<? extends Term>>
    
    Parameters:
    
    zedObject - the CaseAnalysisCommand to be visited.
    
    Returns:
    
    some kind of Object.

Class AstToJaxb

Constructor Summary

Method Summary

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

Methods inherited from class java.lang.Object

Constructor Detail

AstToJaxb

Method Detail

visitTerm

visitSimplificationCommand

visitInstantiationList

visitZEvesLabel

visitApplyCommand

visitQuantifiersCommand

visitProofCommandInfo

visitProofScript

visitUseCommand

visitProofCommandInfoList

visitSorryCommand

visitProofType

visitWithCommand

visitSubstitutionCommand

visitZEvesNote

visitNormalizationCommand

visitProofCommandList

visitInstantiation

visitCaseAnalysisCommand