@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); } }