org.ocleditor.internal.ui.editor
Class OclDocumentProvider

java.lang.Object
  org.eclipse.ui.texteditor.AbstractDocumentProvider
      org.eclipse.ui.editors.text.StorageDocumentProvider
          org.eclipse.ui.editors.text.FileDocumentProvider
              org.ocleditor.internal.ui.editor.OclDocumentProvider

All Implemented Interfaces:

org.eclipse.ui.texteditor.IDocumentProvider, org.eclipse.ui.texteditor.IDocumentProviderExtension, org.eclipse.ui.texteditor.IDocumentProviderExtension2, org.eclipse.ui.texteditor.IDocumentProviderExtension3, org.eclipse.ui.editors.text.IStorageDocumentProvider

public class OclDocumentProvider

extends org.eclipse.ui.editors.text.FileDocumentProvider

Document provider for OCL files.

Constructor Summary

OclDocumentProvider()

Methods inherited from class org.eclipse.ui.editors.text.FileDocumentProvider

getModificationStamp, getSynchronizationStamp, isDeleted, isModifiable, isSynchronized

Methods inherited from class org.eclipse.ui.editors.text.StorageDocumentProvider

getDefaultEncoding, getEncoding, isReadOnly, setEncoding

Methods inherited from class org.eclipse.ui.texteditor.AbstractDocumentProvider

aboutToChange, addElementStateListener, canSaveDocument, changed, connect, disconnect, getAnnotationModel, getDocument, getProgressMonitor, getStatus, isStateValidated, mustSaveDocument, removeElementStateListener, resetDocument, saveDocument, setCanSaveDocument, setProgressMonitor, synchronize, updateStateCache, validateState

Methods inherited from class java.lang.Object

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

Constructor Detail

OclDocumentProvider

public OclDocumentProvider()