diff options
Diffstat (limited to 'language-mwe2/src/main/java/org')
| -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 |