edu.ksu.cis.projects.bogor.ast.checker
Class LiveSetChecker

java.lang.Object
  edu.ksu.cis.projects.bogor.ast.ASTVisitor
      edu.ksu.cis.projects.bogor.ast.checker.LiveSetChecker

public class LiveSetChecker
extends ASTVisitor

Install a calculated live variable set on any thread control point for which no liveset was explicitly written.

Author:

Matt Hoosier

Constructor Summary

LiveSetChecker()

Method Summary

boolean	check(SymbolTable symbolTable, edu.ksu.cis.projects.bogor.ast.checker.TypeChecker ttc)
protected void	visitFSM(FSM node)
protected void	visitLocation(Location node)

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

visitActionExtension, visitActionStatement, visitApplyExp, 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, visitFun, visitGlobal, visitGotoNextState, visitIdExp, visitIdPrintArg, visitIdType, visitIfStatement, visitInitialValue, visitInstanceofExp, visitIntConstant, visitIntLiteral, visitInvokeAction, visitInvokeExp, visitInvokeTransformation, visitKindofExp, visitLetExp, visitLiteralExp, visitLiveSet, visitLocal, 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

LiveSetChecker

public LiveSetChecker()

Method Detail

check

public boolean check(SymbolTable symbolTable,
                     edu.ksu.cis.projects.bogor.ast.checker.TypeChecker ttc)

visitFSM

protected void visitFSM(FSM node)

Overrides:

visitFSM in class ASTVisitor

visitLocation

protected void visitLocation(Location node)

Overrides:

visitLocation in class ASTVisitor