Class ExceptionCheckImpl

java.lang.Object

org.benf.cfr.reader.entities.exceptions.ExceptionCheckImpl

All Implemented Interfaces:

ExceptionCheck

public class ExceptionCheckImpl
extends Object
implements ExceptionCheck

Field Summary

Fields

Modifier and Type	Field	Description
private final Set<JavaRefTypeInstance>	caughtChecked
private final Set<JavaRefTypeInstance>	caughtUnchecked
private final DCCommonState	dcCommonState
private final boolean	mightUseUnchecked
private final boolean	missingInfo

Constructor Summary

Constructors

Constructor	Description
ExceptionCheckImpl(DCCommonState dcCommonState, Set<JavaRefTypeInstance> caught)

Method Summary

Modifier and Type	Method	Description
boolean	checkAgainst(Set<? extends JavaTypeInstance> thrown)
boolean	checkAgainst(AbstractMemberFunctionInvokation functionInvokation)
boolean	checkAgainstException(Expression expression)
private boolean	checkAgainstInternal(Set<? extends JavaTypeInstance> thrown)
boolean	mightCatchUnchecked()

Methods inherited from class Object

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

Field Details

caughtChecked

private final Set<JavaRefTypeInstance> caughtChecked

caughtUnchecked

private final Set<JavaRefTypeInstance> caughtUnchecked

mightUseUnchecked

private final boolean mightUseUnchecked

missingInfo

private final boolean missingInfo

dcCommonState

private final DCCommonState dcCommonState

Constructor Details

ExceptionCheckImpl

public ExceptionCheckImpl(DCCommonState dcCommonState,
 Set<JavaRefTypeInstance> caught)

Method Details

checkAgainstInternal

private boolean checkAgainstInternal(Set<? extends JavaTypeInstance> thrown)

checkAgainst

public boolean checkAgainst(Set<? extends JavaTypeInstance> thrown)

Specified by:

checkAgainst in interface ExceptionCheck

checkAgainst

public boolean checkAgainst(AbstractMemberFunctionInvokation functionInvokation)

Specified by:

checkAgainst in interface ExceptionCheck

checkAgainstException

public boolean checkAgainstException(Expression expression)

Specified by:

checkAgainstException in interface ExceptionCheck

mightCatchUnchecked

public boolean mightCatchUnchecked()

Specified by:

mightCatchUnchecked in interface ExceptionCheck