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.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

Modifier	Constructor and Description
protected	SymbolicValue.BooleanExpressionSymbolicValue(int id)

Method Summary

Methods

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

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

computedFrom, copyConstraint, references

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

SymbolicValue.BooleanExpressionSymbolicValue

protected SymbolicValue.BooleanExpressionSymbolicValue(int id)

Method Detail

shouldNotInverse

public BooleanConstraint shouldNotInverse()

Specified by:

shouldNotInverse in class BinarySymbolicValue

addStates

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