diff options
Diffstat (limited to 'language-mwe2/src/main/java/org/eclipse')
-rw-r--r-- | language-mwe2/src/main/java/org/eclipse/viatra/solver/language/mwe2/ProblemWebIntegrationFragment.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/language-mwe2/src/main/java/org/eclipse/viatra/solver/language/mwe2/ProblemWebIntegrationFragment.java b/language-mwe2/src/main/java/org/eclipse/viatra/solver/language/mwe2/ProblemWebIntegrationFragment.java index 7cc736bc..c8a2c58c 100644 --- a/language-mwe2/src/main/java/org/eclipse/viatra/solver/language/mwe2/ProblemWebIntegrationFragment.java +++ b/language-mwe2/src/main/java/org/eclipse/viatra/solver/language/mwe2/ProblemWebIntegrationFragment.java | |||
@@ -51,9 +51,10 @@ public class ProblemWebIntegrationFragment extends WebIntegrationFragment { | |||
51 | patterns.putAll("predicateBody", patterns.get("start")); | 51 | patterns.putAll("predicateBody", patterns.get("start")); |
52 | patterns.put("start", "{indent: true, push: \"predicateBody\", regex: \":-\"}"); | 52 | patterns.put("start", "{indent: true, push: \"predicateBody\", regex: \":-\"}"); |
53 | patterns.put("predicateBody", "{dedent: true, dedentIfLineStart: false, pop: true, regex: \"\\\\.\\\\s*$\"}"); | 53 | patterns.put("predicateBody", "{dedent: true, dedentIfLineStart: false, pop: true, regex: \"\\\\.\\\\s*$\"}"); |
54 | patterns.put("predicateBody", "{indent: true, dedent: true, regex: \"[;]\"}"); | ||
54 | // We must repeat the keyword rule here, because Xtext only adds it to "main" later. | 55 | // We must repeat the keyword rule here, because Xtext only adds it to "main" later. |
55 | patterns.put("predicateBody", "{token: \"keyword\", regex: \"\\\\b(?:\" + keywords + \")\\\\b\"}"); | 56 | patterns.put("predicateBody", "{token: \"keyword\", regex: \"\\\\b(?:\" + keywords + \")\\\\b\"}"); |
56 | patterns.put("meta", "electricChars: \"])]\""); | 57 | patterns.put("meta", "electricChars: \"])];\""); |
57 | return patterns; | 58 | return patterns; |
58 | } | 59 | } |
59 | } | 60 | } |