com.veromodo.tempo.ast
Class ASTUnparse

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTHVisitor
      extended by com.veromodo.tempo.ast.ASTPrettyPrint
          extended by com.veromodo.tempo.ast.ASTUnparse
All Implemented Interfaces:
ASTIVisitor

public class ASTUnparse
extends ASTPrettyPrint


Constructor Summary
ASTUnparse(ErrorLog log)
           
ASTUnparse(ErrorLog log, int t, boolean p, boolean ty)
           
 
Method Summary
 void applyASTBinary(ASTBinary n)
           
 void applyASTCall(ASTCall n)
           
 void applyASTChoose(ASTChoose n)
           
 void applyASTCond(ASTCond n)
           
 void applyASTDerefArray(ASTDerefArray n)
           
 void applyASTDerefField(ASTDerefField n)
           
 void applyASTExprId(ASTExprId n)
           
 void applyASTExprLiteral(ASTExprLiteral n)
           
 void applyASTIdentifier(ASTIdentifier n)
          Stuff with descriptors
 void applyASTMixCBraceOp(ASTMixCBraceOp n)
           
 void applyASTNDRChoose(ASTNDRChoose n)
           
 void applyASTNeg(ASTNeg n)
           
 void applyASTNot(ASTNot n)
           
 void applyASTPost(ASTPost n)
           
 void applyASTQExist(ASTQExist n)
           
 void applyASTQForall(ASTQForall n)
           
 void applyASTSetof(ASTSetof n)
           
 void applyASTTupleConstructor(ASTTupleConstructor n)
           
 void applyASTTypeAlias(ASTTypeAlias n)
           
 void applyASTTypeEnum(ASTTypeEnum n)
           
 void applyASTTypeFunction(ASTTypeFunction n)
           
 void applyASTTypeGeneric(ASTTypeGeneric n)
           
 void applyASTTypeId(ASTTypeId n)
           
 void applyASTTypeParameter(ASTTypeParameter n)
           
 void applyASTTypeSelector(ASTTypeSelector n)
           
 void applyASTTypeTuple(ASTTypeTuple n)
           
 void applyASTTypeUnion(ASTTypeUnion n)
           
 
Methods inherited from class com.veromodo.tempo.ast.ASTPrettyPrint
applyASTAction, applyASTActionFormal, applyASTActionFormalConst, applyASTActionFormalName, applyASTActionFormalTypedIdList, applyASTActionSet, applyASTActual, applyASTActualExpr, applyASTActualType, applyASTAssignment, applyASTAutomaton, applyASTBackwardSim, applyASTBasicAutomaton, applyASTBlock, applyASTComponent, applyASTComponentDef, applyASTComponentInst, applyASTCompositeAutomaton, applyASTDecl, applyASTDeclFields, applyASTDeclFun, applyASTDeclLocals, applyASTDeclScheduleLocal, applyASTDeclVar, applyASTDeclVocabulary, applyASTDefType, applyASTEffect, applyASTExpr, applyASTFire, applyASTFireInput, applyASTFireInternal, applyASTFireOutput, applyASTFloatLiteral, applyASTFollow, applyASTForClause, applyASTForLoop, applyASTFormal, applyASTForwardSim, applyASTIdOrNum, applyASTIfThen, applyASTIfThenElse, applyASTIntLiteral, applyASTInvariant, applyASTList, applyASTListActionFormal, applyASTListActionSet, applyASTListActual, applyASTListComponent, applyASTListDeclFuns, applyASTListDeclLocals, applyASTListDeclScheduleLocal, applyASTListDefType, applyASTListFields, applyASTListFormal, applyASTListFormula, applyASTListId, applyASTListIdOrNum, applyASTListName, applyASTListOperatorSignature, applyASTListProofUsing, applyASTListRoot, applyASTListSignature, applyASTListSimProofEntry, applyASTListStartEntry, applyASTListState, applyASTListStatement, applyASTListTask, applyASTListTrajectories, applyASTListTrajRef, applyASTListTransition, applyASTListType, applyASTListVocabRef, applyASTMSGInvoke, applyASTMSGInvokeInput, applyASTMSGInvokeInternal, applyASTMSGInvokeOutput, applyASTNDRFire, applyASTNDRFireInput, applyASTNDRFireInternal, applyASTNDRFireOutput, applyASTNDRFollow, applyASTNDRIfThen, applyASTNDRIfThenElse, applyASTNDRWhile, applyASTNDRYield, applyASTNode, applyASTNotation, applyASTNotationFun, applyASTNotationInfix, applyASTNotationInfixRight, applyASTNotationITE, applyASTNotationMixBracket, applyASTNotationMixCBrace, applyASTNotationPrefix, applyASTNotationSuffix, applyASTOperator, applyASTOperatorSignature, applyASTProofFire, applyASTProofFollow, applyASTProofIfThen, applyASTProofIfThenElse, applyASTProofStatement, applyASTProofUsing, applyASTProofWhile, applyASTQuantified, applyASTRoot, applyASTRootDeclFuns, applyASTRootDeclTypes, applyASTRootDeclVocab, applyASTRootVocabRef, applyASTSchedule, applyASTSimProof, applyASTSimProofAction, applyASTSimProofEntry, applyASTSimulation, applyASTStartEntry, applyASTState, applyASTStatement, applyASTTask, applyASTTrajectory, applyASTTrajEntry, applyASTTrajRef, applyASTTransEntry, applyASTTransition, applyASTType, applyASTUnary, applyASTVocabRef, applyASTWhile, applyDeclFields, printMSGInvoke, printUnary, unparse
 
Methods inherited from class com.veromodo.tempo.ast.ASTHVisitor
applyASTAdd, applyASTAnd, applyASTBinOp, applyASTDiv, applyASTEqual, applyASTEquiv, applyASTGEqual, applyASTGreater, applyASTImply, applyASTLEqual, applyASTLess, applyASTLiteral, applyASTMul, applyASTNEqual, applyASTNotationMixFix, applyASTOr, applyASTPow, applyASTSignature, applyASTSub
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ASTUnparse

public ASTUnparse(ErrorLog log)

ASTUnparse

public ASTUnparse(ErrorLog log,
                  int t,
                  boolean p,
                  boolean ty)
Method Detail

applyASTIdentifier

public void applyASTIdentifier(ASTIdentifier n)
Stuff with descriptors

Specified by:
applyASTIdentifier in interface ASTIVisitor
Overrides:
applyASTIdentifier in class ASTPrettyPrint

applyASTTypeEnum

public void applyASTTypeEnum(ASTTypeEnum n)
Specified by:
applyASTTypeEnum in interface ASTIVisitor
Overrides:
applyASTTypeEnum in class ASTPrettyPrint

applyASTTypeTuple

public void applyASTTypeTuple(ASTTypeTuple n)
Specified by:
applyASTTypeTuple in interface ASTIVisitor
Overrides:
applyASTTypeTuple in class ASTPrettyPrint

applyASTTypeUnion

public void applyASTTypeUnion(ASTTypeUnion n)
Specified by:
applyASTTypeUnion in interface ASTIVisitor
Overrides:
applyASTTypeUnion in class ASTPrettyPrint

applyASTTypeAlias

public void applyASTTypeAlias(ASTTypeAlias n)
Specified by:
applyASTTypeAlias in interface ASTIVisitor
Overrides:
applyASTTypeAlias in class ASTPrettyPrint

applyASTTypeParameter

public void applyASTTypeParameter(ASTTypeParameter n)
Specified by:
applyASTTypeParameter in interface ASTIVisitor
Overrides:
applyASTTypeParameter in class ASTPrettyPrint

applyASTTypeId

public void applyASTTypeId(ASTTypeId n)
Specified by:
applyASTTypeId in interface ASTIVisitor
Overrides:
applyASTTypeId in class ASTPrettyPrint

applyASTTypeGeneric

public void applyASTTypeGeneric(ASTTypeGeneric n)
Specified by:
applyASTTypeGeneric in interface ASTIVisitor
Overrides:
applyASTTypeGeneric in class ASTPrettyPrint

applyASTTypeFunction

public void applyASTTypeFunction(ASTTypeFunction n)
Specified by:
applyASTTypeFunction in interface ASTIVisitor
Overrides:
applyASTTypeFunction in class ASTPrettyPrint

applyASTTupleConstructor

public void applyASTTupleConstructor(ASTTupleConstructor n)
Specified by:
applyASTTupleConstructor in interface ASTIVisitor
Overrides:
applyASTTupleConstructor in class ASTPrettyPrint

applyASTBinary

public void applyASTBinary(ASTBinary n)
Specified by:
applyASTBinary in interface ASTIVisitor
Overrides:
applyASTBinary in class ASTPrettyPrint

applyASTCall

public void applyASTCall(ASTCall n)
Specified by:
applyASTCall in interface ASTIVisitor
Overrides:
applyASTCall in class ASTPrettyPrint

applyASTTypeSelector

public void applyASTTypeSelector(ASTTypeSelector n)
Specified by:
applyASTTypeSelector in interface ASTIVisitor
Overrides:
applyASTTypeSelector in class ASTPrettyPrint

applyASTChoose

public void applyASTChoose(ASTChoose n)
Specified by:
applyASTChoose in interface ASTIVisitor
Overrides:
applyASTChoose in class ASTPrettyPrint

applyASTNDRChoose

public void applyASTNDRChoose(ASTNDRChoose n)
Specified by:
applyASTNDRChoose in interface ASTIVisitor
Overrides:
applyASTNDRChoose in class ASTPrettyPrint

applyASTCond

public void applyASTCond(ASTCond n)
Specified by:
applyASTCond in interface ASTIVisitor
Overrides:
applyASTCond in class ASTPrettyPrint

applyASTDerefArray

public void applyASTDerefArray(ASTDerefArray n)
Specified by:
applyASTDerefArray in interface ASTIVisitor
Overrides:
applyASTDerefArray in class ASTPrettyPrint

applyASTDerefField

public void applyASTDerefField(ASTDerefField n)
Specified by:
applyASTDerefField in interface ASTIVisitor
Overrides:
applyASTDerefField in class ASTPrettyPrint

applyASTExprId

public void applyASTExprId(ASTExprId n)
Specified by:
applyASTExprId in interface ASTIVisitor
Overrides:
applyASTExprId in class ASTPrettyPrint

applyASTExprLiteral

public void applyASTExprLiteral(ASTExprLiteral n)
Specified by:
applyASTExprLiteral in interface ASTIVisitor
Overrides:
applyASTExprLiteral in class ASTPrettyPrint

applyASTQForall

public void applyASTQForall(ASTQForall n)
Specified by:
applyASTQForall in interface ASTIVisitor
Overrides:
applyASTQForall in class ASTPrettyPrint

applyASTQExist

public void applyASTQExist(ASTQExist n)
Specified by:
applyASTQExist in interface ASTIVisitor
Overrides:
applyASTQExist in class ASTPrettyPrint

applyASTSetof

public void applyASTSetof(ASTSetof n)
Specified by:
applyASTSetof in interface ASTIVisitor
Overrides:
applyASTSetof in class ASTPrettyPrint

applyASTNeg

public void applyASTNeg(ASTNeg n)
Specified by:
applyASTNeg in interface ASTIVisitor
Overrides:
applyASTNeg in class ASTPrettyPrint

applyASTNot

public void applyASTNot(ASTNot n)
Specified by:
applyASTNot in interface ASTIVisitor
Overrides:
applyASTNot in class ASTPrettyPrint

applyASTPost

public void applyASTPost(ASTPost n)
Specified by:
applyASTPost in interface ASTIVisitor
Overrides:
applyASTPost in class ASTPrettyPrint

applyASTMixCBraceOp

public void applyASTMixCBraceOp(ASTMixCBraceOp n)
Specified by:
applyASTMixCBraceOp in interface ASTIVisitor
Overrides:
applyASTMixCBraceOp in class ASTPrettyPrint