public class RelationGreaterThan extends Relation
| Constructor | Description |
|---|---|
RelationGreaterThan(Field referenceValue) |
Constructor for RelationGreaterThan class
|
| Modifier and Type | Method | Description |
|---|---|---|
Relation |
duplicate() |
Returns duplicate of this relation, which is fully independent of this relation.
|
boolean |
equals(java.lang.Object arg0) |
Checks equivalence of this relation and given object
|
boolean |
fulfilledBy(Field value) |
Checks if given value fulfills this relation.
|
int |
hashCode() |
Provides hash code of this relation
|
java.lang.String |
toString() |
Gets textual form of this relation.
|
getReferenceValue, setReferenceValuepublic RelationGreaterThan(Field referenceValue)
referenceValue - Reference value for this relation. This is for example 5 in expression f1(x) > 5.public boolean fulfilledBy(Field value)
fulfilledBy in class Relationvalue - field's value that should be compared with reference value stored in this classtrue if reference value fulfills this relation, false otherwiseInvalidTypeException - when types of passed value and reference value stored in this class are differentpublic java.lang.String toString()
Relation.toString method.public Relation duplicate()
Relation.duplicate method.public int hashCode()
hashCode in class java.lang.Objectpublic boolean equals(java.lang.Object arg0)
equals in class java.lang.Objectarg0 - object to be compared with this relationtrue if given object is equal to this relation; false otherwisejava.lang.NullPointerException - when given object is null