|
 |
|
|
org.eclipse.gmf.runtime.diagram.ui.resources.editor.ide.document
Class FileDiagramDocumentProvider.DiagramFileInfo
java.lang.Object
org.eclipse.gmf.runtime.diagram.ui.resources.editor.document.AbstractDocumentProvider.ElementInfo
org.eclipse.gmf.runtime.diagram.ui.resources.editor.ide.document.StorageDocumentProvider.StorageInfo
org.eclipse.gmf.runtime.diagram.ui.resources.editor.ide.document.FileDocumentProvider.FileInfo
org.eclipse.gmf.runtime.diagram.ui.resources.editor.ide.document.FileDiagramDocumentProvider.DiagramFileInfo
-
All Implemented Interfaces:
-
IDocumentListener
-
Enclosing class:
-
FileDiagramDocumentProvider
-
public class FileDiagramDocumentProvider.DiagramFileInfo
- extends
FileDocumentProvider.FileInfo
Methods inherited from class java.lang.Object
|
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
|
FileDiagramDocumentProvider.DiagramFileInfo
public FileDiagramDocumentProvider.DiagramFileInfo(
IDocument document,
FileDocumentProvider.FileSynchronizer fileSynchronizer,
DiagramModificationListener listener)
- Creates and returns a new file info.
-
Parameters:
-
document - the document -
model - the annotation model -
fileSynchronizer - the file synchronizer
documentAboutToBeChanged
public void documentAboutToBeChanged(
DocumentEvent event)
-
Description copied from interface:
IDocumentListener
- The manipulation described by the document event will be performed.
-
-
Specified by:
-
documentAboutToBeChanged
in interface
IDocumentListener
-
Overrides:
-
documentAboutToBeChanged
in class
AbstractDocumentProvider.ElementInfo
-
-
Parameters:
-
event - the document event describing the document change -
See Also:
-
IDocumentListener.documentAboutToBeChanged(DocumentEvent)
Guidelines for using Eclipse APIs.
Copyright (c) IBM Corp., Borland Software Corp., and others 2005,2006. All rights reserved.
|
|
|