protected static class SymbolicExecutionTreeBuilder.JavaPair extends Pair<Integer,ImmutableList<SourceElement>>
ImmutableList
of SourceElement
with the elements of interest.Constructor and Description |
---|
JavaPair(Integer stackSize,
ImmutableList<SourceElement> elementsOfInterest)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object o) |
getFirstSet, getSecondSet, hashCode, toMap, toString
public JavaPair(Integer stackSize, ImmutableList<SourceElement> elementsOfInterest)
stackSize
- The call stack size.elementsOfInterest
- The SourceElement
s of interest.public boolean equals(Object o)
equals
in class Pair<Integer,ImmutableList<SourceElement>>