edu.ksu.cis.projects.bogor.ast.transform
Class HighToLowAtomicExpCompiler.InvocationDetector

java.lang.Object
  edu.ksu.cis.projects.bogor.ast.ASTVisitor
      edu.ksu.cis.projects.bogor.ast.transform.HighToLowAtomicExpCompiler.InvocationDetector

Enclosing class:

HighToLowAtomicExpCompiler

protected final class HighToLowAtomicExpCompiler.InvocationDetector
extends ASTVisitor

Constructor Summary

protected

HighToLowAtomicExpCompiler.InvocationDetector()

Method Summary

boolean	expressionContainsInvocation(Exp e)
protected void	visitApplyExp(ApplyExp node)
protected void	visitInvokeExp(InvokeExp node)

Methods inherited from class edu.ksu.cis.projects.bogor.ast.ASTVisitor

visitActionExtension, visitActionStatement, visitArrayAccessExp, visitAssertAction, visitAssignAction, visitAssumeAction, visitASTArrayType, visitASTBooleanType, visitASTDoubleType, visitASTExtType, visitASTFloatType, visitASTFunType, visitASTIntRangeType, visitASTIntType, visitASTLockType, visitASTLongRangeType, visitASTLongType, visitASTStringType, visitASTThreadIdType, visitAtomicActionStatement, visitAtomicExp, visitAtomicStatement, visitBinaryExp, visitBlockStatement, visitBlockTransformation, visitBooleanConstant, visitBooleanLiteral, visitCastExp, visitCatch, visitChooseStatement, visitConditionalExp, visitConstantDefinition, visitDoubleConstant, visitDoubleLiteral, visitEnumDefinition, visitExitThreadAction, visitExpAction, visitExpExtension, visitExtensionDefinition, visitExtExp, visitField, visitFieldAccessExp, visitFloatConstant, visitFloatLiteral, visitFSM, visitFun, visitGlobal, visitGotoNextState, visitIdExp, visitIdPrintArg, visitIdType, visitIfStatement, visitInitialValue, visitInstanceofExp, visitIntConstant, visitIntLiteral, visitInvokeAction, visitInvokeTransformation, visitKindofExp, visitLetExp, visitLiteralExp, visitLiveSet, visitLocal, visitLocation, visitLockAction, visitLockTestExp, visitLongConstant, visitLongLiteral, visitNewArrayExp, visitNewLockExp, visitNewRecordExp, visitNullLiteral, visitParam, visitParenExp, visitPrintAction, visitRecordDefinition, visitReturnNextState, visitReturnStatement, visitSkipStatement, visitStartThreadExp, visitStringConstant, visitStringLiteral, visitStringPrintArg, visitSystem, visitThreadTestExp, visitThrowAction, visitTryCatchStatement, visitTypeAliasDefinition, visitTypedId, visitTypeExtension, visitUnaryExp, visitVirtualTableDefinition, visitWhileStatement

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HighToLowAtomicExpCompiler.InvocationDetector

protected HighToLowAtomicExpCompiler.InvocationDetector()

Method Detail

expressionContainsInvocation

public boolean expressionContainsInvocation(Exp e)

visitApplyExp

protected void visitApplyExp(ApplyExp node)

Overrides:

visitApplyExp in class ASTVisitor

visitInvokeExp

protected void visitInvokeExp(InvokeExp node)

Overrides:

visitInvokeExp in class ASTVisitor