|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
JFlex.ScannerException
This Exception could be thrown while scanning the specification (e.g. unmatched input)
Field Summary | |
int |
column
|
java.io.File |
file
|
int |
line
|
int |
message
|
Constructor Summary | |
ScannerException(java.io.File file,
int message)
Creates a new ScannerException for a file with a message only. |
|
ScannerException(java.io.File file,
int message,
int line)
Creates a new ScannerException for a file with a message and line number. |
|
ScannerException(java.io.File file,
int message,
int line,
int column)
Creates a new ScannerException with a message, line number and column. |
|
ScannerException(int message)
Creates a new ScannerException with a message only. |
|
ScannerException(int message,
int line)
Creates a new ScannerException with a message and line number. |
Methods inherited from class java.lang.Throwable |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, 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 |
public int line
public int column
public int message
public java.io.File file
Constructor Detail |
public ScannerException(int message)
message
- the code for the error description presented to the user.public ScannerException(java.io.File file, int message)
file
- the file in which the error occuredmessage
- the code for the error description presented to the user.public ScannerException(int message, int line)
message
- the code for the error description presented to the user.line
- the number of the line in the specification that
contains the errorpublic ScannerException(java.io.File file, int message, int line)
message
- the code for the error description presented to the user.line
- the number of the line in the specification that
contains the errorpublic ScannerException(java.io.File file, int message, int line, int column)
message
- the code for the error description presented to the user.line
- the number of the line in the specification that
contains the errorcolumn
- the column where the error starts
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |