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