Skip to content

Annotate a few exceptions. #152

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
cpovirk wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Annotate a few exceptions. #152

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 5 additions & 1 deletion src/java.base/share/classes/java/io/UnsupportedEncodingException.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,12 +24,16 @@
*/
package java.io;

import org.jspecify.annotations.NullMarked;
import org.jspecify.annotations.Nullable;

/**
* The Character Encoding is not supported.
*
* @author Asmus Freytag
* @since 1.1
*/
@NullMarked
public class UnsupportedEncodingException
extends IOException
{
Expand All @@ -47,7 +51,7 @@ public UnsupportedEncodingException() {
* Constructs an UnsupportedEncodingException with a detail message.
* @param s Describes the reason for the exception.
*/
public UnsupportedEncodingException(String s) {
public UnsupportedEncodingException(@Nullable String s) {
super(s);
}
}
6 changes: 5 additions & 1 deletion src/java.base/share/classes/java/lang/MatchException.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,9 @@

package java.lang;

import org.jspecify.annotations.NullMarked;
import org.jspecify.annotations.Nullable;

/**
* Thrown to indicate an unexpected failure in pattern matching.
*
Expand Down Expand Up @@ -76,6 +79,7 @@
*
* @since 21
*/
@NullMarked
public final class MatchException extends RuntimeException {
@java.io.Serial
private static final long serialVersionUID = 0L;
Expand All @@ -91,7 +95,7 @@ public final class MatchException extends RuntimeException {
* permitted, and indicates that the cause is nonexistent or
* unknown.)
*/
public MatchException(String message, Throwable cause) {
public MatchException(@Nullable String message, @Nullable Throwable cause) {
super(message, cause);
}
}
3 changes: 2 additions & 1 deletion src/java.base/share/classes/java/nio/charset/MalformedInputException.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,7 @@

package java.nio.charset;

import org.jspecify.annotations.NullMarked;

/**
* Checked exception thrown when an input byte sequence is not legal for given
Expand All @@ -33,7 +34,7 @@
*
* @since 1.4
*/

@NullMarked
public class MalformedInputException
extends CharacterCodingException
{
Expand Down
3 changes: 2 additions & 1 deletion src/java.base/share/classes/java/nio/charset/UnmappableCharacterException.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,7 @@

package java.nio.charset;

import org.jspecify.annotations.NullMarked;

/**
* Checked exception thrown when an input character (or byte) sequence
Expand All @@ -33,7 +34,7 @@
*
* @since 1.4
*/

@NullMarked
public class UnmappableCharacterException
extends CharacterCodingException
{
Expand Down
Loading