Main Page Packages Class Hierarchy Alphabetical List Compound List File List Compound Members
LockAnalysis Member List
This is the complete list of members for LockAnalysis, including all inherited members.
- buildLockPairList(AnnotationManager cfanns)
[inline, private]
- collectWaitNotifyStmt()
[inline, private]
- dependOnMonitorPairs(Stmt stmt)
[inline]
- dependOnMonitors(Stmt stmt)
[inline]
- dependOnMonitorSet(Stmt stmt)
[inline]
- exitMonitorsIn(MonitorPair mp)
[inline]
- getActualLock(Stmt monitorStmt)
[inline]
- getLockPairList()
[inline]
- getMonitorPair(Stmt monitor)
[inline]
- getMonitorPairFromEnter(Stmt enterMonitor)
[inline, private]
- getMonitorPairFromExit(Stmt exitMonitor)
[inline, private]
- getNotifyStmtList()
[inline]
- getSynchAnnotation(StmtList stmtList, Annotation annotation)
[inline, private]
- getWaitStmtList()
[inline]
- LockAnalysis(MethodInfo methodInfo, AnnotationManager cfanns)
[inline]
- lockPairList
[private]
- lockValueSet()
[inline, private]
- mdInfo (defined in LockAnalysis)
[private]
- notifyStmtList
[private]
- pdgDom (defined in LockAnalysis)
[private]
- reachableStmtFrom(Stmt stmt)
[inline]
- readyDependOnEnters(Stmt stmt)
[inline]
- readyDependOnWaits(Stmt stmt)
[inline]
- safeLock(Stmt monitor)
[inline]
- safeLock(MonitorPair monitorPair)
[inline]
- stmtGraph (defined in LockAnalysis)
[private]
- stmtList (defined in LockAnalysis)
[private]
- stmtsBetween(MonitorPair monitorPair)
[inline, private]
- stmtSynchroDependOn(Stmt stmt, Stmt monitor)
[inline]
- stmtSynchroDependOn(Stmt stmt, MonitorPair monitorPair)
[inline]
- waitStmtList
[private]
Generated at Thu Feb 7 07:19:23 2002 for Bandera by
1.2.10 written by Dimitri van Heesch,
© 1997-2001