JFlex

Class ScannerException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

JFlex.ScannerException

All Implemented Interfaces:

java.io.Serializable

public class ScannerException
extends java.lang.RuntimeException

This Exception could be thrown while scanning the specification (e.g. unmatched input)

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
int	column
java.io.File	file
int	line
ErrorMessages	message

Constructor Summary

Constructors

Constructor and Description
ScannerException(ErrorMessages message) Creates a new ScannerException with a message only.
ScannerException(ErrorMessages message, int line) Creates a new ScannerException with a message and line number.
ScannerException(java.io.File file, ErrorMessages message) Creates a new ScannerException for a file with a message only.
ScannerException(java.io.File file, ErrorMessages message, int line) Creates a new ScannerException for a file with a message and line number.
ScannerException(java.io.File file, ErrorMessages message, int line, int column) Creates a new ScannerException with a message, line number and column.

Method Summary

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Field Detail

line

public int line

column

public int column

message

public ErrorMessages message

file

public java.io.File file

Constructor Detail

ScannerException

public ScannerException(ErrorMessages message)

Creates a new ScannerException with a message only.

Parameters:

message - the code for the error description presented to the user.

ScannerException

public ScannerException(java.io.File file,
                ErrorMessages message)

Creates a new ScannerException for a file with a message only.

Parameters:

file - the file in which the error occured

message - the code for the error description presented to the user.

ScannerException

public ScannerException(ErrorMessages message,
                int line)

Creates a new ScannerException with a message and line number.

Parameters:

message - the code for the error description presented to the user.

line - the number of the line in the specification that contains the error

ScannerException

public ScannerException(java.io.File file,
                ErrorMessages message,
                int line)

Creates a new ScannerException for a file with a message and line number.

Parameters:

message - the code for the error description presented to the user.

line - the number of the line in the specification that contains the error

ScannerException

public ScannerException(java.io.File file,
                ErrorMessages message,
                int line,
                int column)

Creates a new ScannerException with a message, line number and column.

Parameters:

message - the code for the error description presented to the user.

line - the number of the line in the specification that contains the error

column - the column where the error starts