@ParametersAreNonnullByDefault

Package org.sonar.java.se.symbolicvalues

Class Summary

Class	Description
BinarySymbolicValue
RelationalSymbolicValue
SymbolicValue
SymbolicValue.AndSymbolicValue
SymbolicValue.BooleanExpressionSymbolicValue
SymbolicValue.CaughtExceptionSymbolicValue
SymbolicValue.ExceptionalSymbolicValue
SymbolicValue.InstanceOfSymbolicValue
SymbolicValue.NotSymbolicValue
SymbolicValue.OrSymbolicValue
SymbolicValue.UnarySymbolicValue
SymbolicValue.XorSymbolicValue

Enum Summary

Enum	Description
RelationalSymbolicValue.Kind

Exception Summary

Exception	Description
RelationalSymbolicValue.TransitiveRelationExceededException