org.sonar.java.se.symbolicvalues

Class BinaryRelation

java.lang.Object

org.sonar.java.se.symbolicvalues.BinaryRelation

public class BinaryRelation
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	BinaryRelation.TransitiveRelationExceededException

Field Summary

Fields

Modifier and Type	Field and Description
protected RelationalSymbolicValue.Kind	kind
protected SymbolicValue	leftOp
protected SymbolicValue	rightOp

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
int	hashCode()
BinaryRelation	inverse()
protected RelationState	resolveState(List<BinaryRelation> knownRelations)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

kind

protected final RelationalSymbolicValue.Kind kind

leftOp

protected final SymbolicValue leftOp

rightOp

protected final SymbolicValue rightOp

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

resolveState

protected RelationState resolveState(List<BinaryRelation> knownRelations)

inverse

public BinaryRelation inverse()

Returns:

a new relation, the negation of the receiver