public interface IDiagramEditorInput
Modifier and Type | Method and Description |
---|---|
String |
getProviderId() |
org.eclipse.emf.common.util.URI |
getUri() |
String |
getUriString() |
void |
setProviderId(String providerId) |
void |
updateUri(org.eclipse.emf.common.util.URI newURI) |