Package daikon.inv

Class Invariant.Match

Object

Match

Enclosing class:

Invariant

public static class Invariant.Match
extends Object

Class used as a key to store invariants in a MAP where their equality depends on the invariant representing the same invariant (i.e., their class is the same) and the same internal state (when multiple invariants with the same class are possible)

Note that this is based on the Invariant type (i.e., class) and the internal state and not on what ppt the invariant is in or what variables it is over. Thus, invariants from different ppts are the same if they represent the same type of invariant.

Field Summary

Fields

Modifier and Type	Field	Description
Invariant	inv

Constructor Summary

Constructors

Constructor	Description
Match(Invariant inv)

Method Summary

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

Methods inherited from class Object

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

Field Detail

inv

public Invariant inv

Constructor Detail

Match

public Match(Invariant inv)

Method Detail

equals

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

Overrides:

equals in class Object

hashCode

@Pure
public int hashCode(@GuardSatisfied @UnknownSignedness Invariant.Match this)

Overrides:

hashCode in class Object