Class PlainText

    • Field Detail

      • text

        private java.lang.String text
    • Constructor Detail

      • PlainText

        public PlainText​(SourceRef sourceRef,
                         java.lang.String text)
    • Method Detail

      • getText

        public java.lang.String getText()
      • isWhitespace

        public boolean isWhitespace()
      • trim

        public void trim()
      • trailingWhitespaceLengthToStartOfLine

        public int trailingWhitespaceLengthToStartOfLine()
      • leadingWhitespaceLengthToEndOfLine

        public int leadingWhitespaceLengthToEndOfLine()
      • chompTrailingWhitespaceToStartOfLine

        public int chompTrailingWhitespaceToStartOfLine()
      • chompTrailingLength

        public void chompTrailingLength​(int length)
      • chompLeadingWhitespaceToEndOfLine

        public int chompLeadingWhitespaceToEndOfLine()
      • chompLeadingLength

        public void chompLeadingLength​(int length)
      • findSourcePositionOfNonWhitespace

        public SourcePosition findSourcePositionOfNonWhitespace()
      • unescape

        public static java.lang.String unescape​(java.lang.String s)