cetus.analysis

Class Relation

java.lang.Object

cetus.analysis.Relation

public class Relation
extends java.lang.Object

Class Relation represents symbolic relationship between two expressions. The result of a symbolic comparison method in RangeDomain returns a Relation object.

Constructor Summary

Constructors

Constructor and Description
Relation() Constructs an empty relation that implies unknown relationship.
Relation(boolean lt, boolean eq, boolean gt) Constructs a relation object with the specified set of relationships.

Method Summary

Methods

Modifier and Type	Method and Description
static Relation	AND(Relation rel1, Relation rel2) Logical AND operation between two relation objects.
boolean	isCircular()
boolean	isEQ() Checks if "equal to" is implied in this relation.
boolean	isGE() Checks if "greater equal" is implied in this relation.
boolean	isGT() Checks if "greater than" is implied in this relation.
boolean	isLE() Checks if "less equal" is implied in this relation.
boolean	isLT() Checks if "less than" is implied in this relation.
boolean	isNE() Checks if "not equal" is implied in this relation.
boolean	isUnknown() Checks if there is no known relationship.
static Relation	OR(Relation rel1, Relation rel2) Logical OR operation between two relation objects.
void	setCircular(boolean circular)
void	setEQ(boolean eq)
void	setGT(boolean gt)
void	setLT(boolean lt)
java.lang.String	toString() Returns the string representation of the relation.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Relation

public Relation()

Constructs an empty relation that implies unknown relationship.

Relation

public Relation(boolean lt,
        boolean eq,
        boolean gt)

Constructs a relation object with the specified set of relationships.

Parameters:

lt - the "less than" relation.

eq - the "equal to" relation.

gt - the "greater than" relation.

Method Detail

setLT

public void setLT(boolean lt)

setEQ

public void setEQ(boolean eq)

setGT

public void setGT(boolean gt)

setCircular

public void setCircular(boolean circular)

isLT

public boolean isLT()

Checks if "less than" is implied in this relation.

isLE

public boolean isLE()

Checks if "less equal" is implied in this relation.

isEQ

public boolean isEQ()

Checks if "equal to" is implied in this relation.

isNE

public boolean isNE()

Checks if "not equal" is implied in this relation.

isGT

public boolean isGT()

Checks if "greater than" is implied in this relation.

isGE

public boolean isGE()

Checks if "greater equal" is implied in this relation.

isUnknown

public boolean isUnknown()

Checks if there is no known relationship.

isCircular

public boolean isCircular()

AND

public static Relation AND(Relation rel1,
           Relation rel2)

Logical AND operation between two relation objects.

OR

public static Relation OR(Relation rel1,
          Relation rel2)

Logical OR operation between two relation objects.

toString

public java.lang.String toString()

Returns the string representation of the relation.

Overrides:

toString in class java.lang.Object