edu.ksu.cis.projects.bogor.ast
Class ASTVisitor

java.lang.Object
  extended by edu.ksu.cis.projects.bogor.ast.ASTVisitor
Direct Known Subclasses:
ConstIntExpEvaluator, ConstIntExpEvaluator.ConstIntExpEnforcer, ExpChecker, HighToLowAtomicExpCompiler, HighToLowAtomicExpCompiler.InvocationDetector, HighToLowBIRCompiler, HighToLowNonAtomicExpCompiler, LegalInitialValueChecker, LiveSetChecker, LocalVariablesCollector, StatementTerminaChecker

public abstract class ASTVisitor
extends Object

This class provides a visitor pattern on the AST.

Version:
CVS $Revision: 1.21 $ $Date: 2005/06/08 08:26:26 $
Author:
Robby , Matt Hoosier

Constructor Summary
ASTVisitor()
           
 
Method Summary
protected  void visitActionExtension(ActionExtension node)
           
protected  void visitActionStatement(ActionStatement node)
           
protected  void visitApplyExp(ApplyExp node)
           
protected  void visitArrayAccessExp(ArrayAccessExp node)
           
protected  void visitAssertAction(AssertAction node)
           
protected  void visitAssignAction(AssignAction node)
           
protected  void visitAssumeAction(AssumeAction node)
           
protected  void visitASTArrayType(ASTArrayType node)
           
protected  void visitASTBooleanType(ASTBooleanType node)
           
protected  void visitASTDoubleType(ASTDoubleType node)
           
protected  void visitASTExtType(ASTExtType node)
           
protected  void visitASTFloatType(ASTFloatType node)
           
protected  void visitASTFunType(ASTFunType node)
           
protected  void visitASTIntRangeType(ASTIntRangeType node)
           
protected  void visitASTIntType(ASTIntType node)
           
protected  void visitASTLockType(ASTLockType node)
           
protected  void visitASTLongRangeType(ASTLongRangeType node)
           
protected  void visitASTLongType(ASTLongType node)
           
protected  void visitASTStringType(ASTStringType node)
           
protected  void visitASTThreadIdType(ASTThreadIdType node)
           
protected  void visitAtomicActionStatement(AtomicActionStatement node)
           
protected  void visitAtomicExp(AtomicExp node)
           
protected  void visitAtomicStatement(AtomicStatement node)
           
protected  void visitBinaryExp(BinaryExp node)
           
protected  void visitBlockStatement(BlockStatement node)
           
protected  void visitBlockTransformation(BlockTransformation node)
           
protected  void visitBooleanConstant(BooleanConstant node)
           
protected  void visitBooleanLiteral(BooleanLiteral node)
           
protected  void visitCastExp(CastExp node)
           
protected  void visitCatch(Catch node)
           
protected  void visitChooseStatement(ChooseStatement node)
           
protected  void visitConditionalExp(ConditionalExp node)
           
protected  void visitConstantDefinition(ConstantDefinition node)
           
protected  void visitDoubleConstant(DoubleConstant node)
           
protected  void visitDoubleLiteral(DoubleLiteral node)
           
protected  void visitEnumDefinition(EnumDefinition node)
           
protected  void visitExitThreadAction(ExitThreadAction node)
           
protected  void visitExpAction(ExpAction node)
           
protected  void visitExpExtension(ExpExtension node)
           
protected  void visitExtensionDefinition(ExtensionDefinition node)
           
protected  void visitExtExp(ExtExp node)
           
protected  void visitField(Field node)
           
protected  void visitFieldAccessExp(FieldAccessExp node)
           
protected  void visitFloatConstant(FloatConstant node)
           
protected  void visitFloatLiteral(FloatLiteral node)
           
protected  void visitFSM(FSM node)
           
protected  void visitFun(Fun node)
           
protected  void visitGlobal(Global node)
           
protected  void visitGotoNextState(GotoNextState node)
           
protected  void visitIdExp(IdExp node)
           
protected  void visitIdPrintArg(IdPrintArg node)
           
protected  void visitIdType(IdType node)
           
protected  void visitIfStatement(IfStatement node)
           
protected  void visitInitialValue(InitialValue node)
           
protected  void visitInstanceofExp(InstanceofExp node)
           
protected  void visitIntConstant(IntConstant node)
           
protected  void visitIntLiteral(IntLiteral node)
           
protected  void visitInvokeAction(InvokeAction node)
           
protected  void visitInvokeExp(InvokeExp node)
           
protected  void visitInvokeTransformation(InvokeTransformation node)
           
protected  void visitKindofExp(KindofExp node)
           
protected  void visitLetExp(LetExp node)
           
protected  void visitLiteralExp(LiteralExp node)
           
protected  void visitLiveSet(LiveSet node)
           
protected  void visitLocal(Local node)
           
protected  void visitLocation(Location node)
           
protected  void visitLockAction(LockAction node)
           
protected  void visitLockTestExp(LockTestExp node)
           
protected  void visitLongConstant(LongConstant node)
           
protected  void visitLongLiteral(LongLiteral node)
           
protected  void visitNewArrayExp(NewArrayExp node)
           
protected  void visitNewLockExp(NewLockExp node)
           
protected  void visitNewRecordExp(NewRecordExp node)
           
protected  void visitNullLiteral(NullLiteral node)
           
protected  void visitParam(Param node)
           
protected  void visitParenExp(ParenExp node)
           
protected  void visitPrintAction(PrintAction node)
           
protected  void visitRecordDefinition(RecordDefinition node)
           
protected  void visitReturnNextState(ReturnNextState node)
           
protected  void visitReturnStatement(ReturnStatement node)
           
protected  void visitSkipStatement(SkipStatement node)
           
protected  void visitStartThreadExp(StartThreadExp node)
           
protected  void visitStringConstant(StringConstant node)
           
protected  void visitStringLiteral(StringLiteral node)
           
protected  void visitStringPrintArg(StringPrintArg node)
           
protected  void visitSystem(System node)
           
protected  void visitThreadTestExp(ThreadTestExp node)
           
protected  void visitThrowAction(ThrowAction node)
           
protected  void visitTryCatchStatement(TryCatchStatement node)
           
protected  void visitTypeAliasDefinition(TypeAliasDefinition node)
           
protected  void visitTypedId(TypedId node)
           
protected  void visitTypeExtension(TypeExtension node)
           
protected  void visitUnaryExp(UnaryExp node)
           
protected  void visitVirtualTableDefinition(VirtualTableDefinition node)
           
protected  void visitWhileStatement(WhileStatement node)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ASTVisitor

public ASTVisitor()
Method Detail

visitASTArrayType

protected void visitASTArrayType(ASTArrayType node)

visitASTBooleanType

protected void visitASTBooleanType(ASTBooleanType node)

visitASTDoubleType

protected void visitASTDoubleType(ASTDoubleType node)

visitASTExtType

protected void visitASTExtType(ASTExtType node)

visitASTFloatType

protected void visitASTFloatType(ASTFloatType node)

visitASTFunType

protected void visitASTFunType(ASTFunType node)

visitASTIntRangeType

protected void visitASTIntRangeType(ASTIntRangeType node)

visitASTIntType

protected void visitASTIntType(ASTIntType node)

visitASTLockType

protected void visitASTLockType(ASTLockType node)

visitASTLongRangeType

protected void visitASTLongRangeType(ASTLongRangeType node)

visitASTLongType

protected void visitASTLongType(ASTLongType node)

visitASTStringType

protected void visitASTStringType(ASTStringType node)

visitASTThreadIdType

protected void visitASTThreadIdType(ASTThreadIdType node)

visitActionExtension

protected void visitActionExtension(ActionExtension node)

visitActionStatement

protected void visitActionStatement(ActionStatement node)

visitApplyExp

protected void visitApplyExp(ApplyExp node)

visitArrayAccessExp

protected void visitArrayAccessExp(ArrayAccessExp node)

visitAssertAction

protected void visitAssertAction(AssertAction node)

visitAssignAction

protected void visitAssignAction(AssignAction node)

visitAssumeAction

protected void visitAssumeAction(AssumeAction node)

visitAtomicActionStatement

protected void visitAtomicActionStatement(AtomicActionStatement node)

visitAtomicExp

protected void visitAtomicExp(AtomicExp node)

visitAtomicStatement

protected void visitAtomicStatement(AtomicStatement node)

visitBinaryExp

protected void visitBinaryExp(BinaryExp node)

visitBlockStatement

protected void visitBlockStatement(BlockStatement node)

visitBlockTransformation

protected void visitBlockTransformation(BlockTransformation node)

visitBooleanConstant

protected void visitBooleanConstant(BooleanConstant node)

visitBooleanLiteral

protected void visitBooleanLiteral(BooleanLiteral node)

visitCastExp

protected void visitCastExp(CastExp node)

visitCatch

protected void visitCatch(Catch node)

visitChooseStatement

protected void visitChooseStatement(ChooseStatement node)

visitConditionalExp

protected void visitConditionalExp(ConditionalExp node)

visitConstantDefinition

protected void visitConstantDefinition(ConstantDefinition node)

visitDoubleConstant

protected void visitDoubleConstant(DoubleConstant node)

visitDoubleLiteral

protected void visitDoubleLiteral(DoubleLiteral node)

visitEnumDefinition

protected void visitEnumDefinition(EnumDefinition node)

visitExitThreadAction

protected void visitExitThreadAction(ExitThreadAction node)

visitExpAction

protected void visitExpAction(ExpAction node)

visitExpExtension

protected void visitExpExtension(ExpExtension node)

visitExtExp

protected void visitExtExp(ExtExp node)

visitExtensionDefinition

protected void visitExtensionDefinition(ExtensionDefinition node)

visitField

protected void visitField(Field node)

visitFieldAccessExp

protected void visitFieldAccessExp(FieldAccessExp node)

visitFloatConstant

protected void visitFloatConstant(FloatConstant node)

visitFloatLiteral

protected void visitFloatLiteral(FloatLiteral node)

visitFun

protected void visitFun(Fun node)

visitGlobal

protected void visitGlobal(Global node)

visitGotoNextState

protected void visitGotoNextState(GotoNextState node)

visitIdExp

protected void visitIdExp(IdExp node)

visitIdPrintArg

protected void visitIdPrintArg(IdPrintArg node)

visitIdType

protected void visitIdType(IdType node)

visitIfStatement

protected void visitIfStatement(IfStatement node)

visitInitialValue

protected void visitInitialValue(InitialValue node)

visitInstanceofExp

protected void visitInstanceofExp(InstanceofExp node)

visitIntConstant

protected void visitIntConstant(IntConstant node)

visitIntLiteral

protected void visitIntLiteral(IntLiteral node)

visitInvokeAction

protected void visitInvokeAction(InvokeAction node)

visitInvokeExp

protected void visitInvokeExp(InvokeExp node)

visitInvokeTransformation

protected void visitInvokeTransformation(InvokeTransformation node)

visitKindofExp

protected void visitKindofExp(KindofExp node)

visitLetExp

protected void visitLetExp(LetExp node)

visitLiteralExp

protected void visitLiteralExp(LiteralExp node)

visitLiveSet

protected void visitLiveSet(LiveSet node)

visitLocal

protected void visitLocal(Local node)

visitLocation

protected void visitLocation(Location node)

visitLockAction

protected void visitLockAction(LockAction node)

visitLockTestExp

protected void visitLockTestExp(LockTestExp node)

visitLongConstant

protected void visitLongConstant(LongConstant node)

visitLongLiteral

protected void visitLongLiteral(LongLiteral node)

visitNewArrayExp

protected void visitNewArrayExp(NewArrayExp node)

visitNewLockExp

protected void visitNewLockExp(NewLockExp node)

visitNewRecordExp

protected void visitNewRecordExp(NewRecordExp node)

visitNullLiteral

protected void visitNullLiteral(NullLiteral node)

visitParam

protected void visitParam(Param node)

visitParenExp

protected void visitParenExp(ParenExp node)

visitPrintAction

protected void visitPrintAction(PrintAction node)

visitRecordDefinition

protected void visitRecordDefinition(RecordDefinition node)

visitReturnNextState

protected void visitReturnNextState(ReturnNextState node)

visitReturnStatement

protected void visitReturnStatement(ReturnStatement node)

visitSkipStatement

protected void visitSkipStatement(SkipStatement node)

visitStartThreadExp

protected void visitStartThreadExp(StartThreadExp node)

visitStringConstant

protected void visitStringConstant(StringConstant node)

visitStringLiteral

protected void visitStringLiteral(StringLiteral node)

visitStringPrintArg

protected void visitStringPrintArg(StringPrintArg node)

visitSystem

protected void visitSystem(System node)

visitFSM

protected void visitFSM(FSM node)

visitThreadTestExp

protected void visitThreadTestExp(ThreadTestExp node)

visitThrowAction

protected void visitThrowAction(ThrowAction node)

visitTryCatchStatement

protected void visitTryCatchStatement(TryCatchStatement node)

visitTypeAliasDefinition

protected void visitTypeAliasDefinition(TypeAliasDefinition node)

visitTypeExtension

protected void visitTypeExtension(TypeExtension node)

visitTypedId

protected void visitTypedId(TypedId node)

visitUnaryExp

protected void visitUnaryExp(UnaryExp node)

visitVirtualTableDefinition

protected void visitVirtualTableDefinition(VirtualTableDefinition node)

visitWhileStatement

protected void visitWhileStatement(WhileStatement node)