org.sonar.java.se.symbolicvalues

Class NotMethodEqualsRelation

java.lang.Object

org.sonar.java.se.symbolicvalues.BinaryRelation

org.sonar.java.se.symbolicvalues.NotMethodEqualsRelation

public class NotMethodEqualsRelation
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 BinaryRelation	conjunction(BinaryRelation relation) Returns a new relation resulting of the conjunction of the receiver with the supplied 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)
String	toString()

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

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

Methods inherited from class java.lang.Object

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

Method Detail

toString

public String toString()

Overrides:

toString in class BinaryRelation

isImpliedBy

@CheckForNull
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

@CheckForNull
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

protected BinaryRelation combinedWithNotEqual(NotEqualRelation relation)

Specified by:

combinedWithNotEqual in class BinaryRelation

combinedWithMethodEquals

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

@CheckForNull
protected BinaryRelation combinedWithLessThan(LessThanRelation relation)

Specified by:

combinedWithLessThan in class BinaryRelation

combinedWithLessThanOrEqual

@CheckForNull
protected BinaryRelation combinedWithLessThanOrEqual(LessThanOrEqualRelation relation)

Specified by:

combinedWithLessThanOrEqual in class BinaryRelation

conjunction

protected BinaryRelation conjunction(BinaryRelation relation)

Description copied from class: BinaryRelation

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

Overrides:

conjunction in class BinaryRelation

Parameters:

relation - another relation bearing on the same operands as those of the receiver

Returns:

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