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