Class ControlFlowInspector.Range
- java.lang.Object
-
- ru.ispras.microtesk.tools.symexec.ControlFlowInspector.Range
-
- All Implemented Interfaces:
java.lang.Comparable<ControlFlowInspector.Range>
- Enclosing class:
- ControlFlowInspector
public static final class ControlFlowInspector.Range extends java.lang.Object implements java.lang.Comparable<ControlFlowInspector.Range>
-
-
Constructor Summary
Constructors Constructor Description Range(int start, int end)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
compareTo(ControlFlowInspector.Range that)
boolean
contains(int index)
boolean
isEmpty()
ControlFlowInspector.Range
split(int index)
-
-
-
Method Detail
-
compareTo
public int compareTo(ControlFlowInspector.Range that)
- Specified by:
compareTo
in interfacejava.lang.Comparable<ControlFlowInspector.Range>
-
isEmpty
public boolean isEmpty()
-
contains
public boolean contains(int index)
-
split
public ControlFlowInspector.Range split(int index)
-
-