Class AnnotatedTextEdit


  • public class AnnotatedTextEdit
    extends TextEdit
    A special text edit with an additional change annotation.

    Since 3.16.0

    • Constructor Detail

      • AnnotatedTextEdit

        public AnnotatedTextEdit()
      • AnnotatedTextEdit

        public AnnotatedTextEdit​(Range range,
                                 java.lang.String newText,
                                 java.lang.String annotationId)
    • Method Detail

      • getAnnotationId

        public java.lang.String getAnnotationId()
        The actual annotation identifier
      • setAnnotationId

        public void setAnnotationId​(java.lang.String annotationId)
        The actual annotation identifier
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class TextEdit
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class TextEdit