Package org.sonar.java.se.symbolicvalues

Class SymbolicValue.InstanceOfSymbolicValue

java.lang.Object

org.sonar.java.se.symbolicvalues.SymbolicValue

org.sonar.java.se.symbolicvalues.SymbolicValue.UnarySymbolicValue

org.sonar.java.se.symbolicvalues.SymbolicValue.InstanceOfSymbolicValue

Enclosing class:

SymbolicValue

public static class SymbolicValue.InstanceOfSymbolicValue
extends SymbolicValue.UnarySymbolicValue

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

operand

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

FALSE_LITERAL, NULL_LITERAL, TRUE_LITERAL

Constructor Summary

Constructors

Constructor	Description
InstanceOfSymbolicValue()

Method Summary

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

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

computedFrom, computedFrom, computedFromSymbols, references

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

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

Methods inherited from class java.lang.Object

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

Constructor Details

InstanceOfSymbolicValue

public InstanceOfSymbolicValue()

Method Details

setConstraint

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

Overrides:

setConstraint in class SymbolicValue