Package jflex.scanner

Class 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)
    Version:
    JFlex 1.9.1
    See Also:
    Serialized Form
    • 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
      • file

        public java.io.File file
    • Constructor Detail

      • ScannerException

        private ScannerException​(java.io.File file,
                                 java.lang.String text,
                                 ErrorMessages message,
                                 int line,
                                 int column)
      • 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 occurred
        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
        file - a File object.
      • 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
        file - a File object.