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.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 and Description
RelationalSymbolicValue(RelationalSymbolicValue.Kind kind)

Method Summary

Modifier and Type	Method and Description
BinaryRelation	binaryRelation()
boolean	equals(Object o)
int	hashCode()
List<ProgramState>	setConstraint(ProgramState initialProgramState, BooleanConstraint booleanConstraint)
String	toString()

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

computedFrom, computedFrom, getLeftOp, getRightOp, references

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

isDisposable, setConstraint, setConstraint, setSingleConstraint, wrappedValue

Methods inherited from class java.lang.Object

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

Constructor Detail

RelationalSymbolicValue

public RelationalSymbolicValue(RelationalSymbolicValue.Kind kind)

Method Detail

setConstraint

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

Overrides:

setConstraint in class SymbolicValue

binaryRelation

public BinaryRelation binaryRelation()

Overrides:

binaryRelation in class SymbolicValue

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class SymbolicValue