Shared-Memory-Parallel-Programming-Tutor/MultipleThreadsLanguage.g4 at master · ColinParrott/Shared-Memory-Parallel-Programming-Tutor · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81

grammar MultipleThreadsLanguage;

/*
 * Lexer Rules
 */
ASSIGN: '=' ;
LBRA: '{' ;
RBRA: '}' ;
LPAR: '(' ;
RPAR: ')' ;
SC: ';' ;
IF: 'if' ;
ELSE : 'else' ;
WHILE: 'while' ;
INT_LITERAL: [0-9]+ ;
AND_OP: '&&' ;
OR_OP: '||';
EQ_OP: '==';
NE_OP: '!=' ;
LT_OP: '<';
GT_OP: '>';
GTE_OP: '>=';
LTE_OP: '<=';
MULT_MATH_OP: '*';
DIV_MATH_OP: '/' ;
CO_SEPARATOR: '//';
ADD_MATH_OP: '+';
SUB_MATH_OP : '-' ;
IDENTIFIER: [a-z]+ ;
AWAIT: 'AWAIT';
WS : [ \t\r\n]+ -> channel(HIDDEN);
LINE_COMMENT: '#' ~[\r\n]* -> skip;

/*
 * Parser Rules
 */

topProgram: program (CO_SEPARATOR program)* EOF;
//oneTheadProgram: program;
//twoThreadProgram: program CO_SEPARATOR program;
//threeThreadProgram: program CO_SEPARATOR program CO_SEPARATOR program;
//fourThreadProgram: program CO_SEPARATOR program CO_SEPARATOR program CO_SEPARATOR program;

program: (atomicBlock | block | awaitStmt)+ ;

// blocks must have at least one statement
atomicBlock: LT_OP stmt+ GT_OP;
block: (stmt)+ ;

stmt:  whileStmt | ifStmt | assignStmt;
condExp: compExp | condDualExp;
condDualExp: compExp (AND_OP | OR_OP) compExp;


whileStmt:   WHILE LPAR condExp RPAR LBRA stmt* RBRA ;
ifStmt:     IF LPAR condExp RPAR LBRA stmt* RBRA elseStmt?;
elseStmt: ELSE LBRA stmt* RBRA ;
assignStmt:  IDENTIFIER ASSIGN valueExp SC ;
awaitStmt:  LT_OP AWAIT IDENTIFIER (EQ_OP | NE_OP | LT_OP | GT_OP | LTE_OP | GTE_OP) IDENTIFIER SC GT_OP;

compExp: singleValue (EQ_OP | NE_OP | LT_OP | GT_OP | GTE_OP | LTE_OP) singleValue ;


valueExp: singleValue | additionExp | subExp | multExp | divExp ;
additionExp: singleValue ADD_MATH_OP singleValue ;
subExp: singleValue SUB_MATH_OP singleValue ;
multExp: singleValue MULT_MATH_OP singleValue ;
divExp: singleValue DIV_MATH_OP singleValue ;
singleValue: INT_LITERAL | IDENTIFIER;


// mathematical operations
//additionExp: multiplyExp ( ADD_MATH_OP multiplyExp | SUB_MATH_OP multiplyExp)* ;
//multiplyExp: atomExp ( MULT_MATH_OP atomExp | DIV_MATH_OP atomExp)* ;
//atomExp : INT_LITERAL | IDENTIFIER | LPAR additionExp RPAR ;

// conditional expressions
//andExp: orExp (OR_OP orExp)* ;
//orExp: compExp (AND_OP compExp)* ;
//compExp: valueExp (EQ_OP | NE_OP | LT_OP | GT_OP) valueExp | LPAR andExp RPAR ;