org.dawb.tango.extensions.editors.spec
Class SpecDocumentProvider

java.lang.Object
  extended by org.eclipse.ui.editors.text.TextFileDocumentProvider
      extended by org.dawb.tango.extensions.editors.spec.SpecDocumentProvider
All Implemented Interfaces:
org.eclipse.ui.editors.text.IStorageDocumentProvider, org.eclipse.ui.texteditor.IDocumentProvider, org.eclipse.ui.texteditor.IDocumentProviderExtension, org.eclipse.ui.texteditor.IDocumentProviderExtension2, org.eclipse.ui.texteditor.IDocumentProviderExtension3, org.eclipse.ui.texteditor.IDocumentProviderExtension4, org.eclipse.ui.texteditor.IDocumentProviderExtension5

public class SpecDocumentProvider
extends org.eclipse.ui.editors.text.TextFileDocumentProvider


Constructor Summary
SpecDocumentProvider()
           
 
Method Summary
 
Methods inherited from class org.eclipse.ui.editors.text.TextFileDocumentProvider
aboutToChange, addElementStateListener, canSaveDocument, changed, connect, disconnect, getAnnotationModel, getContentType, getDefaultEncoding, getDocument, getEncoding, getModificationStamp, getProgressMonitor, getStatus, getSynchronizationStamp, isDeleted, isModifiable, isNotSynchronizedException, isReadOnly, isStateValidated, isSynchronized, mustSaveDocument, removeElementStateListener, resetDocument, saveDocument, setCanSaveDocument, setEncoding, setParentDocumentProvider, setProgressMonitor, synchronize, updateStateCache, validateState
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SpecDocumentProvider

public SpecDocumentProvider()