org.benf.cfr.reader.entities.exceptions

Class ExceptionCheckImpl

java.lang.Object

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

All Implemented Interfaces:

ExceptionCheck

public class ExceptionCheckImpl
extends Object
implements ExceptionCheck

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ExceptionCheckImpl

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

Method Detail

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