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.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 and Description
BinarySymbolicValue(int id)

Method Summary

Methods

Modifier and Type	Method and Description
void	computedFrom(List<SymbolicValue> symbolicValues)
protected List<ProgramState>	copyConstraint(SymbolicValue from, SymbolicValue to, ProgramState programState, BooleanConstraint booleanConstraint)
boolean	references(SymbolicValue other)
abstract BooleanConstraint	shouldNotInverse()

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

binaryRelation, equals, hashCode, id, isDisposable, 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(int id)

Method Detail

shouldNotInverse

public abstract BooleanConstraint shouldNotInverse()

references

public boolean references(SymbolicValue other)

Overrides:

references in class SymbolicValue

computedFrom

public void computedFrom(List<SymbolicValue> symbolicValues)

Overrides:

computedFrom in class SymbolicValue

copyConstraint

protected List<ProgramState> copyConstraint(SymbolicValue from,
                                SymbolicValue to,
                                ProgramState programState,
                                BooleanConstraint booleanConstraint)