public class ExecIntervals extends java.lang.Object implements java.lang.Iterable<ExecInterval>
Constructor and Description |
---|
ExecIntervals() |
ExecIntervals(ExecIntervals copyFrom) |
Modifier and Type | Method and Description |
---|---|
void |
addInterval(int traceIndex,
ExecInterval exec) |
java.util.List<ExecInterval> |
getIntervalsForTrace(int traceIndex) |
ExecInterval |
getLastInterval(int traceIndex) |
ExecInterval |
getLastOpenInterval(int traceIndex) |
int[] |
getTraceIndices() |
boolean |
isEmpty() |
java.util.Iterator<ExecInterval> |
iterator() |
int |
size() |
java.lang.String |
toString() |
public ExecIntervals()
public ExecIntervals(ExecIntervals copyFrom)
public ExecInterval getLastInterval(int traceIndex)
public ExecInterval getLastOpenInterval(int traceIndex)
public void addInterval(int traceIndex, ExecInterval exec)
public java.util.Iterator<ExecInterval> iterator()
iterator
in interface java.lang.Iterable<ExecInterval>
public int[] getTraceIndices()
public java.util.List<ExecInterval> getIntervalsForTrace(int traceIndex)
public int size()
public boolean isEmpty()
public java.lang.String toString()
toString
in class java.lang.Object