@ParametersAreNonnullByDefault

Package org.sonar.java.se.symbolicvalues

Class Summary

Class	Description
BinaryRelation
BinarySymbolicValue
EqualRelation
GreaterThanOrEqualRelation
GreaterThanRelation
LessThanOrEqualRelation
LessThanRelation
MethodEqualsRelation
NotEqualRelation
NotMethodEqualsRelation
NullCheckSymbolicValue
RelationalSymbolicValue
SymbolicValue
SymbolicValue.AndSymbolicValue
SymbolicValue.BooleanExpressionSymbolicValue
SymbolicValue.InstanceOfSymbolicValue
SymbolicValue.NotSymbolicValue
SymbolicValue.OrSymbolicValue
SymbolicValue.UnarySymbolicValue
SymbolicValue.XorSymbolicValue

Enum Summary

Enum	Description
RelationalSymbolicValue.Kind
RelationState	This enum values are the possible returns of the method implies(SymbolicValueRelation) of class SymbolicValueRelation.

Exception Summary

Exception	Description
BinaryRelation.TransitiveRelationExceededException