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