@Override
public EObject getEObject(String uriFragment) {
if (mirror != null) {
EObject result = mirror.getEObject(this, uriFragment, fragmentProviderFallback);
return result;
}
return super.getEObject(uriFragment);
}
@Override
public String getURIFragment(EObject eObject) {
if (mirror != null) {
String result = mirror.getFragment(eObject, fragmentProviderFallback);
return result;
}
return super.getURIFragment(eObject);
}
@Override
protected void doLoad(InputStream inputStream, Map<?, ?> options) throws IOException {
try {
if (getURI() != null && mirror != null) {
if (mirror instanceof IMirrorOptionsAware) {
((IMirrorOptionsAware) mirror).initialize(this, options);
} else {
mirror.initialize(this);
}
}
} catch (Exception e) {
if (typeResourceServices != null) {
OperationCanceledManager operationCanceledManager =
typeResourceServices.getOperationCanceledManager();
if (operationCanceledManager.isOperationCanceledException(e)) {
unload();
}
operationCanceledManager.propagateAsErrorIfCancelException(e);
}
throw new CannotLoadTypeResourceException(e);
}
}
