1 package org.simantics.modeling.ui.componentTypeEditor;
\r
3 import java.io.PrintWriter;
\r
4 import java.io.StringWriter;
\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.Position;
\r
12 import org.eclipse.jface.text.source.Annotation;
\r
13 import org.eclipse.jface.text.source.AnnotationModel;
\r
14 import org.eclipse.jface.text.source.IAnnotationModel;
\r
15 import org.eclipse.ui.texteditor.AbstractDocumentProvider;
\r
16 import org.simantics.Simantics;
\r
17 import org.simantics.databoard.Bindings;
\r
18 import org.simantics.db.ReadGraph;
\r
19 import org.simantics.db.Resource;
\r
20 import org.simantics.db.WriteGraph;
\r
21 import org.simantics.db.common.request.UniqueRead;
\r
22 import org.simantics.db.common.request.WriteRequest;
\r
23 import org.simantics.db.exception.DatabaseException;
\r
24 import org.simantics.db.procedure.Listener;
\r
25 import org.simantics.db.request.Read;
\r
26 import org.simantics.modeling.ComponentTypeScriptRequest;
\r
27 import org.simantics.modeling.ComponentTypeScriptResult;
\r
28 import org.simantics.scl.compiler.errors.CompilationError;
\r
29 import org.simantics.scl.compiler.errors.Locations;
\r
30 import org.simantics.structural.stubs.StructuralResource2;
\r
31 import org.simantics.structural2.utils.StructuralUtils;
\r
32 import org.simantics.ui.workbench.ResourceEditorInput;
\r
33 import org.simantics.utils.logging.TimeLogger;
\r
35 public class ComponentTypeScriptDocumentProvider extends AbstractDocumentProvider {
\r
37 protected ComponentTypeScriptEditor editor;
\r
39 protected Resource resource;
\r
40 protected String currentText;
\r
41 protected boolean immutable;
\r
42 protected boolean errorHappened;
\r
44 protected AnnotationModel annotationModel = new AnnotationModel();
\r
46 protected boolean annotationsInitialized = false;
\r
48 public ComponentTypeScriptDocumentProvider(ComponentTypeScriptEditor editor) {
\r
49 this.editor = editor;
\r
53 protected IDocument createDocument(Object element) throws CoreException {
\r
54 ResourceEditorInput input = (ResourceEditorInput)element;
\r
55 resource = input.getResource();
\r
57 return Simantics.getSession().syncRequest(new UniqueRead<Document>() {
\r
59 public Document perform(ReadGraph graph) throws DatabaseException {
\r
60 StructuralResource2 STR = StructuralResource2.getInstance(graph);
\r
61 currentText = graph.getRelatedValue(resource, STR.ComponentTypeScript_code, Bindings.STRING);
\r
62 Resource owner = graph.getPossibleObject(resource, STR.ComponentType_hasScript_Inverse);
\r
63 immutable = owner != null && StructuralUtils.isImmutable(graph, owner);
\r
64 errorHappened = false;
\r
65 return new Document(currentText != null ? currentText : "");
\r
68 } catch (DatabaseException e) {
\r
69 StringWriter sw = new StringWriter();
\r
70 PrintWriter pw = new PrintWriter(sw);
\r
71 e.printStackTrace(pw);
\r
72 errorHappened = true;
\r
73 return new Document(sw.toString());
\r
77 protected void updateAnnotations() {
\r
78 Simantics.getSession().asyncRequest(new Read<ComponentTypeScriptResult>() {
\r
80 public ComponentTypeScriptResult perform(ReadGraph graph) throws DatabaseException {
\r
81 // is this the correct way to obtain the parent?
\r
82 StructuralResource2 str = StructuralResource2.getInstance(graph);
\r
83 Resource componentType = graph.getSingleObject(resource, str.ComponentType_hasScript_Inverse);
\r
85 return graph.syncRequest(new ComponentTypeScriptRequest(resource, componentType));
\r
87 }, new Listener<ComponentTypeScriptResult>() {
\r
90 public void execute(ComponentTypeScriptResult result) {
\r
91 synchronized(annotationModel.getLockObject()) {
\r
92 annotationModel.removeAllAnnotations();
\r
93 for(CompilationError error : result.getErrors()) {
\r
94 Annotation annotation = new Annotation("org.eclipse.ui.workbench.texteditor.error", true, error.description);
\r
95 int begin = Locations.beginOf(error.location);
\r
96 int end = Locations.endOf(error.location);
\r
97 Position position = new Position(begin, end - begin);
\r
98 annotationModel.addAnnotation(annotation, position);
\r
104 public void exception(Throwable t) {
\r
105 t.printStackTrace();
\r
109 public boolean isDisposed() {
\r
110 return editor.isDisposed();
\r
116 protected void doSaveDocument(IProgressMonitor monitor, Object element,
\r
117 IDocument document, boolean overwrite) throws CoreException {
\r
118 TimeLogger.resetTimeAndLog(getClass(), "doSaveDocument");
\r
119 currentText = document.get();
\r
120 Simantics.getSession().asyncRequest(new WriteRequest() {
\r
122 public void perform(WriteGraph graph) throws DatabaseException {
\r
123 graph.markUndoPoint();
\r
124 StructuralResource2 STR = StructuralResource2.getInstance(graph);
\r
125 graph.claimLiteral(resource, STR.ComponentTypeScript_code, currentText, Bindings.STRING);
\r
131 protected IAnnotationModel createAnnotationModel(Object element) throws CoreException {
\r
132 if(!annotationsInitialized) {
\r
133 updateAnnotations();
\r
134 annotationsInitialized = true;
\r
136 return annotationModel;
\r
140 protected IRunnableContext getOperationRunner(IProgressMonitor monitor) {
\r
145 public boolean isModifiable(Object element) {
\r
146 return !errorHappened && !immutable;
\r
150 public boolean isReadOnly(Object element) {
\r
151 return errorHappened || immutable;
\r