org.eclipse.xtext.ui.editor.model
Class XtextDocumentEvent

java.lang.Object
  org.eclipse.jface.text.DocumentEvent
      org.eclipse.xtext.ui.editor.model.XtextDocumentEvent

public class XtextDocumentEvent
extends org.eclipse.jface.text.DocumentEvent

Author:

Sven Efftinge - Initial contribution and API

Field Summary

Fields inherited from class org.eclipse.jface.text.DocumentEvent

fDocument, fLength, fModificationStamp, fOffset, fText

Constructor Summary

XtextDocumentEvent(org.eclipse.jface.text.DocumentEvent original, org.eclipse.jface.text.Region damagedRegion)

Method Summary

org.eclipse.jface.text.Region	getDamagedRegion()
org.eclipse.jface.text.DocumentEvent	getOriginalDocumentEvent()

Methods inherited from class org.eclipse.jface.text.DocumentEvent

getDocument, getLength, getModificationStamp, getOffset, getText, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

XtextDocumentEvent

public XtextDocumentEvent(org.eclipse.jface.text.DocumentEvent original,
                          org.eclipse.jface.text.Region damagedRegion)

Method Detail

getDamagedRegion

public org.eclipse.jface.text.Region getDamagedRegion()

getOriginalDocumentEvent

public org.eclipse.jface.text.DocumentEvent getOriginalDocumentEvent()