Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

net.sourceforge.czt.print.z
Class ZPrintVisitor

java.lang.Object
  extended by net.sourceforge.czt.print.z.AbstractPrintVisitor
      extended by net.sourceforge.czt.print.z.ZPrintVisitor
All Implemented Interfaces:
net.sourceforge.czt.base.visitor.ListTermVisitor, net.sourceforge.czt.base.visitor.TermVisitor, ApplicationVisitor, OperatorApplicationVisitor, PrintExpressionVisitor, PrintParagraphVisitor, PrintPredicateVisitor, PrintPropertiesKeys, net.sourceforge.czt.util.Visitor, net.sourceforge.czt.z.visitor.AndExprVisitor, net.sourceforge.czt.z.visitor.AndPredVisitor, net.sourceforge.czt.z.visitor.ApplExprVisitor, net.sourceforge.czt.z.visitor.AxParaVisitor, net.sourceforge.czt.z.visitor.BindExprVisitor, net.sourceforge.czt.z.visitor.BindSelExprVisitor, net.sourceforge.czt.z.visitor.BranchVisitor, net.sourceforge.czt.z.visitor.CompExprVisitor, net.sourceforge.czt.z.visitor.CondExprVisitor, net.sourceforge.czt.z.visitor.ConjParaVisitor, net.sourceforge.czt.z.visitor.ConstDeclVisitor, net.sourceforge.czt.z.visitor.DecorExprVisitor, net.sourceforge.czt.z.visitor.DirectiveVisitor, net.sourceforge.czt.z.visitor.Exists1ExprVisitor, net.sourceforge.czt.z.visitor.Exists1PredVisitor, net.sourceforge.czt.z.visitor.ExistsExprVisitor, net.sourceforge.czt.z.visitor.ExistsPredVisitor, net.sourceforge.czt.z.visitor.ExprPredVisitor, net.sourceforge.czt.z.visitor.FalsePredVisitor, net.sourceforge.czt.z.visitor.ForallExprVisitor, net.sourceforge.czt.z.visitor.ForallPredVisitor, net.sourceforge.czt.z.visitor.FreeParaVisitor, net.sourceforge.czt.z.visitor.FreetypeVisitor, net.sourceforge.czt.z.visitor.GenericTypeVisitor, net.sourceforge.czt.z.visitor.GenParamTypeVisitor, net.sourceforge.czt.z.visitor.GivenParaVisitor, net.sourceforge.czt.z.visitor.GivenTypeVisitor, net.sourceforge.czt.z.visitor.HideExprVisitor, net.sourceforge.czt.z.visitor.IffExprVisitor, net.sourceforge.czt.z.visitor.IffPredVisitor, net.sourceforge.czt.z.visitor.ImpliesExprVisitor, net.sourceforge.czt.z.visitor.ImpliesPredVisitor, net.sourceforge.czt.z.visitor.InclDeclVisitor, net.sourceforge.czt.z.visitor.InStrokeVisitor, net.sourceforge.czt.z.visitor.LambdaExprVisitor, net.sourceforge.czt.z.visitor.LatexMarkupParaVisitor, net.sourceforge.czt.z.visitor.LetExprVisitor, net.sourceforge.czt.z.visitor.LocAnnVisitor, net.sourceforge.czt.z.visitor.MemPredVisitor, net.sourceforge.czt.z.visitor.MuExprVisitor, net.sourceforge.czt.z.visitor.NameSectTypeTripleVisitor, net.sourceforge.czt.z.visitor.NameTypePairVisitor, net.sourceforge.czt.z.visitor.NarrParaVisitor, net.sourceforge.czt.z.visitor.NarrSectVisitor, net.sourceforge.czt.z.visitor.NegExprVisitor, net.sourceforge.czt.z.visitor.NegPredVisitor, net.sourceforge.czt.z.visitor.NewOldPairVisitor, net.sourceforge.czt.z.visitor.NextStrokeVisitor, net.sourceforge.czt.z.visitor.NumExprVisitor, net.sourceforge.czt.z.visitor.NumStrokeVisitor, net.sourceforge.czt.z.visitor.OperandVisitor, net.sourceforge.czt.z.visitor.OperatorVisitor, net.sourceforge.czt.z.visitor.OptempParaVisitor, net.sourceforge.czt.z.visitor.OrExprVisitor, net.sourceforge.czt.z.visitor.OrPredVisitor, net.sourceforge.czt.z.visitor.OutStrokeVisitor, net.sourceforge.czt.z.visitor.ParenAnnVisitor, net.sourceforge.czt.z.visitor.ParentVisitor, net.sourceforge.czt.z.visitor.PipeExprVisitor, net.sourceforge.czt.z.visitor.PowerExprVisitor, net.sourceforge.czt.z.visitor.PowerTypeVisitor, net.sourceforge.czt.z.visitor.PreExprVisitor, net.sourceforge.czt.z.visitor.ProdExprVisitor, net.sourceforge.czt.z.visitor.ProdTypeVisitor, net.sourceforge.czt.z.visitor.ProjExprVisitor, net.sourceforge.czt.z.visitor.RefExprVisitor, net.sourceforge.czt.z.visitor.RenameExprVisitor, net.sourceforge.czt.z.visitor.SchemaTypeVisitor, net.sourceforge.czt.z.visitor.SchExprVisitor, net.sourceforge.czt.z.visitor.SectTypeEnvAnnVisitor, net.sourceforge.czt.z.visitor.SetCompExprVisitor, net.sourceforge.czt.z.visitor.SetExprVisitor, net.sourceforge.czt.z.visitor.SignatureAnnVisitor, net.sourceforge.czt.z.visitor.SignatureVisitor, net.sourceforge.czt.z.visitor.SpecVisitor, net.sourceforge.czt.z.visitor.ThetaExprVisitor, net.sourceforge.czt.z.visitor.TruePredVisitor, net.sourceforge.czt.z.visitor.TupleExprVisitor, net.sourceforge.czt.z.visitor.TupleSelExprVisitor, net.sourceforge.czt.z.visitor.TypeAnnVisitor, net.sourceforge.czt.z.visitor.UnparsedParaVisitor, net.sourceforge.czt.z.visitor.UnparsedZSectVisitor, net.sourceforge.czt.z.visitor.VarDeclVisitor, net.sourceforge.czt.z.visitor.ZBranchListVisitor, net.sourceforge.czt.z.visitor.ZDeclListVisitor, net.sourceforge.czt.z.visitor.ZExprListVisitor, net.sourceforge.czt.z.visitor.ZFreetypeListVisitor, net.sourceforge.czt.z.visitor.ZNameListVisitor, net.sourceforge.czt.z.visitor.ZNameVisitor, net.sourceforge.czt.z.visitor.ZNumeralVisitor, net.sourceforge.czt.z.visitor.ZParaListVisitor, net.sourceforge.czt.z.visitor.ZRenameListVisitor, net.sourceforge.czt.z.visitor.ZSchTextVisitor, net.sourceforge.czt.z.visitor.ZSectVisitor, net.sourceforge.czt.z.visitor.ZStrokeListVisitor, net.sourceforge.czt.z.visitor.ZVisitor
public class ZPrintVisitor
extends AbstractPrintVisitor
implements net.sourceforge.czt.base.visitor.TermVisitor, net.sourceforge.czt.base.visitor.ListTermVisitor, net.sourceforge.czt.z.visitor.ZVisitor, ApplicationVisitor, OperatorApplicationVisitor, PrintParagraphVisitor, PrintPredicateVisitor, PrintExpressionVisitor, PrintPropertiesKeys

A Z visitor used for printing. If Z/EVES output is selected,

Author:
Petra Malik

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

ZPrintVisitor

public ZPrintVisitor(AbstractPrintVisitor.ZPrinter printer,
                     java.util.Properties properties)
Method Detail

printGenericFormals

protected void printGenericFormals(net.sourceforge.czt.z.ast.NameList term)

print

protected void print(TokenName tokenName,
                     java.lang.Object spelling)

print

protected void print(Keyword keyword)

printDecorword

protected void printDecorword(Decorword dw)

printDecorword

protected void printDecorword(java.lang.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 java.lang.Object visitTerm(net.sourceforge.czt.base.ast.Term term)
Specified by:
visitTerm in interface net.sourceforge.czt.base.visitor.TermVisitor

visitListTerm

public java.lang.Object visitListTerm(net.sourceforge.czt.base.ast.ListTerm listTerm)
Specified by:
visitListTerm in interface net.sourceforge.czt.base.visitor.ListTermVisitor

visitAndPred

public java.lang.Object visitAndPred(net.sourceforge.czt.z.ast.AndPred andPred)
Specified by:
visitAndPred in interface net.sourceforge.czt.z.visitor.AndPredVisitor

visitAndExpr

public java.lang.Object visitAndExpr(net.sourceforge.czt.z.ast.AndExpr andExpr)
Specified by:
visitAndExpr in interface net.sourceforge.czt.z.visitor.AndExprVisitor

visitAxPara

public java.lang.Object visitAxPara(net.sourceforge.czt.z.ast.AxPara axPara)
Specified by:
visitAxPara in interface net.sourceforge.czt.z.visitor.AxParaVisitor

visitApplication

public java.lang.Object visitApplication(Application appl)
Specified by:
visitApplication in interface ApplicationVisitor

visitApplExpr

public java.lang.Object visitApplExpr(net.sourceforge.czt.z.ast.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 net.sourceforge.czt.z.visitor.ApplExprVisitor

visitBindExpr

public java.lang.Object visitBindExpr(net.sourceforge.czt.z.ast.BindExpr bindExpr)
Specified by:
visitBindExpr in interface net.sourceforge.czt.z.visitor.BindExprVisitor

visitBindSelExpr

public java.lang.Object visitBindSelExpr(net.sourceforge.czt.z.ast.BindSelExpr bindSelExpr)
Specified by:
visitBindSelExpr in interface net.sourceforge.czt.z.visitor.BindSelExprVisitor

visitBranch

public java.lang.Object visitBranch(net.sourceforge.czt.z.ast.Branch branch)
Specified by:
visitBranch in interface net.sourceforge.czt.z.visitor.BranchVisitor

visitZBranchList

public java.lang.Object visitZBranchList(net.sourceforge.czt.z.ast.ZBranchList zBranchList)
Specified by:
visitZBranchList in interface net.sourceforge.czt.z.visitor.ZBranchListVisitor

visitCompExpr

public java.lang.Object visitCompExpr(net.sourceforge.czt.z.ast.CompExpr compExpr)
Specified by:
visitCompExpr in interface net.sourceforge.czt.z.visitor.CompExprVisitor

visitCondExpr

public java.lang.Object visitCondExpr(net.sourceforge.czt.z.ast.CondExpr condExpr)
Specified by:
visitCondExpr in interface net.sourceforge.czt.z.visitor.CondExprVisitor

visitConjPara

public java.lang.Object visitConjPara(net.sourceforge.czt.z.ast.ConjPara conjPara)
Specified by:
visitConjPara in interface net.sourceforge.czt.z.visitor.ConjParaVisitor

visitConstDecl

public java.lang.Object visitConstDecl(net.sourceforge.czt.z.ast.ConstDecl constDecl)
Specified by:
visitConstDecl in interface net.sourceforge.czt.z.visitor.ConstDeclVisitor

visitDecorExpr

public java.lang.Object visitDecorExpr(net.sourceforge.czt.z.ast.DecorExpr decorExpr)
Specified by:
visitDecorExpr in interface net.sourceforge.czt.z.visitor.DecorExprVisitor

visitDirective

public java.lang.Object visitDirective(net.sourceforge.czt.z.ast.Directive directive)
Specified by:
visitDirective in interface net.sourceforge.czt.z.visitor.DirectiveVisitor

visitExists1Expr

public java.lang.Object visitExists1Expr(net.sourceforge.czt.z.ast.Exists1Expr exists1Expr)
Specified by:
visitExists1Expr in interface net.sourceforge.czt.z.visitor.Exists1ExprVisitor

visitExists1Pred

public java.lang.Object visitExists1Pred(net.sourceforge.czt.z.ast.Exists1Pred exists1Pred)
Specified by:
visitExists1Pred in interface net.sourceforge.czt.z.visitor.Exists1PredVisitor

visitExistsExpr

public java.lang.Object visitExistsExpr(net.sourceforge.czt.z.ast.ExistsExpr existsExpr)
Specified by:
visitExistsExpr in interface net.sourceforge.czt.z.visitor.ExistsExprVisitor

visitExistsPred

public java.lang.Object visitExistsPred(net.sourceforge.czt.z.ast.ExistsPred existsPred)
Specified by:
visitExistsPred in interface net.sourceforge.czt.z.visitor.ExistsPredVisitor

visitExprPred

public java.lang.Object visitExprPred(net.sourceforge.czt.z.ast.ExprPred exprPred)
Specified by:
visitExprPred in interface net.sourceforge.czt.z.visitor.ExprPredVisitor

visitFalsePred

public java.lang.Object visitFalsePred(net.sourceforge.czt.z.ast.FalsePred falsePred)
Specified by:
visitFalsePred in interface net.sourceforge.czt.z.visitor.FalsePredVisitor

visitForallExpr

public java.lang.Object visitForallExpr(net.sourceforge.czt.z.ast.ForallExpr forallExpr)
Specified by:
visitForallExpr in interface net.sourceforge.czt.z.visitor.ForallExprVisitor

visitForallPred

public java.lang.Object visitForallPred(net.sourceforge.czt.z.ast.ForallPred forallPred)
Specified by:
visitForallPred in interface net.sourceforge.czt.z.visitor.ForallPredVisitor

visitFreePara

public java.lang.Object visitFreePara(net.sourceforge.czt.z.ast.FreePara freePara)
Specified by:
visitFreePara in interface net.sourceforge.czt.z.visitor.FreeParaVisitor

visitZFreetypeList

public java.lang.Object visitZFreetypeList(net.sourceforge.czt.z.ast.ZFreetypeList zFreetypeList)
Specified by:
visitZFreetypeList in interface net.sourceforge.czt.z.visitor.ZFreetypeListVisitor

visitFreetype

public java.lang.Object visitFreetype(net.sourceforge.czt.z.ast.Freetype freetype)
Specified by:
visitFreetype in interface net.sourceforge.czt.z.visitor.FreetypeVisitor

visitGenericType

public java.lang.Object visitGenericType(net.sourceforge.czt.z.ast.GenericType genType)
Specified by:
visitGenericType in interface net.sourceforge.czt.z.visitor.GenericTypeVisitor

visitGenParamType

public java.lang.Object visitGenParamType(net.sourceforge.czt.z.ast.GenParamType genType)
Specified by:
visitGenParamType in interface net.sourceforge.czt.z.visitor.GenParamTypeVisitor

visitGivenPara

public java.lang.Object visitGivenPara(net.sourceforge.czt.z.ast.GivenPara givenPara)
Specified by:
visitGivenPara in interface net.sourceforge.czt.z.visitor.GivenParaVisitor

visitGivenType

public java.lang.Object visitGivenType(net.sourceforge.czt.z.ast.GivenType givenType)
Specified by:
visitGivenType in interface net.sourceforge.czt.z.visitor.GivenTypeVisitor

visitHideExpr

public java.lang.Object visitHideExpr(net.sourceforge.czt.z.ast.HideExpr hideExpr)
Specified by:
visitHideExpr in interface net.sourceforge.czt.z.visitor.HideExprVisitor

visitIffExpr

public java.lang.Object visitIffExpr(net.sourceforge.czt.z.ast.IffExpr iffExpr)
Specified by:
visitIffExpr in interface net.sourceforge.czt.z.visitor.IffExprVisitor

visitIffPred

public java.lang.Object visitIffPred(net.sourceforge.czt.z.ast.IffPred iffPred)
Specified by:
visitIffPred in interface net.sourceforge.czt.z.visitor.IffPredVisitor

visitImpliesExpr

public java.lang.Object visitImpliesExpr(net.sourceforge.czt.z.ast.ImpliesExpr impliesExpr)
Specified by:
visitImpliesExpr in interface net.sourceforge.czt.z.visitor.ImpliesExprVisitor

visitImpliesPred

public java.lang.Object visitImpliesPred(net.sourceforge.czt.z.ast.ImpliesPred impliesPred)
Specified by:
visitImpliesPred in interface net.sourceforge.czt.z.visitor.ImpliesPredVisitor

visitInclDecl

public java.lang.Object visitInclDecl(net.sourceforge.czt.z.ast.InclDecl inclDecl)
Specified by:
visitInclDecl in interface net.sourceforge.czt.z.visitor.InclDeclVisitor

visitInStroke

public java.lang.Object visitInStroke(net.sourceforge.czt.z.ast.InStroke inStroke)
Specified by:
visitInStroke in interface net.sourceforge.czt.z.visitor.InStrokeVisitor

visitLambdaExpr

public java.lang.Object visitLambdaExpr(net.sourceforge.czt.z.ast.LambdaExpr lambdaExpr)
Specified by:
visitLambdaExpr in interface net.sourceforge.czt.z.visitor.LambdaExprVisitor

visitLetExpr

public java.lang.Object visitLetExpr(net.sourceforge.czt.z.ast.LetExpr letExpr)
Specified by:
visitLetExpr in interface net.sourceforge.czt.z.visitor.LetExprVisitor

visitLatexMarkupPara

public java.lang.Object visitLatexMarkupPara(net.sourceforge.czt.z.ast.LatexMarkupPara latexMarkupPara)
Specified by:
visitLatexMarkupPara in interface net.sourceforge.czt.z.visitor.LatexMarkupParaVisitor

visitLocAnn

public java.lang.Object visitLocAnn(net.sourceforge.czt.z.ast.LocAnn locAnn)
Specified by:
visitLocAnn in interface net.sourceforge.czt.z.visitor.LocAnnVisitor

visitMemPred

public java.lang.Object visitMemPred(net.sourceforge.czt.z.ast.MemPred memPred)
Specified by:
visitMemPred in interface net.sourceforge.czt.z.visitor.MemPredVisitor

visitMuExpr

public java.lang.Object visitMuExpr(net.sourceforge.czt.z.ast.MuExpr muExpr)
Specified by:
visitMuExpr in interface net.sourceforge.czt.z.visitor.MuExprVisitor

visitNewOldPair

public java.lang.Object visitNewOldPair(net.sourceforge.czt.z.ast.NewOldPair pair)
Specified by:
visitNewOldPair in interface net.sourceforge.czt.z.visitor.NewOldPairVisitor

visitNameSectTypeTriple

public java.lang.Object visitNameSectTypeTriple(net.sourceforge.czt.z.ast.NameSectTypeTriple triple)
Specified by:
visitNameSectTypeTriple in interface net.sourceforge.czt.z.visitor.NameSectTypeTripleVisitor

visitNameTypePair

public java.lang.Object visitNameTypePair(net.sourceforge.czt.z.ast.NameTypePair pair)
Specified by:
visitNameTypePair in interface net.sourceforge.czt.z.visitor.NameTypePairVisitor

visitNarrPara

public java.lang.Object visitNarrPara(net.sourceforge.czt.z.ast.NarrPara narrPara)
Specified by:
visitNarrPara in interface net.sourceforge.czt.z.visitor.NarrParaVisitor

visitNarrSect

public java.lang.Object visitNarrSect(net.sourceforge.czt.z.ast.NarrSect narrSect)
Specified by:
visitNarrSect in interface net.sourceforge.czt.z.visitor.NarrSectVisitor

visitNegExpr

public java.lang.Object visitNegExpr(net.sourceforge.czt.z.ast.NegExpr negExpr)
Specified by:
visitNegExpr in interface net.sourceforge.czt.z.visitor.NegExprVisitor

visitNegPred

public java.lang.Object visitNegPred(net.sourceforge.czt.z.ast.NegPred negPred)
Specified by:
visitNegPred in interface net.sourceforge.czt.z.visitor.NegPredVisitor

visitNextStroke

public java.lang.Object visitNextStroke(net.sourceforge.czt.z.ast.NextStroke nextStroke)
Specified by:
visitNextStroke in interface net.sourceforge.czt.z.visitor.NextStrokeVisitor

visitNumExpr

public java.lang.Object visitNumExpr(net.sourceforge.czt.z.ast.NumExpr numExpr)
Specified by:
visitNumExpr in interface net.sourceforge.czt.z.visitor.NumExprVisitor

visitZNumeral

public java.lang.Object visitZNumeral(net.sourceforge.czt.z.ast.ZNumeral zNumeral)
Specified by:
visitZNumeral in interface net.sourceforge.czt.z.visitor.ZNumeralVisitor

visitNumStroke

public java.lang.Object visitNumStroke(net.sourceforge.czt.z.ast.NumStroke numStroke)
Specified by:
visitNumStroke in interface net.sourceforge.czt.z.visitor.NumStrokeVisitor

visitOperand

public java.lang.Object visitOperand(net.sourceforge.czt.z.ast.Operand operand)
Specified by:
visitOperand in interface net.sourceforge.czt.z.visitor.OperandVisitor

visitOperator

public java.lang.Object visitOperator(net.sourceforge.czt.z.ast.Operator operator)
Specified by:
visitOperator in interface net.sourceforge.czt.z.visitor.OperatorVisitor

visitOperatorApplication

public java.lang.Object visitOperatorApplication(OperatorApplication appl)
Specified by:
visitOperatorApplication in interface OperatorApplicationVisitor

visitOptempPara

public java.lang.Object visitOptempPara(net.sourceforge.czt.z.ast.OptempPara optempPara)
Specified by:
visitOptempPara in interface net.sourceforge.czt.z.visitor.OptempParaVisitor

visitOrExpr

public java.lang.Object visitOrExpr(net.sourceforge.czt.z.ast.OrExpr orExpr)
Specified by:
visitOrExpr in interface net.sourceforge.czt.z.visitor.OrExprVisitor

visitOrPred

public java.lang.Object visitOrPred(net.sourceforge.czt.z.ast.OrPred orPred)
Specified by:
visitOrPred in interface net.sourceforge.czt.z.visitor.OrPredVisitor

visitOutStroke

public java.lang.Object visitOutStroke(net.sourceforge.czt.z.ast.OutStroke outStroke)
Specified by:
visitOutStroke in interface net.sourceforge.czt.z.visitor.OutStrokeVisitor

visitParenAnn

public java.lang.Object visitParenAnn(net.sourceforge.czt.z.ast.ParenAnn parenAnn)
Specified by:
visitParenAnn in interface net.sourceforge.czt.z.visitor.ParenAnnVisitor

visitParent

public java.lang.Object visitParent(net.sourceforge.czt.z.ast.Parent parent)
Specified by:
visitParent in interface net.sourceforge.czt.z.visitor.ParentVisitor

visitPipeExpr

public java.lang.Object visitPipeExpr(net.sourceforge.czt.z.ast.PipeExpr pipeExpr)
Specified by:
visitPipeExpr in interface net.sourceforge.czt.z.visitor.PipeExprVisitor

visitPowerExpr

public java.lang.Object visitPowerExpr(net.sourceforge.czt.z.ast.PowerExpr powerExpr)
Specified by:
visitPowerExpr in interface net.sourceforge.czt.z.visitor.PowerExprVisitor

visitPowerType

public java.lang.Object visitPowerType(net.sourceforge.czt.z.ast.PowerType powerType)
Specified by:
visitPowerType in interface net.sourceforge.czt.z.visitor.PowerTypeVisitor

visitPreExpr

public java.lang.Object visitPreExpr(net.sourceforge.czt.z.ast.PreExpr preExpr)
Specified by:
visitPreExpr in interface net.sourceforge.czt.z.visitor.PreExprVisitor

visitPrintParagraph

public java.lang.Object visitPrintParagraph(PrintParagraph printParagraph)
Specified by:
visitPrintParagraph in interface PrintParagraphVisitor

visitPrintPredicate

public java.lang.Object visitPrintPredicate(PrintPredicate printPredicate)
Specified by:
visitPrintPredicate in interface PrintPredicateVisitor

visitPrintExpression

public java.lang.Object visitPrintExpression(PrintExpression printExpression)
Specified by:
visitPrintExpression in interface PrintExpressionVisitor

visitProdExpr

public java.lang.Object visitProdExpr(net.sourceforge.czt.z.ast.ProdExpr prodExpr)
Specified by:
visitProdExpr in interface net.sourceforge.czt.z.visitor.ProdExprVisitor

visitProdType

public java.lang.Object visitProdType(net.sourceforge.czt.z.ast.ProdType prodType)
Specified by:
visitProdType in interface net.sourceforge.czt.z.visitor.ProdTypeVisitor

visitProjExpr

public java.lang.Object visitProjExpr(net.sourceforge.czt.z.ast.ProjExpr projExpr)
Specified by:
visitProjExpr in interface net.sourceforge.czt.z.visitor.ProjExprVisitor

visitRefExpr

public java.lang.Object visitRefExpr(net.sourceforge.czt.z.ast.RefExpr refExpr)
Specified by:
visitRefExpr in interface net.sourceforge.czt.z.visitor.RefExprVisitor

visitZExprList

public java.lang.Object visitZExprList(net.sourceforge.czt.z.ast.ZExprList zExprList)
Specified by:
visitZExprList in interface net.sourceforge.czt.z.visitor.ZExprListVisitor

visitZRenameList

public java.lang.Object visitZRenameList(net.sourceforge.czt.z.ast.ZRenameList zRenameList)
Specified by:
visitZRenameList in interface net.sourceforge.czt.z.visitor.ZRenameListVisitor

visitZNameList

public java.lang.Object visitZNameList(net.sourceforge.czt.z.ast.ZNameList nameList)
Specified by:
visitZNameList in interface net.sourceforge.czt.z.visitor.ZNameListVisitor

visitZName

public java.lang.Object visitZName(net.sourceforge.czt.z.ast.ZName name)
Specified by:
visitZName in interface net.sourceforge.czt.z.visitor.ZNameVisitor

visitZStrokeList

public java.lang.Object visitZStrokeList(net.sourceforge.czt.z.ast.ZStrokeList zStrokeList)
Specified by:
visitZStrokeList in interface net.sourceforge.czt.z.visitor.ZStrokeListVisitor

visitRenameExpr

public java.lang.Object visitRenameExpr(net.sourceforge.czt.z.ast.RenameExpr renameExpr)
Specified by:
visitRenameExpr in interface net.sourceforge.czt.z.visitor.RenameExprVisitor

visitSchemaType

public java.lang.Object visitSchemaType(net.sourceforge.czt.z.ast.SchemaType schemaType)
Specified by:
visitSchemaType in interface net.sourceforge.czt.z.visitor.SchemaTypeVisitor

visitSchExpr

public java.lang.Object visitSchExpr(net.sourceforge.czt.z.ast.SchExpr schExpr)
Specified by:
visitSchExpr in interface net.sourceforge.czt.z.visitor.SchExprVisitor

visitZSchText

public java.lang.Object visitZSchText(net.sourceforge.czt.z.ast.ZSchText schText)
Specified by:
visitZSchText in interface net.sourceforge.czt.z.visitor.ZSchTextVisitor

visitZDeclList

public java.lang.Object visitZDeclList(net.sourceforge.czt.z.ast.ZDeclList zDeclList)
Specified by:
visitZDeclList in interface net.sourceforge.czt.z.visitor.ZDeclListVisitor

visitSectTypeEnvAnn

public java.lang.Object visitSectTypeEnvAnn(net.sourceforge.czt.z.ast.SectTypeEnvAnn ann)
Specified by:
visitSectTypeEnvAnn in interface net.sourceforge.czt.z.visitor.SectTypeEnvAnnVisitor

visitSetCompExpr

public java.lang.Object visitSetCompExpr(net.sourceforge.czt.z.ast.SetCompExpr setCompExpr)
Specified by:
visitSetCompExpr in interface net.sourceforge.czt.z.visitor.SetCompExprVisitor

visitSetExpr

public java.lang.Object visitSetExpr(net.sourceforge.czt.z.ast.SetExpr setExpr)
Specified by:
visitSetExpr in interface net.sourceforge.czt.z.visitor.SetExprVisitor

visitSignature

public java.lang.Object visitSignature(net.sourceforge.czt.z.ast.Signature s)
Specified by:
visitSignature in interface net.sourceforge.czt.z.visitor.SignatureVisitor

visitSpec

public java.lang.Object visitSpec(net.sourceforge.czt.z.ast.Spec spec)
Specified by:
visitSpec in interface net.sourceforge.czt.z.visitor.SpecVisitor

visitThetaExpr

public java.lang.Object visitThetaExpr(net.sourceforge.czt.z.ast.ThetaExpr thetaExpr)
Specified by:
visitThetaExpr in interface net.sourceforge.czt.z.visitor.ThetaExprVisitor

visitTruePred

public java.lang.Object visitTruePred(net.sourceforge.czt.z.ast.TruePred truePred)
Specified by:
visitTruePred in interface net.sourceforge.czt.z.visitor.TruePredVisitor

visitTupleExpr

public java.lang.Object visitTupleExpr(net.sourceforge.czt.z.ast.TupleExpr tupleExpr)
Specified by:
visitTupleExpr in interface net.sourceforge.czt.z.visitor.TupleExprVisitor

visitTupleSelExpr

public java.lang.Object visitTupleSelExpr(net.sourceforge.czt.z.ast.TupleSelExpr tupleSelExpr)
Specified by:
visitTupleSelExpr in interface net.sourceforge.czt.z.visitor.TupleSelExprVisitor

visitSignatureAnn

public java.lang.Object visitSignatureAnn(net.sourceforge.czt.z.ast.SignatureAnn typeAnn)
Specified by:
visitSignatureAnn in interface net.sourceforge.czt.z.visitor.SignatureAnnVisitor

visitTypeAnn

public java.lang.Object visitTypeAnn(net.sourceforge.czt.z.ast.TypeAnn typeAnn)
Specified by:
visitTypeAnn in interface net.sourceforge.czt.z.visitor.TypeAnnVisitor

visitUnparsedPara

public java.lang.Object visitUnparsedPara(net.sourceforge.czt.z.ast.UnparsedPara unparsedPara)
Specified by:
visitUnparsedPara in interface net.sourceforge.czt.z.visitor.UnparsedParaVisitor

visitUnparsedZSect

public java.lang.Object visitUnparsedZSect(net.sourceforge.czt.z.ast.UnparsedZSect unparsedZSect)
Specified by:
visitUnparsedZSect in interface net.sourceforge.czt.z.visitor.UnparsedZSectVisitor

visitVarDecl

public java.lang.Object visitVarDecl(net.sourceforge.czt.z.ast.VarDecl varDecl)
Specified by:
visitVarDecl in interface net.sourceforge.czt.z.visitor.VarDeclVisitor

visitZSect

public java.lang.Object visitZSect(net.sourceforge.czt.z.ast.ZSect zSect)
Specified by:
visitZSect in interface net.sourceforge.czt.z.visitor.ZSectVisitor

visitZParaList

public java.lang.Object visitZParaList(net.sourceforge.czt.z.ast.ZParaList list)
Specified by:
visitZParaList in interface net.sourceforge.czt.z.visitor.ZParaListVisitor

visit

protected void visit(net.sourceforge.czt.base.ast.Term t)

printTermList

protected void printTermList(java.util.List list)

printTermList

protected void printTermList(java.util.List list,
                             Keyword separator)
Throws:
java.lang.NullPointerException - if separator is null.

printTermList

protected void printTermList(java.util.List list,
                             java.lang.String separator)
Throws:
java.lang.NullPointerException - if separator is null.
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
Copyright © 2003-2007 Community Z Tools Project. All Rights Reserved.