|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BIPathManager.BIPathInfo | |
---|---|
sota.ast.util |
Uses of BIPathManager.BIPathInfo in sota.ast.util |
---|
Methods in sota.ast.util that return BIPathManager.BIPathInfo | |
---|---|
protected static BIPathManager.BIPathInfo |
BIPathManager.computeBIPaths(ASTNode start,
ASTNode end)
Berechnet PfadInfo für die BIPfade eines Quellcodeabschnitt |
protected static BIPathManager.BIPathInfo |
BIPathManager.joinExceptionPaths(BIPathManager.BIPathInfo head,
BIPathManager.BIPathInfo tail,
ASTNode endNode)
Vereingt die Pfadinfos der vereinigten Pfade von Try + allen Catches mit den folgenden finally-Pfaden. |
protected static BIPathManager.BIPathInfo |
BIPathManager.joinIterationPath(BIPathManager.BIPathInfo head,
BIPathManager.BIPathInfo loop,
ASTIterationNode iterationNode)
Berechnet die PfadInfo der Schleife. |
protected static BIPathManager.BIPathInfo |
BIPathManager.joinParallelPaths(BIPathManager.BIPathInfo first,
BIPathManager.BIPathInfo second)
Vereinigt die Pfadinfos zweier paralleler Pfade (true-false bei If, case bei Switch) Addiert Pfade zusammen. |
protected static BIPathManager.BIPathInfo |
BIPathManager.joinSequentialPaths(BIPathManager.BIPathInfo head,
BIPathManager.BIPathInfo tail,
ASTNode endNode)
Vereingt die Pfadinfos zweier aufeinanderfolgender Pfadverläufe an einem Endknoten. |
Methods in sota.ast.util with parameters of type BIPathManager.BIPathInfo | |
---|---|
protected static BIPathManager.BIPathInfo |
BIPathManager.joinExceptionPaths(BIPathManager.BIPathInfo head,
BIPathManager.BIPathInfo tail,
ASTNode endNode)
Vereingt die Pfadinfos der vereinigten Pfade von Try + allen Catches mit den folgenden finally-Pfaden. |
protected static BIPathManager.BIPathInfo |
BIPathManager.joinIterationPath(BIPathManager.BIPathInfo head,
BIPathManager.BIPathInfo loop,
ASTIterationNode iterationNode)
Berechnet die PfadInfo der Schleife. |
protected static BIPathManager.BIPathInfo |
BIPathManager.joinParallelPaths(BIPathManager.BIPathInfo first,
BIPathManager.BIPathInfo second)
Vereinigt die Pfadinfos zweier paralleler Pfade (true-false bei If, case bei Switch) Addiert Pfade zusammen. |
protected static BIPathManager.BIPathInfo |
BIPathManager.joinSequentialPaths(BIPathManager.BIPathInfo head,
BIPathManager.BIPathInfo tail,
ASTNode endNode)
Vereingt die Pfadinfos zweier aufeinanderfolgender Pfadverläufe an einem Endknoten. |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |