org.sonar.java.se.symbolicvalues

Class LessThanRelation

java.lang.Object

org.sonar.java.se.symbolicvalues.BinaryRelation

org.sonar.java.se.symbolicvalues.LessThanRelation

public class LessThanRelation
extends BinaryRelation

Nested Class Summary

Nested classes/interfaces inherited from class org.sonar.java.se.symbolicvalues.BinaryRelation

BinaryRelation.TransitiveRelationExceededException

Field Summary

Fields inherited from class org.sonar.java.se.symbolicvalues.BinaryRelation

inverse, kind, leftOp, rightOp, symmetric

Method Summary

Methods

Modifier and Type	Method and Description
protected BinaryRelation	combinedAfter(BinaryRelation relation) Returns a new relation resulting of the transitive combination of the receiver with the supplied relation.
protected BinaryRelation	combinedWithEqual(EqualRelation relation)
protected BinaryRelation	combinedWithGreaterThan(GreaterThanRelation relation)
protected BinaryRelation	combinedWithGreaterThanOrEqual(GreaterThanOrEqualRelation relation)
protected BinaryRelation	combinedWithLessThan(LessThanRelation relation)
protected BinaryRelation	combinedWithLessThanOrEqual(LessThanOrEqualRelation relation)
protected BinaryRelation	combinedWithMethodEquals(MethodEqualsRelation relation)
protected BinaryRelation	combinedWithNotEqual(NotEqualRelation relation)
protected BinaryRelation	combinedWithNotMethodEquals(NotMethodEqualsRelation relation)
protected RelationState	impliesEqual()
protected RelationState	impliesGreaterThan()
protected RelationState	impliesGreaterThanOrEqual()
protected RelationState	impliesLessThan()
protected RelationState	impliesLessThanOrEqual()
protected RelationState	impliesMethodEquals()
protected RelationState	impliesNotEqual()
protected RelationState	impliesNotMethodEquals()
protected RelationState	isImpliedBy(BinaryRelation relation)

Methods inherited from class org.sonar.java.se.symbolicvalues.BinaryRelation

binaryRelation, conjunction, equals, hashCode, implies, inverse, resolveState, resolveState, symmetric, toString

Methods inherited from class java.lang.Object

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

Method Detail

isImpliedBy

protected RelationState isImpliedBy(BinaryRelation relation)

Specified by:

isImpliedBy in class BinaryRelation

impliesEqual

protected RelationState impliesEqual()

Specified by:

impliesEqual in class BinaryRelation

impliesNotEqual

protected RelationState impliesNotEqual()

Specified by:

impliesNotEqual in class BinaryRelation

impliesMethodEquals

protected RelationState impliesMethodEquals()

Specified by:

impliesMethodEquals in class BinaryRelation

impliesNotMethodEquals

protected RelationState impliesNotMethodEquals()

Specified by:

impliesNotMethodEquals in class BinaryRelation

impliesGreaterThan

protected RelationState impliesGreaterThan()

Specified by:

impliesGreaterThan in class BinaryRelation

impliesGreaterThanOrEqual

protected RelationState impliesGreaterThanOrEqual()

Specified by:

impliesGreaterThanOrEqual in class BinaryRelation

impliesLessThan

protected RelationState impliesLessThan()

Specified by:

impliesLessThan in class BinaryRelation

impliesLessThanOrEqual

protected RelationState impliesLessThanOrEqual()

Specified by:

impliesLessThanOrEqual in class BinaryRelation

combinedAfter

protected BinaryRelation combinedAfter(BinaryRelation relation)

Description copied from class: BinaryRelation

Returns a new relation resulting of the transitive combination of the receiver with the supplied relation. Schema aRb & bSc => aTc where aRb is the relation described by the receiver, bSc that of the supplied relation, aTc is the returned relation.

Specified by:

combinedAfter in class BinaryRelation

Parameters:

relation - another relation whose left operand is the same as the receiver's right operand

Returns:

the resulting relation or null if the conjunction of both relations does not bring any new information

combinedWithEqual

protected BinaryRelation combinedWithEqual(EqualRelation relation)

Specified by:

combinedWithEqual in class BinaryRelation

combinedWithNotEqual

@CheckForNull
protected BinaryRelation combinedWithNotEqual(NotEqualRelation relation)

Specified by:

combinedWithNotEqual in class BinaryRelation

combinedWithMethodEquals

@CheckForNull
protected BinaryRelation combinedWithMethodEquals(MethodEqualsRelation relation)

Specified by:

combinedWithMethodEquals in class BinaryRelation

combinedWithNotMethodEquals

@CheckForNull
protected BinaryRelation combinedWithNotMethodEquals(NotMethodEqualsRelation relation)

Specified by:

combinedWithNotMethodEquals in class BinaryRelation

combinedWithGreaterThan

@CheckForNull
protected BinaryRelation combinedWithGreaterThan(GreaterThanRelation relation)

Specified by:

combinedWithGreaterThan in class BinaryRelation

combinedWithGreaterThanOrEqual

@CheckForNull
protected BinaryRelation combinedWithGreaterThanOrEqual(GreaterThanOrEqualRelation relation)

Specified by:

combinedWithGreaterThanOrEqual in class BinaryRelation

combinedWithLessThan

protected BinaryRelation combinedWithLessThan(LessThanRelation relation)

Specified by:

combinedWithLessThan in class BinaryRelation

combinedWithLessThanOrEqual

protected BinaryRelation combinedWithLessThanOrEqual(LessThanOrEqualRelation relation)

Specified by:

combinedWithLessThanOrEqual in class BinaryRelation