/** @generated */ protected IDocumentProvider getDocumentProvider(IEditorInput input) { if (input instanceof IFileEditorInput || input instanceof URIEditorInput) { return SqlmodelDiagramEditorPlugin.getInstance() .getDocumentProvider(getEditingDomainID(), input); } return super.getDocumentProvider(input); }
/** @generated */ protected void setDocumentProvider(IEditorInput input) { if (input instanceof IFileEditorInput || input instanceof URIEditorInput) { setDocumentProvider( SqlmodelDiagramEditorPlugin.getInstance() .getDocumentProvider(getEditingDomainID(), input)); } else { super.setDocumentProvider(input); } }