Package 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.BooleanSymbolicValue, 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, TRUE_LITERAL

Constructor Summary

Constructors

Constructor	Description
BooleanExpressionSymbolicValue()

Method Summary

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

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

equals, hashCode, isDisposable, setConstraint, setConstraint, setConstraint, setConstraint, setSingleConstraint, toString, wrappedValue

Methods inherited from class java.lang.Object

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

Constructor Details

BooleanExpressionSymbolicValue

public BooleanExpressionSymbolicValue()

Method Details

addStates

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