- java.lang.Object
-
- org.eclipse.graphiti.ui.editor.DiagramEditorInput
-
- eu.vicci.process.graphiti.execution.ui.ExecuteProcessEditorInput
-
-
Field Summary
-
Fields inherited from class org.eclipse.graphiti.ui.editor.DiagramEditorInput
KEY_PROVIDER_ID, KEY_URI
-
Method Summary
-
Methods inherited from class org.eclipse.graphiti.ui.editor.DiagramEditorInput
createEditorInput, exists, getAdapter, getFactoryId, getImageDescriptor, getName, getPersistable, getProviderId, getToolTipText, getUri, getUriString, hashCode, hasName, saveState, setName, setProviderId, toString, updateUri
Copyright © 2018. All rights reserved.