Package org.sonar.java.se.symbolicvalues

Class SymbolicValue.CaughtExceptionSymbolicValue

java.lang.Object

org.sonar.java.se.symbolicvalues.SymbolicValue

org.sonar.java.se.symbolicvalues.SymbolicValue.CaughtExceptionSymbolicValue

Enclosing class:

SymbolicValue

public static class SymbolicValue.CaughtExceptionSymbolicValue
extends SymbolicValue

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
CaughtExceptionSymbolicValue(SymbolicValue.ExceptionalSymbolicValue thrownSV)

Method Summary

Modifier and Type	Method	Description
SymbolicValue.ExceptionalSymbolicValue	exception()

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

computedFrom, computedFrom, computedFromSymbols, equals, hashCode, isDisposable, references, setConstraint, setConstraint, setConstraint, setConstraint, setSingleConstraint, toString, wrappedValue

Methods inherited from class java.lang.Object

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

Constructor Details

CaughtExceptionSymbolicValue

public CaughtExceptionSymbolicValue(SymbolicValue.ExceptionalSymbolicValue thrownSV)

Method Details

exception

public SymbolicValue.ExceptionalSymbolicValue exception()