de.uka.ilkd.key.symbolic_execution

Class SymbolicExecutionTreeBuilder.JavaPair

java.lang.Object

de.uka.ilkd.key.util.Pair<java.lang.Integer,ImmutableList<SourceElement>>

de.uka.ilkd.key.symbolic_execution.SymbolicExecutionTreeBuilder.JavaPair

Enclosing class:

SymbolicExecutionTreeBuilder

protected static class SymbolicExecutionTreeBuilder.JavaPair
extends Pair<java.lang.Integer,ImmutableList<SourceElement>>

Utility class to group a call stack size with an ImmutableList of SourceElement with the elements of interest.

Author:

Martin Hentschel

Field Summary

Fields inherited from class de.uka.ilkd.key.util.Pair

first, second

Constructor Summary

Constructors

Constructor and Description
JavaPair(java.lang.Integer stackSize, ImmutableList<SourceElement> elementsOfInterest) Constructor.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)

Methods inherited from class de.uka.ilkd.key.util.Pair

getFirstSet, getSecondSet, hashCode, toMap, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

JavaPair

public JavaPair(java.lang.Integer stackSize,
                ImmutableList<SourceElement> elementsOfInterest)

Constructor.

Parameters:

stackSize - The call stack size.

elementsOfInterest - The SourceElements of interest.

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class Pair<java.lang.Integer,ImmutableList<SourceElement>>