org.sonar.java.se.symbolicvalues

Class SymbolicValue.ExceptionalSymbolicValue

java.lang.Object

org.sonar.java.se.symbolicvalues.SymbolicValue

org.sonar.java.se.symbolicvalues.SymbolicValue.ExceptionalSymbolicValue

Enclosing class:

SymbolicValue

public static class SymbolicValue.ExceptionalSymbolicValue
extends SymbolicValue

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
ExceptionalSymbolicValue(Type exceptionType)

Method Summary

Modifier and Type	Method and Description
Type	exceptionType()
String	toString()

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

binaryRelation, computedFrom, computedFrom, isDisposable, references, setConstraint, setConstraint, setConstraint, setSingleConstraint, wrappedValue

Methods inherited from class java.lang.Object

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

Constructor Detail

ExceptionalSymbolicValue

public ExceptionalSymbolicValue(@Nullable
                                Type exceptionType)

Method Detail

exceptionType

@CheckForNull
public Type exceptionType()

toString

public String toString()

Overrides:

toString in class SymbolicValue