Class PathAnalysis
- java.lang.Object
-
- ru.ispras.microtesk.translator.mir.util.PathAnalysis
-
public class PathAnalysis extends java.lang.Object
Contains utilities to analyse syntactically available paths and construct corresponding path conditions.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
PathAnalysis.PathConditionWalkAction
An abstract class to construct and process path conditions of the given condition graph.
-
Constructor Summary
Constructors Constructor Description PathAnalysis()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static void
analysePaths(MirContext mir, PathAnalysis.PathConditionWalkAction action)
-
-
-
Method Detail
-
analysePaths
public static void analysePaths(MirContext mir, PathAnalysis.PathConditionWalkAction action)
-
-