Package org.checkerframework.framework.util.typeinference8.util

Class CheckedExceptionsUtil

java.lang.Object

org.checkerframework.framework.util.typeinference8.util.CheckedExceptionsUtil

public final class CheckedExceptionsUtil
extends Object

Util for checked exception constraints.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	CheckedExceptionsUtil.ThrownCheckedException	A checked exception that a functional expression can throw, viewed both as a TypeMirror and as an AnnotatedTypeMirror.

Method Summary

Modifier and Type	Method	Description
static boolean	isCheckedException(TypeMirror type, Java8InferenceContext context)	Returns true iff type is a checked exception.
static List<CheckedExceptionsUtil.ThrownCheckedException>	thrownCheckedExceptions(LambdaExpressionTree lambda, Java8InferenceContext context)	Returns the checked exception types that can be thrown by the lambda.

Methods inherited from class java.lang.Object

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

Method Details

thrownCheckedExceptions

public static List<CheckedExceptionsUtil.ThrownCheckedException> thrownCheckedExceptions(LambdaExpressionTree lambda,
 Java8InferenceContext context)

Returns the checked exception types that can be thrown by the lambda.

Parameters:

lambda - an expression

context - inference context

Returns:

the checked exception types that can be thrown by the lambda

isCheckedException

public static boolean isCheckedException(TypeMirror type,
 Java8InferenceContext context)

Returns true iff type is a checked exception.

Parameters:

type - an exception type to check (that is, Throwable or a subtype of it)

context - the context

Returns:

true iff type is a checked exception