Class DocumentRewriteSessionEvent

    • Field Detail

      • SESSION_START

        public static final java.lang.Object SESSION_START
      • SESSION_STOP

        public static final java.lang.Object SESSION_STOP
      • fDocument

        public IDocument fDocument
        The changed document
      • fChangeType

        public java.lang.Object fChangeType
        The change type
    • Constructor Detail

      • DocumentRewriteSessionEvent

        public DocumentRewriteSessionEvent​(IDocument doc,
                                           DocumentRewriteSession session,
                                           java.lang.Object changeType)
        Creates a new document event.
        Parameters:
        doc - the changed document
        session - the session
        changeType - the change type. This is either SESSION_START or SESSION_STOP.
    • Method Detail

      • getDocument

        public IDocument getDocument()
        Returns the changed document.
        Returns:
        the changed document
      • getChangeType

        public java.lang.Object getChangeType()
        Returns the change type of this event. This is either SESSION_STARTor SESSION_STOP.
        Returns:
        the change type of this event
      • getSession

        public DocumentRewriteSession getSession()
        Returns the rewrite session.
        Returns:
        the rewrite session