diff options
author | 2021-06-28 17:16:56 +0200 | |
---|---|---|
committer | 2021-06-28 17:16:56 +0200 | |
commit | 82a2ca3c963e47611d1ba55f6938e7665488fc5a (patch) | |
tree | 6913165e6941526730c60f2cd3ed6678c387df44 /language-mwe2/src/main/java | |
parent | Add scoping tests and simplify implicit nodes (diff) | |
download | refinery-82a2ca3c963e47611d1ba55f6938e7665488fc5a.tar.gz refinery-82a2ca3c963e47611d1ba55f6938e7665488fc5a.tar.zst refinery-82a2ca3c963e47611d1ba55f6938e7665488fc5a.zip |
Fix real literals
Diffstat (limited to 'language-mwe2/src/main/java')
-rw-r--r-- | language-mwe2/src/main/java/org/eclipse/viatra/solver/language/mwe2/ProblemWebIntegrationFragment.java | 2 |
1 files changed, 0 insertions, 2 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 18e13245..b5036b1e 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,8 +9,6 @@ import com.google.common.collect.Multimap; | |||
9 | public class ProblemWebIntegrationFragment extends WebIntegrationFragment { | 9 | public class ProblemWebIntegrationFragment extends WebIntegrationFragment { |
10 | public ProblemWebIntegrationFragment() { | 10 | public ProblemWebIntegrationFragment() { |
11 | setFramework(Framework.CODEMIRROR.name()); | 11 | setFramework(Framework.CODEMIRROR.name()); |
12 | // The exponential operators e and E are not keywords | ||
13 | setKeywordsFilter("[^eE]|\\w\\w+"); | ||
14 | // We use our custom token style for single-quoted names | 12 | // We use our custom token style for single-quoted names |
15 | addSuppressPattern("string_singleQuote"); | 13 | addSuppressPattern("string_singleQuote"); |
16 | // Use the CodeMirror default .cm-number instead of .cm-constant.cm-numeric | 14 | // Use the CodeMirror default .cm-number instead of .cm-constant.cm-numeric |