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

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
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()