| Interface | Description |
|---|---|
| MhpTester |
MhpTester written by Richard L.
|
| Class | Description |
|---|---|
| CheckMSet | |
| CompactSequentNodes | |
| CompactStronglyConnectedComponents | |
| Counter | |
| DfsForBackEdge | |
| DominatorsFinder | |
| LoopBodyFinder | |
| LoopFinder | |
| MethodExtentBuilder | |
| MethodInliner | |
| MhpTransformer | |
| MonitorAnalysis | |
| MonitorDepth | |
| MonitorSet | |
| PegCallGraphToDot | |
| PegChain | |
| PegGraph |
Oct.
|
| PegToDotFile | |
| RunMethodsPred |
A predicate that accepts edges whose targets are runnable.run methods.
|
| SCC | |
| StartJoinAnalysis | |
| StartJoinFinder | |
| SynchObliviousMhpAnalysis |
UnsynchronizedMhpAnalysis written by Richard L.
|
| TargetMethodsFinder |
Assembles a list of target methods for a given unit and call graph,
filtering out static initializers and optionally native methods.
|
| TopologicalSorter | |
| UnsynchronizedMhpAnalysis | Deprecated
This class has been added to maintain compatibility while it
is being renamed to
SynchObliviousMhpAnalysis. |