1 package org.simantics.scl.ui.editor2;
3 import java.util.Arrays;
4 import java.util.Collections;
7 import org.eclipse.jface.text.IDocument;
8 import org.eclipse.jface.text.Position;
9 import org.eclipse.jface.text.source.Annotation;
10 import org.eclipse.jface.text.source.AnnotationModel;
11 import org.simantics.scl.compiler.errors.CompilationError;
12 import org.simantics.scl.compiler.errors.Failable;
13 import org.simantics.scl.compiler.errors.Failure;
14 import org.simantics.scl.compiler.errors.Locations;
15 import org.simantics.scl.compiler.module.Module;
16 import org.simantics.scl.compiler.module.repository.ModuleRepository;
17 import org.simantics.scl.compiler.module.repository.UpdateListener;
19 public class SCLAnnotationModel extends AnnotationModel {
20 private final SCLModuleEditorInput input;
21 private final ModuleRepository repository;
22 private volatile boolean connected = false;
24 public SCLAnnotationModel(SCLModuleEditorInput input,
25 ModuleRepository repository) {
27 this.repository = repository;
30 UpdateListener updateListener = new UpdateListener() {
32 public void notifyAboutUpdate() {
38 private void updateAnnotations() {
39 Failable<Module> result = repository.getModule(input.getModuleName(), updateListener);
40 if(result instanceof Failure) {
41 Failure failure = (Failure)result;
42 setAnnotations(Arrays.asList(failure.errors));
45 setAnnotations(Collections.<CompilationError>emptyList());
49 protected void setAnnotations(List<CompilationError> errors) {
50 synchronized(getLockObject()) {
51 removeAllAnnotations();
52 for(CompilationError error : errors) {
53 Annotation annotation = new Annotation("org.eclipse.ui.workbench.texteditor.error", true,
55 int begin = Locations.beginOf(error.location);
56 int end = Locations.endOf(error.location);
57 Position position = new Position(begin, end - begin);
58 addAnnotation(annotation, position);
64 public void connect(IDocument document) {
65 super.connect(document);
71 public void disconnect(IDocument document) {
73 super.disconnect(document);