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

java.lang.Object
  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)