diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2021-07-02 17:20:21 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2021-07-02 17:20:21 +0200 |
| commit | 76713b81f6a6fa575a33600d3216541efa3a09ac (patch) | |
| tree | 5d5c8c93c99382e9c5b1435bd247638c0c8c6be9 /language-mwe2 | |
| parent | Add italic font (diff) | |
| download | refinery-76713b81f6a6fa575a33600d3216541efa3a09ac.tar.gz refinery-76713b81f6a6fa575a33600d3216541efa3a09ac.tar.zst refinery-76713b81f6a6fa575a33600d3216541efa3a09ac.zip | |
JetBrains Mono font
Diffstat (limited to 'language-mwe2')
| -rw-r--r-- | language-mwe2/src/main/java/org/eclipse/viatra/solver/language/mwe2/ProblemWebIntegrationFragment.java | 2 |
1 files changed, 1 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 b5036b1e..83b56bc6 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 | |||
| @@ -49,7 +49,7 @@ public class ProblemWebIntegrationFragment extends WebIntegrationFragment { | |||
| 49 | patterns.put("start", "{token: \"lparen\", indent: true, regex: \"[[({]\"}"); | 49 | patterns.put("start", "{token: \"lparen\", indent: true, regex: \"[[({]\"}"); |
| 50 | patterns.put("start", "{token: \"rparen\", dedent: true, regex: \"[\\\\])}]\"}"); | 50 | patterns.put("start", "{token: \"rparen\", dedent: true, regex: \"[\\\\])}]\"}"); |
| 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 | patterns.put("predicateBody", "{indent: true, dedent: true, regex: \"[;]\"}"); |
| 55 | // 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. |