ZPrintVisitor (CZT Parser Z 1.6-SNAPSHOT API)

java.lang.Object
- net.sourceforge.czt.parser.util.AbstractVisitor<R>
- - net.sourceforge.czt.print.z.AbstractPrintVisitor<Object>
  - - net.sourceforge.czt.print.z.ZPrintVisitor

All Implemented Interfaces:

net.sourceforge.czt.base.visitor.ListTermVisitor<Object>, net.sourceforge.czt.base.visitor.TermVisitor<Object>, ApplicationVisitor<Object>, OperatorApplicationVisitor<Object>, PrintExpressionVisitor<Object>, PrintParagraphVisitor<Object>, PrintPredicateVisitor<Object>, PrintPropertiesKeys, net.sourceforge.czt.util.Visitor<Object>, AndExprVisitor<Object>, AndPredVisitor<Object>, ApplExprVisitor<Object>, AxParaVisitor<Object>, BindExprVisitor<Object>, BindSelExprVisitor<Object>, BranchVisitor<Object>, CompExprVisitor<Object>, CondExprVisitor<Object>, ConjParaVisitor<Object>, ConstDeclVisitor<Object>, DecorExprVisitor<Object>, DirectiveVisitor<Object>, Exists1ExprVisitor<Object>, Exists1PredVisitor<Object>, ExistsExprVisitor<Object>, ExistsPredVisitor<Object>, ExprPredVisitor<Object>, FalsePredVisitor<Object>, ForallExprVisitor<Object>, ForallPredVisitor<Object>, FreeParaVisitor<Object>, FreetypeVisitor<Object>, GenericTypeVisitor<Object>, GenParamTypeVisitor<Object>, GivenParaVisitor<Object>, GivenTypeVisitor<Object>, HideExprVisitor<Object>, IffExprVisitor<Object>, IffPredVisitor<Object>, ImpliesExprVisitor<Object>, ImpliesPredVisitor<Object>, InclDeclVisitor<Object>, InStrokeVisitor<Object>, LambdaExprVisitor<Object>, LatexMarkupParaVisitor<Object>, LetExprVisitor<Object>, LocAnnVisitor<Object>, MemPredVisitor<Object>, MuExprVisitor<Object>, NameSectTypeTripleVisitor<Object>, NameTypePairVisitor<Object>, NarrParaVisitor<Object>, NarrSectVisitor<Object>, NegExprVisitor<Object>, NegPredVisitor<Object>, NewOldPairVisitor<Object>, NextStrokeVisitor<Object>, NumExprVisitor<Object>, NumStrokeVisitor<Object>, OperandVisitor<Object>, OperatorVisitor<Object>, OptempParaVisitor<Object>, OrExprVisitor<Object>, OrPredVisitor<Object>, OutStrokeVisitor<Object>, ParenAnnVisitor<Object>, ParentVisitor<Object>, PipeExprVisitor<Object>, PowerExprVisitor<Object>, PowerTypeVisitor<Object>, PreExprVisitor<Object>, ProdExprVisitor<Object>, ProdTypeVisitor<Object>, ProjExprVisitor<Object>, RefExprVisitor<Object>, RenameExprVisitor<Object>, SchemaTypeVisitor<Object>, SchExprVisitor<Object>, SectTypeEnvAnnVisitor<Object>, SetCompExprVisitor<Object>, SetExprVisitor<Object>, SignatureAnnVisitor<Object>, SignatureVisitor<Object>, SpecVisitor<Object>, ThetaExprVisitor<Object>, TruePredVisitor<Object>, TupleExprVisitor<Object>, TupleSelExprVisitor<Object>, TypeAnnVisitor<Object>, UnparsedParaVisitor<Object>, UnparsedZSectVisitor<Object>, VarDeclVisitor<Object>, ZBranchListVisitor<Object>, ZDeclListVisitor<Object>, ZExprListVisitor<Object>, ZFreetypeListVisitor<Object>, ZNameListVisitor<Object>, ZNameVisitor<Object>, ZNumeralVisitor<Object>, ZParaListVisitor<Object>, ZRenameListVisitor<Object>, ZSchTextVisitor<Object>, ZSectVisitor<Object>, ZStrokeListVisitor<Object>, ZVisitor<Object>
```
public class ZPrintVisitor
extends AbstractPrintVisitor<Object>
implements net.sourceforge.czt.base.visitor.TermVisitor<Object>, net.sourceforge.czt.base.visitor.ListTermVisitor<Object>, ZVisitor<Object>, ApplicationVisitor<Object>, OperatorApplicationVisitor<Object>, PrintParagraphVisitor<Object>, PrintPredicateVisitor<Object>, PrintExpressionVisitor<Object>, PrintPropertiesKeys
```
A Z visitor used for printing. If Z/EVES output is selected,
- constant declarations are translated into variable declarations, and
- LambdaExpr, MuExpr, and LetExpr are parenthesised.
Author:

Petra Malik

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

static interface ZPrintVisitor.Utils

static class ZPrintVisitor.UtilsImpl

Nested Classes
Modifier and Type	Class and Description
`static interface`	`ZPrintVisitor.Utils`
`static class`	`ZPrintVisitor.UtilsImpl`

Field Summary

Fields
Modifier and Type Field and Description

protected boolean ref_
- Fields inherited from interface net.sourceforge.czt.print.util.PrintPropertiesKeys
  PROP_PRINT_NAME_IDS, PROP_PRINT_NAME_IDS_DEFAULT, PROP_PRINT_ZEVES, PROP_PRINT_ZEVES_DEFAULT, PROP_PRINTING_ONTHEFLY_SECTION_NAME, PROP_PRINTING_ONTHEFLY_SECTION_NAME_DEFAULT, PROP_PRINTING_STRUCTURED_GOAL, PROP_PRINTING_STRUCTURED_GOAL_DEFAULT, PROP_TXT_TAB_SIZE, PROP_TXT_TAB_SIZE_DEFAULT, PROP_TXT_WIDTH, PROP_TXT_WIDTH_DEFAULT

Fields
Modifier and Type	Field and Description
`protected boolean`	`ref_`

Constructor Summary

Constructors
Constructor and Description
`ZPrintVisitor(SectionInfo si, ZPrinter printer)` Creates a new Z print visitor.
`ZPrintVisitor(SectionInfo si, ZPrinter printer, Properties properties)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`protected void`	`print(Token tokenName, Object spelling)`
`protected void`	`printDecorword(Decorword dw)`
`protected void`	`printDecorword(String name)`
`protected void`	`printGenericFormals(NameList term)`
`protected void`	`printLPAREN(net.sourceforge.czt.base.ast.Term term)`
`protected void`	`printRPAREN(net.sourceforge.czt.base.ast.Term term)`
`protected void`	`printTermList(List<? extends net.sourceforge.czt.base.ast.Term> list)`
`protected void`	`printTermList(List<? extends net.sourceforge.czt.base.ast.Term> list, List<? extends Token> separators)`
`protected void`	`printTermList(List<? extends net.sourceforge.czt.base.ast.Term> list, String separator)`
`protected void`	`printTermList(List<? extends net.sourceforge.czt.base.ast.Term> list, Token separator)`
`void`	`setVisitor(net.sourceforge.czt.util.Visitor<Object> visitor)`
`protected void`	`visit(net.sourceforge.czt.base.ast.Term t)`
`Object`	`visitAndExpr(AndExpr andExpr)`
`Object`	`visitAndPred(AndPred andPred)`
`Object`	`visitApplExpr(ApplExpr applExpr)` Throws an unsupported operation exception.
`Object`	`visitApplication(Application appl)`
`Object`	`visitAxPara(AxPara axPara)`
`Object`	`visitBindExpr(BindExpr bindExpr)`
`Object`	`visitBindSelExpr(BindSelExpr bindSelExpr)`
`Object`	`visitBranch(Branch branch)`
`Object`	`visitCompExpr(CompExpr compExpr)`
`Object`	`visitCondExpr(CondExpr condExpr)`
`Object`	`visitConjPara(ConjPara conjPara)`
`Object`	`visitConstDecl(ConstDecl constDecl)`
`Object`	`visitDecorExpr(DecorExpr decorExpr)`
`Object`	`visitDirective(Directive directive)`
`Object`	`visitExists1Expr(Exists1Expr exists1Expr)`
`Object`	`visitExists1Pred(Exists1Pred exists1Pred)`
`Object`	`visitExistsExpr(ExistsExpr existsExpr)`
`Object`	`visitExistsPred(ExistsPred existsPred)`
`Object`	`visitExprPred(ExprPred exprPred)`
`Object`	`visitFalsePred(FalsePred falsePred)`
`Object`	`visitForallExpr(ForallExpr forallExpr)`
`Object`	`visitForallPred(ForallPred forallPred)`
`Object`	`visitFreePara(FreePara freePara)`
`Object`	`visitFreetype(Freetype freetype)`
`Object`	`visitGenericType(GenericType genType)`
`Object`	`visitGenParamType(GenParamType genType)`
`Object`	`visitGivenPara(GivenPara givenPara)`
`Object`	`visitGivenType(GivenType givenType)`
`Object`	`visitHideExpr(HideExpr hideExpr)`
`Object`	`visitIffExpr(IffExpr iffExpr)`
`Object`	`visitIffPred(IffPred iffPred)`
`Object`	`visitImpliesExpr(ImpliesExpr impliesExpr)`
`Object`	`visitImpliesPred(ImpliesPred impliesPred)`
`Object`	`visitInclDecl(InclDecl inclDecl)`
`Object`	`visitInStroke(InStroke inStroke)`
`Object`	`visitLambdaExpr(LambdaExpr lambdaExpr)`
`Object`	`visitLatexMarkupPara(LatexMarkupPara latexMarkupPara)`
`Object`	`visitLetExpr(LetExpr letExpr)`
`Object`	`visitListTerm(net.sourceforge.czt.base.ast.ListTerm<?> listTerm)`
`Object`	`visitLocAnn(LocAnn locAnn)`
`Object`	`visitMemPred(MemPred memPred)`
`Object`	`visitMuExpr(MuExpr muExpr)`
`Object`	`visitNameSectTypeTriple(NameSectTypeTriple triple)`
`Object`	`visitNameTypePair(NameTypePair pair)`
`Object`	`visitNarrPara(NarrPara narrPara)`
`Object`	`visitNarrSect(NarrSect narrSect)`
`Object`	`visitNegExpr(NegExpr negExpr)`
`Object`	`visitNegPred(NegPred negPred)`
`Object`	`visitNewOldPair(NewOldPair pair)`
`Object`	`visitNextStroke(NextStroke nextStroke)`
`Object`	`visitNumExpr(NumExpr numExpr)`
`Object`	`visitNumStroke(NumStroke numStroke)`
`Object`	`visitOperand(Operand operand)`
`Object`	`visitOperator(Operator operator)`
`Object`	`visitOperatorApplication(OperatorApplication appl)`
`Object`	`visitOptempPara(OptempPara optempPara)`
`Object`	`visitOrExpr(OrExpr orExpr)`
`Object`	`visitOrPred(OrPred orPred)`
`Object`	`visitOutStroke(OutStroke outStroke)`
`Object`	`visitParenAnn(ParenAnn parenAnn)`
`Object`	`visitParent(Parent parent)`
`Object`	`visitPipeExpr(PipeExpr pipeExpr)`
`Object`	`visitPowerExpr(PowerExpr powerExpr)`
`Object`	`visitPowerType(PowerType powerType)`
`Object`	`visitPreExpr(PreExpr preExpr)`
`Object`	`visitPrintExpression(PrintExpression printExpression)`
`Object`	`visitPrintParagraph(PrintParagraph printParagraph)`
`Object`	`visitPrintPredicate(PrintPredicate printPredicate)`
`Object`	`visitProdExpr(ProdExpr prodExpr)`
`Object`	`visitProdType(ProdType prodType)`
`Object`	`visitProjExpr(ProjExpr projExpr)`
`Object`	`visitRefExpr(RefExpr refExpr)`
`Object`	`visitRenameExpr(RenameExpr renameExpr)`
`Object`	`visitSchemaType(SchemaType schemaType)`
`Object`	`visitSchExpr(SchExpr schExpr)`
`Object`	`visitSectTypeEnvAnn(SectTypeEnvAnn ann)`
`Object`	`visitSetCompExpr(SetCompExpr setCompExpr)`
`Object`	`visitSetExpr(SetExpr setExpr)`
`Object`	`visitSignature(Signature s)`
`Object`	`visitSignatureAnn(SignatureAnn signatureAnn)`
`Object`	`visitSpec(Spec spec)`
`Object`	`visitTerm(net.sourceforge.czt.base.ast.Term term)`
`Object`	`visitThetaExpr(ThetaExpr thetaExpr)`
`Object`	`visitTruePred(TruePred truePred)`
`Object`	`visitTupleExpr(TupleExpr tupleExpr)`
`Object`	`visitTupleSelExpr(TupleSelExpr tupleSelExpr)`
`Object`	`visitTypeAnn(TypeAnn typeAnn)`
`Object`	`visitUnparsedPara(UnparsedPara unparsedPara)`
`Object`	`visitUnparsedZSect(UnparsedZSect unparsedZSect)`
`Object`	`visitVarDecl(VarDecl varDecl)`
`Object`	`visitZBranchList(ZBranchList zBranchList)`
`Object`	`visitZDeclList(ZDeclList zDeclList)`
`Object`	`visitZExprList(ZExprList zExprList)`
`Object`	`visitZFreetypeList(ZFreetypeList zFreetypeList)`
`Object`	`visitZName(ZName name)`
`Object`	`visitZNameList(ZNameList nameList)`
`Object`	`visitZNumeral(ZNumeral zNumeral)`
`Object`	`visitZParaList(ZParaList list)`
`Object`	`visitZRenameList(ZRenameList zRenameList)`
`Object`	`visitZSchText(ZSchText schText)`
`Object`	`visitZSect(ZSect zSect)`
`Object`	`visitZStrokeList(ZStrokeList zStrokeList)`

Methods inherited from class net.sourceforge.czt.print.z.AbstractPrintVisitor
getPrinter, print, setPrinter

Methods inherited from class net.sourceforge.czt.parser.util.AbstractVisitor
get, getSectionInfo, run

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - ref_
```
protected boolean ref_
```
- Constructor Detail
  - ZPrintVisitor
```
public ZPrintVisitor(SectionInfo si,
                     ZPrinter printer)
```
    Creates a new Z print visitor.
  - ZPrintVisitor
```
public ZPrintVisitor(SectionInfo si,
                     ZPrinter printer,
                     Properties properties)
```
- Method Detail
  - setVisitor
```
public void setVisitor(net.sourceforge.czt.util.Visitor<Object> visitor)
```
  - printGenericFormals
```
protected void printGenericFormals(NameList term)
```
  - print
```
protected void print(Token tokenName,
                     Object spelling)
```
  - printDecorword
```
protected void printDecorword(Decorword dw)
```
  - printDecorword
```
protected void printDecorword(String name)
```
  - printLPAREN
```
protected void printLPAREN(net.sourceforge.czt.base.ast.Term term)
```
  - printRPAREN
```
protected void printRPAREN(net.sourceforge.czt.base.ast.Term term)
```
  - visitTerm
```
public Object visitTerm(net.sourceforge.czt.base.ast.Term term)
```
    Specified by:
    
    visitTerm in interface net.sourceforge.czt.base.visitor.TermVisitor<Object>
  - visitListTerm
```
public Object visitListTerm(net.sourceforge.czt.base.ast.ListTerm<?> listTerm)
```
    Specified by:
    
    visitListTerm in interface net.sourceforge.czt.base.visitor.ListTermVisitor<Object>
  - visitAndPred
```
public Object visitAndPred(AndPred andPred)
```
    Specified by:
    
    visitAndPred in interface AndPredVisitor<Object>
  - visitAndExpr
```
public Object visitAndExpr(AndExpr andExpr)
```
    Specified by:
    
    visitAndExpr in interface AndExprVisitor<Object>
  - visitAxPara
```
public Object visitAxPara(AxPara axPara)
```
    Specified by:
    
    visitAxPara in interface AxParaVisitor<Object>
  - visitApplication
```
public Object visitApplication(Application appl)
```
    Specified by:
    
    visitApplication in interface ApplicationVisitor<Object>
  - visitApplExpr
```
public Object visitApplExpr(ApplExpr applExpr)
```
    Throws an unsupported operation exception. ApplExpr terms are not part of a print tree. They are converted to either an OperatorApplication or an Application by the AstToPrintTreeVisitor.
    
    Specified by:
    
    visitApplExpr in interface ApplExprVisitor<Object>
  - visitBindExpr
```
public Object visitBindExpr(BindExpr bindExpr)
```
    Specified by:
    
    visitBindExpr in interface BindExprVisitor<Object>
  - visitBindSelExpr
```
public Object visitBindSelExpr(BindSelExpr bindSelExpr)
```
    Specified by:
    
    visitBindSelExpr in interface BindSelExprVisitor<Object>
  - visitBranch
```
public Object visitBranch(Branch branch)
```
    Specified by:
    
    visitBranch in interface BranchVisitor<Object>
  - visitZBranchList
```
public Object visitZBranchList(ZBranchList zBranchList)
```
    Specified by:
    
    visitZBranchList in interface ZBranchListVisitor<Object>
  - visitCompExpr
```
public Object visitCompExpr(CompExpr compExpr)
```
    Specified by:
    
    visitCompExpr in interface CompExprVisitor<Object>
  - visitCondExpr
```
public Object visitCondExpr(CondExpr condExpr)
```
    Specified by:
    
    visitCondExpr in interface CondExprVisitor<Object>
  - visitConjPara
```
public Object visitConjPara(ConjPara conjPara)
```
    Specified by:
    
    visitConjPara in interface ConjParaVisitor<Object>
  - visitConstDecl
```
public Object visitConstDecl(ConstDecl constDecl)
```
    Specified by:
    
    visitConstDecl in interface ConstDeclVisitor<Object>
  - visitDecorExpr
```
public Object visitDecorExpr(DecorExpr decorExpr)
```
    Specified by:
    
    visitDecorExpr in interface DecorExprVisitor<Object>
  - visitDirective
```
public Object visitDirective(Directive directive)
```
    Specified by:
    
    visitDirective in interface DirectiveVisitor<Object>
  - visitExists1Expr
```
public Object visitExists1Expr(Exists1Expr exists1Expr)
```
    Specified by:
    
    visitExists1Expr in interface Exists1ExprVisitor<Object>
  - visitExists1Pred
```
public Object visitExists1Pred(Exists1Pred exists1Pred)
```
    Specified by:
    
    visitExists1Pred in interface Exists1PredVisitor<Object>
  - visitExistsExpr
```
public Object visitExistsExpr(ExistsExpr existsExpr)
```
    Specified by:
    
    visitExistsExpr in interface ExistsExprVisitor<Object>
  - visitExistsPred
```
public Object visitExistsPred(ExistsPred existsPred)
```
    Specified by:
    
    visitExistsPred in interface ExistsPredVisitor<Object>
  - visitExprPred
```
public Object visitExprPred(ExprPred exprPred)
```
    Specified by:
    
    visitExprPred in interface ExprPredVisitor<Object>
  - visitFalsePred
```
public Object visitFalsePred(FalsePred falsePred)
```
    Specified by:
    
    visitFalsePred in interface FalsePredVisitor<Object>
  - visitForallExpr
```
public Object visitForallExpr(ForallExpr forallExpr)
```
    Specified by:
    
    visitForallExpr in interface ForallExprVisitor<Object>
  - visitForallPred
```
public Object visitForallPred(ForallPred forallPred)
```
    Specified by:
    
    visitForallPred in interface ForallPredVisitor<Object>
  - visitFreePara
```
public Object visitFreePara(FreePara freePara)
```
    Specified by:
    
    visitFreePara in interface FreeParaVisitor<Object>
  - visitZFreetypeList
```
public Object visitZFreetypeList(ZFreetypeList zFreetypeList)
```
    Specified by:
    
    visitZFreetypeList in interface ZFreetypeListVisitor<Object>
  - visitFreetype
```
public Object visitFreetype(Freetype freetype)
```
    Specified by:
    
    visitFreetype in interface FreetypeVisitor<Object>
  - visitGenericType
```
public Object visitGenericType(GenericType genType)
```
    Specified by:
    
    visitGenericType in interface GenericTypeVisitor<Object>
  - visitGenParamType
```
public Object visitGenParamType(GenParamType genType)
```
    Specified by:
    
    visitGenParamType in interface GenParamTypeVisitor<Object>
  - visitGivenPara
```
public Object visitGivenPara(GivenPara givenPara)
```
    Specified by:
    
    visitGivenPara in interface GivenParaVisitor<Object>
  - visitGivenType
```
public Object visitGivenType(GivenType givenType)
```
    Specified by:
    
    visitGivenType in interface GivenTypeVisitor<Object>
  - visitHideExpr
```
public Object visitHideExpr(HideExpr hideExpr)
```
    Specified by:
    
    visitHideExpr in interface HideExprVisitor<Object>
  - visitIffExpr
```
public Object visitIffExpr(IffExpr iffExpr)
```
    Specified by:
    
    visitIffExpr in interface IffExprVisitor<Object>
  - visitIffPred
```
public Object visitIffPred(IffPred iffPred)
```
    Specified by:
    
    visitIffPred in interface IffPredVisitor<Object>
  - visitImpliesExpr
```
public Object visitImpliesExpr(ImpliesExpr impliesExpr)
```
    Specified by:
    
    visitImpliesExpr in interface ImpliesExprVisitor<Object>
  - visitImpliesPred
```
public Object visitImpliesPred(ImpliesPred impliesPred)
```
    Specified by:
    
    visitImpliesPred in interface ImpliesPredVisitor<Object>
  - visitInclDecl
```
public Object visitInclDecl(InclDecl inclDecl)
```
    Specified by:
    
    visitInclDecl in interface InclDeclVisitor<Object>
  - visitInStroke
```
public Object visitInStroke(InStroke inStroke)
```
    Specified by:
    
    visitInStroke in interface InStrokeVisitor<Object>
  - visitLambdaExpr
```
public Object visitLambdaExpr(LambdaExpr lambdaExpr)
```
    Specified by:
    
    visitLambdaExpr in interface LambdaExprVisitor<Object>
  - visitLetExpr
```
public Object visitLetExpr(LetExpr letExpr)
```
    Specified by:
    
    visitLetExpr in interface LetExprVisitor<Object>
  - visitLatexMarkupPara
```
public Object visitLatexMarkupPara(LatexMarkupPara latexMarkupPara)
```
    Specified by:
    
    visitLatexMarkupPara in interface LatexMarkupParaVisitor<Object>
  - visitLocAnn
```
public Object visitLocAnn(LocAnn locAnn)
```
    Specified by:
    
    visitLocAnn in interface LocAnnVisitor<Object>
  - visitMemPred
```
public Object visitMemPred(MemPred memPred)
```
    Specified by:
    
    visitMemPred in interface MemPredVisitor<Object>
  - visitMuExpr
```
public Object visitMuExpr(MuExpr muExpr)
```
    Specified by:
    
    visitMuExpr in interface MuExprVisitor<Object>
  - visitNewOldPair
```
public Object visitNewOldPair(NewOldPair pair)
```
    Specified by:
    
    visitNewOldPair in interface NewOldPairVisitor<Object>
  - visitNameSectTypeTriple
```
public Object visitNameSectTypeTriple(NameSectTypeTriple triple)
```
    Specified by:
    
    visitNameSectTypeTriple in interface NameSectTypeTripleVisitor<Object>
  - visitNameTypePair
```
public Object visitNameTypePair(NameTypePair pair)
```
    Specified by:
    
    visitNameTypePair in interface NameTypePairVisitor<Object>
  - visitNarrPara
```
public Object visitNarrPara(NarrPara narrPara)
```
    Specified by:
    
    visitNarrPara in interface NarrParaVisitor<Object>
  - visitNarrSect
```
public Object visitNarrSect(NarrSect narrSect)
```
    Specified by:
    
    visitNarrSect in interface NarrSectVisitor<Object>
  - visitNegExpr
```
public Object visitNegExpr(NegExpr negExpr)
```
    Specified by:
    
    visitNegExpr in interface NegExprVisitor<Object>
  - visitNegPred
```
public Object visitNegPred(NegPred negPred)
```
    Specified by:
    
    visitNegPred in interface NegPredVisitor<Object>
  - visitNextStroke
```
public Object visitNextStroke(NextStroke nextStroke)
```
    Specified by:
    
    visitNextStroke in interface NextStrokeVisitor<Object>
  - visitNumExpr
```
public Object visitNumExpr(NumExpr numExpr)
```
    Specified by:
    
    visitNumExpr in interface NumExprVisitor<Object>
  - visitZNumeral
```
public Object visitZNumeral(ZNumeral zNumeral)
```
    Specified by:
    
    visitZNumeral in interface ZNumeralVisitor<Object>
  - visitNumStroke
```
public Object visitNumStroke(NumStroke numStroke)
```
    Specified by:
    
    visitNumStroke in interface NumStrokeVisitor<Object>
  - visitOperand
```
public Object visitOperand(Operand operand)
```
    Specified by:
    
    visitOperand in interface OperandVisitor<Object>
  - visitOperator
```
public Object visitOperator(Operator operator)
```
    Specified by:
    
    visitOperator in interface OperatorVisitor<Object>
  - visitOperatorApplication
```
public Object visitOperatorApplication(OperatorApplication appl)
```
    Specified by:
    
    visitOperatorApplication in interface OperatorApplicationVisitor<Object>
  - visitOptempPara
```
public Object visitOptempPara(OptempPara optempPara)
```
    Specified by:
    
    visitOptempPara in interface OptempParaVisitor<Object>
  - visitOrExpr
```
public Object visitOrExpr(OrExpr orExpr)
```
    Specified by:
    
    visitOrExpr in interface OrExprVisitor<Object>
  - visitOrPred
```
public Object visitOrPred(OrPred orPred)
```
    Specified by:
    
    visitOrPred in interface OrPredVisitor<Object>
  - visitOutStroke
```
public Object visitOutStroke(OutStroke outStroke)
```
    Specified by:
    
    visitOutStroke in interface OutStrokeVisitor<Object>
  - visitParenAnn
```
public Object visitParenAnn(ParenAnn parenAnn)
```
    Specified by:
    
    visitParenAnn in interface ParenAnnVisitor<Object>
  - visitParent
```
public Object visitParent(Parent parent)
```
    Specified by:
    
    visitParent in interface ParentVisitor<Object>
  - visitPipeExpr
```
public Object visitPipeExpr(PipeExpr pipeExpr)
```
    Specified by:
    
    visitPipeExpr in interface PipeExprVisitor<Object>
  - visitPowerExpr
```
public Object visitPowerExpr(PowerExpr powerExpr)
```
    Specified by:
    
    visitPowerExpr in interface PowerExprVisitor<Object>
  - visitPowerType
```
public Object visitPowerType(PowerType powerType)
```
    Specified by:
    
    visitPowerType in interface PowerTypeVisitor<Object>
  - visitPreExpr
```
public Object visitPreExpr(PreExpr preExpr)
```
    Specified by:
    
    visitPreExpr in interface PreExprVisitor<Object>
  - visitPrintParagraph
```
public Object visitPrintParagraph(PrintParagraph printParagraph)
```
    Specified by:
    
    visitPrintParagraph in interface PrintParagraphVisitor<Object>
  - visitPrintPredicate
```
public Object visitPrintPredicate(PrintPredicate printPredicate)
```
    Specified by:
    
    visitPrintPredicate in interface PrintPredicateVisitor<Object>
  - visitPrintExpression
```
public Object visitPrintExpression(PrintExpression printExpression)
```
    Specified by:
    
    visitPrintExpression in interface PrintExpressionVisitor<Object>
  - visitProdExpr
```
public Object visitProdExpr(ProdExpr prodExpr)
```
    Specified by:
    
    visitProdExpr in interface ProdExprVisitor<Object>
  - visitProdType
```
public Object visitProdType(ProdType prodType)
```
    Specified by:
    
    visitProdType in interface ProdTypeVisitor<Object>
  - visitProjExpr
```
public Object visitProjExpr(ProjExpr projExpr)
```
    Specified by:
    
    visitProjExpr in interface ProjExprVisitor<Object>
  - visitRefExpr
```
public Object visitRefExpr(RefExpr refExpr)
```
    Specified by:
    
    visitRefExpr in interface RefExprVisitor<Object>
  - visitZExprList
```
public Object visitZExprList(ZExprList zExprList)
```
    Specified by:
    
    visitZExprList in interface ZExprListVisitor<Object>
  - visitZRenameList
```
public Object visitZRenameList(ZRenameList zRenameList)
```
    Specified by:
    
    visitZRenameList in interface ZRenameListVisitor<Object>
  - visitZNameList
```
public Object visitZNameList(ZNameList nameList)
```
    Specified by:
    
    visitZNameList in interface ZNameListVisitor<Object>
  - visitZName
```
public Object visitZName(ZName name)
```
    Specified by:
    
    visitZName in interface ZNameVisitor<Object>
  - visitZStrokeList
```
public Object visitZStrokeList(ZStrokeList zStrokeList)
```
    Specified by:
    
    visitZStrokeList in interface ZStrokeListVisitor<Object>
  - visitRenameExpr
```
public Object visitRenameExpr(RenameExpr renameExpr)
```
    Specified by:
    
    visitRenameExpr in interface RenameExprVisitor<Object>
  - visitSchemaType
```
public Object visitSchemaType(SchemaType schemaType)
```
    Specified by:
    
    visitSchemaType in interface SchemaTypeVisitor<Object>
  - visitSchExpr
```
public Object visitSchExpr(SchExpr schExpr)
```
    Specified by:
    
    visitSchExpr in interface SchExprVisitor<Object>
  - visitZSchText
```
public Object visitZSchText(ZSchText schText)
```
    Specified by:
    
    visitZSchText in interface ZSchTextVisitor<Object>
  - visitZDeclList
```
public Object visitZDeclList(ZDeclList zDeclList)
```
    Specified by:
    
    visitZDeclList in interface ZDeclListVisitor<Object>
  - visitSectTypeEnvAnn
```
public Object visitSectTypeEnvAnn(SectTypeEnvAnn ann)
```
    Specified by:
    
    visitSectTypeEnvAnn in interface SectTypeEnvAnnVisitor<Object>
  - visitSetCompExpr
```
public Object visitSetCompExpr(SetCompExpr setCompExpr)
```
    Specified by:
    
    visitSetCompExpr in interface SetCompExprVisitor<Object>
  - visitSetExpr
```
public Object visitSetExpr(SetExpr setExpr)
```
    Specified by:
    
    visitSetExpr in interface SetExprVisitor<Object>
  - visitSignature
```
public Object visitSignature(Signature s)
```
    Specified by:
    
    visitSignature in interface SignatureVisitor<Object>
  - visitSpec
```
public Object visitSpec(Spec spec)
```
    Specified by:
    
    visitSpec in interface SpecVisitor<Object>
  - visitThetaExpr
```
public Object visitThetaExpr(ThetaExpr thetaExpr)
```
    Specified by:
    
    visitThetaExpr in interface ThetaExprVisitor<Object>
  - visitTruePred
```
public Object visitTruePred(TruePred truePred)
```
    Specified by:
    
    visitTruePred in interface TruePredVisitor<Object>
  - visitTupleExpr
```
public Object visitTupleExpr(TupleExpr tupleExpr)
```
    Specified by:
    
    visitTupleExpr in interface TupleExprVisitor<Object>
  - visitTupleSelExpr
```
public Object visitTupleSelExpr(TupleSelExpr tupleSelExpr)
```
    Specified by:
    
    visitTupleSelExpr in interface TupleSelExprVisitor<Object>
  - visitSignatureAnn
```
public Object visitSignatureAnn(SignatureAnn signatureAnn)
```
    Specified by:
    
    visitSignatureAnn in interface SignatureAnnVisitor<Object>
  - visitTypeAnn
```
public Object visitTypeAnn(TypeAnn typeAnn)
```
    Specified by:
    
    visitTypeAnn in interface TypeAnnVisitor<Object>
  - visitUnparsedPara
```
public Object visitUnparsedPara(UnparsedPara unparsedPara)
```
    Specified by:
    
    visitUnparsedPara in interface UnparsedParaVisitor<Object>
  - visitUnparsedZSect
```
public Object visitUnparsedZSect(UnparsedZSect unparsedZSect)
```
    Specified by:
    
    visitUnparsedZSect in interface UnparsedZSectVisitor<Object>
  - visitVarDecl
```
public Object visitVarDecl(VarDecl varDecl)
```
    Specified by:
    
    visitVarDecl in interface VarDeclVisitor<Object>
  - visitZSect
```
public Object visitZSect(ZSect zSect)
```
    Specified by:
    
    visitZSect in interface ZSectVisitor<Object>
  - visitZParaList
```
public Object visitZParaList(ZParaList list)
```
    Specified by:
    
    visitZParaList in interface ZParaListVisitor<Object>
  - visit
```
protected void visit(net.sourceforge.czt.base.ast.Term t)
```
  - printTermList
```
protected void printTermList(List<? extends net.sourceforge.czt.base.ast.Term> list)
```
  - printTermList
```
protected void printTermList(List<? extends net.sourceforge.czt.base.ast.Term> list,
                             Token separator)
```
    Throws:
    
    NullPointerException - if separator is null.
  - printTermList
```
protected void printTermList(List<? extends net.sourceforge.czt.base.ast.Term> list,
                             List<? extends Token> separators)
```
  - printTermList
```
protected void printTermList(List<? extends net.sourceforge.czt.base.ast.Term> list,
                             String separator)
```
    Throws:
    
    NullPointerException - if separator is null.

Class ZPrintVisitor

Nested Class Summary

Field Summary

Fields inherited from interface net.sourceforge.czt.print.util.PrintPropertiesKeys

Constructor Summary

Method Summary

Methods inherited from class net.sourceforge.czt.print.z.AbstractPrintVisitor

Methods inherited from class net.sourceforge.czt.parser.util.AbstractVisitor

Methods inherited from class java.lang.Object

Field Detail

ref_

Constructor Detail

ZPrintVisitor

ZPrintVisitor

Method Detail

setVisitor

printGenericFormals

print

printDecorword

printDecorword

printLPAREN

printRPAREN

visitTerm

visitListTerm

visitAndPred

visitAndExpr

visitAxPara

visitApplication

visitApplExpr

visitBindExpr

visitBindSelExpr

visitBranch

visitZBranchList

visitCompExpr

visitCondExpr

visitConjPara

visitConstDecl

visitDecorExpr

visitDirective

visitExists1Expr

visitExists1Pred

visitExistsExpr

visitExistsPred

visitExprPred

visitFalsePred

visitForallExpr

visitForallPred

visitFreePara

visitZFreetypeList

visitFreetype

visitGenericType

visitGenParamType

visitGivenPara

visitGivenType

visitHideExpr

visitIffExpr

visitIffPred

visitImpliesExpr

visitImpliesPred

visitInclDecl

visitInStroke

visitLambdaExpr

visitLetExpr

visitLatexMarkupPara

visitLocAnn

visitMemPred

visitMuExpr

visitNewOldPair

visitNameSectTypeTriple

visitNameTypePair

visitNarrPara

visitNarrSect

visitNegExpr

visitNegPred

visitNextStroke

visitNumExpr

visitZNumeral

visitNumStroke

visitOperand

visitOperator