org.sonar.java.se.symbolicvalues

Class RelationalSymbolicValue

java.lang.Object

org.sonar.java.se.symbolicvalues.SymbolicValue

org.sonar.java.se.symbolicvalues.BinarySymbolicValue

org.sonar.java.se.symbolicvalues.RelationalSymbolicValue

public class RelationalSymbolicValue
extends BinarySymbolicValue

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	RelationalSymbolicValue.Kind

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
RelationalSymbolicValue(int id, RelationalSymbolicValue.Kind kind)

Method Summary

Methods

Modifier and Type	Method and Description
BinaryRelation	binaryRelation()
protected List<ProgramState>	copyConstraint(SymbolicValue from, SymbolicValue to, ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	setConstraint(ProgramState initialProgramState, BooleanConstraint booleanConstraint)
BooleanConstraint	shouldNotInverse()
String	toString()

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

computedFrom, references

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

equals, hashCode, id, isDisposable, setConstraint, setSingleConstraint, wrappedValue

Methods inherited from class java.lang.Object

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

Constructor Detail

RelationalSymbolicValue

public RelationalSymbolicValue(int id,
                       RelationalSymbolicValue.Kind kind)

Method Detail

shouldNotInverse

public BooleanConstraint shouldNotInverse()

Specified by:

shouldNotInverse in class BinarySymbolicValue

setConstraint

public List<ProgramState> setConstraint(ProgramState initialProgramState,
                               BooleanConstraint booleanConstraint)

Overrides:

setConstraint in class SymbolicValue

copyConstraint

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

Overrides:

copyConstraint in class BinarySymbolicValue

binaryRelation

public BinaryRelation binaryRelation()

Overrides:

binaryRelation in class SymbolicValue

toString

public String toString()

Overrides:

toString in class SymbolicValue