public interface OldResourceProvider
resource
of unloaded EObject
s. Useful in cases
where the URI of the former resource is not part of the proxy URI
of the unloaded
EObject
s.Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.ecore.resource.Resource |
getOldResource()
|