Package org.sonar.java.se.symbolicvalues
Class SymbolicValue.UnarySymbolicValue
java.lang.Object
org.sonar.java.se.symbolicvalues.SymbolicValue
org.sonar.java.se.symbolicvalues.SymbolicValue.UnarySymbolicValue
- Direct Known Subclasses:
SymbolicValue.InstanceOfSymbolicValue,SymbolicValue.NotSymbolicValue
- Enclosing class:
SymbolicValue
-
Nested Class Summary
Nested classes/interfaces inherited from class org.sonar.java.se.symbolicvalues.SymbolicValue
SymbolicValue.AndSymbolicValue, SymbolicValue.BooleanExpressionSymbolicValue, SymbolicValue.BooleanSymbolicValue, SymbolicValue.CaughtExceptionSymbolicValue, SymbolicValue.ExceptionalSymbolicValue, SymbolicValue.InstanceOfSymbolicValue, SymbolicValue.NotSymbolicValue, SymbolicValue.OrSymbolicValue, SymbolicValue.UnarySymbolicValue, SymbolicValue.XorSymbolicValue -
Field Summary
FieldsFields inherited from class org.sonar.java.se.symbolicvalues.SymbolicValue
FALSE_LITERAL, NULL_LITERAL, TRUE_LITERAL -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidcomputedFrom(List<ProgramState.SymbolicValueSymbol> symbolicValues) booleanreferences(SymbolicValue other) Methods inherited from class org.sonar.java.se.symbolicvalues.SymbolicValue
equals, hashCode, isDisposable, setConstraint, setConstraint, setConstraint, setConstraint, setSingleConstraint, toString, wrappedValue
-
Field Details
-
operand
-
-
Constructor Details
-
UnarySymbolicValue
public UnarySymbolicValue()
-
-
Method Details
-
references
- Overrides:
referencesin classSymbolicValue
-
computedFrom
- Overrides:
computedFromin classSymbolicValue
-
computedFrom
- Overrides:
computedFromin classSymbolicValue
-
computedFromSymbols
- Overrides:
computedFromSymbolsin classSymbolicValue
-