bundles/org.simantics.modeling.ui/src/org/simantics/modeling/ui/componentTypeEditor/PGraphEditorDocumentProvider.java

   1 package org.simantics.modeling.ui.componentTypeEditor;\r
   2 \r
   3 import java.io.PrintWriter;\r
   4 import java.io.StringWriter;\r
   5 import java.util.Collections;\r
   6 import java.util.List;\r
   7 \r
   8 import org.eclipse.core.runtime.CoreException;\r
   9 import org.eclipse.core.runtime.IProgressMonitor;\r
  10 import org.eclipse.jface.operation.IRunnableContext;\r
  11 import org.eclipse.jface.text.Document;\r
  12 import org.eclipse.jface.text.IDocument;\r
  13 import org.eclipse.jface.text.Position;\r
  14 import org.eclipse.jface.text.source.Annotation;\r
  15 import org.eclipse.jface.text.source.AnnotationModel;\r
  16 import org.eclipse.jface.text.source.IAnnotationModel;\r
  17 import org.eclipse.ui.texteditor.AbstractDocumentProvider;\r
  18 import org.simantics.Simantics;\r
  19 import org.simantics.databoard.Bindings;\r
  20 import org.simantics.db.ReadGraph;\r
  21 import org.simantics.db.Resource;\r
  22 import org.simantics.db.WriteGraph;\r
  23 import org.simantics.db.common.request.ReadRequest;\r
  24 import org.simantics.db.common.request.UniqueRead;\r
  25 import org.simantics.db.common.request.WriteRequest;\r
  26 import org.simantics.db.exception.DatabaseException;\r
  27 import org.simantics.db.layer0.util.Layer0Utils;\r
  28 import org.simantics.layer0.Layer0;\r
  29 import org.simantics.scl.compiler.errors.CompilationError;\r
  30 import org.simantics.scl.compiler.errors.Locations;\r
  31 import org.simantics.ui.workbench.ResourceEditorInput;\r
  32 import org.simantics.utils.logging.TimeLogger;\r
  33 \r
  34 public class PGraphEditorDocumentProvider extends AbstractDocumentProvider {\r
  35 \r
  36     protected Resource resource;\r
  37     protected String currentText;\r
  38     protected boolean errorHappened;\r
  39 \r
  40     protected AnnotationModel annotationModel = new AnnotationModel();\r
  41 \r
  42     @Override\r
  43     protected IDocument createDocument(Object element) throws CoreException {\r
  44         ResourceEditorInput input = (ResourceEditorInput)element;\r
  45         resource = input.getResource();\r
  46         try {\r
  47             return Simantics.getSession().syncRequest(new UniqueRead<Document>() {\r
  48                 @Override\r
  49                 public Document perform(ReadGraph graph) throws DatabaseException {\r
  50                     Layer0 L0 = Layer0.getInstance(graph);\r
  51                     currentText = graph.getRelatedValue(resource, L0.PGraph_definition, Bindings.STRING);\r
  52                     errorHappened = false;\r
  53                     return new Document(currentText != null ? currentText : "");\r
  54                 }\r
  55             });\r
  56         } catch (DatabaseException e) {\r
  57             StringWriter sw = new StringWriter();\r
  58             PrintWriter pw = new PrintWriter(sw);\r
  59             e.printStackTrace(pw);\r
  60             errorHappened = true;\r
  61             return new Document(sw.toString());\r
  62         }\r
  63     }\r
  64 \r
  65     protected void updateAnnotations() {\r
  66         Simantics.getSession().asyncRequest(new ReadRequest() {\r
  67             @Override\r
  68             public void run(ReadGraph graph) throws DatabaseException {\r
  69                 setAnnotations(Collections.emptyList());\r
  70             }\r
  71         });\r
  72     }\r
  73 \r
  74     protected void setAnnotations(List<CompilationError> errors) {\r
  75         synchronized(annotationModel.getLockObject()) {\r
  76             annotationModel.removeAllAnnotations();\r
  77             for(CompilationError error : errors) {\r
  78                 Annotation annotation = new Annotation("org.eclipse.ui.workbench.texteditor.error", true,\r
  79                         error.description);\r
  80                 int begin = Locations.beginOf(error.location);\r
  81                 int end = Locations.endOf(error.location);\r
  82                 Position position = new Position(begin, end - begin);\r
  83                 annotationModel.addAnnotation(annotation, position);\r
  84             }\r
  85         }\r
  86     }\r
  87 \r
  88     boolean annotationsInitialized = false;\r
  89 \r
  90     @Override\r
  91     protected IAnnotationModel createAnnotationModel(Object element)\r
  92             throws CoreException {\r
  93         if(!annotationsInitialized) {\r
  94             updateAnnotations();\r
  95             annotationsInitialized = true;\r
  96         }\r
  97         return annotationModel;\r
  98     }\r
  99 \r
 100     @Override\r
 101     protected void doSaveDocument(IProgressMonitor monitor, Object element,\r
 102             IDocument document, boolean overwrite) throws CoreException {\r
 103         TimeLogger.resetTimeAndLog("PGraphEditorDocumentProvider.doSaveDocument");\r
 104         currentText = document.get();\r
 105         Simantics.getSession().asyncRequest(new WriteRequest() {\r
 106             @Override\r
 107             public void perform(WriteGraph graph) throws DatabaseException {\r
 108                 graph.markUndoPoint();\r
 109                 Layer0 L0 = Layer0.getInstance(graph);\r
 110                 graph.claimLiteral(resource, L0.PGraph_definition, currentText, Bindings.STRING);\r
 111                 Layer0Utils.addCommentMetadata(graph, "Saved Ontology Definition File " + graph.getRelatedValue2(resource, Layer0.getInstance(graph).HasName, Bindings.STRING));\r
 112             }\r
 113         });\r
 114     }\r
 115 \r
 116     @Override\r
 117     protected IRunnableContext getOperationRunner(IProgressMonitor monitor) {\r
 118         return null;\r
 119     }\r
 120 \r
 121     @Override\r
 122     public boolean isModifiable(Object element) {\r
 123         return !errorHappened;\r
 124     }\r
 125 \r
 126     @Override\r
 127     public boolean isReadOnly(Object element) {\r
 128         return errorHappened;\r
 129     }\r
 130 \r
 131 }\r