diff options
Diffstat (limited to 'language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentAccess.java')
-rw-r--r-- | language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentAccess.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentAccess.java b/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentAccess.java index ff4bb035..b3666a86 100644 --- a/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentAccess.java +++ b/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentAccess.java | |||
@@ -58,10 +58,10 @@ public class PushWebDocumentAccess extends XtextWebDocumentAccess { | |||
58 | 58 | ||
59 | protected String getPrecomputedServiceName(AbstractCachedService<? extends IServiceResult> service) { | 59 | protected String getPrecomputedServiceName(AbstractCachedService<? extends IServiceResult> service) { |
60 | if (service instanceof ValidationService) { | 60 | if (service instanceof ValidationService) { |
61 | return "validation"; | 61 | return "validate"; |
62 | } | 62 | } |
63 | if (service instanceof HighlightingService) { | 63 | if (service instanceof HighlightingService) { |
64 | return "highlighting"; | 64 | return "highlight"; |
65 | } | 65 | } |
66 | throw new IllegalArgumentException("Unknown precomputed service: " + service); | 66 | throw new IllegalArgumentException("Unknown precomputed service: " + service); |
67 | } | 67 | } |