Package org.sonar.java.se.symbolicvalues

Class BinarySymbolicValue

java.lang.Object

org.sonar.java.se.symbolicvalues.SymbolicValue

org.sonar.java.se.symbolicvalues.BinarySymbolicValue

Direct Known Subclasses:

RelationalSymbolicValue, SymbolicValue.BooleanExpressionSymbolicValue

public abstract class BinarySymbolicValue
extends SymbolicValue

Nested Class Summary

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

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

Field Summary

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

FALSE_LITERAL, NULL_LITERAL, PROTECTED_SYMBOLIC_VALUES, TRUE_LITERAL

Constructor Summary

Constructors

Constructor	Description
BinarySymbolicValue()

Method Summary

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

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

equals, hashCode, isDisposable, setConstraint, setConstraint, setConstraint, setConstraint, setSingleConstraint, toString, wrappedValue

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

BinarySymbolicValue

public BinarySymbolicValue()

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

computedFromSymbols

public List<Symbol> computedFromSymbols()

Overrides:

computedFromSymbols in class SymbolicValue

leftSymbol

@CheckForNull
public Symbol leftSymbol()

rightSymbol

@CheckForNull
public Symbol rightSymbol()

computedFrom

public List<SymbolicValue> computedFrom()

Overrides:

computedFrom in class SymbolicValue

getLeftOp

public SymbolicValue getLeftOp()

getRightOp

public SymbolicValue getRightOp()