Add data constant support

1 files changed, 3 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 c8a2c58c..18e13245 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
@@ -9,6 +9,8 @@ import com.google.common.collect.Multimap;
 public class ProblemWebIntegrationFragment extends WebIntegrationFragment {
         public ProblemWebIntegrationFragment() {
                 setFramework(Framework.CODEMIRROR.name());
+                // The exponential operators e and E are not keywords
+                setKeywordsFilter("[^eE]|\\w\\w+");
                 // We use our custom token style for single-quoted names
                 addSuppressPattern("string_singleQuote");
                 // Use the CodeMirror default .cm-number instead of .cm-constant.cm-numeric
@@ -47,7 +49,7 @@ public class ProblemWebIntegrationFragment extends WebIntegrationFragment {
                 patterns.put("meta", "lineComment: \"%\"");
                 // Override indentation behavior
                 patterns.put("start", "{token: \"lparen\", indent: true, regex: \"[[({]\"}");
-                patterns.put("start", "{token: \"rparen\", dedent: true, dedentIfLineStart: true, regex: \"[\\\\])}]\"}");
+                patterns.put("start", "{token: \"rparen\", dedent: true, regex: \"[\\\\])}]\"}");
                 patterns.putAll("predicateBody", patterns.get("start"));
                 patterns.put("start", "{indent: true, push: \"predicateBody\", regex: \":-\"}");
                 patterns.put("predicateBody", "{dedent: true, dedentIfLineStart: false, pop: true, regex: \"\\\\.\\\\s*$\"}");