org.sonar.java.se.symbolicvalues

Classes

• 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

Enums

• RelationalSymbolicValue.Kind
• RelationState

Exceptions

• BinaryRelation.TransitiveRelationExceededException