Class SourceException

    • Method Summary

      Modifier and Type Method Description
      java.lang.String getMessageWithoutLocation()
      Retrieves the message for this exception without the appended source location.
      SourceLocation getSourceLocation()
      Gets the source location of a value.
      • 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
    • Constructor Detail

      • SourceException

        public SourceException​(java.lang.String message,
                               FromSourceLocation sourceLocation,
                               java.lang.Throwable cause)
      • SourceException

        public SourceException​(java.lang.String message,
                               FromSourceLocation sourceLocation)
    • Method Detail

      • getMessageWithoutLocation

        public java.lang.String getMessageWithoutLocation()
        Retrieves the message for this exception without the appended source location.
        Returns:
        The trimmed message.