org.plumelib.util

Class FileIOException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.io.IOException

org.plumelib.util.FileIOException

All Implemented Interfaces:

java.io.Serializable

public class FileIOException
extends java.io.IOException

This class extends IOException by also reporting a file name and line number at which the exception occurred. It requires use of a LineNumberReader.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
@Nullable java.lang.String	fileName The file being read when the IOException occurred.
int	lineNumber The line being read when the IOException occurred.

Constructor Summary

Constructors

Constructor and Description
FileIOException() Create a dummy FileIOException.
FileIOException(@Nullable java.io.LineNumberReader reader, java.io.File file, @Nullable java.lang.Throwable cause) Create a FileIOException.
FileIOException(@Nullable java.io.LineNumberReader reader, @Nullable java.lang.String fileName, @Nullable java.lang.Throwable cause) Create a FileIOException.
FileIOException(@Nullable java.io.LineNumberReader reader, @Nullable java.lang.Throwable cause) Create a FileIOException.
FileIOException(@Nullable java.lang.String message) Create a FileIOException with no known file name or line number (which is kind of pointless; you might as well just have a regular exception).
FileIOException(@Nullable java.lang.String message, @Nullable java.io.LineNumberReader reader) Create a FileIOException.
FileIOException(@Nullable java.lang.String message, @Nullable java.io.LineNumberReader reader, java.io.File file) Create a FileIOException.
FileIOException(@Nullable java.lang.String message, @Nullable java.io.LineNumberReader reader, java.io.File file, @Nullable java.lang.Throwable cause) Create a FileIOException.
FileIOException(@Nullable java.lang.String message, @Nullable java.io.LineNumberReader reader, @Nullable java.lang.String fileName) Create a FileIOException.
FileIOException(@Nullable java.lang.String message, @Nullable java.io.LineNumberReader reader, @Nullable java.lang.String fileName, @Nullable java.lang.Throwable cause) Create a FileIOException.
FileIOException(@Nullable java.lang.String message, @Nullable java.io.LineNumberReader reader, @Nullable java.lang.Throwable cause) Create a FileIOException.
FileIOException(@Nullable java.lang.String message, @Nullable java.lang.String fileName, int lineNumber) Create a FileIOException.
FileIOException(@Nullable java.lang.String message, @Nullable java.lang.Throwable cause) Create a FileIOException.
FileIOException(@Nullable java.lang.String message, @Nullable java.lang.Throwable cause, @Nullable java.lang.String fileName, int lineNumber) Create a FileIOException.
FileIOException(@Nullable java.lang.Throwable cause) Create a FileIOException.

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace

Methods inherited from class java.lang.Object

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

Field Detail

fileName

public final @Nullable java.lang.String fileName

The file being read when the IOException occurred.

lineNumber

public final int lineNumber

The line being read when the IOException occurred.

Constructor Detail

FileIOException

public FileIOException()

Create a dummy FileIOException.

FileIOException

public FileIOException(@Nullable java.lang.Throwable cause)

Create a FileIOException.

Parameters:

cause - the exception that occurred

FileIOException

public FileIOException(@Nullable java.lang.String message)

Create a FileIOException with no known file name or line number (which is kind of pointless; you might as well just have a regular exception).

Parameters:

message - the detail message

FileIOException

public FileIOException(@Nullable java.lang.String message,
                       @Nullable java.lang.Throwable cause)

Create a FileIOException.

Parameters:

message - the detail message for the exception

cause - the exception that occurred

FileIOException

public FileIOException(@Nullable java.lang.String message,
                       @Nullable java.lang.String fileName,
                       int lineNumber)

Create a FileIOException.

Parameters:

message - the detail message for the exception

fileName - the name of the file being read

lineNumber - the line number to which the file has been read

FileIOException

public FileIOException(@Nullable java.lang.String message,
                       @Nullable java.lang.Throwable cause,
                       @Nullable java.lang.String fileName,
                       int lineNumber)

Create a FileIOException.

Parameters:

message - the detail message for the exception

cause - the exception that occurred

fileName - the name of the file being read

lineNumber - the line number to which the file has been read

FileIOException

public FileIOException(@Nullable java.io.LineNumberReader reader,
                       @Nullable java.lang.Throwable cause)

Create a FileIOException.

Parameters:

reader - the reader for the file being read (used for the line number only; no file name is known)

cause - the exception that occurred

FileIOException

public FileIOException(@Nullable java.lang.String message,
                       @Nullable java.io.LineNumberReader reader)

Create a FileIOException.

Parameters:

message - the detail message for the exception

reader - indicates the line number at which the exception occurred; there is no known file name

FileIOException

public FileIOException(@Nullable java.lang.String message,
                       @Nullable java.io.LineNumberReader reader,
                       @Nullable java.lang.Throwable cause)

Create a FileIOException.

Parameters:

message - the detail message for the exception

reader - the reader for the file being read

cause - the exception that occurred

FileIOException

public FileIOException(@Nullable java.lang.String message,
                       @Nullable java.io.LineNumberReader reader,
                       @Nullable java.lang.String fileName)

Create a FileIOException.

Parameters:

message - the detail message for the exception

reader - the reader for the file being read (used for the line number only)

fileName - the name of the file being read

FileIOException

public FileIOException(@Nullable java.io.LineNumberReader reader,
                       @Nullable java.lang.String fileName,
                       @Nullable java.lang.Throwable cause)

Create a FileIOException.

Parameters:

reader - the reader for the file being read (used for the line number only)

fileName - the name of the file being read

cause - the exception that occurred

FileIOException

public FileIOException(@Nullable java.lang.String message,
                       @Nullable java.io.LineNumberReader reader,
                       @Nullable java.lang.String fileName,
                       @Nullable java.lang.Throwable cause)

Create a FileIOException.

Parameters:

message - the detail message for the exception

reader - the reader for the file being read (used for the line number only)

fileName - the name of the file being read

cause - the exception that occurred

FileIOException

public FileIOException(@Nullable java.lang.String message,
                       @Nullable java.io.LineNumberReader reader,
                       java.io.File file)

Create a FileIOException.

Parameters:

message - the detail message for the exception

reader - the reader for the file being read (used for the line number only)

file - the file being read (used for its name only)

FileIOException

public FileIOException(@Nullable java.lang.String message,
                       @Nullable java.io.LineNumberReader reader,
                       java.io.File file,
                       @Nullable java.lang.Throwable cause)

Create a FileIOException.

Parameters:

message - the detail message for the exception

reader - the reader for the file being read (used for the line number only)

file - the file being read (used for its name only)

cause - the exception that occurred

FileIOException

public FileIOException(@Nullable java.io.LineNumberReader reader,
                       java.io.File file,
                       @Nullable java.lang.Throwable cause)

Create a FileIOException.

Parameters:

reader - the reader for the file being read (used for the line number only)

file - the file being read (used for its name only)

cause - the exception that occurred

Method Detail

toString

@SideEffectFree
public java.lang.String toString(@GuardSatisfied FileIOException this)

Overrides:

toString in class java.lang.Throwable