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
static class	RelationalSymbolicValue.TransitiveRelationExceededException

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

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
int	hashCode()
boolean	isEquality()
RelationalSymbolicValue.Kind	kind()
List<ProgramState>	setConstraint(ProgramState initialProgramState, BooleanConstraint booleanConstraint)
protected List<ProgramState>	setConstraint(ProgramState initialProgramState, Constraint constraint, Set<RelationalSymbolicValue> knownRelations)
String	toString()

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

computedFrom, computedFrom, computedFromSymbols, getLeftOp, getRightOp, leftSymbol, references, rightSymbol

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

setConstraint

protected List<ProgramState> setConstraint(ProgramState initialProgramState,
                                           Constraint constraint,
                                           Set<RelationalSymbolicValue> knownRelations)

Overrides:

setConstraint in class SymbolicValue

equals

public boolean equals(Object o)

Overrides:

equals in class SymbolicValue

isEquality

public boolean isEquality()

hashCode

public int hashCode()

Overrides:

hashCode in class SymbolicValue

toString

public String toString()

Overrides:

toString in class SymbolicValue

kind

public RelationalSymbolicValue.Kind kind()