public interface IEditorPageManager
Method Summary | |
---|---|
void |
createContents(java.io.OutputStream outputStream)
Create the editor-specific content in outputStream from getEcoreResource(). |
LazyTextEditor |
getEditor()
Return the editor managed by this page manager. |
org.eclipse.ui.IFileEditorInput |
getEditorInput()
Return the edit or input that is (or will become) the editor input once the editor is activated. |
boolean |
isActivePageManager()
Return true if this page is the selected as the active page.. |
boolean |
isContentPageManager()
Return true if this page has the most recently read/updated content. |
boolean |
isEditingAsSecondary()
Return true if this primary editor is currently editing its secondary page. |
void |
setEditingAsSecondary()
Configure a primary page editor to edit its secondary copy following completion of an edit in a secondary page. |
Methods inherited from interface org.eclipse.gmt.umlx.editor.IPageManager |
---|
activate, cannotDeactivate, deactivate, doSave, getCurrentContents, getFileExtension, getTitle, hasContent, hasCopy, isDirty, isDirtyPage, isPrimary, postDeactivate, refresh, saveTo, setActive |
Method Detail |
---|
void createContents(java.io.OutputStream outputStream) throws org.eclipse.gmt.umlx.alien.mapping.MappingConfigurationException, java.io.IOException
org.eclipse.gmt.umlx.alien.mapping.MappingConfigurationException
java.io.IOException
LazyTextEditor getEditor()
org.eclipse.ui.IFileEditorInput getEditorInput()
boolean isActivePageManager()
boolean isContentPageManager()
boolean isEditingAsSecondary()
void setEditingAsSecondary()