blob: 1e68b2442bd9b1bdecca71d61e637c329308d944 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
/*
* SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
*
* SPDX-License-Identifier: EPL-2.0
*/
package tools.refinery.language.web.xtext.server.push;
import org.eclipse.xtext.service.OperationCanceledManager;
import org.eclipse.xtext.util.CancelIndicator;
import org.eclipse.xtext.util.concurrent.CancelableUnitOfWork;
import org.eclipse.xtext.web.server.IServiceResult;
import org.eclipse.xtext.web.server.model.AbstractCachedService;
import org.eclipse.xtext.web.server.model.IXtextWebDocument;
import org.eclipse.xtext.web.server.model.PrecomputedServiceRegistry;
import org.eclipse.xtext.web.server.model.XtextWebDocument;
import org.eclipse.xtext.web.server.model.XtextWebDocumentAccess;
import org.eclipse.xtext.web.server.syntaxcoloring.HighlightingService;
import org.eclipse.xtext.web.server.validation.ValidationService;
import com.google.inject.Inject;
import tools.refinery.language.web.semantics.SemanticsService;
public class PushWebDocumentAccess extends XtextWebDocumentAccess {
@Inject
private PrecomputedServiceRegistry preComputedServiceRegistry;
@Inject
private OperationCanceledManager operationCanceledManager;
private PushWebDocument pushDocument;
@Override
protected void init(XtextWebDocument document, String requiredStateId, boolean skipAsyncWork) {
super.init(document, requiredStateId, skipAsyncWork);
if (document instanceof PushWebDocument newPushDocument) {
pushDocument = newPushDocument;
}
}
@Override
protected void performPrecomputation(CancelIndicator cancelIndicator) {
if (pushDocument == null) {
super.performPrecomputation(cancelIndicator);
return;
}
for (AbstractCachedService<? extends IServiceResult> service : preComputedServiceRegistry
.getPrecomputedServices()) {
operationCanceledManager.checkCanceled(cancelIndicator);
precomputeServiceResult(service, false);
}
}
protected <T extends IServiceResult> void precomputeServiceResult(AbstractCachedService<T> service, boolean logCacheMiss) {
var serviceName = getPrecomputedServiceName(service);
readOnly(new CancelableUnitOfWork<Void, IXtextWebDocument>() {
@Override
public java.lang.Void exec(IXtextWebDocument d, CancelIndicator cancelIndicator) throws Exception {
pushDocument.precomputeServiceResult(service, serviceName, cancelIndicator, logCacheMiss);
return null;
}
});
}
protected String getPrecomputedServiceName(AbstractCachedService<? extends IServiceResult> service) {
if (service instanceof ValidationService) {
return "validate";
}
if (service instanceof HighlightingService) {
return "highlight";
}
if (service instanceof SemanticsService) {
return "semantics";
}
throw new IllegalArgumentException("Unknown precomputed service: " + service);
}
public void cancelModelGeneration() {
pushDocument.cancelModelGeneration();
}
}
|
