1 package org.simantics.modeling.scl;
3 import java.util.ArrayList;
4 import java.util.Collection;
6 import org.simantics.Simantics;
7 import org.simantics.db.ReadGraph;
8 import org.simantics.db.RequestProcessorSpecific;
9 import org.simantics.db.Resource;
10 import org.simantics.db.WriteGraph;
11 import org.simantics.db.common.request.UnaryRead;
12 import org.simantics.db.common.request.WriteRequest;
13 import org.simantics.db.exception.DatabaseException;
14 import org.simantics.db.procedure.SyncListener;
15 import org.simantics.db.request.Read;
16 import org.simantics.layer0.Layer0;
17 import org.simantics.modeling.ModelingUtils;
18 import org.simantics.scl.compiler.module.repository.UpdateListener;
19 import org.simantics.scl.compiler.source.ModuleSource;
20 import org.simantics.scl.compiler.source.StringModuleSource;
21 import org.simantics.scl.compiler.source.repository.ModuleSourceRepository;
22 import org.simantics.scl.runtime.SCLContext;
23 import org.simantics.structural2.utils.StructuralUtils;
24 import org.simantics.scl.runtime.tuple.Tuple0;
26 import gnu.trove.procedure.TObjectProcedure;
27 import gnu.trove.set.hash.THashSet;
29 public enum GraphModuleSourceRepository implements ModuleSourceRepository {
33 public ModuleSource getModuleSource(final String moduleName, UpdateListener listener) {
34 if(!moduleName.startsWith("http://"))
37 Object graph = SCLContext.getCurrent().get("graph");
38 RequestProcessorSpecific requestProcessor;
39 if(graph instanceof ReadGraph)
40 requestProcessor = (ReadGraph)graph;
42 requestProcessor = Simantics.getSession();
44 Read<ModuleSource> request = new ReadModuleSource(moduleName);
48 return requestProcessor.syncRequest(request, new ModuleListener(listener, moduleName));
50 return requestProcessor.syncRequest(request);
51 } catch (DatabaseException e) {
57 static class ModuleListener implements SyncListener<ModuleSource> {
58 UpdateListener listener;
59 boolean alreadyExecutedOnce;
60 final String moduleName;
61 public ModuleListener(UpdateListener listener, String moduleName) {
62 this.listener = listener;
63 this.moduleName = moduleName;
66 public boolean isDisposed() {
67 return listener == null;
69 private void fireUpdate(ReadGraph graph) {
70 if(listener != null) {
71 SCLContext context = SCLContext.getCurrent();
72 Object oldGraph = context.put("graph", graph);
74 listener.notifyAboutUpdate();
77 context.put("graph", oldGraph);
82 public void execute(ReadGraph graph, ModuleSource result)
83 throws DatabaseException {
84 if(alreadyExecutedOnce)
87 alreadyExecutedOnce = true;
90 public void exception(ReadGraph graph, Throwable t)
91 throws DatabaseException {
93 if(alreadyExecutedOnce && listener != null)
98 public static class GraphModuleSource extends StringModuleSource {
100 private final boolean immutable;
102 public GraphModuleSource(String moduleName, ClassLoader classLoader, String moduleText, boolean immutable) {
103 super(moduleName, classLoader, moduleText);
104 this.immutable = immutable;
108 public boolean isUpdateable() {
113 public void update(String newSourceText) {
115 Simantics.getSession().syncRequest(new WriteModuleSource(getModuleName(), newSourceText));
116 } catch (DatabaseException e) {
122 static class ReadModuleSource extends UnaryRead<String, ModuleSource> {
123 public ReadModuleSource(String moduleName) {
128 public ModuleSource perform(ReadGraph graph) throws DatabaseException {
129 Resource moduleResource = graph.getPossibleResource(parameter);
130 if(moduleResource == null)
132 Layer0 L0 = Layer0.getInstance(graph);
133 if(!graph.isInstanceOf(moduleResource, L0.SCLModule))
135 String text = graph.getRelatedValue(moduleResource, L0.SCLModule_definition);
136 boolean immutable = StructuralUtils.isImmutable(graph, moduleResource);
137 return new GraphModuleSource(parameter, getClass().getClassLoader(), text, immutable);
141 static class WriteModuleSource extends WriteRequest {
142 private final String moduleURI;
143 private final String sourceText;
145 public WriteModuleSource(String moduleURI, String sourceText) {
146 this.moduleURI = moduleURI;
147 this.sourceText = sourceText;
151 public void perform(WriteGraph graph) throws DatabaseException {
152 Resource moduleResource = graph.getPossibleResource(moduleURI);
153 if(moduleResource == null)
155 Layer0 L0 = Layer0.getInstance(graph);
156 if(!graph.isInstanceOf(moduleResource, L0.SCLModule))
158 graph.claimLiteral(moduleResource, L0.SCLModule_definition, sourceText);
163 public void forAllModules(TObjectProcedure<String> procedure) {
164 THashSet<String> moduleURIs;
166 moduleURIs = Simantics.getSession().syncRequest(new Read<THashSet<String>>() {
168 public THashSet<String> perform(ReadGraph graph)
169 throws DatabaseException {
170 THashSet<String> result = new THashSet<String>();
171 Resource projectResource = Simantics.getProjectResource();
172 Layer0 L0 = Layer0.getInstance(graph);
173 for(Resource model : graph.getObjects(projectResource, L0.ConsistsOf)) {
174 if(graph.isInstanceOf(model, L0.IndexRoot)) {
175 for(Resource module : ModelingUtils.searchByType(graph, model, L0.SCLModule))
176 result.add(graph.getURI(module));
180 Collection<Resource> ontologies = Simantics.applySCL("Simantics/SharedOntologies", "getSharedOntologies", graph, Tuple0.INSTANCE);
181 for (Resource ontology : ontologies) {
182 for(Resource module : ModelingUtils.searchByType(graph, ontology, L0.SCLModule))
183 result.add(graph.getURI(module));
189 moduleURIs.forEach(procedure);
190 } catch (DatabaseException e) {
196 public Collection<String> getModuleNames() {
197 ArrayList<String> result = new ArrayList<>();
198 forAllModules((String name) -> {