net.sourceforge.czt.print.circus
Class CircusPrintVisitor

java.lang.Object
  net.sourceforge.czt.print.z.AbstractPrintVisitor
      net.sourceforge.czt.print.z.ZPrintVisitor
          net.sourceforge.czt.print.circus.CircusPrintVisitor

All Implemented Interfaces:

net.sourceforge.czt.base.visitor.ListTermVisitor, net.sourceforge.czt.base.visitor.TermVisitor, net.sourceforge.czt.circus.visitor.ActionParaVisitor, net.sourceforge.czt.circus.visitor.ActionSignatureVisitor, net.sourceforge.czt.circus.visitor.ActionTransformerPredVisitor, net.sourceforge.czt.circus.visitor.ActionTypeVisitor, net.sourceforge.czt.circus.visitor.AlphabetisedParallelActionIteVisitor, net.sourceforge.czt.circus.visitor.AlphabetisedParallelActionVisitor, net.sourceforge.czt.circus.visitor.AlphabetisedParallelProcessIdxVisitor, net.sourceforge.czt.circus.visitor.AlphabetisedParallelProcessIteVisitor, net.sourceforge.czt.circus.visitor.AlphabetisedParallelProcessVisitor, net.sourceforge.czt.circus.visitor.AssignmentCommandVisitor, net.sourceforge.czt.circus.visitor.AssignmentPairsVisitor, net.sourceforge.czt.circus.visitor.BasicChannelSetExprVisitor, net.sourceforge.czt.circus.visitor.BasicProcessSignatureVisitor, net.sourceforge.czt.circus.visitor.BasicProcessVisitor, net.sourceforge.czt.circus.visitor.CallActionVisitor, net.sourceforge.czt.circus.visitor.CallProcessVisitor, net.sourceforge.czt.circus.visitor.ChannelDeclVisitor, net.sourceforge.czt.circus.visitor.ChannelParaVisitor, net.sourceforge.czt.circus.visitor.ChannelSetParaVisitor, net.sourceforge.czt.circus.visitor.ChannelSetTypeVisitor, net.sourceforge.czt.circus.visitor.ChannelTypeVisitor, net.sourceforge.czt.circus.visitor.ChaosActionVisitor, net.sourceforge.czt.circus.visitor.CircusChannelSetVisitor, net.sourceforge.czt.circus.visitor.CircusFieldListVisitor, net.sourceforge.czt.circus.visitor.CircusNameSetVisitor, net.sourceforge.czt.circus.visitor.CircusStateAnnVisitor, net.sourceforge.czt.circus.visitor.CircusVisitor, net.sourceforge.czt.circus.visitor.CommunicationVisitor, net.sourceforge.czt.circus.visitor.DotFieldVisitor, net.sourceforge.czt.circus.visitor.ExtChoiceActionIteVisitor, net.sourceforge.czt.circus.visitor.ExtChoiceActionVisitor, net.sourceforge.czt.circus.visitor.ExtChoiceProcessIdxVisitor, net.sourceforge.czt.circus.visitor.ExtChoiceProcessIteVisitor, net.sourceforge.czt.circus.visitor.ExtChoiceProcessVisitor, net.sourceforge.czt.circus.visitor.GuardedActionVisitor, net.sourceforge.czt.circus.visitor.HideActionVisitor, net.sourceforge.czt.circus.visitor.HideProcessVisitor, net.sourceforge.czt.circus.visitor.IfGuardedCommandVisitor, net.sourceforge.czt.circus.visitor.IndexedProcessVisitor, net.sourceforge.czt.circus.visitor.InputFieldVisitor, net.sourceforge.czt.circus.visitor.IntChoiceActionIteVisitor, net.sourceforge.czt.circus.visitor.IntChoiceActionVisitor, net.sourceforge.czt.circus.visitor.IntChoiceProcessIdxVisitor, net.sourceforge.czt.circus.visitor.IntChoiceProcessIteVisitor, net.sourceforge.czt.circus.visitor.IntChoiceProcessVisitor, net.sourceforge.czt.circus.visitor.InterleaveActionIteVisitor, net.sourceforge.czt.circus.visitor.InterleaveActionVisitor, net.sourceforge.czt.circus.visitor.InterleaveProcessIdxVisitor, net.sourceforge.czt.circus.visitor.InterleaveProcessIteVisitor, net.sourceforge.czt.circus.visitor.InterleaveProcessVisitor, net.sourceforge.czt.circus.visitor.LetMuActionVisitor, net.sourceforge.czt.circus.visitor.LetVarActionVisitor, net.sourceforge.czt.circus.visitor.MuActionVisitor, net.sourceforge.czt.circus.visitor.NameSetParaVisitor, net.sourceforge.czt.circus.visitor.NameSetTypeVisitor, net.sourceforge.czt.circus.visitor.OnTheFlyDefAnnVisitor, net.sourceforge.czt.circus.visitor.OutputFieldVisitor, net.sourceforge.czt.circus.visitor.ParallelActionIteVisitor, net.sourceforge.czt.circus.visitor.ParallelActionVisitor, net.sourceforge.czt.circus.visitor.ParallelProcessIdxVisitor, net.sourceforge.czt.circus.visitor.ParallelProcessIteVisitor, net.sourceforge.czt.circus.visitor.ParallelProcessVisitor, net.sourceforge.czt.circus.visitor.ParamActionVisitor, net.sourceforge.czt.circus.visitor.ParamProcessVisitor, net.sourceforge.czt.circus.visitor.PrefixingActionVisitor, net.sourceforge.czt.circus.visitor.ProcessParaVisitor, net.sourceforge.czt.circus.visitor.ProcessSignatureVisitor, net.sourceforge.czt.circus.visitor.ProcessTransformerPredVisitor, net.sourceforge.czt.circus.visitor.ProcessTypeVisitor, net.sourceforge.czt.circus.visitor.QualifiedDeclVisitor, net.sourceforge.czt.circus.visitor.RenameProcessVisitor, net.sourceforge.czt.circus.visitor.SchExprActionVisitor, net.sourceforge.czt.circus.visitor.SeqActionIteVisitor, net.sourceforge.czt.circus.visitor.SeqActionVisitor, net.sourceforge.czt.circus.visitor.SeqProcessIdxVisitor, net.sourceforge.czt.circus.visitor.SeqProcessIteVisitor, net.sourceforge.czt.circus.visitor.SeqProcessVisitor, net.sourceforge.czt.circus.visitor.SigmaExprVisitor, net.sourceforge.czt.circus.visitor.SkipActionVisitor, net.sourceforge.czt.circus.visitor.SpecStmtCommandVisitor, net.sourceforge.czt.circus.visitor.StopActionVisitor, net.sourceforge.czt.circus.visitor.SubstitutionActionVisitor, net.sourceforge.czt.circus.visitor.TransformerParaVisitor, net.sourceforge.czt.circus.visitor.VarDeclCommandVisitor, net.sourceforge.czt.print.ast.ApplicationVisitor, net.sourceforge.czt.print.ast.OperatorApplicationVisitor, net.sourceforge.czt.print.ast.PrintExpressionVisitor, net.sourceforge.czt.print.ast.PrintParagraphVisitor, net.sourceforge.czt.print.ast.PrintPredicateVisitor, net.sourceforge.czt.print.util.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 CircusPrintVisitor
extends net.sourceforge.czt.print.z.ZPrintVisitor
implements net.sourceforge.czt.circus.visitor.CircusVisitor

An Circus visitor used for printing.

Author:

Petra Malik, Leo Freitas

Nested Class Summary

Nested classes/interfaces inherited from class net.sourceforge.czt.print.z.ZPrintVisitor

net.sourceforge.czt.print.z.ZPrintVisitor.Utils, net.sourceforge.czt.print.z.ZPrintVisitor.UtilsImpl

Nested classes/interfaces inherited from class net.sourceforge.czt.print.z.AbstractPrintVisitor

net.sourceforge.czt.print.z.AbstractPrintVisitor.ZPrinter

Field Summary

Fields inherited from class net.sourceforge.czt.print.z.ZPrintVisitor

ref_

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

PROP_PRINT_NAME_IDS, PROP_Z_EVES

Constructor Summary

CircusPrintVisitor(net.sourceforge.czt.print.z.AbstractPrintVisitor.ZPrinter printer, java.util.Properties properties, net.sourceforge.czt.parser.util.WarningManager wm)

CircusPrintVisitor(net.sourceforge.czt.print.z.AbstractPrintVisitor.ZPrinter printer, net.sourceforge.czt.parser.util.WarningManager wm)
Creates a new Object-Z print visitor.

Method Summary

protected void	print(CircusKeyword keyword) Auxiliary methods
protected void	printActionD(net.sourceforge.czt.circus.ast.ActionD term)
protected void	printFormalParameters(net.sourceforge.czt.z.ast.ZDeclList term)
protected void	printProcessD(net.sourceforge.czt.circus.ast.ProcessD term, boolean indexes)
java.lang.Object	visitActionPara(net.sourceforge.czt.circus.ast.ActionPara term) Action related
java.lang.Object	visitActionSignature(net.sourceforge.czt.circus.ast.ActionSignature term)
java.lang.Object	visitActionTransformerPred(net.sourceforge.czt.circus.ast.ActionTransformerPred term)
java.lang.Object	visitActionType(net.sourceforge.czt.circus.ast.ActionType term)
java.lang.Object	visitAlphabetisedParallelAction(net.sourceforge.czt.circus.ast.AlphabetisedParallelAction term)
java.lang.Object	visitAlphabetisedParallelActionIte(net.sourceforge.czt.circus.ast.AlphabetisedParallelActionIte term)
java.lang.Object	visitAlphabetisedParallelProcess(net.sourceforge.czt.circus.ast.AlphabetisedParallelProcess term)
java.lang.Object	visitAlphabetisedParallelProcessIdx(net.sourceforge.czt.circus.ast.AlphabetisedParallelProcessIdx term)
java.lang.Object	visitAlphabetisedParallelProcessIte(net.sourceforge.czt.circus.ast.AlphabetisedParallelProcessIte term)
java.lang.Object	visitAssignmentCommand(net.sourceforge.czt.circus.ast.AssignmentCommand term)
java.lang.Object	visitAssignmentPairs(net.sourceforge.czt.circus.ast.AssignmentPairs term)
java.lang.Object	visitBasicChannelSetExpr(net.sourceforge.czt.circus.ast.BasicChannelSetExpr term)
net.sourceforge.czt.base.ast.Term	visitBasicProcess(net.sourceforge.czt.circus.ast.BasicProcess term)
java.lang.Object	visitBasicProcessSignature(net.sourceforge.czt.circus.ast.BasicProcessSignature term)
java.lang.Object	visitCallAction(net.sourceforge.czt.circus.ast.CallAction term)
java.lang.Object	visitCallProcess(net.sourceforge.czt.circus.ast.CallProcess term)
java.lang.Object	visitChannelDecl(net.sourceforge.czt.circus.ast.ChannelDecl term)
java.lang.Object	visitChannelPara(net.sourceforge.czt.circus.ast.ChannelPara term) Channel related
java.lang.Object	visitChannelSetPara(net.sourceforge.czt.circus.ast.ChannelSetPara term) Channel set related
java.lang.Object	visitChannelSetType(net.sourceforge.czt.circus.ast.ChannelSetType term)
java.lang.Object	visitChannelType(net.sourceforge.czt.circus.ast.ChannelType term) Unexpected terms
java.lang.Object	visitChaosAction(net.sourceforge.czt.circus.ast.ChaosAction term)
java.lang.Object	visitCircusChannelSet(net.sourceforge.czt.circus.ast.CircusChannelSet term)
java.lang.Object	visitCircusFieldList(net.sourceforge.czt.circus.ast.CircusFieldList term)
java.lang.Object	visitCircusNameSet(net.sourceforge.czt.circus.ast.CircusNameSet term)
java.lang.Object	visitCircusStateAnn(net.sourceforge.czt.circus.ast.CircusStateAnn term)
java.lang.Object	visitCommunication(net.sourceforge.czt.circus.ast.Communication term)
java.lang.Object	visitDotField(net.sourceforge.czt.circus.ast.DotField term)
java.lang.Object	visitExtChoiceAction(net.sourceforge.czt.circus.ast.ExtChoiceAction term)
java.lang.Object	visitExtChoiceActionIte(net.sourceforge.czt.circus.ast.ExtChoiceActionIte term)
java.lang.Object	visitExtChoiceProcess(net.sourceforge.czt.circus.ast.ExtChoiceProcess term)
java.lang.Object	visitExtChoiceProcessIdx(net.sourceforge.czt.circus.ast.ExtChoiceProcessIdx term)
java.lang.Object	visitExtChoiceProcessIte(net.sourceforge.czt.circus.ast.ExtChoiceProcessIte term)
java.lang.Object	visitGuardedAction(net.sourceforge.czt.circus.ast.GuardedAction term)
java.lang.Object	visitHideAction(net.sourceforge.czt.circus.ast.HideAction term)
java.lang.Object	visitHideProcess(net.sourceforge.czt.circus.ast.HideProcess term)
java.lang.Object	visitIfGuardedCommand(net.sourceforge.czt.circus.ast.IfGuardedCommand term)
java.lang.Object	visitIndexedProcess(net.sourceforge.czt.circus.ast.IndexedProcess term)
java.lang.Object	visitInputField(net.sourceforge.czt.circus.ast.InputField term)
java.lang.Object	visitIntChoiceAction(net.sourceforge.czt.circus.ast.IntChoiceAction term)
java.lang.Object	visitIntChoiceActionIte(net.sourceforge.czt.circus.ast.IntChoiceActionIte term)
java.lang.Object	visitIntChoiceProcess(net.sourceforge.czt.circus.ast.IntChoiceProcess term)
java.lang.Object	visitIntChoiceProcessIdx(net.sourceforge.czt.circus.ast.IntChoiceProcessIdx term)
java.lang.Object	visitIntChoiceProcessIte(net.sourceforge.czt.circus.ast.IntChoiceProcessIte term)
java.lang.Object	visitInterleaveAction(net.sourceforge.czt.circus.ast.InterleaveAction term)
java.lang.Object	visitInterleaveActionIte(net.sourceforge.czt.circus.ast.InterleaveActionIte term)
java.lang.Object	visitInterleaveProcess(net.sourceforge.czt.circus.ast.InterleaveProcess term)
java.lang.Object	visitInterleaveProcessIdx(net.sourceforge.czt.circus.ast.InterleaveProcessIdx term)
java.lang.Object	visitInterleaveProcessIte(net.sourceforge.czt.circus.ast.InterleaveProcessIte term)
java.lang.Object	visitLetMuAction(net.sourceforge.czt.circus.ast.LetMuAction term)
java.lang.Object	visitLetVarAction(net.sourceforge.czt.circus.ast.LetVarAction term)
java.lang.Object	visitMuAction(net.sourceforge.czt.circus.ast.MuAction term)
java.lang.Object	visitNameSetPara(net.sourceforge.czt.circus.ast.NameSetPara term)
java.lang.Object	visitNameSetType(net.sourceforge.czt.circus.ast.NameSetType term)
java.lang.Object	visitOnTheFlyDefAnn(net.sourceforge.czt.circus.ast.OnTheFlyDefAnn term)
java.lang.Object	visitOutputField(net.sourceforge.czt.circus.ast.OutputField term)
java.lang.Object	visitParallelAction(net.sourceforge.czt.circus.ast.ParallelAction term)
java.lang.Object	visitParallelActionIte(net.sourceforge.czt.circus.ast.ParallelActionIte term)
java.lang.Object	visitParallelProcess(net.sourceforge.czt.circus.ast.ParallelProcess term)
java.lang.Object	visitParallelProcessIdx(net.sourceforge.czt.circus.ast.ParallelProcessIdx term)
java.lang.Object	visitParallelProcessIte(net.sourceforge.czt.circus.ast.ParallelProcessIte term)
java.lang.Object	visitParamAction(net.sourceforge.czt.circus.ast.ParamAction term)
java.lang.Object	visitParamProcess(net.sourceforge.czt.circus.ast.ParamProcess term)
java.lang.Object	visitPrefixingAction(net.sourceforge.czt.circus.ast.PrefixingAction term)
java.lang.Object	visitProcessPara(net.sourceforge.czt.circus.ast.ProcessPara term) The AstToPrintTreeVisitor must have changed OnTheFly paragraphs from ProcessPara to a special form of action call.
java.lang.Object	visitProcessSignature(net.sourceforge.czt.circus.ast.ProcessSignature term)
java.lang.Object	visitProcessTransformerPred(net.sourceforge.czt.circus.ast.ProcessTransformerPred term)
java.lang.Object	visitProcessType(net.sourceforge.czt.circus.ast.ProcessType term)
java.lang.Object	visitQualifiedDecl(net.sourceforge.czt.circus.ast.QualifiedDecl term)
java.lang.Object	visitRenameProcess(net.sourceforge.czt.circus.ast.RenameProcess term)
java.lang.Object	visitSchExprAction(net.sourceforge.czt.circus.ast.SchExprAction term)
java.lang.Object	visitSeqAction(net.sourceforge.czt.circus.ast.SeqAction term)
java.lang.Object	visitSeqActionIte(net.sourceforge.czt.circus.ast.SeqActionIte term)
java.lang.Object	visitSeqProcess(net.sourceforge.czt.circus.ast.SeqProcess term)
java.lang.Object	visitSeqProcessIdx(net.sourceforge.czt.circus.ast.SeqProcessIdx term)
java.lang.Object	visitSeqProcessIte(net.sourceforge.czt.circus.ast.SeqProcessIte term)
java.lang.Object	visitSigmaExpr(net.sourceforge.czt.circus.ast.SigmaExpr term)
java.lang.Object	visitSkipAction(net.sourceforge.czt.circus.ast.SkipAction term)
java.lang.Object	visitSpecStmtCommand(net.sourceforge.czt.circus.ast.SpecStmtCommand term)
java.lang.Object	visitStopAction(net.sourceforge.czt.circus.ast.StopAction term)
java.lang.Object	visitSubstitutionAction(net.sourceforge.czt.circus.ast.SubstitutionAction term)
protected void	visitTransformation(net.sourceforge.czt.circus.ast.Transformation t, net.sourceforge.czt.circus.ast.Model m)
java.lang.Object	visitTransformerPara(net.sourceforge.czt.circus.ast.TransformerPara term) Others
java.lang.Object	visitVarDeclCommand(net.sourceforge.czt.circus.ast.VarDeclCommand term) Command related

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

print, print, printDecorword, printDecorword, printGenericFormals, printLPAREN, printRPAREN, printTermList, printTermList, printTermList, visit, visitAndExpr, visitAndPred, visitApplExpr, visitApplication, 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, visitListTerm, visitLocAnn, visitMemPred, visitMuExpr, visitNameSectTypeTriple, visitNameTypePair, visitNarrPara, visitNarrSect, visitNegExpr, visitNegPred, visitNewOldPair, visitNextStroke, visitNumExpr, visitNumStroke, visitOperand, visitOperator, visitOperatorApplication, visitOptempPara, visitOrExpr, visitOrPred, visitOutStroke, visitParenAnn, visitParent, visitPipeExpr, visitPowerExpr, visitPowerType, visitPreExpr, visitPrintExpression, visitPrintParagraph, visitPrintPredicate, visitProdExpr, visitProdType, visitProjExpr, visitRefExpr, visitRenameExpr, visitSchemaType, visitSchExpr, visitSectTypeEnvAnn, visitSetCompExpr, visitSetExpr, visitSignature, visitSignatureAnn, visitSpec, visitTerm, visitThetaExpr, visitTruePred, visitTupleExpr, visitTupleSelExpr, visitTypeAnn, visitUnparsedPara, visitUnparsedZSect, visitVarDecl, visitZBranchList, visitZDeclList, visitZExprList, visitZFreetypeList, visitZName, visitZNameList, visitZNumeral, visitZParaList, visitZRenameList, visitZSchText, visitZSect, visitZStrokeList

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

Constructor Detail

CircusPrintVisitor

public CircusPrintVisitor(net.sourceforge.czt.print.z.AbstractPrintVisitor.ZPrinter printer,
                          net.sourceforge.czt.parser.util.WarningManager wm)

Creates a new Object-Z print visitor. The section information should be able to provide information of type net.sourceforge.czt.parser.util.OpTable.class.

CircusPrintVisitor

public CircusPrintVisitor(net.sourceforge.czt.print.z.AbstractPrintVisitor.ZPrinter printer,
                          java.util.Properties properties,
                          net.sourceforge.czt.parser.util.WarningManager wm)

Method Detail

print

protected void print(CircusKeyword keyword)

Auxiliary methods

printFormalParameters

protected void printFormalParameters(net.sourceforge.czt.z.ast.ZDeclList term)

printProcessD

protected void printProcessD(net.sourceforge.czt.circus.ast.ProcessD term,
                             boolean indexes)

printActionD

protected void printActionD(net.sourceforge.czt.circus.ast.ActionD term)

visitChannelPara

public java.lang.Object visitChannelPara(net.sourceforge.czt.circus.ast.ChannelPara term)

Channel related

Specified by:

visitChannelPara in interface net.sourceforge.czt.circus.visitor.ChannelParaVisitor

visitChannelDecl

public java.lang.Object visitChannelDecl(net.sourceforge.czt.circus.ast.ChannelDecl term)

Specified by:

visitChannelDecl in interface net.sourceforge.czt.circus.visitor.ChannelDeclVisitor

visitChannelSetPara

public java.lang.Object visitChannelSetPara(net.sourceforge.czt.circus.ast.ChannelSetPara term)

Channel set related

Specified by:

visitChannelSetPara in interface net.sourceforge.czt.circus.visitor.ChannelSetParaVisitor

visitCircusChannelSet

public java.lang.Object visitCircusChannelSet(net.sourceforge.czt.circus.ast.CircusChannelSet term)

Specified by:

visitCircusChannelSet in interface net.sourceforge.czt.circus.visitor.CircusChannelSetVisitor

visitBasicChannelSetExpr

public java.lang.Object visitBasicChannelSetExpr(net.sourceforge.czt.circus.ast.BasicChannelSetExpr term)

Specified by:

visitBasicChannelSetExpr in interface net.sourceforge.czt.circus.visitor.BasicChannelSetExprVisitor

visitProcessPara

public java.lang.Object visitProcessPara(net.sourceforge.czt.circus.ast.ProcessPara term)

The AstToPrintTreeVisitor must have changed OnTheFly paragraphs from ProcessPara to a special form of action call.

Specified by:

visitProcessPara in interface net.sourceforge.czt.circus.visitor.ProcessParaVisitor

visitBasicProcess

public net.sourceforge.czt.base.ast.Term visitBasicProcess(net.sourceforge.czt.circus.ast.BasicProcess term)

Specified by:

visitBasicProcess in interface net.sourceforge.czt.circus.visitor.BasicProcessVisitor

visitCallProcess

public java.lang.Object visitCallProcess(net.sourceforge.czt.circus.ast.CallProcess term)

Specified by:

visitCallProcess in interface net.sourceforge.czt.circus.visitor.CallProcessVisitor

visitHideProcess

public java.lang.Object visitHideProcess(net.sourceforge.czt.circus.ast.HideProcess term)

Specified by:

visitHideProcess in interface net.sourceforge.czt.circus.visitor.HideProcessVisitor

visitRenameProcess

public java.lang.Object visitRenameProcess(net.sourceforge.czt.circus.ast.RenameProcess term)

Specified by:

visitRenameProcess in interface net.sourceforge.czt.circus.visitor.RenameProcessVisitor

visitSeqProcess

public java.lang.Object visitSeqProcess(net.sourceforge.czt.circus.ast.SeqProcess term)

Specified by:

visitSeqProcess in interface net.sourceforge.czt.circus.visitor.SeqProcessVisitor

visitExtChoiceProcess

public java.lang.Object visitExtChoiceProcess(net.sourceforge.czt.circus.ast.ExtChoiceProcess term)

Specified by:

visitExtChoiceProcess in interface net.sourceforge.czt.circus.visitor.ExtChoiceProcessVisitor

visitIntChoiceProcess

public java.lang.Object visitIntChoiceProcess(net.sourceforge.czt.circus.ast.IntChoiceProcess term)

Specified by:

visitIntChoiceProcess in interface net.sourceforge.czt.circus.visitor.IntChoiceProcessVisitor

visitParallelProcess

public java.lang.Object visitParallelProcess(net.sourceforge.czt.circus.ast.ParallelProcess term)

Specified by:

visitParallelProcess in interface net.sourceforge.czt.circus.visitor.ParallelProcessVisitor

visitAlphabetisedParallelProcess

public java.lang.Object visitAlphabetisedParallelProcess(net.sourceforge.czt.circus.ast.AlphabetisedParallelProcess term)

Specified by:

visitAlphabetisedParallelProcess in interface net.sourceforge.czt.circus.visitor.AlphabetisedParallelProcessVisitor

visitInterleaveProcess

public java.lang.Object visitInterleaveProcess(net.sourceforge.czt.circus.ast.InterleaveProcess term)

Specified by:

visitInterleaveProcess in interface net.sourceforge.czt.circus.visitor.InterleaveProcessVisitor

visitParamProcess

public java.lang.Object visitParamProcess(net.sourceforge.czt.circus.ast.ParamProcess term)

Specified by:

visitParamProcess in interface net.sourceforge.czt.circus.visitor.ParamProcessVisitor

visitSeqProcessIte

public java.lang.Object visitSeqProcessIte(net.sourceforge.czt.circus.ast.SeqProcessIte term)

Specified by:

visitSeqProcessIte in interface net.sourceforge.czt.circus.visitor.SeqProcessIteVisitor

visitExtChoiceProcessIte

public java.lang.Object visitExtChoiceProcessIte(net.sourceforge.czt.circus.ast.ExtChoiceProcessIte term)

Specified by:

visitExtChoiceProcessIte in interface net.sourceforge.czt.circus.visitor.ExtChoiceProcessIteVisitor

visitIntChoiceProcessIte

public java.lang.Object visitIntChoiceProcessIte(net.sourceforge.czt.circus.ast.IntChoiceProcessIte term)

Specified by:

visitIntChoiceProcessIte in interface net.sourceforge.czt.circus.visitor.IntChoiceProcessIteVisitor

visitParallelProcessIte

public java.lang.Object visitParallelProcessIte(net.sourceforge.czt.circus.ast.ParallelProcessIte term)

Specified by:

visitParallelProcessIte in interface net.sourceforge.czt.circus.visitor.ParallelProcessIteVisitor

visitAlphabetisedParallelProcessIte

public java.lang.Object visitAlphabetisedParallelProcessIte(net.sourceforge.czt.circus.ast.AlphabetisedParallelProcessIte term)

Specified by:

visitAlphabetisedParallelProcessIte in interface net.sourceforge.czt.circus.visitor.AlphabetisedParallelProcessIteVisitor

visitInterleaveProcessIte

public java.lang.Object visitInterleaveProcessIte(net.sourceforge.czt.circus.ast.InterleaveProcessIte term)

Specified by:

visitInterleaveProcessIte in interface net.sourceforge.czt.circus.visitor.InterleaveProcessIteVisitor

visitIndexedProcess

public java.lang.Object visitIndexedProcess(net.sourceforge.czt.circus.ast.IndexedProcess term)

Specified by:

visitIndexedProcess in interface net.sourceforge.czt.circus.visitor.IndexedProcessVisitor

visitSeqProcessIdx

public java.lang.Object visitSeqProcessIdx(net.sourceforge.czt.circus.ast.SeqProcessIdx term)

Specified by:

visitSeqProcessIdx in interface net.sourceforge.czt.circus.visitor.SeqProcessIdxVisitor

visitExtChoiceProcessIdx

public java.lang.Object visitExtChoiceProcessIdx(net.sourceforge.czt.circus.ast.ExtChoiceProcessIdx term)

Specified by:

visitExtChoiceProcessIdx in interface net.sourceforge.czt.circus.visitor.ExtChoiceProcessIdxVisitor

visitIntChoiceProcessIdx

public java.lang.Object visitIntChoiceProcessIdx(net.sourceforge.czt.circus.ast.IntChoiceProcessIdx term)

Specified by:

visitIntChoiceProcessIdx in interface net.sourceforge.czt.circus.visitor.IntChoiceProcessIdxVisitor

visitParallelProcessIdx

public java.lang.Object visitParallelProcessIdx(net.sourceforge.czt.circus.ast.ParallelProcessIdx term)

Specified by:

visitParallelProcessIdx in interface net.sourceforge.czt.circus.visitor.ParallelProcessIdxVisitor

visitAlphabetisedParallelProcessIdx

public java.lang.Object visitAlphabetisedParallelProcessIdx(net.sourceforge.czt.circus.ast.AlphabetisedParallelProcessIdx term)

Specified by:

visitAlphabetisedParallelProcessIdx in interface net.sourceforge.czt.circus.visitor.AlphabetisedParallelProcessIdxVisitor

visitInterleaveProcessIdx

public java.lang.Object visitInterleaveProcessIdx(net.sourceforge.czt.circus.ast.InterleaveProcessIdx term)

Specified by:

visitInterleaveProcessIdx in interface net.sourceforge.czt.circus.visitor.InterleaveProcessIdxVisitor

visitActionPara

public java.lang.Object visitActionPara(net.sourceforge.czt.circus.ast.ActionPara term)

Action related

Specified by:

visitActionPara in interface net.sourceforge.czt.circus.visitor.ActionParaVisitor

visitSchExprAction

public java.lang.Object visitSchExprAction(net.sourceforge.czt.circus.ast.SchExprAction term)

Specified by:

visitSchExprAction in interface net.sourceforge.czt.circus.visitor.SchExprActionVisitor

visitChaosAction

public java.lang.Object visitChaosAction(net.sourceforge.czt.circus.ast.ChaosAction term)

Specified by:

visitChaosAction in interface net.sourceforge.czt.circus.visitor.ChaosActionVisitor

visitSkipAction

public java.lang.Object visitSkipAction(net.sourceforge.czt.circus.ast.SkipAction term)

Specified by:

visitSkipAction in interface net.sourceforge.czt.circus.visitor.SkipActionVisitor

visitStopAction

public java.lang.Object visitStopAction(net.sourceforge.czt.circus.ast.StopAction term)

Specified by:

visitStopAction in interface net.sourceforge.czt.circus.visitor.StopActionVisitor

visitMuAction

public java.lang.Object visitMuAction(net.sourceforge.czt.circus.ast.MuAction term)

Specified by:

visitMuAction in interface net.sourceforge.czt.circus.visitor.MuActionVisitor

visitCallAction

public java.lang.Object visitCallAction(net.sourceforge.czt.circus.ast.CallAction term)

Specified by:

visitCallAction in interface net.sourceforge.czt.circus.visitor.CallActionVisitor

visitHideAction

public java.lang.Object visitHideAction(net.sourceforge.czt.circus.ast.HideAction term)

Specified by:

visitHideAction in interface net.sourceforge.czt.circus.visitor.HideActionVisitor

visitSubstitutionAction

public java.lang.Object visitSubstitutionAction(net.sourceforge.czt.circus.ast.SubstitutionAction term)

Specified by:

visitSubstitutionAction in interface net.sourceforge.czt.circus.visitor.SubstitutionActionVisitor

visitGuardedAction

public java.lang.Object visitGuardedAction(net.sourceforge.czt.circus.ast.GuardedAction term)

Specified by:

visitGuardedAction in interface net.sourceforge.czt.circus.visitor.GuardedActionVisitor

visitPrefixingAction

public java.lang.Object visitPrefixingAction(net.sourceforge.czt.circus.ast.PrefixingAction term)

Specified by:

visitPrefixingAction in interface net.sourceforge.czt.circus.visitor.PrefixingActionVisitor

visitCommunication

public java.lang.Object visitCommunication(net.sourceforge.czt.circus.ast.Communication term)

Specified by:

visitCommunication in interface net.sourceforge.czt.circus.visitor.CommunicationVisitor

visitOutputField

public java.lang.Object visitOutputField(net.sourceforge.czt.circus.ast.OutputField term)

Specified by:

visitOutputField in interface net.sourceforge.czt.circus.visitor.OutputFieldVisitor

visitDotField

public java.lang.Object visitDotField(net.sourceforge.czt.circus.ast.DotField term)

Specified by:

visitDotField in interface net.sourceforge.czt.circus.visitor.DotFieldVisitor

visitInputField

public java.lang.Object visitInputField(net.sourceforge.czt.circus.ast.InputField term)

Specified by:

visitInputField in interface net.sourceforge.czt.circus.visitor.InputFieldVisitor

visitSeqAction

public java.lang.Object visitSeqAction(net.sourceforge.czt.circus.ast.SeqAction term)

Specified by:

visitSeqAction in interface net.sourceforge.czt.circus.visitor.SeqActionVisitor

visitExtChoiceAction

public java.lang.Object visitExtChoiceAction(net.sourceforge.czt.circus.ast.ExtChoiceAction term)

Specified by:

visitExtChoiceAction in interface net.sourceforge.czt.circus.visitor.ExtChoiceActionVisitor

visitIntChoiceAction

public java.lang.Object visitIntChoiceAction(net.sourceforge.czt.circus.ast.IntChoiceAction term)

Specified by:

visitIntChoiceAction in interface net.sourceforge.czt.circus.visitor.IntChoiceActionVisitor

visitParallelAction

public java.lang.Object visitParallelAction(net.sourceforge.czt.circus.ast.ParallelAction term)

Specified by:

visitParallelAction in interface net.sourceforge.czt.circus.visitor.ParallelActionVisitor

visitAlphabetisedParallelAction

public java.lang.Object visitAlphabetisedParallelAction(net.sourceforge.czt.circus.ast.AlphabetisedParallelAction term)

Specified by:

visitAlphabetisedParallelAction in interface net.sourceforge.czt.circus.visitor.AlphabetisedParallelActionVisitor

visitInterleaveAction

public java.lang.Object visitInterleaveAction(net.sourceforge.czt.circus.ast.InterleaveAction term)

Specified by:

visitInterleaveAction in interface net.sourceforge.czt.circus.visitor.InterleaveActionVisitor

visitParamAction

public java.lang.Object visitParamAction(net.sourceforge.czt.circus.ast.ParamAction term)

Specified by:

visitParamAction in interface net.sourceforge.czt.circus.visitor.ParamActionVisitor

visitSeqActionIte

public java.lang.Object visitSeqActionIte(net.sourceforge.czt.circus.ast.SeqActionIte term)

Specified by:

visitSeqActionIte in interface net.sourceforge.czt.circus.visitor.SeqActionIteVisitor

visitExtChoiceActionIte

public java.lang.Object visitExtChoiceActionIte(net.sourceforge.czt.circus.ast.ExtChoiceActionIte term)

Specified by:

visitExtChoiceActionIte in interface net.sourceforge.czt.circus.visitor.ExtChoiceActionIteVisitor

visitIntChoiceActionIte

public java.lang.Object visitIntChoiceActionIte(net.sourceforge.czt.circus.ast.IntChoiceActionIte term)

Specified by:

visitIntChoiceActionIte in interface net.sourceforge.czt.circus.visitor.IntChoiceActionIteVisitor

visitParallelActionIte

public java.lang.Object visitParallelActionIte(net.sourceforge.czt.circus.ast.ParallelActionIte term)

Specified by:

visitParallelActionIte in interface net.sourceforge.czt.circus.visitor.ParallelActionIteVisitor

visitAlphabetisedParallelActionIte

public java.lang.Object visitAlphabetisedParallelActionIte(net.sourceforge.czt.circus.ast.AlphabetisedParallelActionIte term)

Specified by:

visitAlphabetisedParallelActionIte in interface net.sourceforge.czt.circus.visitor.AlphabetisedParallelActionIteVisitor

visitInterleaveActionIte

public java.lang.Object visitInterleaveActionIte(net.sourceforge.czt.circus.ast.InterleaveActionIte term)

Specified by:

visitInterleaveActionIte in interface net.sourceforge.czt.circus.visitor.InterleaveActionIteVisitor

visitVarDeclCommand

public java.lang.Object visitVarDeclCommand(net.sourceforge.czt.circus.ast.VarDeclCommand term)

Command related

Specified by:

visitVarDeclCommand in interface net.sourceforge.czt.circus.visitor.VarDeclCommandVisitor

visitAssignmentCommand

public java.lang.Object visitAssignmentCommand(net.sourceforge.czt.circus.ast.AssignmentCommand term)

Specified by:

visitAssignmentCommand in interface net.sourceforge.czt.circus.visitor.AssignmentCommandVisitor

visitIfGuardedCommand

public java.lang.Object visitIfGuardedCommand(net.sourceforge.czt.circus.ast.IfGuardedCommand term)

Specified by:

visitIfGuardedCommand in interface net.sourceforge.czt.circus.visitor.IfGuardedCommandVisitor

visitSpecStmtCommand

public java.lang.Object visitSpecStmtCommand(net.sourceforge.czt.circus.ast.SpecStmtCommand term)

Specified by:

visitSpecStmtCommand in interface net.sourceforge.czt.circus.visitor.SpecStmtCommandVisitor

visitChannelType

public java.lang.Object visitChannelType(net.sourceforge.czt.circus.ast.ChannelType term)

Unexpected terms

Specified by:

visitChannelType in interface net.sourceforge.czt.circus.visitor.ChannelTypeVisitor

visitChannelSetType

public java.lang.Object visitChannelSetType(net.sourceforge.czt.circus.ast.ChannelSetType term)

Specified by:

visitChannelSetType in interface net.sourceforge.czt.circus.visitor.ChannelSetTypeVisitor

visitProcessType

public java.lang.Object visitProcessType(net.sourceforge.czt.circus.ast.ProcessType term)

Specified by:

visitProcessType in interface net.sourceforge.czt.circus.visitor.ProcessTypeVisitor

visitActionType

public java.lang.Object visitActionType(net.sourceforge.czt.circus.ast.ActionType term)

Specified by:

visitActionType in interface net.sourceforge.czt.circus.visitor.ActionTypeVisitor

visitNameSetType

public java.lang.Object visitNameSetType(net.sourceforge.czt.circus.ast.NameSetType term)

Specified by:

visitNameSetType in interface net.sourceforge.czt.circus.visitor.NameSetTypeVisitor

visitProcessSignature

public java.lang.Object visitProcessSignature(net.sourceforge.czt.circus.ast.ProcessSignature term)

Specified by:

visitProcessSignature in interface net.sourceforge.czt.circus.visitor.ProcessSignatureVisitor

visitBasicProcessSignature

public java.lang.Object visitBasicProcessSignature(net.sourceforge.czt.circus.ast.BasicProcessSignature term)

Specified by:

visitBasicProcessSignature in interface net.sourceforge.czt.circus.visitor.BasicProcessSignatureVisitor

visitActionSignature

public java.lang.Object visitActionSignature(net.sourceforge.czt.circus.ast.ActionSignature term)

Specified by:

visitActionSignature in interface net.sourceforge.czt.circus.visitor.ActionSignatureVisitor

visitCircusStateAnn

public java.lang.Object visitCircusStateAnn(net.sourceforge.czt.circus.ast.CircusStateAnn term)

Specified by:

visitCircusStateAnn in interface net.sourceforge.czt.circus.visitor.CircusStateAnnVisitor

visitOnTheFlyDefAnn

public java.lang.Object visitOnTheFlyDefAnn(net.sourceforge.czt.circus.ast.OnTheFlyDefAnn term)

Specified by:

visitOnTheFlyDefAnn in interface net.sourceforge.czt.circus.visitor.OnTheFlyDefAnnVisitor

visitLetMuAction

public java.lang.Object visitLetMuAction(net.sourceforge.czt.circus.ast.LetMuAction term)

Specified by:

visitLetMuAction in interface net.sourceforge.czt.circus.visitor.LetMuActionVisitor

visitLetVarAction

public java.lang.Object visitLetVarAction(net.sourceforge.czt.circus.ast.LetVarAction term)

Specified by:

visitLetVarAction in interface net.sourceforge.czt.circus.visitor.LetVarActionVisitor

visitTransformerPara

public java.lang.Object visitTransformerPara(net.sourceforge.czt.circus.ast.TransformerPara term)

Others

Specified by:

visitTransformerPara in interface net.sourceforge.czt.circus.visitor.TransformerParaVisitor

visitTransformation

protected void visitTransformation(net.sourceforge.czt.circus.ast.Transformation t,
                                   net.sourceforge.czt.circus.ast.Model m)

visitProcessTransformerPred

public java.lang.Object visitProcessTransformerPred(net.sourceforge.czt.circus.ast.ProcessTransformerPred term)

Specified by:

visitProcessTransformerPred in interface net.sourceforge.czt.circus.visitor.ProcessTransformerPredVisitor

visitActionTransformerPred

public java.lang.Object visitActionTransformerPred(net.sourceforge.czt.circus.ast.ActionTransformerPred term)

Specified by:

visitActionTransformerPred in interface net.sourceforge.czt.circus.visitor.ActionTransformerPredVisitor

visitQualifiedDecl

public java.lang.Object visitQualifiedDecl(net.sourceforge.czt.circus.ast.QualifiedDecl term)

Specified by:

visitQualifiedDecl in interface net.sourceforge.czt.circus.visitor.QualifiedDeclVisitor

visitAssignmentPairs

public java.lang.Object visitAssignmentPairs(net.sourceforge.czt.circus.ast.AssignmentPairs term)

Specified by:

visitAssignmentPairs in interface net.sourceforge.czt.circus.visitor.AssignmentPairsVisitor

visitCircusFieldList

public java.lang.Object visitCircusFieldList(net.sourceforge.czt.circus.ast.CircusFieldList term)

Specified by:

visitCircusFieldList in interface net.sourceforge.czt.circus.visitor.CircusFieldListVisitor

visitSigmaExpr

public java.lang.Object visitSigmaExpr(net.sourceforge.czt.circus.ast.SigmaExpr term)

Specified by:

visitSigmaExpr in interface net.sourceforge.czt.circus.visitor.SigmaExprVisitor

visitNameSetPara

public java.lang.Object visitNameSetPara(net.sourceforge.czt.circus.ast.NameSetPara term)

Specified by:

visitNameSetPara in interface net.sourceforge.czt.circus.visitor.NameSetParaVisitor

visitCircusNameSet

public java.lang.Object visitCircusNameSet(net.sourceforge.czt.circus.ast.CircusNameSet term)

Specified by:

visitCircusNameSet in interface net.sourceforge.czt.circus.visitor.CircusNameSetVisitor