public class ExceptionCheckImpl
extends java.lang.Object
implements ExceptionCheck

Fields
Modifier and Type	Field	Description
`private java.util.Set<JavaRefTypeInstance>`	`caughtChecked`
`private java.util.Set<JavaRefTypeInstance>`	`caughtUnchecked`
`private DCCommonState`	`dcCommonState`
`private boolean`	`mightUseUnchecked`
`private boolean`	`missingInfo`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`checkAgainst(java.util.Set<? extends JavaTypeInstance> thrown)`
`boolean`	`checkAgainst(AbstractMemberFunctionInvokation functionInvokation)`
`boolean`	`checkAgainstException(Expression expression)`
`private boolean`	`checkAgainstInternal(java.util.Set<? extends JavaTypeInstance> thrown)`
`boolean`	`mightCatchUnchecked()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

private final java.util.Set<JavaRefTypeInstance> caughtChecked

private final java.util.Set<JavaRefTypeInstance> caughtUnchecked

private final boolean mightUseUnchecked

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)

public boolean checkAgainst(AbstractMemberFunctionInvokation functionInvokation)

Class ExceptionCheckImpl