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

java.lang.Object
  extended by org.eclipse.jface.text.DocumentEvent
      extended by 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()