|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.ui.texteditor.AbstractDocumentProvider
org.eclipse.ui.editors.text.StorageDocumentProvider
org.eclipse.ui.editors.text.FileDocumentProvider
edu.wis.jtlv.env.ui.editors.smv.SMVDocumentProvider
public class SMVDocumentProvider
| 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 |
|---|
public SMVDocumentProvider()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||