compilers/FinalProject.js at main · ccbaumga/compilers · 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
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
Package FinalProject;

Helpers
    sp  = ' ' | 10 | 13 | 9;
    digit = ['0'..'9'];
    letter = ['a'..'z'] | ['A'..'Z'];
    alphanumeric = letter | digit;
    anychar = [35..255] | ' ';

Tokens
    semicolon = ';';
    lparen = '(';
    rparen = ')';
    lbrace = '{';
    rbrace = '}';
    lbracket = '[';
    rbracket = ']';
    comma = ',';
    dot = '.';
    quote = '"';

    begin = 'BEGIN';
    end = 'END';
    classs = 'CLASS';
    if = 'IF';
    then = 'THEN';
    else = 'ELSE';
    while = 'WHILE';
    for = 'FOR';
    get = 'GET';
    put = 'PUT';
    new = 'NEW';
    return = 'RETURN';
    switch = 'SWITCH';
    case = 'CASE';
    break = 'BREAK';
    default = 'DEFAULT';
    true = 'TRUE';
    false = 'FALSE';

    intdecl = 'INT';
    realdecl = 'REAL';
    stringdecl = 'STRING';
    booleandecl = 'BOOLEAN';
    voiddecl = 'VOID';

    colon = ':';
    assign = ':=';

    equalequal = '==';
    notequal = '!=';
    geq = '>=';
    leq = '<=';
    gt = '>';
    lt = '<';

    minus = '-';
    plus = '+';
    times = '*';
    divide = '/';


    int = digit+;
    real = digit* '.' digit+;
    id = letter (letter | digit | '_')*;
    whitespace = sp+;
    anychars = '"' anychar* '"';

Ignored Tokens
    whitespace;

Productions
    prog = begin classmethodstmts end;
    type = {first} intdecl |
      {second} realdecl |
      {third} voiddecl |
      {fourth} booleandecl |
      {fifth} stringdecl |
      {sixth} id;
    multop = {first} times |
      {second} divide;
    addop = {first} plus |
      {second} minus;
    cond = {first} equalequal |
      {second} notequal |
      {third} leq |
      {fourth} geq |
      {fifth} lt |
      {sixth} gt;
    factor = {first} minus factor |
      {second} int |
      {third} real |
      {fourth} id |
      {fifth} id lbracket int rbracket |
      {sixth} id lparen varlisttwo rparen |
      {seventh} [object]:id dot [field]:id lparen varlisttwo rparen |
      {eighth} [object]:id lbracket int rbracket dot [field]:id lparen varlisttwo rparen |
      {ninth} [object]:id dot [field]:id |
      {tenth} lparen expr rparen;
      // cause of ambiguous grammar{eleventh} boolean;
    boolean = {first} true |
      {second} false |
      {third} id |
      {fourth} [one]:expr cond [two]:expr |
      {fifth} [object]:id dot [field]:id |
      {sixth} [object]:id lbracket int rbracket dot [field]:id;
    term = {first} term multop factor |
      {second} factor;
    expr = {first} expr addop term |
      {second} term;
    varlisttwo = {first} |
      {second} expr |
      {third} expr comma varlisttwo;
    varlist = {first} |
      {second} id colon type |
      {third} id colon type lbracket int rbracket |
      {fourth} id colon type comma varlist |
      {fifth} id colon type lbracket int rbracket comma varlist;
    idlist = {first} id |
      {second} id comma idlist;
    stmtseq = {first} |
      {second} stmt stmtseq;
    idorarray = {first} id |
      {second} id lbracket int rbracket;
    stmt = {first} idorarray assign expr semicolon |
      {third} idorarray assign anychars semicolon |
      {fifth} idlist colon type semicolon |
      {sixth} idlist colon type lbracket int rbracket semicolon |
      {seventh} if lparen boolean rparen then lbrace stmtseq rbrace |
      {eighth} if lparen boolean rparen then [one]:lbrace [five]:stmtseq [three]:rbrace else [two]:lbrace [six]:stmtseq [four]:rbrace |
      {ninth} while lparen boolean rparen lbrace stmtseq rbrace |
      {tenth} for lparen [five]:id assign expr [one]:semicolon boolean [two]:semicolon [six]:id [three]:plus [four]:plus rparen lbrace stmtseq rbrace |
      {eleventh} for lparen type [five]:id assign expr [one]:semicolon boolean [two]:semicolon [six]:id [three]:plus [four]:plus rparen lbrace stmtseq rbrace |
      {twelveth} for lparen [five]:id assign expr [one]:semicolon boolean [two]:semicolon [six]:id [three]:minus [four]:minus rparen lbrace stmtseq rbrace |
      {thirteenth} for lparen type [five]:id assign expr [one]:semicolon boolean [two]:semicolon [six]:id [three]:minus [four]:minus rparen lbrace stmtseq rbrace |
      {fourteenth} for lparen [five]:id [aba]:assign [aca]:expr [one]:semicolon boolean [two]:semicolon [six]:id [gay]:assign [aaa]:expr rparen lbrace stmtseq rbrace |
      {fifteenth} for lparen type [five]:id [aba]:assign [aca]:expr [one]:semicolon boolean [two]:semicolon [six]:id [gay]:assign [aaa]:expr rparen lbrace stmtseq rbrace |
      {sixteenth} idorarray assign get lparen rparen semicolon |
      {seventeenth} put lparen idorarray rparen semicolon |
      {eighteenth} idorarray [first]:plus [second]:plus semicolon |
      {nineteenth} idorarray [first]:minus [second]:minus semicolon |
      {twenty} idorarray assign new id lparen rparen semicolon |
      {twentyone} id lparen varlisttwo rparen semicolon |
      {twentytwo} idorarray dot id lparen varlisttwo rparen dotmethod semicolon |
      {twentythree} return expr semicolon ;
    dotmethod = {first} dot id lparen varlisttwo rparen dotmethod |
      {second} ;
    methodstmtseq = {first} type id lparen varlist rparen lbrace stmtseq rbrace |
      {second} idlist colon type semicolon;
    methodstmtseqs = {first} methodstmtseq methodstmtseqs |
      {second} ;
    classmethodstmt = {first} classs id lbrace methodstmtseqs rbrace |
      {second} type id lparen varlist rparen lbrace stmtseq rbrace |
      {third} idlist colon type semicolon;
    classmethodstmts = {first} classmethodstmt classmethodstmts |
      {second} ;