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

public abstract static class SymbolicValue.UnarySymbolicValue
extends SymbolicValue

Nested Class Summary

Nested classes/interfaces inherited from class org.sonar.java.se.symbolicvalues.SymbolicValue

SymbolicValue.AndSymbolicValue, SymbolicValue.BooleanExpressionSymbolicValue, SymbolicValue.ExceptionalSymbolicValue, SymbolicValue.InstanceOfSymbolicValue, SymbolicValue.NotSymbolicValue, SymbolicValue.OrSymbolicValue, SymbolicValue.UnarySymbolicValue, SymbolicValue.XorSymbolicValue

Field Summary

Fields

Modifier and Type	Field and Description
protected SymbolicValue	operand

Fields inherited from class org.sonar.java.se.symbolicvalues.SymbolicValue

FALSE_LITERAL, NULL_LITERAL, PROTECTED_SYMBOLIC_VALUES, TRUE_LITERAL

Constructor Summary

Constructors

Constructor and Description
UnarySymbolicValue()

Method Summary

Modifier and Type	Method and Description
List<SymbolicValue>	computedFrom()
void	computedFrom(List<ProgramState.SymbolicValueSymbol> symbolicValues)
List<Symbol>	computedFromSymbols()
boolean	references(SymbolicValue other)

Methods inherited from class org.sonar.java.se.symbolicvalues.SymbolicValue

isDisposable, setConstraint, setConstraint, setConstraint, setSingleConstraint, toString, wrappedValue

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

operand

protected SymbolicValue operand

Constructor Detail

UnarySymbolicValue

public UnarySymbolicValue()

Method Detail

references

public boolean references(SymbolicValue other)

Overrides:

references in class SymbolicValue

computedFrom

public void computedFrom(List<ProgramState.SymbolicValueSymbol> symbolicValues)

Overrides:

computedFrom in class SymbolicValue

computedFrom

public List<SymbolicValue> computedFrom()

Overrides:

computedFrom in class SymbolicValue

computedFromSymbols

public List<Symbol> computedFromSymbols()

Overrides:

computedFromSymbols in class SymbolicValue