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

Class CheckedExceptionsUtil

java.lang.Object

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

public class CheckedExceptionsUtil
extends Object

Util for checked exception constraints.

Method Summary

Modifier and Type	Method	Description
static List<TypeMirror>	thrownCheckedExceptions(LambdaExpressionTree lambda, Java8InferenceContext context)	Returns a list of checked exception types that can be thrown by the lambda.
static List<AnnotatedTypeMirror>	thrownCheckedExceptionsATM(LambdaExpressionTree lambda, Java8InferenceContext context)	Returns a list of 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<TypeMirror> thrownCheckedExceptions(LambdaExpressionTree lambda,
 Java8InferenceContext context)

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

Parameters:

lambda - an expression

context - inference context

Returns:

a list of types of checked exceptions that can be thrown by the lambda

thrownCheckedExceptionsATM

public static List<AnnotatedTypeMirror> thrownCheckedExceptionsATM(LambdaExpressionTree lambda,
 Java8InferenceContext context)

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

Parameters:

lambda - an expression

context - inference context

Returns:

a list of types of checked exceptions that can be thrown by the lambda