public class ExceptionCheckImpl extends java.lang.Object implements ExceptionCheck
Modifier and Type | Field and Description |
---|---|
private java.util.Set<JavaRefTypeInstance> |
caughtChecked |
private java.util.Set<JavaRefTypeInstance> |
caughtUnchecked |
private DCCommonState |
dcCommonState |
private boolean |
mightUseUnchecked |
private boolean |
missingInfo |
Constructor and Description |
---|
ExceptionCheckImpl(DCCommonState dcCommonState,
java.util.Set<JavaRefTypeInstance> caught) |
Modifier and Type | Method and Description |
---|---|
boolean |
checkAgainst(AbstractMemberFunctionInvokation functionInvokation) |
boolean |
checkAgainst(java.util.Set<? extends JavaTypeInstance> thrown) |
boolean |
checkAgainstException(Expression expression) |
private boolean |
checkAgainstInternal(java.util.Set<? extends JavaTypeInstance> thrown) |
boolean |
mightCatchUnchecked() |
private final java.util.Set<JavaRefTypeInstance> caughtChecked
private final java.util.Set<JavaRefTypeInstance> caughtUnchecked
private final boolean mightUseUnchecked
private final boolean missingInfo
private final DCCommonState dcCommonState
public ExceptionCheckImpl(DCCommonState dcCommonState, java.util.Set<JavaRefTypeInstance> caught)
private boolean checkAgainstInternal(java.util.Set<? extends JavaTypeInstance> thrown)
public boolean checkAgainst(java.util.Set<? extends JavaTypeInstance> thrown)
checkAgainst
in interface ExceptionCheck
public boolean checkAgainst(AbstractMemberFunctionInvokation functionInvokation)
checkAgainst
in interface ExceptionCheck
public boolean checkAgainstException(Expression expression)
checkAgainstException
in interface ExceptionCheck
public boolean mightCatchUnchecked()
mightCatchUnchecked
in interface ExceptionCheck