edu.wis.jtlv.env.ui.editors.smv
Class SMVDocumentProvider

java.lang.Object
  extended by org.eclipse.ui.texteditor.AbstractDocumentProvider
      extended by org.eclipse.ui.editors.text.StorageDocumentProvider
          extended by org.eclipse.ui.editors.text.FileDocumentProvider
              extended by edu.wis.jtlv.env.ui.editors.smv.SMVDocumentProvider
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 SMVDocumentProvider
extends org.eclipse.ui.editors.text.FileDocumentProvider


Constructor Summary
SMVDocumentProvider()
           
 
Method Summary
 
Methods inherited from class org.eclipse.ui.editors.text.FileDocumentProvider
getContentType, getModificationStamp, getSynchronizationStamp, isDeleted, isModifiable, isSynchronized
 
Methods inherited from class org.eclipse.ui.editors.text.StorageDocumentProvider
getDefaultEncoding, getEncoding, isNotSynchronizedException, 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

SMVDocumentProvider

public SMVDocumentProvider()