daikon.inv
Class Invariant.Match

Object
  Invariant.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

Invariant

inv

Constructor Summary

Invariant.Match(Invariant inv)

Method Summary

boolean	equals(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

Invariant.Match

public Invariant.Match(Invariant inv)

Method Detail

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object