edu.ksu.cis.projects.bogor.analyses
Class LocalVariablesCollector

java.lang.Object
  edu.ksu.cis.projects.bogor.ast.ASTVisitor
      edu.ksu.cis.projects.bogor.analyses.LocalVariablesCollector

public class LocalVariablesCollector
extends ASTVisitor

Version:

CVS $Revision: 1.4 $ $Date: 2005/01/13 23:40:10 $

Author:

Robby

Field Summary

protected Set<String>

localVars

Constructor Summary

LocalVariablesCollector()

Method Summary

void	collectDefLocalVar(Action a, Set<String> s)
void	collectLocalVars(Node n, Set<String> s)
void	collectUseLocalVars(Action a, Set<String> s)
protected void	visitIdExp(IdExp 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, visitFSM, visitFun, visitGlobal, visitGotoNextState, visitIdPrintArg, visitIdType, visitIfStatement, visitInitialValue, visitInstanceofExp, visitIntConstant, visitIntLiteral, visitInvokeAction, visitInvokeExp, 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

Field Detail

localVars

protected Set<String> localVars

Constructor Detail

LocalVariablesCollector

public LocalVariablesCollector()

Method Detail

collectDefLocalVar

public void collectDefLocalVar(Action a,
                               Set<String> s)

collectLocalVars

public void collectLocalVars(Node n,
                             Set<String> s)

collectUseLocalVars

public void collectUseLocalVars(Action a,
                                Set<String> s)

visitIdExp

protected void visitIdExp(IdExp node)

Overrides:

visitIdExp in class ASTVisitor