Uses of Class
sota.ast.util.BIPathManager.BIPathInfo

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.