Package daikon

Class VarInfo.Pair

Object

Pair

Enclosing class:

VarInfo

public static class VarInfo.Pair
extends Object

Class used to contain a pair of VarInfos and their sample count. Currently used for equality set merging as a way to store pairs of equal variables. The variable with the smaller index is always stored first.

Pairs are equal if both of their VarInfos are identical. Note that the content of the VarInfos are not compared, only their pointer values.

Field Summary

Fields

Modifier and Type	Field	Description
int	samples
VarInfo	v1
VarInfo	v2

Constructor Summary

Constructors

Constructor	Description
Pair(VarInfo v1, VarInfo v2, int samples)

Method Summary

Modifier and Type	Method	Description
boolean	equals(@GuardSatisfied @Nullable Object obj)
int	hashCode()
String	toString()

Methods inherited from class Object

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

Field Detail

v1

public VarInfo v1

v2

public VarInfo v2

samples

public int samples

Constructor Detail

Pair

public Pair(VarInfo v1,
            VarInfo v2,
            int samples)

Method Detail

equals

@EnsuresNonNullIf(result=true,
                  expression="#1")
@Pure
public boolean equals(@GuardSatisfied VarInfo.Pair this,
                      @GuardSatisfied @Nullable Object obj)

Overrides:

equals in class Object

hashCode

@Pure
public int hashCode(@GuardSatisfied @UnknownSignedness VarInfo.Pair this)

Overrides:

hashCode in class Object

toString

@SideEffectFree
public String toString(@GuardSatisfied VarInfo.Pair this)

Overrides:

toString in class Object