org.eclipse.xtext.ui.editor.model
Class XtextDocumentProvider.UnchangedElementListener

java.lang.Object
  org.eclipse.xtext.ui.editor.model.XtextDocumentProvider.UnchangedElementListener

All Implemented Interfaces:

org.eclipse.jface.text.IDocumentListener

Enclosing class:

XtextDocumentProvider

public class XtextDocumentProvider.UnchangedElementListener
extends java.lang.Object
implements org.eclipse.jface.text.IDocumentListener

Constructor Summary

XtextDocumentProvider.UnchangedElementListener(org.eclipse.ui.texteditor.AbstractDocumentProvider.ElementInfo element)

Method Summary

void	documentAboutToBeChanged(org.eclipse.jface.text.DocumentEvent event) The manipulation described by the document event will be performed.
void	documentChanged(org.eclipse.jface.text.DocumentEvent event) The manipulation described by the document event has been performed.

Methods inherited from class java.lang.Object

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

Constructor Detail

XtextDocumentProvider.UnchangedElementListener

public XtextDocumentProvider.UnchangedElementListener(org.eclipse.ui.texteditor.AbstractDocumentProvider.ElementInfo element)

Method Detail

documentAboutToBeChanged

public void documentAboutToBeChanged(org.eclipse.jface.text.DocumentEvent event)

Description copied from interface: org.eclipse.jface.text.IDocumentListener

The manipulation described by the document event will be performed.

Specified by:

documentAboutToBeChanged in interface org.eclipse.jface.text.IDocumentListener

Parameters:

event - the document event describing the document change

documentChanged

public void documentChanged(org.eclipse.jface.text.DocumentEvent event)

Description copied from interface: org.eclipse.jface.text.IDocumentListener

The manipulation described by the document event has been performed.

Specified by:

documentChanged in interface org.eclipse.jface.text.IDocumentListener

Parameters:

event - the document event describing the document change