Main Page Packages Class Hierarchy Alphabetical List Compound List File List Compound Members
TransExtractor Member List
This is the complete list of members for TransExtractor, including all inherited members.
- ANY (defined in BirConstants)
[static] - ARRAY (defined in BirConstants)
[static] - BOOL (defined in BirConstants)
[static] - buildAssertAction(Stmt stmt, Value expr)
[inline, private] - buildPrintAction(Stmt stmt, Value stringArg)
[inline, private] - caseAssignStmt(AssignStmt stmt) (defined in TransExtractor)
[inline] - caseBreakpointStmt(BreakpointStmt stmt) (defined in AbstractBanderaStmtSwitch)
[inline] - caseDefinitionStmt(DefinitionStmt stmt)
[inline] - caseEnterMonitorStmt(EnterMonitorStmt stmt)
[inline] - caseExitMonitorStmt(ExitMonitorStmt stmt)
[inline] - caseGotoStmt(GotoStmt stmt)
[inline] - caseIdentityStmt(IdentityStmt stmt) (defined in TransExtractor)
[inline] - caseIfStmt(IfStmt stmt)
[inline] - caseInvokeStmt(InvokeStmt stmt)
[inline] - caseLookupSwitchStmt(LookupSwitchStmt stmt)
[inline] - caseNopStmt(NopStmt stmt) (defined in TransExtractor)
[inline] - caseRetStmt(RetStmt stmt) (defined in AbstractBanderaStmtSwitch)
[inline] - caseReturnStmt(ReturnStmt stmt) (defined in AbstractBanderaStmtSwitch)
[inline] - caseReturnVoidStmt(ReturnVoidStmt stmt) (defined in AbstractBanderaStmtSwitch)
[inline] - caseTableSwitchStmt(TableSwitchStmt stmt)
[inline] - caseThrowStmt(ThrowStmt stmt) (defined in AbstractBanderaStmtSwitch)
[inline] - classManager (defined in TransExtractor)
[private] - COLLECTION (defined in BirConstants)
[static] - defaultCase(Object o) (defined in TransExtractor)
[inline] - ENUMERATED (defined in BirConstants)
[static] - EXIT (defined in BirConstants)
[static] - FIELD (defined in BirConstants)
[static] - getLiveVars(Stmt stmt)
[inline, private] - getLockFieldExpr(edu.ksu.cis.bandera.bir.Expr lockRef)
[inline, private] - getResult() (defined in AbstractStmtSwitch)
[inline] - HAS_LOCK (defined in BirConstants)
[static] - ignoringMethodCall(InvokeExpr expr)
[inline, private] - INVALID (defined in BirConstants)
[static] - JOIN (defined in BirConstants)
[static] - liveLocals (defined in TransExtractor)
[private] - localDefs (defined in TransExtractor)
[private] - locationOfNextStmt(Stmt stmt)
[inline, private] - locationOfStmt(Unit stmt)
[inline, private] - LOCK (defined in BirConstants)
[static] - LOCK_AVAILABLE (defined in BirConstants)
[static] - lockOperation(Stmt stmt, VirtualInvokeExpr expr, int opCode)
[inline, private] - LOCKTYPE (defined in BirConstants)
[static] - makeLocation()
[inline, private] - makeTrans(Location fromLoc, Location toLoc, edu.ksu.cis.bandera.bir.Expr guard, Action action, StateVarVector liveVars, Stmt stmt, ExprExtractor extractor)
[inline, private] - matchCase(edu.ksu.cis.bandera.bir.Expr key, int value)
[inline, private] - method (defined in TransExtractor)
[private] - NOTIFY (defined in BirConstants)
[static] - NOTIFYALL (defined in BirConstants)
[static] - observableLoc(Unit stmt)
[inline, private] - observableValue(ExprExtractor extractor)
[inline, private] - oldThreadOperation(Stmt stmt, StaticInvokeExpr expr, int opCode)
[inline, private] - predSet (defined in TransExtractor)
[private] - RANGE (defined in BirConstants)
[static] - RECORD (defined in BirConstants)
[static] - REF (defined in BirConstants)
[static] - setResult(Object result) (defined in AbstractStmtSwitch)
[inline] - START (defined in BirConstants)
[static] - stmtGraph (defined in TransExtractor)
[private] - system (defined in TransExtractor)
[private] - thread (defined in TransExtractor)
[private] - THREAD_TERMINATED (defined in BirConstants)
[static] - threadOperation(Stmt stmt, VirtualInvokeExpr expr, int opCode)
[inline, private] - TransExtractor(TransSystem system, BirThread thread, StmtGraph stmtGraph, LocalDefs localDefs, LiveLocals liveLocals, SootMethod method, TypeExtractor typeExtract, PredicateSet predSet) (defined in TransExtractor)
[inline] - typeExtract (defined in TransExtractor)
[private] - typeRepresented(Type sootType)
[inline] - UNLOCK (defined in BirConstants)
[static] - UNWAIT (defined in BirConstants)
[static] - WAIT (defined in BirConstants)
[static] - WAS_NOTIFIED (defined in BirConstants)
[static]
Generated at Thu Feb 7 07:22:32 2002 for Bandera by
1.2.10 written by Dimitri van Heesch,
© 1997-2001