Class SourceRef


  • public class SourceRef
    extends java.lang.Object
    • Field Detail

      • charLength

        private final int charLength
      • text

        private final java.lang.String text
    • Constructor Detail

      • SourceRef

        public SourceRef​(SourcePosition begin,
                         int charLength,
                         java.lang.String text)
    • Method Detail

      • getCharLength

        public int getCharLength()
      • getText

        public java.lang.String getText()
      • getConsoleFriendlyText

        public java.lang.String getConsoleFriendlyText()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object