daikon.inv
Class IsEqualityComparison

Object
  IsEqualityComparison

All Implemented Interfaces:

Filter<Invariant>

public final class IsEqualityComparison
extends Object
implements Filter<Invariant>

This Filter returns true if its argument is an Invariant which satisfies the following conditions:

• the Invariant is a Comparison (which reports <, >, =, <=, or >=)
• the relationship reported by the comparison is = (not <, <=, >, or >=)

This does not consider PairwiseIntComparison to be an equality invariant.

Field Summary

static IsEqualityComparison

it

Method Summary

boolean

accept(Invariant inv) Tests whether a specified Object satisfies the filter.

Methods inherited from class Object

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

Field Detail

it

public static final IsEqualityComparison it

Method Detail

accept

public boolean accept(Invariant inv)

Description copied from interface: Filter

Tests whether a specified Object satisfies the filter.

Specified by:

accept in interface Filter<Invariant>