Commit | Line | Data |
---|---|---|
866e5b51 FC |
1 | parser grammar CTFParser; |
2 | ||
3 | options { | |
91fd06f5 EB |
4 | language = Java; |
5 | output = AST; | |
6 | ASTLabelType = CommonTree; | |
7 | tokenVocab = CTFLexer; | |
866e5b51 FC |
8 | } |
9 | ||
10 | tokens { | |
91fd06f5 EB |
11 | ROOT; |
12 | ||
13 | EVENT; | |
14 | STREAM; | |
15 | TRACE; | |
16 | ENV; | |
17 | CLOCK; | |
18 | CALLSITE; | |
19 | ||
20 | DECLARATION; | |
21 | SV_DECLARATION; | |
22 | TYPE_SPECIFIER_LIST; | |
23 | TYPE_DECLARATOR_LIST; | |
24 | TYPE_DECLARATOR; | |
25 | ||
26 | STRUCT; | |
27 | STRUCT_NAME; | |
28 | STRUCT_BODY; | |
29 | ALIGN; | |
30 | ||
31 | CTF_EXPRESSION_TYPE; | |
32 | CTF_EXPRESSION_VAL; | |
33 | CTF_LEFT; | |
34 | CTF_RIGHT; | |
35 | ||
36 | UNARY_EXPRESSION_STRING; | |
37 | UNARY_EXPRESSION_STRING_QUOTES; | |
38 | UNARY_EXPRESSION_DEC; | |
39 | UNARY_EXPRESSION_HEX; | |
40 | UNARY_EXPRESSION_OCT; | |
41 | LENGTH; | |
42 | ||
43 | TYPEDEF; | |
44 | ||
45 | TYPEALIAS; | |
46 | TYPEALIAS_TARGET; | |
47 | TYPEALIAS_ALIAS; | |
48 | ||
49 | INTEGER; | |
50 | STRING; | |
51 | FLOATING_POINT; | |
52 | ||
53 | ENUM; | |
54 | ENUM_CONTAINER_TYPE; | |
55 | ENUM_ENUMERATOR; | |
56 | ENUM_NAME; | |
57 | ENUM_VALUE; | |
58 | ENUM_VALUE_RANGE; | |
59 | ENUM_BODY; | |
60 | ||
61 | VARIANT; | |
62 | VARIANT_NAME; | |
63 | VARIANT_TAG; | |
64 | VARIANT_BODY; | |
65 | ||
66 | DECLARATOR; | |
67 | LENGTH; | |
866e5b51 FC |
68 | } |
69 | ||
70 | /* | |
71 | * Scope for the tracking of types. | |
72 | * For now we just track the names (it's a simple Set), but | |
73 | * later we will have to track the info about the target type. | |
74 | */ | |
75 | scope Symbols { | |
91fd06f5 | 76 | Set<String> types; |
866e5b51 FC |
77 | } |
78 | ||
79 | @header { | |
f357bcd4 | 80 | package org.eclipse.tracecompass.ctf.parser; |
91fd06f5 EB |
81 | import java.util.Set; |
82 | import java.util.HashSet; | |
866e5b51 FC |
83 | } |
84 | ||
85 | @members { | |
91fd06f5 EB |
86 | public CTFParser(TokenStream input, boolean verbose) { |
87 | this(input); | |
88 | this.verbose = verbose; | |
866e5b51 | 89 | } |
91fd06f5 | 90 | |
32e3cfd4 EB |
91 | /** |
92 | * This method is overriden to disable automatic error recovery. | |
93 | * On a mismatched token, it simply re-throw an exception. | |
94 | */ | |
91fd06f5 EB |
95 | @Override |
96 | protected Object recoverFromMismatchedToken(IntStream input, int ttype, BitSet follow) throws RecognitionException { | |
97 | throw new MismatchedTokenException(ttype, input); | |
98 | } | |
99 | ||
100 | /** | |
101 | * Checks if a given name has been defined has a type. | |
102 | * From: http://www.antlr.org/grammar/1153358328744/C.g | |
103 | * | |
104 | * @param name The name to check. | |
105 | * @return True if is is a type, false otherwise. | |
106 | */ | |
107 | boolean isTypeName(String name) { | |
108 | for (int i = Symbols_stack.size() - 1; i >= 0; i--) { | |
109 | Symbols_scope scope = (Symbols_scope) Symbols_stack.get(i); | |
110 | if (scope.types.contains(name)) { | |
111 | return true; | |
112 | } | |
113 | } | |
114 | return false; | |
115 | } | |
116 | ||
117 | void addTypeName(String name) { | |
118 | $Symbols::types.add(name); | |
119 | if (verbose) { | |
120 | debug_print("New type: " + name); | |
121 | } | |
122 | } | |
123 | ||
124 | boolean _inTypedef = false; | |
125 | ||
126 | void typedefOn() { | |
127 | debug_print("typedefOn"); | |
128 | _inTypedef = true; | |
129 | } | |
130 | ||
131 | void typedefOff() { | |
132 | debug_print("typedefOff"); | |
133 | _inTypedef = false; | |
134 | } | |
135 | ||
136 | boolean inTypedef() { | |
137 | return _inTypedef; | |
138 | } | |
139 | ||
140 | boolean _inTypealiasAlias = false; | |
141 | ||
142 | void typealiasAliasOn() { | |
143 | debug_print("typealiasAliasOn"); | |
144 | _inTypealiasAlias = true; | |
866e5b51 | 145 | } |
91fd06f5 EB |
146 | |
147 | void typealiasAliasOff() { | |
148 | debug_print("typealiasAliasOff"); | |
149 | _inTypealiasAlias = false; | |
150 | } | |
151 | ||
152 | boolean inTypealiasAlias() { | |
153 | return _inTypealiasAlias; | |
154 | } | |
155 | ||
91fd06f5 EB |
156 | void debug_print(String str) { |
157 | if (verbose) { | |
158 | System.out.println(str); | |
159 | } | |
160 | } | |
161 | ||
91fd06f5 EB |
162 | /* Prints rule entry and exit while parsing */ |
163 | boolean verbose = false; | |
866e5b51 FC |
164 | } |
165 | ||
32e3cfd4 EB |
166 | /* |
167 | * Override the catch clause to disable automatic error recovery. | |
168 | * By default, the catch block of every rule simple rethrows the error. | |
169 | */ | |
866e5b51 | 170 | @rulecatch { |
91fd06f5 EB |
171 | catch (RecognitionException e) { |
172 | throw e; | |
173 | } | |
866e5b51 FC |
174 | } |
175 | ||
176 | /* The top-level rule. */ | |
177 | parse | |
178 | scope Symbols; | |
179 | @init { | |
91fd06f5 | 180 | $Symbols::types = new HashSet<String>(); |
866e5b51 | 181 | } |
91fd06f5 | 182 | : declaration+ EOF -> ^(ROOT declaration+) |
866e5b51 FC |
183 | ; |
184 | ||
185 | numberLiteral | |
32e3cfd4 EB |
186 | : SIGN* |
187 | ( HEX_LITERAL -> ^(UNARY_EXPRESSION_HEX HEX_LITERAL SIGN*) | |
188 | | DECIMAL_LITERAL -> ^(UNARY_EXPRESSION_DEC DECIMAL_LITERAL SIGN*) | |
189 | | OCTAL_LITERAL -> ^(UNARY_EXPRESSION_OCT OCTAL_LITERAL SIGN*) | |
190 | ) | |
866e5b51 FC |
191 | ; |
192 | ||
193 | primaryExpression | |
91fd06f5 | 194 | : (IDENTIFIER) => IDENTIFIER |
91fd06f5 | 195 | -> ^(UNARY_EXPRESSION_STRING IDENTIFIER) |
866e5b51 | 196 | | (ctfKeyword) => ctfKeyword -> ^(UNARY_EXPRESSION_STRING ctfKeyword) |
91fd06f5 | 197 | | (STRING_LITERAL) => STRING_LITERAL |
91fd06f5 | 198 | -> ^(UNARY_EXPRESSION_STRING_QUOTES STRING_LITERAL) |
866e5b51 | 199 | /*| (LPAREN unaryExpression RPAREN)*/ // Not supported yet |
32e3cfd4 EB |
200 | | numberLiteral |
201 | | enumConstant | |
202 | | CHARACTER_LITERAL | |
866e5b51 FC |
203 | ; |
204 | ||
205 | postfixExpressionSuffix | |
32e3cfd4 EB |
206 | : OPENBRAC unaryExpression CLOSEBRAC! |
207 | | (ref=DOT | ref=ARROW) IDENTIFIER | |
208 | -> ^($ref ^(UNARY_EXPRESSION_STRING IDENTIFIER)) | |
866e5b51 FC |
209 | ; |
210 | ||
211 | postfixExpression | |
32e3cfd4 EB |
212 | : primaryExpression postfixExpressionSuffix* |
213 | | ctfSpecifierHead postfixExpressionSuffix+ // added for ctf-v1.8 | |
866e5b51 FC |
214 | ; |
215 | ||
216 | unaryExpression | |
91fd06f5 EB |
217 | : postfixExpression |
218 | /* | ((SIGN postfixExpression[true]) | postfixExpression[false]) */ | |
866e5b51 FC |
219 | ; |
220 | ||
221 | enumConstant | |
91fd06f5 EB |
222 | : STRING_LITERAL -> ^(UNARY_EXPRESSION_STRING_QUOTES STRING_LITERAL) |
223 | | IDENTIFIER -> ^(UNARY_EXPRESSION_STRING IDENTIFIER) | |
224 | | ctfKeyword -> ^(UNARY_EXPRESSION_STRING ctfKeyword) | |
866e5b51 | 225 | ; |
32e3cfd4 | 226 | |
866e5b51 FC |
227 | // 2.2 |
228 | ||
229 | declaration | |
866e5b51 | 230 | @after { |
91fd06f5 EB |
231 | if (inTypedef()) { |
232 | typedefOff(); | |
233 | } | |
866e5b51 | 234 | } |
32e3cfd4 | 235 | : declarationSpecifiers declaratorList? TERM |
91fd06f5 EB |
236 | // When the declaration is completely parsed and was a typedef, |
237 | // we add the declarators to the symbol table. | |
32e3cfd4 EB |
238 | -> {inTypedef()}? |
239 | ^(DECLARATION ^(TYPEDEF declaratorList declarationSpecifiers)) | |
91fd06f5 | 240 | -> ^(DECLARATION declarationSpecifiers declaratorList?) |
32e3cfd4 | 241 | | ctfSpecifier TERM! |
866e5b51 FC |
242 | ; |
243 | ||
244 | declarationSpecifiers | |
91fd06f5 EB |
245 | : ( |
246 | // We don't want to keep the typedef keyword in the specifier list. | |
247 | // Instead, we keep track that we encountered a typedef in the declaration. | |
248 | storageClassSpecifier | |
249 | | typeQualifier | |
250 | | typeSpecifier | |
866e5b51 FC |
251 | )+ -> ^(TYPE_SPECIFIER_LIST typeQualifier* typeSpecifier*) |
252 | ; | |
253 | ||
254 | declaratorList | |
32e3cfd4 EB |
255 | : declarator (SEPARATOR declarator)* |
256 | -> ^(TYPE_DECLARATOR_LIST declarator+) | |
866e5b51 FC |
257 | ; |
258 | ||
259 | abstractDeclaratorList | |
91fd06f5 EB |
260 | : abstractDeclarator (SEPARATOR abstractDeclarator)* |
261 | -> ^(TYPE_DECLARATOR_LIST abstractDeclarator+) | |
866e5b51 FC |
262 | ; |
263 | ||
91fd06f5 EB |
264 | storageClassSpecifier |
265 | : TYPEDEFTOK { typedefOn(); } | |
866e5b51 FC |
266 | ; |
267 | ||
268 | typeSpecifier | |
91fd06f5 | 269 | : FLOATTOK |
866e5b51 FC |
270 | | INTTOK |
271 | | LONGTOK | |
272 | | SHORTTOK | |
273 | | SIGNEDTOK | |
274 | | UNSIGNEDTOK | |
275 | | CHARTOK | |
276 | | DOUBLETOK | |
277 | | VOIDTOK | |
278 | | BOOLTOK | |
279 | | COMPLEXTOK | |
280 | | IMAGINARYTOK | |
281 | | structSpecifier | |
282 | | variantSpecifier | |
283 | | enumSpecifier | |
284 | | ctfTypeSpecifier | |
91fd06f5 | 285 | | { inTypealiasAlias() || isTypeName(input.LT(1).getText()) }? => typedefName |
866e5b51 FC |
286 | ; |
287 | ||
288 | typeQualifier | |
91fd06f5 | 289 | : CONSTTOK |
866e5b51 FC |
290 | ; |
291 | ||
91fd06f5 EB |
292 | alignAttribute |
293 | : ALIGNTOK LPAREN unaryExpression RPAREN -> ^(ALIGN unaryExpression) | |
866e5b51 | 294 | ; |
91fd06f5 | 295 | |
866e5b51 FC |
296 | // you can have an empty struct but not an empty variant |
297 | structBody | |
298 | scope Symbols; | |
299 | @init { | |
91fd06f5 | 300 | $Symbols::types = new HashSet<String>(); |
866e5b51 | 301 | } |
91fd06f5 EB |
302 | : LCURL structOrVariantDeclarationList? RCURL |
303 | -> ^(STRUCT_BODY structOrVariantDeclarationList?) | |
866e5b51 | 304 | ; |
866e5b51 | 305 | |
866e5b51 | 306 | structSpecifier |
91fd06f5 | 307 | : STRUCTTOK |
866e5b51 FC |
308 | ( |
309 | // We have an IDENTIFIER after 'struct' | |
310 | ( | |
91fd06f5 EB |
311 | structName |
312 | ( | |
313 | alignAttribute | |
314 | | | |
315 | ( | |
316 | structBody | |
317 | ( /* structBody can return an empty tree, so we need those ? */ | |
318 | alignAttribute | |
319 | | | |
320 | /* empty */ | |
321 | ) | |
322 | ) | |
323 | | | |
324 | /* empty */ | |
325 | ) | |
866e5b51 FC |
326 | ) |
327 | | | |
328 | // We have a body after 'struct' | |
329 | ( | |
330 | structBody | |
331 | ( | |
332 | alignAttribute | |
333 | | | |
334 | /* empty */ | |
335 | ) | |
336 | ) | |
337 | ) -> ^(STRUCT structName? structBody? alignAttribute?) | |
338 | ; | |
339 | ||
340 | structName | |
91fd06f5 | 341 | : IDENTIFIER -> ^(STRUCT_NAME IDENTIFIER) |
866e5b51 FC |
342 | ; |
343 | ||
344 | structOrVariantDeclarationList | |
91fd06f5 | 345 | : structOrVariantDeclaration+ |
866e5b51 FC |
346 | ; |
347 | ||
348 | structOrVariantDeclaration | |
32e3cfd4 | 349 | : |
91fd06f5 EB |
350 | ( |
351 | ( | |
352 | declarationSpecifiers | |
353 | ( | |
354 | /* If we met a "typedef" */ | |
355 | {inTypedef()}? => declaratorList {typedefOff();} | |
356 | -> ^(TYPEDEF declaratorList declarationSpecifiers) | |
357 | | structOrVariantDeclaratorList | |
358 | -> ^(SV_DECLARATION declarationSpecifiers structOrVariantDeclaratorList) | |
359 | ) | |
360 | ) | |
866e5b51 | 361 | | |
91fd06f5 | 362 | // Lines 3 and 4 |
866e5b51 FC |
363 | typealiasDecl -> typealiasDecl |
364 | ) | |
365 | TERM | |
366 | ; | |
367 | ||
368 | specifierQualifierList | |
91fd06f5 EB |
369 | : (typeQualifier | typeSpecifier)+ |
370 | -> ^(TYPE_SPECIFIER_LIST typeQualifier* typeSpecifier*) | |
866e5b51 FC |
371 | ; |
372 | ||
373 | structOrVariantDeclaratorList | |
91fd06f5 EB |
374 | : structOrVariantDeclarator (SEPARATOR structOrVariantDeclarator)* |
375 | -> ^(TYPE_DECLARATOR_LIST structOrVariantDeclarator+) | |
866e5b51 FC |
376 | ; |
377 | ||
378 | structOrVariantDeclarator | |
91fd06f5 | 379 | : |
866e5b51 FC |
380 | /* Bitfields not supported yet */ |
381 | (declarator (COLON numberLiteral)?) -> declarator | |
382 | /*| (COLON numberLiteral)*/ | |
383 | ; | |
384 | ||
385 | variantSpecifier | |
32e3cfd4 | 386 | : VARIANTTOK |
866e5b51 FC |
387 | ( |
388 | ( | |
91fd06f5 | 389 | variantName |
866e5b51 FC |
390 | ( |
391 | ( | |
392 | variantTag | |
393 | ( | |
394 | variantBody | |
395 | | | |
396 | /* empty */ | |
397 | ) | |
398 | ) | |
399 | | | |
400 | variantBody | |
401 | ) | |
402 | ) | |
32e3cfd4 EB |
403 | | (variantTag variantBody) |
404 | | variantBody | |
866e5b51 FC |
405 | ) -> ^(VARIANT variantName? variantTag? variantBody?) |
406 | ; | |
407 | ||
408 | variantName | |
91fd06f5 | 409 | : IDENTIFIER -> ^(VARIANT_NAME IDENTIFIER) |
866e5b51 FC |
410 | ; |
411 | ||
412 | variantBody | |
413 | scope Symbols; | |
414 | @init { | |
91fd06f5 | 415 | $Symbols::types = new HashSet<String>(); |
866e5b51 | 416 | } |
91fd06f5 EB |
417 | : LCURL structOrVariantDeclarationList RCURL |
418 | -> ^(VARIANT_BODY structOrVariantDeclarationList) | |
866e5b51 FC |
419 | ; |
420 | ||
421 | variantTag | |
91fd06f5 | 422 | : LT IDENTIFIER GT -> ^(VARIANT_TAG IDENTIFIER) |
866e5b51 FC |
423 | ; |
424 | ||
425 | enumSpecifier | |
32e3cfd4 | 426 | : ENUMTOK |
91fd06f5 EB |
427 | ( |
428 | // Lines 1 to 5, when we have "ENUMTOK IDENTIFIER". | |
429 | ( | |
430 | enumName | |
431 | ( | |
432 | enumContainerType enumBody | |
433 | | | |
434 | enumBody | |
435 | | | |
436 | // no enumDeclarator or enumBodym | |
437 | ) | |
438 | ) | |
439 | | | |
440 | // Lines 1, 2, 4, 5, when we have no IDENTIFIER. | |
441 | ( | |
442 | enumContainerType enumBody | |
443 | | | |
444 | enumBody | |
445 | ) | |
446 | ) -> ^(ENUM enumName? enumContainerType? enumBody?) | |
866e5b51 FC |
447 | ; |
448 | ||
449 | enumName | |
32e3cfd4 | 450 | : IDENTIFIER -> ^(ENUM_NAME IDENTIFIER) |
866e5b51 | 451 | ; |
91fd06f5 | 452 | |
866e5b51 | 453 | enumBody |
32e3cfd4 | 454 | : LCURL enumeratorList SEPARATOR? RCURL -> ^(ENUM_BODY enumeratorList) |
866e5b51 FC |
455 | ; |
456 | ||
457 | enumContainerType | |
91fd06f5 | 458 | : COLON declarationSpecifiers -> ^(ENUM_CONTAINER_TYPE declarationSpecifiers) |
866e5b51 FC |
459 | ; |
460 | ||
461 | enumeratorList | |
91fd06f5 | 462 | : enumerator (SEPARATOR enumerator)* -> (^(ENUM_ENUMERATOR enumerator))+ |
866e5b51 FC |
463 | ; |
464 | ||
465 | enumerator | |
91fd06f5 | 466 | : enumConstant enumeratorValue? |
866e5b51 FC |
467 | ; |
468 | ||
469 | enumeratorValue | |
91fd06f5 | 470 | : ASSIGNMENT e1=unaryExpression |
32e3cfd4 EB |
471 | ( /* empty */ |
472 | -> ^(ENUM_VALUE $e1) | |
473 | | ELIPSES e2=unaryExpression | |
474 | -> ^(ENUM_VALUE_RANGE $e1 $e2) | |
475 | ) | |
866e5b51 | 476 | ; |
91fd06f5 | 477 | |
866e5b51 | 478 | declarator |
32e3cfd4 EB |
479 | : pointer* directDeclarator |
480 | -> ^(TYPE_DECLARATOR pointer* directDeclarator) | |
866e5b51 FC |
481 | ; |
482 | ||
483 | directDeclarator | |
91fd06f5 EB |
484 | : ( |
485 | IDENTIFIER | |
486 | { if (inTypedef()) addTypeName($IDENTIFIER.text); } | |
487 | { debug_print($IDENTIFIER.text); } | |
488 | /*| LPAREN declarator RPAREN*/ /* Not supported yet */ | |
489 | ) | |
490 | directDeclaratorSuffix* | |
491 | ; | |
492 | ||
493 | directDeclaratorSuffix | |
32e3cfd4 EB |
494 | : OPENBRAC directDeclaratorLength CLOSEBRAC |
495 | -> ^(LENGTH directDeclaratorLength) | |
91fd06f5 EB |
496 | ; |
497 | ||
498 | directDeclaratorLength | |
499 | : unaryExpression | |
500 | ; | |
501 | ||
866e5b51 | 502 | abstractDeclarator |
32e3cfd4 | 503 | : pointer+ directAbstractDeclarator? |
91fd06f5 EB |
504 | -> ^(TYPE_DECLARATOR pointer+ directAbstractDeclarator?) |
505 | | directAbstractDeclarator | |
506 | -> ^(TYPE_DECLARATOR directAbstractDeclarator) | |
866e5b51 FC |
507 | ; |
508 | ||
32e3cfd4 EB |
509 | /** |
510 | * In the CTF grammar, direct-abstract-declarator can be empty (because of | |
511 | * identifier-opt). We take care of that by appending a '?' to each use of | |
512 | * "abstractDeclaratorList". | |
513 | */ | |
866e5b51 | 514 | directAbstractDeclarator |
91fd06f5 EB |
515 | : ( |
516 | IDENTIFIER | |
517 | | (LPAREN abstractDeclarator RPAREN) | |
518 | ) ( | |
519 | OPENBRAC unaryExpression? CLOSEBRAC | |
866e5b51 FC |
520 | )? |
521 | ; | |
522 | ||
523 | pointer | |
91fd06f5 | 524 | : POINTER typeQualifierList? -> ^(POINTER typeQualifierList?) |
866e5b51 FC |
525 | ; |
526 | ||
91fd06f5 EB |
527 | typeQualifierList |
528 | : typeQualifier+ | |
866e5b51 FC |
529 | ; |
530 | ||
531 | typedefName | |
32e3cfd4 | 532 | : {inTypealiasAlias() || isTypeName(input.LT(1).getText())}? IDENTIFIER { if ((inTypedef() || inTypealiasAlias()) && !isTypeName($IDENTIFIER.text)) { addTypeName($IDENTIFIER.text); } } |
866e5b51 FC |
533 | ; |
534 | ||
535 | /** | |
536 | * What goes in the target part of a typealias. | |
537 | * | |
538 | * For example, the integer part in: | |
91fd06f5 EB |
539 | * typealias integer {...} := my_new_integer; |
540 | */ | |
866e5b51 | 541 | typealiasTarget |
91fd06f5 | 542 | : declarationSpecifiers abstractDeclaratorList? |
866e5b51 | 543 | ; |
91fd06f5 | 544 | |
866e5b51 FC |
545 | /** |
546 | * What goes in the alias part of a typealias. | |
547 | * | |
548 | * For example, the my_new_integer part in: | |
91fd06f5 EB |
549 | * typealias integer {...} := my_new_integer; |
550 | */ | |
866e5b51 FC |
551 | typealiasAlias |
552 | @init { | |
91fd06f5 | 553 | typealiasAliasOn(); |
866e5b51 FC |
554 | } |
555 | @after { | |
91fd06f5 | 556 | typealiasAliasOff(); |
866e5b51 | 557 | } |
32e3cfd4 EB |
558 | : abstractDeclaratorList |
559 | | declarationSpecifiers abstractDeclaratorList? | |
866e5b51 | 560 | ; |
91fd06f5 | 561 | |
866e5b51 | 562 | typealiasDecl |
91fd06f5 | 563 | : TYPEALIASTOK typealiasTarget TYPE_ASSIGNMENT typealiasAlias |
32e3cfd4 EB |
564 | -> ^(TYPEALIAS |
565 | ^(TYPEALIAS_TARGET typealiasTarget) | |
566 | ^(TYPEALIAS_ALIAS typealiasAlias)) | |
866e5b51 FC |
567 | ; |
568 | ||
569 | // 2.3 CTF stuff | |
570 | ||
571 | // TODO: Ajouter ceux qui manquent | |
572 | ctfKeyword | |
91fd06f5 | 573 | : ALIGNTOK |
866e5b51 FC |
574 | | EVENTTOK |
575 | | SIGNEDTOK | |
576 | | STRINGTOK | |
577 | ; | |
578 | ||
579 | ctfSpecifier | |
91fd06f5 EB |
580 | // event {...}, stream {...}, trace {...} |
581 | : ctfSpecifierHead ctfBody -> ^(ctfSpecifierHead ctfBody) | |
866e5b51 | 582 | // typealias |
91fd06f5 | 583 | | typealiasDecl -> ^(DECLARATION typealiasDecl) |
866e5b51 FC |
584 | ; |
585 | ||
586 | ctfSpecifierHead | |
91fd06f5 EB |
587 | : EVENTTOK -> EVENT |
588 | | STREAMTOK -> STREAM | |
589 | | TRACETOK -> TRACE | |
590 | | ENVTOK -> ENV | |
591 | | CLOCKTOK -> CLOCK | |
592 | | CALLSITETOK -> CALLSITE | |
866e5b51 FC |
593 | ; |
594 | ||
595 | ctfTypeSpecifier | |
91fd06f5 EB |
596 | /* ctfBody can return an empty tree if the body is empty */ |
597 | : FLOATINGPOINTTOK ctfBody -> ^(FLOATING_POINT ctfBody?) | |
866e5b51 FC |
598 | | INTEGERTOK ctfBody -> ^(INTEGER ctfBody?) |
599 | | STRINGTOK ctfBody? -> ^(STRING ctfBody?) | |
600 | ; | |
601 | ||
602 | ctfBody | |
603 | scope Symbols; | |
604 | @init { | |
91fd06f5 | 605 | $Symbols::types = new HashSet<String>(); |
866e5b51 | 606 | } |
91fd06f5 | 607 | : LCURL ctfAssignmentExpressionList? RCURL -> ctfAssignmentExpressionList? |
866e5b51 FC |
608 | ; |
609 | ||
91fd06f5 EB |
610 | ctfAssignmentExpressionList |
611 | : (ctfAssignmentExpression TERM!)+ | |
866e5b51 FC |
612 | ; |
613 | ||
866e5b51 | 614 | ctfAssignmentExpression |
866e5b51 | 615 | @after { |
91fd06f5 EB |
616 | if (inTypedef()) { |
617 | typedefOff(); | |
618 | } | |
866e5b51 | 619 | } |
32e3cfd4 EB |
620 | : left=unaryExpression |
621 | ( assignment=ASSIGNMENT right1=unaryExpression | |
622 | -> ^(CTF_EXPRESSION_VAL | |
623 | ^(CTF_LEFT $left) | |
624 | ^(CTF_RIGHT $right1)) | |
625 | | type_assignment=TYPE_ASSIGNMENT right2=typeSpecifier | |
626 | -> ^(CTF_EXPRESSION_TYPE | |
627 | ^(CTF_LEFT $left) | |
628 | ^(CTF_RIGHT ^(TYPE_SPECIFIER_LIST $right2))) | |
629 | ) | |
630 | | (declarationSpecifiers {inTypedef()}? declaratorList) | |
631 | -> ^(TYPEDEF declaratorList declarationSpecifiers) | |
632 | | typealiasDecl | |
866e5b51 | 633 | ; |