bundles/org.simantics.help.ui/src/org/simantics/help/ui/OpenHelpFileAdapter.java

   1 package org.simantics.help.ui;
   2
   3 import org.eclipse.ui.PartInitException;
   4 import org.eclipse.ui.PlatformUI;
   5 import org.simantics.Simantics;
   6 import org.simantics.db.ReadGraph;
   7 import org.simantics.db.Resource;
   8 import org.simantics.db.common.request.PossibleIndexRoot;
   9 import org.simantics.db.common.request.ReadRequest;
  10 import org.simantics.db.exception.DatabaseException;
  11 import org.simantics.db.layer0.variable.RVI;
  12 import org.simantics.db.layer0.variable.Variable;
  13 import org.simantics.db.layer0.variable.Variables;
  14 import org.simantics.help.HelpResources;
  15 import org.simantics.ui.workbench.ResourceEditorInput2;
  16 import org.simantics.ui.workbench.editor.AbstractResourceEditorAdapter;
  17 import org.simantics.utils.ui.workbench.WorkbenchUtils;
  18 import org.slf4j.Logger;
  19 import org.slf4j.LoggerFactory;
  20
  21 public class OpenHelpFileAdapter extends AbstractResourceEditorAdapter {
  22     private static final Logger LOGGER = LoggerFactory.getLogger(OpenHelpFileAdapter.class);
  23
  24     public OpenHelpFileAdapter() {
  25         super("Help File Editor");
  26     }
  27
  28     protected String getEditorId() {
  29         return HelpFileEditor.getEditorId();
  30     }
  31
  32     @Override
  33     protected boolean canHandle(ReadGraph g, Resource input) throws DatabaseException {
  34         return g.isInstanceOf(input, HelpResources.getInstance(g).HelpFile);
  35     }
  36
  37     @Override
  38     protected void openEditor(Resource input) throws Exception {
  39         Simantics.getSession().asyncRequest(new ReadRequest() {
  40             @Override
  41             public void run(ReadGraph g) throws DatabaseException {
  42
  43                 Variable variable = Variables.getVariable(g, input);
  44                 final Resource model = g.syncRequest(new PossibleIndexRoot(input));
  45                 final RVI rvi = variable.getPossibleRVI(g);
  46
  47                 PlatformUI.getWorkbench().getDisplay().asyncExec(new Runnable() {
  48                     @Override
  49                     public void run() {
  50                         try {
  51                             String editorId = getEditorId();
  52                             WorkbenchUtils.openEditor(editorId, new ResourceEditorInput2(editorId, input, model, rvi));
  53                         } catch (PartInitException e) {
  54                             LOGGER.error("Failed to open an editor for help file.", e);
  55                         }
  56                     }
  57                 });
  58             }
  59         });
  60     }
  61
  62 }