From 01d2916606f4fffeee3b46b3cea1e74dac1384b9 Mon Sep 17 00:00:00 2001 From: Aosen Xiong <82676488+Ao-senXiong@users.noreply.github.com> Date: Sat, 7 Sep 2024 18:40:33 -0400 Subject: [PATCH] Use standard "exception parameter" terminology (#902) Co-authored-by: Werner Dietl --- docs/manual/advanced-features.tex | 8 ++++---- .../checkerframework/common/basetype/messages.properties | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/manual/advanced-features.tex b/docs/manual/advanced-features.tex index 52ee1774070..306bb8ce006 100644 --- a/docs/manual/advanced-features.tex +++ b/docs/manual/advanced-features.tex @@ -384,11 +384,11 @@ locations. Variables defaulted to top include local variables, resource variables in the -try-with-resources construct, variables in \ statements, and \ -arguments (known as exception parameters in the Java Language Specification). +try-with-resources construct, and variables in \ statements. -Exception parameters default to the top type because they might catch an -exception thrown anywhere in the program. +\item +Exception parameters in catch clauses default to the top type because they +might catch an exception thrown anywhere in the program. An alternate design for exception parameters would be to default exception parameters some other type T (instead of the top type); then the Checker diff --git a/framework/src/main/java/org/checkerframework/common/basetype/messages.properties b/framework/src/main/java/org/checkerframework/common/basetype/messages.properties index cde4f3f1971..1644fa2acdb 100644 --- a/framework/src/main/java/org/checkerframework/common/basetype/messages.properties +++ b/framework/src/main/java/org/checkerframework/common/basetype/messages.properties @@ -31,7 +31,7 @@ type.invalid.super.wildcard=bounds must have the same annotations.%nextends boun cast.unsafe=cast from "%s" to "%s" cannot be statically verified invariant.cast.unsafe=cannot cast from "%s" to "%s" cast.unsafe.constructor.invocation=constructor invocation cast from "%s" to "%s" cannot be statically verified -exception.parameter.invalid=invalid type in catch argument.%nfound : %s%nrequired: %s +exception.parameter.invalid=invalid type in exception parameter.%nfound : %s%nrequired: %s throw.type.invalid=invalid type thrown.%nfound : %s%nrequired: %s expression.unparsable.type.invalid=Expression invalid in dependent type annotation: %s explicit.annotation.ignored=The qualifier %s is ignored in favor of %s. Either delete %s or change it to %s.