Package org.sonar.java.se.symbolicvalues

Class SymbolicValue.XorSymbolicValue

java.lang.Object

org.sonar.java.se.symbolicvalues.SymbolicValue

org.sonar.java.se.symbolicvalues.BinarySymbolicValue

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

org.sonar.java.se.symbolicvalues.SymbolicValue.XorSymbolicValue

Enclosing class:

SymbolicValue

public static class SymbolicValue.XorSymbolicValue
extends SymbolicValue.BooleanExpressionSymbolicValue

Nested Class Summary

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	Description
XorSymbolicValue()

Method Summary

Modifier and Type	Method	Description
List<ProgramState>	setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
String	toString()

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

addStates

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, setSingleConstraint, wrappedValue

Methods inherited from class java.lang.Object

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

Constructor Detail

XorSymbolicValue

public XorSymbolicValue()

Method Detail

setConstraint

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

Overrides:

setConstraint in class SymbolicValue

toString

public String toString()

Overrides:

toString in class SymbolicValue