public class ExceptionCheckImpl extends Object implements ExceptionCheck
Constructor and Description |
---|
ExceptionCheckImpl(DCCommonState dcCommonState,
Set<JavaRefTypeInstance> caught) |
Modifier and Type | Method and Description |
---|---|
boolean |
checkAgainst(AbstractMemberFunctionInvokation functionInvokation) |
boolean |
checkAgainst(Set<? extends JavaTypeInstance> thrown) |
boolean |
checkAgainstException(Expression expression) |
boolean |
mightCatchUnchecked() |
public ExceptionCheckImpl(DCCommonState dcCommonState, Set<JavaRefTypeInstance> caught)
public boolean checkAgainst(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
Copyright © 2011-2021. All Rights Reserved.