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.8.2
    See Also:
    Serialized Form
    • Constructor Detail

      • ScannerException

        private ScannerException​(java.io.File file,
                                 java.lang.String text,
                                 ErrorMessages.ErrorMessage message,
                                 int line,
                                 int column)
      • ScannerException

        public ScannerException​(ErrorMessages.ErrorMessage 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.ErrorMessage 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.ErrorMessage 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.ErrorMessage 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.ErrorMessage 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.