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

   1 package org.simantics.help.ui;\r
   2 \r
   3 import java.io.PrintWriter;\r
   4 import java.io.StringWriter;\r
   5 \r
   6 import org.eclipse.core.runtime.CoreException;\r
   7 import org.eclipse.core.runtime.IProgressMonitor;\r
   8 import org.eclipse.jface.operation.IRunnableContext;\r
   9 import org.eclipse.jface.text.Document;\r
  10 import org.eclipse.jface.text.IDocument;\r
  11 import org.eclipse.jface.text.source.IAnnotationModel;\r
  12 import org.eclipse.ui.texteditor.AbstractDocumentProvider;\r
  13 import org.simantics.Simantics;\r
  14 import org.simantics.databoard.Bindings;\r
  15 import org.simantics.db.ReadGraph;\r
  16 import org.simantics.db.Resource;\r
  17 import org.simantics.db.WriteGraph;\r
  18 import org.simantics.db.common.request.UniqueRead;\r
  19 import org.simantics.db.common.request.WriteRequest;\r
  20 import org.simantics.db.exception.DatabaseException;\r
  21 import org.simantics.db.layer0.util.Layer0Utils;\r
  22 import org.simantics.help.core.HelpUtils;\r
  23 import org.simantics.layer0.Layer0;\r
  24 import org.simantics.ui.workbench.IResourceEditorInput;\r
  25 import org.simantics.utils.logging.TimeLogger;\r
  26 \r
  27 public class HelpFileDocumentProvider extends AbstractDocumentProvider {\r
  28 \r
  29     private Resource resource;\r
  30     private String currentText;\r
  31     private boolean errorHappened;\r
  32 \r
  33     @Override\r
  34     protected IDocument createDocument(Object element) throws CoreException {\r
  35         IResourceEditorInput input = (IResourceEditorInput) element;\r
  36         resource = input.getResource();\r
  37         try {\r
  38             return Simantics.getSession().syncRequest(new UniqueRead<Document>() {\r
  39                 @Override\r
  40                 public Document perform(ReadGraph graph) throws DatabaseException {\r
  41                     currentText = HelpUtils.readHelpFileContents(graph, resource);\r
  42                     errorHappened = false;\r
  43                     return new Document(currentText != null ? currentText : "");\r
  44                 }\r
  45             });\r
  46         } catch (DatabaseException e) {\r
  47             StringWriter sw = new StringWriter();\r
  48             PrintWriter pw = new PrintWriter(sw);\r
  49             e.printStackTrace(pw);\r
  50             errorHappened = true;\r
  51             return new Document(sw.toString());\r
  52         }\r
  53     }\r
  54 \r
  55     @Override\r
  56     protected IAnnotationModel createAnnotationModel(Object element) throws CoreException {\r
  57         return null;\r
  58     }\r
  59 \r
  60     @Override\r
  61     protected void doSaveDocument(IProgressMonitor monitor, Object element, IDocument document, boolean overwrite) throws CoreException {\r
  62         TimeLogger.resetTimeAndLog("HelpFileDocumentProvider.doSaveDocument");\r
  63         currentText = document.get();\r
  64         Simantics.getSession().asyncRequest(new WriteRequest() {\r
  65             @Override\r
  66             public void perform(WriteGraph graph) throws DatabaseException {\r
  67                 graph.markUndoPoint();\r
  68                 HelpUtils.saveHelpFileContents(graph, resource, currentText);\r
  69                 Layer0Utils.addCommentMetadata(graph, "Saved SCL Module " + graph.getRelatedValue2(resource, Layer0.getInstance(graph).HasName, Bindings.STRING));\r
  70             }\r
  71         });\r
  72     }\r
  73 \r
  74     @Override\r
  75     protected IRunnableContext getOperationRunner(IProgressMonitor monitor) {\r
  76         return null;\r
  77     }\r
  78     \r
  79     @Override\r
  80     public boolean isModifiable(Object element) {\r
  81         return !errorHappened;\r
  82     }\r
  83     \r
  84     @Override\r
  85     public boolean isReadOnly(Object element) {\r
  86         return errorHappened;\r
  87     }\r
  88 \r
  89     @Override\r
  90     public boolean canSaveDocument(Object element) {\r
  91         return !errorHappened && !getDocument(element).get().equals(currentText);\r
  92     }\r
  93 \r
  94 }\r