diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2021-06-28 17:16:56 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2021-06-28 17:16:56 +0200 |
| commit | 82a2ca3c963e47611d1ba55f6938e7665488fc5a (patch) | |
| tree | 6913165e6941526730c60f2cd3ed6678c387df44 /language-mwe2 | |
| 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')
| -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 |