org.sonar.java.se.symbolicvalues

Class SymbolicValue.BooleanExpressionSymbolicValue

java.lang.Object

org.sonar.java.se.symbolicvalues.SymbolicValue

org.sonar.java.se.symbolicvalues.BinarySymbolicValue

org.sonar.java.se.symbolicvalues.SymbolicValue.BooleanExpressionSymbolicValue

Direct Known Subclasses:

SymbolicValue.AndSymbolicValue, SymbolicValue.OrSymbolicValue, SymbolicValue.XorSymbolicValue

Enclosing class:

SymbolicValue

public abstract static class SymbolicValue.BooleanExpressionSymbolicValue
extends BinarySymbolicValue

Nested Class Summary

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
BooleanExpressionSymbolicValue()

Method Summary

Modifier and Type	Method and Description
protected static void	addStates(List<ProgramState> states, List<ProgramState> newStates)

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

binaryRelation, isDisposable, setConstraint, setConstraint, setConstraint, setSingleConstraint, toString, wrappedValue

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

BooleanExpressionSymbolicValue

public BooleanExpressionSymbolicValue()

Method Detail

addStates

protected static void addStates(List<ProgramState> states,
                                List<ProgramState> newStates)