Package play.api

Class PlayException.ExceptionSource

    • Constructor Detail

      • ExceptionSource

        public ExceptionSource​(String title,
                               String description)
    • Method Detail

      • line

        public abstract Integer line()
        Error line number, if defined.
        Returns:
        Error line number, if defined.
      • position

        public abstract Integer position()
        Column position, if defined.
        Returns:
        Column position, if defined.
      • input

        public abstract String input()
        Returns:
        Input stream used to read the source content.

        Input stream used to read the source content.

      • sourceName

        public abstract String sourceName()
        The source file name if defined.
        Returns:
        The source file name if defined.
      • interestingLines

        public PlayException.InterestingLines interestingLines​(int border)
        Extracts interesting lines to be displayed to the user.
        Parameters:
        border - number of lines to use as a border
        Returns:
        the extracted lines