diff options
author | 2020-06-23 15:17:00 +0200 | |
---|---|---|
committer | 2020-06-23 15:17:00 +0200 | |
commit | 42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f (patch) | |
tree | 21d49c3a1dadc54dda399a4b8cfe8dc028563f51 /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g | |
parent | Measurements framework fixes (diff) | |
download | VIATRA-Generator-42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f.tar.gz VIATRA-Generator-42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f.tar.zst VIATRA-Generator-42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f.zip |
New configuration language parser WIP
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g | 30 |
1 files changed, 20 insertions, 10 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g index 3c496e8a..074932ca 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g | |||
@@ -11,6 +11,8 @@ package org.eclipse.viatra.solver.language.parser.antlr.lexer; | |||
11 | import org.eclipse.xtext.parser.antlr.Lexer; | 11 | import org.eclipse.xtext.parser.antlr.Lexer; |
12 | } | 12 | } |
13 | 13 | ||
14 | Containment : 'containment'; | ||
15 | |||
14 | Functional : 'functional'; | 16 | Functional : 'functional'; |
15 | 17 | ||
16 | Abstract : 'abstract'; | 18 | Abstract : 'abstract'; |
@@ -25,19 +27,21 @@ Minimize : 'minimize'; | |||
25 | 27 | ||
26 | Opposite : 'opposite'; | 28 | Opposite : 'opposite'; |
27 | 29 | ||
28 | Current : 'current'; | ||
29 | |||
30 | Default : 'default'; | 30 | Default : 'default'; |
31 | 31 | ||
32 | Extends : 'extends'; | 32 | Extends : 'extends'; |
33 | 33 | ||
34 | Unknown : 'unknown'; | 34 | Problem : 'problem'; |
35 | 35 | ||
36 | Exists : 'exists'; | 36 | Unknown : 'unknown'; |
37 | 37 | ||
38 | Extern : 'extern'; | 38 | Extern : 'extern'; |
39 | 39 | ||
40 | Forall : 'forall'; | 40 | Import : 'import'; |
41 | |||
42 | Object : 'object'; | ||
43 | |||
44 | Refers : 'refers'; | ||
41 | 45 | ||
42 | Class : 'class'; | 46 | Class : 'class'; |
43 | 47 | ||
@@ -53,7 +57,9 @@ Scope : 'scope'; | |||
53 | 57 | ||
54 | Else : 'else'; | 58 | Else : 'else'; |
55 | 59 | ||
56 | Must : 'must'; | 60 | Enum : 'enum'; |
61 | |||
62 | Root : 'root'; | ||
57 | 63 | ||
58 | Then : 'then'; | 64 | Then : 'then'; |
59 | 65 | ||
@@ -65,16 +71,16 @@ Inf : 'inf'; | |||
65 | 71 | ||
66 | Let : 'let'; | 72 | Let : 'let'; |
67 | 73 | ||
68 | May : 'may'; | ||
69 | |||
70 | ExclamationMarkEqualsSign : '!='; | 74 | ExclamationMarkEqualsSign : '!='; |
71 | 75 | ||
72 | HyphenMinusGreaterThanSign : '->'; | 76 | HyphenMinusGreaterThanSign : '->'; |
73 | 77 | ||
74 | FullStopFullStop : '..'; | ||
75 | |||
76 | ColonHyphenMinus : ':-'; | 78 | ColonHyphenMinus : ':-'; |
77 | 79 | ||
80 | ColonColon : '::'; | ||
81 | |||
82 | ColonEqualsSign : ':='; | ||
83 | |||
78 | LessThanSignEqualsSign : '<='; | 84 | LessThanSignEqualsSign : '<='; |
79 | 85 | ||
80 | EqualsSignEqualsSign : '=='; | 86 | EqualsSignEqualsSign : '=='; |
@@ -117,6 +123,8 @@ EqualsSign : '='; | |||
117 | 123 | ||
118 | GreaterThanSign : '>'; | 124 | GreaterThanSign : '>'; |
119 | 125 | ||
126 | QuestionMark : '?'; | ||
127 | |||
120 | LeftSquareBracket : '['; | 128 | LeftSquareBracket : '['; |
121 | 129 | ||
122 | RightSquareBracket : ']'; | 130 | RightSquareBracket : ']'; |
@@ -129,6 +137,8 @@ VerticalLine : '|'; | |||
129 | 137 | ||
130 | RightCurlyBracket : '}'; | 138 | RightCurlyBracket : '}'; |
131 | 139 | ||
140 | Tilde : '~'; | ||
141 | |||
132 | RULE_STRING : '"' ('\\' .|~(('\\'|'"')))* '"'; | 142 | RULE_STRING : '"' ('\\' .|~(('\\'|'"')))* '"'; |
133 | 143 | ||
134 | RULE_QUOTED_ID : '\'' ('\\' .|~(('\\'|'\'')))* '\''; | 144 | RULE_QUOTED_ID : '\'' ('\\' .|~(('\\'|'\'')))* '\''; |