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