Uses of Class
org.sonar.java.se.symbolicvalues.BinaryRelation

Packages that use BinaryRelation

Package	Description
org.sonar.java.se
org.sonar.java.se.symbolicvalues

Uses of BinaryRelation in org.sonar.java.se

Methods in org.sonar.java.se that return types with arguments of type BinaryRelation

Modifier and Type	Method and Description
List<BinaryRelation>	ProgramState.getKnownRelations()

Uses of BinaryRelation in org.sonar.java.se.symbolicvalues

Subclasses of BinaryRelation in org.sonar.java.se.symbolicvalues

Modifier and Type	Class and Description
class	EqualRelation
class	GreaterThanOrEqualRelation
class	GreaterThanRelation
class	LessThanOrEqualRelation
class	LessThanRelation
class	MethodEqualsRelation
class	NotEqualRelation
class	NotMethodEqualsRelation

Fields in org.sonar.java.se.symbolicvalues declared as BinaryRelation

Modifier and Type	Field and Description
protected BinaryRelation	BinaryRelation.inverse
protected BinaryRelation	BinaryRelation.symmetric

Methods in org.sonar.java.se.symbolicvalues that return BinaryRelation

Modifier and Type	Method and Description
BinaryRelation	RelationalSymbolicValue.binaryRelation()
BinaryRelation	SymbolicValue.binaryRelation()
static BinaryRelation	BinaryRelation.binaryRelation(RelationalSymbolicValue.Kind kind, SymbolicValue leftOp, SymbolicValue rightOp)
protected BinaryRelation	GreaterThanRelation.combinedAfter(BinaryRelation relation)
protected BinaryRelation	LessThanOrEqualRelation.combinedAfter(BinaryRelation relation)
protected BinaryRelation	GreaterThanOrEqualRelation.combinedAfter(BinaryRelation relation)
protected BinaryRelation	NotEqualRelation.combinedAfter(BinaryRelation relation)
protected BinaryRelation	NotMethodEqualsRelation.combinedAfter(BinaryRelation relation)
protected BinaryRelation	MethodEqualsRelation.combinedAfter(BinaryRelation relation)
protected abstract BinaryRelation	BinaryRelation.combinedAfter(BinaryRelation relation) Returns a new relation resulting of the transitive combination of the receiver with the supplied relation.
protected BinaryRelation	LessThanRelation.combinedAfter(BinaryRelation relation)
protected BinaryRelation	EqualRelation.combinedAfter(BinaryRelation relation)
protected BinaryRelation	GreaterThanRelation.combinedWithEqual(EqualRelation relation)
protected BinaryRelation	LessThanOrEqualRelation.combinedWithEqual(EqualRelation relation)
protected BinaryRelation	GreaterThanOrEqualRelation.combinedWithEqual(EqualRelation relation)
protected BinaryRelation	NotEqualRelation.combinedWithEqual(EqualRelation relation)
protected BinaryRelation	NotMethodEqualsRelation.combinedWithEqual(EqualRelation relation)
protected BinaryRelation	MethodEqualsRelation.combinedWithEqual(EqualRelation relation)
protected abstract BinaryRelation	BinaryRelation.combinedWithEqual(EqualRelation relation)
protected BinaryRelation	LessThanRelation.combinedWithEqual(EqualRelation relation)
protected BinaryRelation	EqualRelation.combinedWithEqual(EqualRelation relation)
protected BinaryRelation	GreaterThanRelation.combinedWithGreaterThan(GreaterThanRelation relation)
protected BinaryRelation	LessThanOrEqualRelation.combinedWithGreaterThan(GreaterThanRelation relation)
protected BinaryRelation	GreaterThanOrEqualRelation.combinedWithGreaterThan(GreaterThanRelation relation)
protected BinaryRelation	NotEqualRelation.combinedWithGreaterThan(GreaterThanRelation relation)
protected BinaryRelation	NotMethodEqualsRelation.combinedWithGreaterThan(GreaterThanRelation relation)
protected BinaryRelation	MethodEqualsRelation.combinedWithGreaterThan(GreaterThanRelation relation)
protected abstract BinaryRelation	BinaryRelation.combinedWithGreaterThan(GreaterThanRelation relation)
protected BinaryRelation	LessThanRelation.combinedWithGreaterThan(GreaterThanRelation relation)
protected BinaryRelation	EqualRelation.combinedWithGreaterThan(GreaterThanRelation relation)
protected BinaryRelation	GreaterThanRelation.combinedWithGreaterThanOrEqual(GreaterThanOrEqualRelation relation)
protected BinaryRelation	LessThanOrEqualRelation.combinedWithGreaterThanOrEqual(GreaterThanOrEqualRelation relation)
protected BinaryRelation	GreaterThanOrEqualRelation.combinedWithGreaterThanOrEqual(GreaterThanOrEqualRelation relation)
protected BinaryRelation	NotEqualRelation.combinedWithGreaterThanOrEqual(GreaterThanOrEqualRelation relation)
protected BinaryRelation	NotMethodEqualsRelation.combinedWithGreaterThanOrEqual(GreaterThanOrEqualRelation relation)
protected BinaryRelation	MethodEqualsRelation.combinedWithGreaterThanOrEqual(GreaterThanOrEqualRelation relation)
protected abstract BinaryRelation	BinaryRelation.combinedWithGreaterThanOrEqual(GreaterThanOrEqualRelation relation)
protected BinaryRelation	LessThanRelation.combinedWithGreaterThanOrEqual(GreaterThanOrEqualRelation relation)
protected BinaryRelation	EqualRelation.combinedWithGreaterThanOrEqual(GreaterThanOrEqualRelation relation)
protected BinaryRelation	GreaterThanRelation.combinedWithLessThan(LessThanRelation relation)
protected BinaryRelation	LessThanOrEqualRelation.combinedWithLessThan(LessThanRelation relation)
protected BinaryRelation	GreaterThanOrEqualRelation.combinedWithLessThan(LessThanRelation relation)
protected BinaryRelation	NotEqualRelation.combinedWithLessThan(LessThanRelation relation)
protected BinaryRelation	NotMethodEqualsRelation.combinedWithLessThan(LessThanRelation relation)
protected BinaryRelation	MethodEqualsRelation.combinedWithLessThan(LessThanRelation relation)
protected abstract BinaryRelation	BinaryRelation.combinedWithLessThan(LessThanRelation relation)
protected BinaryRelation	LessThanRelation.combinedWithLessThan(LessThanRelation relation)
protected BinaryRelation	EqualRelation.combinedWithLessThan(LessThanRelation relation)
protected BinaryRelation	GreaterThanRelation.combinedWithLessThanOrEqual(LessThanOrEqualRelation relation)
protected BinaryRelation	LessThanOrEqualRelation.combinedWithLessThanOrEqual(LessThanOrEqualRelation relation)
protected BinaryRelation	GreaterThanOrEqualRelation.combinedWithLessThanOrEqual(LessThanOrEqualRelation relation)
protected BinaryRelation	NotEqualRelation.combinedWithLessThanOrEqual(LessThanOrEqualRelation relation)
protected BinaryRelation	NotMethodEqualsRelation.combinedWithLessThanOrEqual(LessThanOrEqualRelation relation)
protected BinaryRelation	MethodEqualsRelation.combinedWithLessThanOrEqual(LessThanOrEqualRelation relation)
protected abstract BinaryRelation	BinaryRelation.combinedWithLessThanOrEqual(LessThanOrEqualRelation relation)
protected BinaryRelation	LessThanRelation.combinedWithLessThanOrEqual(LessThanOrEqualRelation relation)
protected BinaryRelation	EqualRelation.combinedWithLessThanOrEqual(LessThanOrEqualRelation relation)
protected BinaryRelation	GreaterThanRelation.combinedWithMethodEquals(MethodEqualsRelation relation)
protected BinaryRelation	LessThanOrEqualRelation.combinedWithMethodEquals(MethodEqualsRelation relation)
protected BinaryRelation	GreaterThanOrEqualRelation.combinedWithMethodEquals(MethodEqualsRelation relation)
protected BinaryRelation	NotEqualRelation.combinedWithMethodEquals(MethodEqualsRelation relation)
protected BinaryRelation	NotMethodEqualsRelation.combinedWithMethodEquals(MethodEqualsRelation relation)
protected BinaryRelation	MethodEqualsRelation.combinedWithMethodEquals(MethodEqualsRelation relation)
protected abstract BinaryRelation	BinaryRelation.combinedWithMethodEquals(MethodEqualsRelation relation)
protected BinaryRelation	LessThanRelation.combinedWithMethodEquals(MethodEqualsRelation relation)
protected BinaryRelation	EqualRelation.combinedWithMethodEquals(MethodEqualsRelation relation)
protected BinaryRelation	GreaterThanRelation.combinedWithNotEqual(NotEqualRelation relation)
protected BinaryRelation	LessThanOrEqualRelation.combinedWithNotEqual(NotEqualRelation relation)
protected BinaryRelation	GreaterThanOrEqualRelation.combinedWithNotEqual(NotEqualRelation relation)
protected BinaryRelation	NotEqualRelation.combinedWithNotEqual(NotEqualRelation relation)
protected BinaryRelation	NotMethodEqualsRelation.combinedWithNotEqual(NotEqualRelation relation)
protected BinaryRelation	MethodEqualsRelation.combinedWithNotEqual(NotEqualRelation relation)
protected abstract BinaryRelation	BinaryRelation.combinedWithNotEqual(NotEqualRelation relation)
protected BinaryRelation	LessThanRelation.combinedWithNotEqual(NotEqualRelation relation)
protected BinaryRelation	EqualRelation.combinedWithNotEqual(NotEqualRelation relation)
protected BinaryRelation	GreaterThanRelation.combinedWithNotMethodEquals(NotMethodEqualsRelation relation)
protected BinaryRelation	LessThanOrEqualRelation.combinedWithNotMethodEquals(NotMethodEqualsRelation relation)
protected BinaryRelation	GreaterThanOrEqualRelation.combinedWithNotMethodEquals(NotMethodEqualsRelation relation)
protected BinaryRelation	NotEqualRelation.combinedWithNotMethodEquals(NotMethodEqualsRelation relation)
protected BinaryRelation	NotMethodEqualsRelation.combinedWithNotMethodEquals(NotMethodEqualsRelation relation)
protected BinaryRelation	MethodEqualsRelation.combinedWithNotMethodEquals(NotMethodEqualsRelation relation)
protected abstract BinaryRelation	BinaryRelation.combinedWithNotMethodEquals(NotMethodEqualsRelation relation)
protected BinaryRelation	LessThanRelation.combinedWithNotMethodEquals(NotMethodEqualsRelation relation)
protected BinaryRelation	EqualRelation.combinedWithNotMethodEquals(NotMethodEqualsRelation relation)
protected BinaryRelation	LessThanOrEqualRelation.conjunction(BinaryRelation relation)
protected BinaryRelation	GreaterThanOrEqualRelation.conjunction(BinaryRelation relation)
protected BinaryRelation	NotEqualRelation.conjunction(BinaryRelation relation)
protected BinaryRelation	NotMethodEqualsRelation.conjunction(BinaryRelation relation)
protected BinaryRelation	BinaryRelation.conjunction(BinaryRelation relation) Returns a new relation resulting of the conjunction of the receiver with the supplied relation.
BinaryRelation	BinaryRelation.inverse()
protected BinaryRelation	BinaryRelation.symmetric()

Methods in org.sonar.java.se.symbolicvalues with parameters of type BinaryRelation

Modifier and Type	Method and Description
protected BinaryRelation	GreaterThanRelation.combinedAfter(BinaryRelation relation)
protected BinaryRelation	LessThanOrEqualRelation.combinedAfter(BinaryRelation relation)
protected BinaryRelation	GreaterThanOrEqualRelation.combinedAfter(BinaryRelation relation)
protected BinaryRelation	NotEqualRelation.combinedAfter(BinaryRelation relation)
protected BinaryRelation	NotMethodEqualsRelation.combinedAfter(BinaryRelation relation)
protected BinaryRelation	MethodEqualsRelation.combinedAfter(BinaryRelation relation)
protected abstract BinaryRelation	BinaryRelation.combinedAfter(BinaryRelation relation) Returns a new relation resulting of the transitive combination of the receiver with the supplied relation.
protected BinaryRelation	LessThanRelation.combinedAfter(BinaryRelation relation)
protected BinaryRelation	EqualRelation.combinedAfter(BinaryRelation relation)
protected BinaryRelation	LessThanOrEqualRelation.conjunction(BinaryRelation relation)
protected BinaryRelation	GreaterThanOrEqualRelation.conjunction(BinaryRelation relation)
protected BinaryRelation	NotEqualRelation.conjunction(BinaryRelation relation)
protected BinaryRelation	NotMethodEqualsRelation.conjunction(BinaryRelation relation)
protected BinaryRelation	BinaryRelation.conjunction(BinaryRelation relation) Returns a new relation resulting of the conjunction of the receiver with the supplied relation.
protected RelationState	BinaryRelation.implies(BinaryRelation relation)
protected RelationState	GreaterThanRelation.isImpliedBy(BinaryRelation relation)
protected RelationState	LessThanOrEqualRelation.isImpliedBy(BinaryRelation relation)
protected RelationState	GreaterThanOrEqualRelation.isImpliedBy(BinaryRelation relation)
protected RelationState	NotEqualRelation.isImpliedBy(BinaryRelation relation)
protected RelationState	NotMethodEqualsRelation.isImpliedBy(BinaryRelation relation)
protected RelationState	MethodEqualsRelation.isImpliedBy(BinaryRelation relation)
protected abstract RelationState	BinaryRelation.isImpliedBy(BinaryRelation relation)
protected RelationState	LessThanRelation.isImpliedBy(BinaryRelation relation)
protected RelationState	EqualRelation.isImpliedBy(BinaryRelation relation)

Method parameters in org.sonar.java.se.symbolicvalues with type arguments of type BinaryRelation

Modifier and Type	Method and Description
protected RelationState	BinaryRelation.resolveState(Collection<BinaryRelation> knownRelations)
protected RelationState	BinaryRelation.resolveState(Collection<BinaryRelation> knownRelations, Set<BinaryRelation> usedRelations)
protected RelationState	BinaryRelation.resolveState(Collection<BinaryRelation> knownRelations, Set<BinaryRelation> usedRelations)