Package org.sonar.java.se.symbolicvalues
Class SymbolicValue
java.lang.Object
org.sonar.java.se.symbolicvalues.SymbolicValue
- Direct Known Subclasses:
BinarySymbolicValue,SymbolicValue.BooleanSymbolicValue,SymbolicValue.CaughtExceptionSymbolicValue,SymbolicValue.ExceptionalSymbolicValue,SymbolicValue.UnarySymbolicValue,XxeProcessingCheck.XxeSymbolicValue
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic classstatic classstatic final classstatic classstatic classstatic classstatic classstatic classstatic classstatic class -
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final SymbolicValuestatic final SymbolicValuestatic final SymbolicValue -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidcomputedFrom(List<ProgramState.SymbolicValueSymbol> symbolicValues) booleaninthashCode()static booleanisDisposable(SymbolicValue symbolicValue) booleanreferences(SymbolicValue other) setConstraint(ProgramState programState, BooleanConstraint booleanConstraint) setConstraint(ProgramState programState, Constraint constraint) protected List<ProgramState>setConstraint(ProgramState state, Constraint constraint, Set<RelationalSymbolicValue> knownRelations) setConstraint(ProgramState programState, ObjectConstraint nullConstraint) setSingleConstraint(ProgramState programState, ObjectConstraint nullConstraint) toString()
-
Field Details
-
NULL_LITERAL
-
TRUE_LITERAL
-
FALSE_LITERAL
-
-
Constructor Details
-
SymbolicValue
public SymbolicValue()
-
-
Method Details
-
hashCode
public int hashCode() -
equals
-
isDisposable
-
references
-
toString
-
computedFrom
-
computedFromSymbols
-
computedFrom
-
setConstraint
-
setConstraint
public List<ProgramState> setConstraint(ProgramState programState, BooleanConstraint booleanConstraint) -
setConstraint
-
setSingleConstraint
-
setConstraint
protected List<ProgramState> setConstraint(ProgramState state, Constraint constraint, Set<RelationalSymbolicValue> knownRelations) -
wrappedValue
-