1# Copyright (c) 2009 The Hewlett-Packard Development Company
2# All rights reserved.
3#
4# Redistribution and use in source and binary forms, with or without
5# modification, are permitted provided that the following conditions are
6# met: redistributions of source code must retain the above copyright
7# notice, this list of conditions and the following disclaimer;
8# redistributions in binary form must reproduce the above copyright
9# notice, this list of conditions and the following disclaimer in the
10# documentation and/or other materials provided with the distribution;
11# neither the name of the copyright holders nor the names of its
12# contributors may be used to endorse or promote products derived from
13# this software without specific prior written permission.
14#
15# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
17# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
18# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
19# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
20# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
21# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26#
27# Authors: Nathan Binkert
28
29import os.path
30import re
31import sys
32
33from m5.util import code_formatter
34from m5.util.grammar import Grammar, ParseError
35
36import slicc.ast as ast
37import slicc.util as util
38from slicc.symbols import SymbolTable
39
40class SLICC(Grammar):
41 def __init__(self, filename, base_dir, verbose=False, traceback=False, **kwargs):
42 self.protocol = None
43 self.traceback = traceback
44 self.verbose = verbose
45 self.symtab = SymbolTable(self)
46 self.base_dir = base_dir
47
48 try:
49 self.decl_list = self.parse_file(filename, **kwargs)
50 except ParseError, e:
51 if not self.traceback:
52 sys.exit(str(e))
53 raise
54
55 def currentLocation(self):
56 return util.Location(self.current_source, self.current_line,
57 no_warning=not self.verbose)
58
59 def codeFormatter(self, *args, **kwargs):
60 code = code_formatter(*args, **kwargs)
61 code['protocol'] = self.protocol
62 return code
63
64 def process(self):
65 self.decl_list.findMachines()
66 self.decl_list.generate()
67
68 def writeCodeFiles(self, code_path, includes):
69 self.symtab.writeCodeFiles(code_path, includes)
70
71 def writeHTMLFiles(self, html_path):
72 self.symtab.writeHTMLFiles(html_path)
73
74 def files(self):
75 f = set([
76 'MachineType.cc',
77 'MachineType.hh',
78 'Types.hh' ])
79
80 f |= self.decl_list.files()
81
82 return f
83
84 t_ignore = '\t '
85
86 # C or C++ comment (ignore)
87 def t_c_comment(self, t):
88 r'/\*(.|\n)*?\*/'
89 t.lexer.lineno += t.value.count('\n')
90
91 def t_cpp_comment(self, t):
92 r'//.*'
93
94 # Define a rule so we can track line numbers
95 def t_newline(self, t):
96 r'\n+'
97 t.lexer.lineno += len(t.value)
98
99 reserved = {
100 'protocol' : 'PROTOCOL',
101 'include' : 'INCLUDE',
102 'global' : 'GLOBAL',
103 'machine' : 'MACHINE',
104 'in_port' : 'IN_PORT',
105 'out_port' : 'OUT_PORT',
106 'action' : 'ACTION',
107 'transition' : 'TRANS',
108 'structure' : 'STRUCT',
109 'external_type' : 'EXTERN_TYPE',
110 'enumeration' : 'ENUM',
111 'state_declaration' : 'STATE_DECL',
112 'peek' : 'PEEK',
113 'stall_and_wait' : 'STALL_AND_WAIT',
114 'enqueue' : 'ENQUEUE',
115 'check_allocate' : 'CHECK_ALLOCATE',
116 'check_stop_slots' : 'CHECK_STOP_SLOTS',
117 'static_cast' : 'STATIC_CAST',
118 'if' : 'IF',
119 'is_valid' : 'IS_VALID',
120 'is_invalid' : 'IS_INVALID',
121 'else' : 'ELSE',
122 'return' : 'RETURN',
123 'void' : 'VOID',
124 'new' : 'NEW',
125 'OOD' : 'OOD',
126 }
127
128 literals = ':[]{}(),='
129
130 tokens = [ 'EQ', 'NE', 'LT', 'GT', 'LE', 'GE',
131 'LEFTSHIFT', 'RIGHTSHIFT',
132 'NOT', 'AND', 'OR',
133 'PLUS', 'DASH', 'STAR', 'SLASH',
134 'INCR', 'DECR',
135 'DOUBLE_COLON', 'SEMI',
136 'ASSIGN', 'DOT',
137 'IDENT', 'LIT_BOOL', 'FLOATNUMBER', 'NUMBER', 'STRING' ]
138 tokens += reserved.values()
139
140 t_EQ = r'=='
141 t_NE = r'!='
142 t_LT = r'<'
143 t_GT = r'>'
144 t_LE = r'<='
145 t_GE = r'>='
146 t_LEFTSHIFT = r'<<'
147 t_RIGHTSHIFT = r'>>'
148 t_NOT = r'!'
149 t_AND = r'&&'
150 t_OR = r'\|\|'
151 t_PLUS = r'\+'
152 t_DASH = r'-'
153 t_STAR = r'\*'
154 t_SLASH = r'/'
155 t_DOUBLE_COLON = r'::'
156 t_SEMI = r';'
157 t_ASSIGN = r':='
158 t_DOT = r'\.'
159 t_INCR = r'\+\+'
160 t_DECR = r'--'
161
162 precedence = (
163 ('left', 'INCR', 'DECR'),
164 ('left', 'AND', 'OR'),
165 ('left', 'EQ', 'NE'),
166 ('left', 'LT', 'GT', 'LE', 'GE'),
167 ('left', 'RIGHTSHIFT', 'LEFTSHIFT'),
168 ('left', 'PLUS', 'DASH'),
169 ('left', 'STAR', 'SLASH'),
170 ('right', 'NOT', 'UMINUS'),
171 )
172
173 def t_IDENT(self, t):
174 r'[a-zA-Z_][a-zA-Z_0-9]*'
175 if t.value == 'true':
176 t.type = 'LIT_BOOL'
177 t.value = True
178 return t
179
180 if t.value == 'false':
181 t.type = 'LIT_BOOL'
182 t.value = False
183 return t
184
185 # Check for reserved words
186 t.type = self.reserved.get(t.value, 'IDENT')
187 return t
188
189 def t_FLOATNUMBER(self, t):
190 '[0-9]+[.][0-9]+'
191 try:
192 t.value = float(t.value)
193 except ValueError:
194 raise ParseError("Illegal float", t)
195 return t
196
197 def t_NUMBER(self, t):
198 r'[0-9]+'
199 try:
200 t.value = int(t.value)
201 except ValueError:
202 raise ParseError("Illegal number", t)
203 return t
204
205 def t_STRING1(self, t):
206 r'\"[^"\n]*\"'
207 t.type = 'STRING'
208 t.value = t.value[1:-1]
209 return t
210
211 def t_STRING2(self, t):
212 r"\'[^'\n]*\'"
213 t.type = 'STRING'
214 t.value = t.value[1:-1]
215 return t
216
217 def p_file(self, p):
218 "file : decls"
219 p[0] = p[1]
220
221 def p_empty(self, p):
222 "empty :"
223
224 def p_decls(self, p):
225 "decls : declsx"
226 p[0] = ast.DeclListAST(self, p[1])
227
228 def p_declsx__list(self, p):
229 "declsx : decl declsx"
230 if isinstance(p[1], ast.DeclListAST):
231 decls = p[1].decls
232 elif p[1] is None:
233 decls = []
234 else:
235 decls = [ p[1] ]
236 p[0] = decls + p[2]
237
238 def p_declsx__none(self, p):
239 "declsx : empty"
240 p[0] = []
241
242 def p_decl__protocol(self, p):
243 "decl : PROTOCOL STRING SEMI"
244 if self.protocol:
245 msg = "Protocol can only be set once! Error at %s:%s\n" % \
246 (self.current_source, self.current_line)
247 raise ParseError(msg)
248 self.protocol = p[2]
249 p[0] = None
250
251 def p_decl__include(self, p):
252 "decl : INCLUDE STRING SEMI"
253 dirname = os.path.dirname(self.current_source)
254 if os.path.exists(os.path.join(dirname, p[2])):
255 filename = os.path.join(dirname, p[2])
256 else:
257 filename = os.path.join(self.base_dir, p[2])
258 p[0] = self.parse_file(filename)
259
260 def p_decl__machine0(self, p):
261 "decl : MACHINE '(' idents ')' ':' params '{' decls '}'"
262 p[0] = ast.MachineAST(self, p[3], [], p[7], p[9])
263
264 def p_decl__machine1(self, p):
265 "decl : MACHINE '(' idents pairs ')' ':' params '{' decls '}'"
266 p[0] = ast.MachineAST(self, p[3], p[4], p[7], p[9])
267
268 def p_decl__action(self, p):
269 "decl : ACTION '(' ident pairs ')' statements"
270 p[0] = ast.ActionDeclAST(self, p[3], p[4], p[6])
271
272 def p_decl__in_port(self, p):
273 "decl : IN_PORT '(' ident ',' type ',' var pairs ')' statements"
274 p[0] = ast.InPortDeclAST(self, p[3], p[5], p[7], p[8], p[10])
275
276 def p_decl__out_port(self, p):
277 "decl : OUT_PORT '(' ident ',' type ',' var pairs ')' SEMI"
278 p[0] = ast.OutPortDeclAST(self, p[3], p[5], p[7], p[8])
279
280 def p_decl__trans0(self, p):
| 1# Copyright (c) 2009 The Hewlett-Packard Development Company
2# All rights reserved.
3#
4# Redistribution and use in source and binary forms, with or without
5# modification, are permitted provided that the following conditions are
6# met: redistributions of source code must retain the above copyright
7# notice, this list of conditions and the following disclaimer;
8# redistributions in binary form must reproduce the above copyright
9# notice, this list of conditions and the following disclaimer in the
10# documentation and/or other materials provided with the distribution;
11# neither the name of the copyright holders nor the names of its
12# contributors may be used to endorse or promote products derived from
13# this software without specific prior written permission.
14#
15# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
17# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
18# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
19# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
20# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
21# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26#
27# Authors: Nathan Binkert
28
29import os.path
30import re
31import sys
32
33from m5.util import code_formatter
34from m5.util.grammar import Grammar, ParseError
35
36import slicc.ast as ast
37import slicc.util as util
38from slicc.symbols import SymbolTable
39
40class SLICC(Grammar):
41 def __init__(self, filename, base_dir, verbose=False, traceback=False, **kwargs):
42 self.protocol = None
43 self.traceback = traceback
44 self.verbose = verbose
45 self.symtab = SymbolTable(self)
46 self.base_dir = base_dir
47
48 try:
49 self.decl_list = self.parse_file(filename, **kwargs)
50 except ParseError, e:
51 if not self.traceback:
52 sys.exit(str(e))
53 raise
54
55 def currentLocation(self):
56 return util.Location(self.current_source, self.current_line,
57 no_warning=not self.verbose)
58
59 def codeFormatter(self, *args, **kwargs):
60 code = code_formatter(*args, **kwargs)
61 code['protocol'] = self.protocol
62 return code
63
64 def process(self):
65 self.decl_list.findMachines()
66 self.decl_list.generate()
67
68 def writeCodeFiles(self, code_path, includes):
69 self.symtab.writeCodeFiles(code_path, includes)
70
71 def writeHTMLFiles(self, html_path):
72 self.symtab.writeHTMLFiles(html_path)
73
74 def files(self):
75 f = set([
76 'MachineType.cc',
77 'MachineType.hh',
78 'Types.hh' ])
79
80 f |= self.decl_list.files()
81
82 return f
83
84 t_ignore = '\t '
85
86 # C or C++ comment (ignore)
87 def t_c_comment(self, t):
88 r'/\*(.|\n)*?\*/'
89 t.lexer.lineno += t.value.count('\n')
90
91 def t_cpp_comment(self, t):
92 r'//.*'
93
94 # Define a rule so we can track line numbers
95 def t_newline(self, t):
96 r'\n+'
97 t.lexer.lineno += len(t.value)
98
99 reserved = {
100 'protocol' : 'PROTOCOL',
101 'include' : 'INCLUDE',
102 'global' : 'GLOBAL',
103 'machine' : 'MACHINE',
104 'in_port' : 'IN_PORT',
105 'out_port' : 'OUT_PORT',
106 'action' : 'ACTION',
107 'transition' : 'TRANS',
108 'structure' : 'STRUCT',
109 'external_type' : 'EXTERN_TYPE',
110 'enumeration' : 'ENUM',
111 'state_declaration' : 'STATE_DECL',
112 'peek' : 'PEEK',
113 'stall_and_wait' : 'STALL_AND_WAIT',
114 'enqueue' : 'ENQUEUE',
115 'check_allocate' : 'CHECK_ALLOCATE',
116 'check_stop_slots' : 'CHECK_STOP_SLOTS',
117 'static_cast' : 'STATIC_CAST',
118 'if' : 'IF',
119 'is_valid' : 'IS_VALID',
120 'is_invalid' : 'IS_INVALID',
121 'else' : 'ELSE',
122 'return' : 'RETURN',
123 'void' : 'VOID',
124 'new' : 'NEW',
125 'OOD' : 'OOD',
126 }
127
128 literals = ':[]{}(),='
129
130 tokens = [ 'EQ', 'NE', 'LT', 'GT', 'LE', 'GE',
131 'LEFTSHIFT', 'RIGHTSHIFT',
132 'NOT', 'AND', 'OR',
133 'PLUS', 'DASH', 'STAR', 'SLASH',
134 'INCR', 'DECR',
135 'DOUBLE_COLON', 'SEMI',
136 'ASSIGN', 'DOT',
137 'IDENT', 'LIT_BOOL', 'FLOATNUMBER', 'NUMBER', 'STRING' ]
138 tokens += reserved.values()
139
140 t_EQ = r'=='
141 t_NE = r'!='
142 t_LT = r'<'
143 t_GT = r'>'
144 t_LE = r'<='
145 t_GE = r'>='
146 t_LEFTSHIFT = r'<<'
147 t_RIGHTSHIFT = r'>>'
148 t_NOT = r'!'
149 t_AND = r'&&'
150 t_OR = r'\|\|'
151 t_PLUS = r'\+'
152 t_DASH = r'-'
153 t_STAR = r'\*'
154 t_SLASH = r'/'
155 t_DOUBLE_COLON = r'::'
156 t_SEMI = r';'
157 t_ASSIGN = r':='
158 t_DOT = r'\.'
159 t_INCR = r'\+\+'
160 t_DECR = r'--'
161
162 precedence = (
163 ('left', 'INCR', 'DECR'),
164 ('left', 'AND', 'OR'),
165 ('left', 'EQ', 'NE'),
166 ('left', 'LT', 'GT', 'LE', 'GE'),
167 ('left', 'RIGHTSHIFT', 'LEFTSHIFT'),
168 ('left', 'PLUS', 'DASH'),
169 ('left', 'STAR', 'SLASH'),
170 ('right', 'NOT', 'UMINUS'),
171 )
172
173 def t_IDENT(self, t):
174 r'[a-zA-Z_][a-zA-Z_0-9]*'
175 if t.value == 'true':
176 t.type = 'LIT_BOOL'
177 t.value = True
178 return t
179
180 if t.value == 'false':
181 t.type = 'LIT_BOOL'
182 t.value = False
183 return t
184
185 # Check for reserved words
186 t.type = self.reserved.get(t.value, 'IDENT')
187 return t
188
189 def t_FLOATNUMBER(self, t):
190 '[0-9]+[.][0-9]+'
191 try:
192 t.value = float(t.value)
193 except ValueError:
194 raise ParseError("Illegal float", t)
195 return t
196
197 def t_NUMBER(self, t):
198 r'[0-9]+'
199 try:
200 t.value = int(t.value)
201 except ValueError:
202 raise ParseError("Illegal number", t)
203 return t
204
205 def t_STRING1(self, t):
206 r'\"[^"\n]*\"'
207 t.type = 'STRING'
208 t.value = t.value[1:-1]
209 return t
210
211 def t_STRING2(self, t):
212 r"\'[^'\n]*\'"
213 t.type = 'STRING'
214 t.value = t.value[1:-1]
215 return t
216
217 def p_file(self, p):
218 "file : decls"
219 p[0] = p[1]
220
221 def p_empty(self, p):
222 "empty :"
223
224 def p_decls(self, p):
225 "decls : declsx"
226 p[0] = ast.DeclListAST(self, p[1])
227
228 def p_declsx__list(self, p):
229 "declsx : decl declsx"
230 if isinstance(p[1], ast.DeclListAST):
231 decls = p[1].decls
232 elif p[1] is None:
233 decls = []
234 else:
235 decls = [ p[1] ]
236 p[0] = decls + p[2]
237
238 def p_declsx__none(self, p):
239 "declsx : empty"
240 p[0] = []
241
242 def p_decl__protocol(self, p):
243 "decl : PROTOCOL STRING SEMI"
244 if self.protocol:
245 msg = "Protocol can only be set once! Error at %s:%s\n" % \
246 (self.current_source, self.current_line)
247 raise ParseError(msg)
248 self.protocol = p[2]
249 p[0] = None
250
251 def p_decl__include(self, p):
252 "decl : INCLUDE STRING SEMI"
253 dirname = os.path.dirname(self.current_source)
254 if os.path.exists(os.path.join(dirname, p[2])):
255 filename = os.path.join(dirname, p[2])
256 else:
257 filename = os.path.join(self.base_dir, p[2])
258 p[0] = self.parse_file(filename)
259
260 def p_decl__machine0(self, p):
261 "decl : MACHINE '(' idents ')' ':' params '{' decls '}'"
262 p[0] = ast.MachineAST(self, p[3], [], p[7], p[9])
263
264 def p_decl__machine1(self, p):
265 "decl : MACHINE '(' idents pairs ')' ':' params '{' decls '}'"
266 p[0] = ast.MachineAST(self, p[3], p[4], p[7], p[9])
267
268 def p_decl__action(self, p):
269 "decl : ACTION '(' ident pairs ')' statements"
270 p[0] = ast.ActionDeclAST(self, p[3], p[4], p[6])
271
272 def p_decl__in_port(self, p):
273 "decl : IN_PORT '(' ident ',' type ',' var pairs ')' statements"
274 p[0] = ast.InPortDeclAST(self, p[3], p[5], p[7], p[8], p[10])
275
276 def p_decl__out_port(self, p):
277 "decl : OUT_PORT '(' ident ',' type ',' var pairs ')' SEMI"
278 p[0] = ast.OutPortDeclAST(self, p[3], p[5], p[7], p[8])
279
280 def p_decl__trans0(self, p):
|
295
296 def p_decl__extern0(self, p):
297 "decl : EXTERN_TYPE '(' type pairs ')' SEMI"
298 p[4]["external"] = "yes"
299 p[0] = ast.TypeDeclAST(self, p[3], p[4], [])
300
301 def p_decl__global(self, p):
302 "decl : GLOBAL '(' type pairs ')' '{' type_members '}'"
303 p[4]["global"] = "yes"
304 p[0] = ast.TypeDeclAST(self, p[3], p[4], p[7])
305
306 def p_decl__struct(self, p):
307 "decl : STRUCT '(' type pairs ')' '{' type_members '}'"
308 p[0] = ast.TypeDeclAST(self, p[3], p[4], p[7])
309
310 def p_decl__enum(self, p):
311 "decl : ENUM '(' type pairs ')' '{' type_enums '}'"
312 p[4]["enumeration"] = "yes"
313 p[0] = ast.EnumDeclAST(self, p[3], p[4], p[7])
314
315 def p_decl__state_decl(self, p):
316 "decl : STATE_DECL '(' type pairs ')' '{' type_states '}'"
317 p[4]["enumeration"] = "yes"
318 p[4]["state_decl"] = "yes"
319 p[0] = ast.StateDeclAST(self, p[3], p[4], p[7])
320
321 def p_decl__object(self, p):
322 "decl : type ident pairs SEMI"
323 p[0] = ast.ObjDeclAST(self, p[1], p[2], p[3])
324
325 # Function definition and declaration
326 def p_decl__func_decl(self, p):
327 "decl : func_decl"
328 p[0] = p[1]
329
330 def p_func_decl__0(self, p):
331 """func_decl : void ident '(' params ')' pairs SEMI
332 | type ident '(' params ')' pairs SEMI"""
333 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], None)
334
335 def p_decl__func_def(self, p):
336 "decl : func_def"
337 p[0] = p[1]
338
339 def p_func_def__0(self, p):
340 """func_def : void ident '(' params ')' pairs statements
341 | type ident '(' params ')' pairs statements"""
342 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], p[7])
343
344 # Type fields
345 def p_type_members__list(self, p):
346 "type_members : type_member type_members"
347 p[0] = [ p[1] ] + p[2]
348
349 def p_type_members__empty(self, p):
350 "type_members : empty"
351 p[0] = []
352
353 def p_type_method__0(self, p):
354 "type_member : type_or_void ident '(' types ')' pairs SEMI"
355 p[0] = ast.TypeFieldMethodAST(self, p[1], p[2], p[4], p[6])
356
357 def p_type_method__1(self, p):
358 "type_member : type_or_void ident '(' params ')' pairs statements"
359 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], p[7])
360
361 def p_type_member__1(self, p):
362 "type_member : type_or_void ident pairs SEMI"
363 p[0] = ast.TypeFieldMemberAST(self, p[1], p[2], p[3], None)
364
365 def p_type_member__2(self, p):
366 "type_member : type_or_void ident ASSIGN expr SEMI"
367 p[0] = ast.TypeFieldMemberAST(self, p[1], p[2],
368 ast.PairListAST(self), p[4])
369
370 # Enum fields
371 def p_type_enums__list(self, p):
372 "type_enums : type_enum type_enums"
373 p[0] = [ p[1] ] + p[2]
374
375 def p_type_enums__empty(self, p):
376 "type_enums : empty"
377 p[0] = []
378
379 def p_type_enum(self, p):
380 "type_enum : ident pairs SEMI"
381 p[0] = ast.TypeFieldEnumAST(self, p[1], p[2])
382
383 # States
384 def p_type_states__list(self, p):
385 "type_states : type_state type_states"
386 p[0] = [ p[1] ] + p[2]
387
388 def p_type_states__empty(self, p):
389 "type_states : empty"
390 p[0] = []
391
392 def p_type_state(self, p):
393 "type_state : ident ',' enumeration pairs SEMI"
394 p[0] = ast.TypeFieldStateAST(self, p[1], p[3], p[4])
395
396 # Type
397 def p_types__multiple(self, p):
398 "types : type ',' types"
399 p[0] = [ p[1] ] + p[3]
400
401 def p_types__one(self, p):
402 "types : type"
403 p[0] = [ p[1] ]
404
405 def p_types__empty(self, p):
406 "types : empty"
407 p[0] = []
408
409 def p_typestr__multi(self, p):
410 "typestr : typestr DOUBLE_COLON ident"
411 p[0] = '%s::%s' % (p[1], p[3])
412
413 def p_typestr__single(self, p):
414 "typestr : ident"
415 p[0] = p[1]
416
417 def p_type__one(self, p):
418 "type : typestr"
419 p[0] = ast.TypeAST(self, p[1])
420
421 def p_void(self, p):
422 "void : VOID"
423 p[0] = ast.TypeAST(self, p[1])
424
425 def p_type_or_void(self, p):
426 """type_or_void : type
427 | void"""
428 p[0] = p[1]
429
430 # Formal Param
431 def p_params__many(self, p):
432 "params : param ',' params"
433 p[0] = [ p[1] ] + p[3]
434
435 def p_params__one(self, p):
436 "params : param"
437 p[0] = [ p[1] ]
438
439 def p_params__none(self, p):
440 "params : empty"
441 p[0] = []
442
443 def p_param(self, p):
444 "param : type ident"
445 p[0] = ast.FormalParamAST(self, p[1], p[2])
446
447 def p_param__pointer(self, p):
448 "param : type STAR ident"
449 p[0] = ast.FormalParamAST(self, p[1], p[3], None, True)
450
451 def p_param__pointer_default(self, p):
452 "param : type STAR ident '=' STRING"
453 p[0] = ast.FormalParamAST(self, p[1], p[3], p[5], True)
454
455 def p_param__default_number(self, p):
456 "param : type ident '=' NUMBER"
457 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
458
459 def p_param__default_bool(self, p):
460 "param : type ident '=' LIT_BOOL"
461 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
462
463 def p_param__default_string(self, p):
464 "param : type ident '=' STRING"
465 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
466
467 # Idents and lists
468 def p_idents__braced(self, p):
469 "idents : '{' identx '}'"
470 p[0] = p[2]
471
472 def p_idents__bare(self, p):
473 "idents : ident"
474 p[0] = [ p[1] ]
475
476 def p_identx__multiple_1(self, p):
477 """identx : ident SEMI identx
478 | ident ',' identx"""
479 p[0] = [ p[1] ] + p[3]
480
481 def p_identx__multiple_2(self, p):
482 "identx : ident identx"
483 p[0] = [ p[1] ] + p[2]
484
485 def p_identx__single(self, p):
486 "identx : empty"
487 p[0] = [ ]
488
489 def p_ident(self, p):
490 "ident : IDENT"
491 p[0] = p[1]
492
493 # Pair and pair lists
494 def p_pairs__list(self, p):
495 "pairs : ',' pairsx"
496 p[0] = p[2]
497
498 def p_pairs__empty(self, p):
499 "pairs : empty"
500 p[0] = ast.PairListAST(self)
501
502 def p_pairsx__many(self, p):
503 "pairsx : pair ',' pairsx"
504 p[0] = p[3]
505 p[0].addPair(p[1])
506
507 def p_pairsx__one(self, p):
508 "pairsx : pair"
509 p[0] = ast.PairListAST(self)
510 p[0].addPair(p[1])
511
512 def p_pair__assign(self, p):
513 """pair : ident '=' STRING
514 | ident '=' ident
515 | ident '=' NUMBER"""
516 p[0] = ast.PairAST(self, p[1], p[3])
517
518 def p_pair__literal(self, p):
519 "pair : STRING"
520 p[0] = ast.PairAST(self, "short", p[1])
521
522 # Below are the rules for action descriptions
523 def p_statements__inner(self, p):
524 "statements : '{' statements_inner '}'"
525 p[0] = ast.StatementListAST(self, p[2])
526
527 def p_statements__none(self, p):
528 "statements : '{' '}'"
529 p[0] = ast.StatementListAST(self, [])
530
531 def p_statements_inner__many(self, p):
532 "statements_inner : statement statements_inner"
533 p[0] = [ p[1] ] + p[2]
534
535 def p_statements_inner__one(self, p):
536 "statements_inner : statement"
537 p[0] = [ p[1] ]
538
539 def p_exprs__multiple(self, p):
540 "exprs : expr ',' exprs"
541 p[0] = [ p[1] ] + p[3]
542
543 def p_exprs__one(self, p):
544 "exprs : expr"
545 p[0] = [ p[1] ]
546
547 def p_exprs__empty(self, p):
548 "exprs : empty"""
549 p[0] = []
550
551 def p_statement__expression(self, p):
552 "statement : expr SEMI"
553 p[0] = ast.ExprStatementAST(self, p[1])
554
555 def p_statement__assign(self, p):
556 "statement : expr ASSIGN expr SEMI"
557 p[0] = ast.AssignStatementAST(self, p[1], p[3])
558
559 def p_statement__enqueue(self, p):
560 "statement : ENQUEUE '(' var ',' type ')' statements"
561 p[0] = ast.EnqueueStatementAST(self, p[3], p[5], None, p[7])
562
563 def p_statement__enqueue_latency(self, p):
564 "statement : ENQUEUE '(' var ',' type ',' expr ')' statements"
565 p[0] = ast.EnqueueStatementAST(self, p[3], p[5], p[7], p[9])
566
567 def p_statement__stall_and_wait(self, p):
568 "statement : STALL_AND_WAIT '(' var ',' var ')' SEMI"
569 p[0] = ast.StallAndWaitStatementAST(self, p[3], p[5])
570
571 def p_statement__peek(self, p):
572 "statement : PEEK '(' var ',' type pairs ')' statements"
573 p[0] = ast.PeekStatementAST(self, p[3], p[5], p[6], p[8], "peek")
574
575 def p_statement__check_allocate(self, p):
576 "statement : CHECK_ALLOCATE '(' var ')' SEMI"
577 p[0] = ast.CheckAllocateStatementAST(self, p[3])
578
579 def p_statement__check_stop(self, p):
580 "statement : CHECK_STOP_SLOTS '(' var ',' STRING ',' STRING ')' SEMI"
581 p[0] = ast.CheckStopStatementAST(self, p[3], p[5], p[7])
582
583 def p_statement__return(self, p):
584 "statement : RETURN expr SEMI"
585 p[0] = ast.ReturnStatementAST(self, p[2])
586
587 def p_statement__if(self, p):
588 "statement : if_statement"
589 p[0] = p[1]
590
591 def p_if_statement__if(self, p):
592 "if_statement : IF '(' expr ')' statements"
593 p[0] = ast.IfStatementAST(self, p[3], p[5], None)
594
595 def p_if_statement__if_else(self, p):
596 "if_statement : IF '(' expr ')' statements ELSE statements"
597 p[0] = ast.IfStatementAST(self, p[3], p[5], p[7])
598
599 def p_statement__if_else_if(self, p):
600 "if_statement : IF '(' expr ')' statements ELSE if_statement"
601 p[0] = ast.IfStatementAST(self, p[3], p[5],
602 ast.StatementListAST(self, p[7]))
603
604 def p_expr__static_cast(self, p):
605 "aexpr : STATIC_CAST '(' type ',' expr ')'"
606 p[0] = ast.StaticCastAST(self, p[3], "ref", p[5])
607
608 def p_expr__static_cast_ptr(self, p):
609 "aexpr : STATIC_CAST '(' type ',' STRING ',' expr ')'"
610 p[0] = ast.StaticCastAST(self, p[3], p[5], p[7])
611
612 def p_expr__var(self, p):
613 "aexpr : var"
614 p[0] = p[1]
615
616 def p_expr__localvar(self, p):
617 "aexpr : type ident"
618 p[0] = ast.LocalVariableAST(self, p[1], p[2])
619
620 def p_expr__literal(self, p):
621 "aexpr : literal"
622 p[0] = p[1]
623
624 def p_expr__enumeration(self, p):
625 "aexpr : enumeration"
626 p[0] = p[1]
627
628 def p_expr__func_call(self, p):
629 "aexpr : ident '(' exprs ')'"
630 p[0] = ast.FuncCallExprAST(self, p[1], p[3])
631
632 def p_expr__new(self, p):
633 "aexpr : NEW type"
634 p[0] = ast.NewExprAST(self, p[2])
635
636 def p_expr__null(self, p):
637 "aexpr : OOD"
638 p[0] = ast.OodAST(self)
639
640 def p_expr__member(self, p):
641 "aexpr : aexpr DOT ident"
642 p[0] = ast.MemberExprAST(self, p[1], p[3])
643
644 def p_expr__member_method_call(self, p):
645 "aexpr : aexpr DOT ident '(' exprs ')'"
646 p[0] = ast.MemberMethodCallExprAST(self, p[1], p[3], p[5])
647
648 def p_expr__member_method_call_lookup(self, p):
649 "aexpr : aexpr '[' exprs ']'"
650 p[0] = ast.MemberMethodCallExprAST(self, p[1], "lookup", p[3])
651
652 def p_expr__class_method_call(self, p):
653 "aexpr : type DOUBLE_COLON ident '(' exprs ')'"
654 p[0] = ast.ClassMethodCallExprAST(self, p[1], p[3], p[5])
655
656 def p_expr__aexpr(self, p):
657 "expr : aexpr"
658 p[0] = p[1]
659
660 def p_expr__binary_op(self, p):
661 """expr : expr STAR expr
662 | expr SLASH expr
663 | expr PLUS expr
664 | expr DASH expr
665 | expr LT expr
666 | expr GT expr
667 | expr LE expr
668 | expr GE expr
669 | expr EQ expr
670 | expr NE expr
671 | expr AND expr
672 | expr OR expr
673 | expr RIGHTSHIFT expr
674 | expr LEFTSHIFT expr"""
675 p[0] = ast.InfixOperatorExprAST(self, p[1], p[2], p[3])
676
677 # FIXME - unary not
678 def p_expr__unary_op(self, p):
679 """expr : NOT expr
680 | INCR expr
681 | DECR expr
682 | DASH expr %prec UMINUS"""
683 p[0] = ast.PrefixOperatorExprAST(self, p[1], p[2])
684
685 def p_expr__parens(self, p):
686 "aexpr : '(' expr ')'"
687 p[0] = p[2]
688
689 def p_expr__is_valid_ptr(self, p):
690 "aexpr : IS_VALID '(' var ')'"
691 p[0] = ast.IsValidPtrExprAST(self, p[3], True)
692
693 def p_expr__is_invalid_ptr(self, p):
694 "aexpr : IS_INVALID '(' var ')'"
695 p[0] = ast.IsValidPtrExprAST(self, p[3], False)
696
697 def p_literal__string(self, p):
698 "literal : STRING"
699 p[0] = ast.LiteralExprAST(self, p[1], "std::string")
700
701 def p_literal__number(self, p):
702 "literal : NUMBER"
703 p[0] = ast.LiteralExprAST(self, p[1], "int")
704
705 def p_literal__float(self, p):
706 "literal : FLOATNUMBER"
707 p[0] = ast.LiteralExprAST(self, p[1], "int")
708
709 def p_literal__bool(self, p):
710 "literal : LIT_BOOL"
711 p[0] = ast.LiteralExprAST(self, p[1], "bool")
712
713 def p_enumeration(self, p):
714 "enumeration : ident ':' ident"
715 p[0] = ast.EnumExprAST(self, ast.TypeAST(self, p[1]), p[3])
716
717 def p_var(self, p):
718 "var : ident"
719 p[0] = ast.VarExprAST(self, p[1])
| 295
296 def p_decl__extern0(self, p):
297 "decl : EXTERN_TYPE '(' type pairs ')' SEMI"
298 p[4]["external"] = "yes"
299 p[0] = ast.TypeDeclAST(self, p[3], p[4], [])
300
301 def p_decl__global(self, p):
302 "decl : GLOBAL '(' type pairs ')' '{' type_members '}'"
303 p[4]["global"] = "yes"
304 p[0] = ast.TypeDeclAST(self, p[3], p[4], p[7])
305
306 def p_decl__struct(self, p):
307 "decl : STRUCT '(' type pairs ')' '{' type_members '}'"
308 p[0] = ast.TypeDeclAST(self, p[3], p[4], p[7])
309
310 def p_decl__enum(self, p):
311 "decl : ENUM '(' type pairs ')' '{' type_enums '}'"
312 p[4]["enumeration"] = "yes"
313 p[0] = ast.EnumDeclAST(self, p[3], p[4], p[7])
314
315 def p_decl__state_decl(self, p):
316 "decl : STATE_DECL '(' type pairs ')' '{' type_states '}'"
317 p[4]["enumeration"] = "yes"
318 p[4]["state_decl"] = "yes"
319 p[0] = ast.StateDeclAST(self, p[3], p[4], p[7])
320
321 def p_decl__object(self, p):
322 "decl : type ident pairs SEMI"
323 p[0] = ast.ObjDeclAST(self, p[1], p[2], p[3])
324
325 # Function definition and declaration
326 def p_decl__func_decl(self, p):
327 "decl : func_decl"
328 p[0] = p[1]
329
330 def p_func_decl__0(self, p):
331 """func_decl : void ident '(' params ')' pairs SEMI
332 | type ident '(' params ')' pairs SEMI"""
333 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], None)
334
335 def p_decl__func_def(self, p):
336 "decl : func_def"
337 p[0] = p[1]
338
339 def p_func_def__0(self, p):
340 """func_def : void ident '(' params ')' pairs statements
341 | type ident '(' params ')' pairs statements"""
342 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], p[7])
343
344 # Type fields
345 def p_type_members__list(self, p):
346 "type_members : type_member type_members"
347 p[0] = [ p[1] ] + p[2]
348
349 def p_type_members__empty(self, p):
350 "type_members : empty"
351 p[0] = []
352
353 def p_type_method__0(self, p):
354 "type_member : type_or_void ident '(' types ')' pairs SEMI"
355 p[0] = ast.TypeFieldMethodAST(self, p[1], p[2], p[4], p[6])
356
357 def p_type_method__1(self, p):
358 "type_member : type_or_void ident '(' params ')' pairs statements"
359 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], p[7])
360
361 def p_type_member__1(self, p):
362 "type_member : type_or_void ident pairs SEMI"
363 p[0] = ast.TypeFieldMemberAST(self, p[1], p[2], p[3], None)
364
365 def p_type_member__2(self, p):
366 "type_member : type_or_void ident ASSIGN expr SEMI"
367 p[0] = ast.TypeFieldMemberAST(self, p[1], p[2],
368 ast.PairListAST(self), p[4])
369
370 # Enum fields
371 def p_type_enums__list(self, p):
372 "type_enums : type_enum type_enums"
373 p[0] = [ p[1] ] + p[2]
374
375 def p_type_enums__empty(self, p):
376 "type_enums : empty"
377 p[0] = []
378
379 def p_type_enum(self, p):
380 "type_enum : ident pairs SEMI"
381 p[0] = ast.TypeFieldEnumAST(self, p[1], p[2])
382
383 # States
384 def p_type_states__list(self, p):
385 "type_states : type_state type_states"
386 p[0] = [ p[1] ] + p[2]
387
388 def p_type_states__empty(self, p):
389 "type_states : empty"
390 p[0] = []
391
392 def p_type_state(self, p):
393 "type_state : ident ',' enumeration pairs SEMI"
394 p[0] = ast.TypeFieldStateAST(self, p[1], p[3], p[4])
395
396 # Type
397 def p_types__multiple(self, p):
398 "types : type ',' types"
399 p[0] = [ p[1] ] + p[3]
400
401 def p_types__one(self, p):
402 "types : type"
403 p[0] = [ p[1] ]
404
405 def p_types__empty(self, p):
406 "types : empty"
407 p[0] = []
408
409 def p_typestr__multi(self, p):
410 "typestr : typestr DOUBLE_COLON ident"
411 p[0] = '%s::%s' % (p[1], p[3])
412
413 def p_typestr__single(self, p):
414 "typestr : ident"
415 p[0] = p[1]
416
417 def p_type__one(self, p):
418 "type : typestr"
419 p[0] = ast.TypeAST(self, p[1])
420
421 def p_void(self, p):
422 "void : VOID"
423 p[0] = ast.TypeAST(self, p[1])
424
425 def p_type_or_void(self, p):
426 """type_or_void : type
427 | void"""
428 p[0] = p[1]
429
430 # Formal Param
431 def p_params__many(self, p):
432 "params : param ',' params"
433 p[0] = [ p[1] ] + p[3]
434
435 def p_params__one(self, p):
436 "params : param"
437 p[0] = [ p[1] ]
438
439 def p_params__none(self, p):
440 "params : empty"
441 p[0] = []
442
443 def p_param(self, p):
444 "param : type ident"
445 p[0] = ast.FormalParamAST(self, p[1], p[2])
446
447 def p_param__pointer(self, p):
448 "param : type STAR ident"
449 p[0] = ast.FormalParamAST(self, p[1], p[3], None, True)
450
451 def p_param__pointer_default(self, p):
452 "param : type STAR ident '=' STRING"
453 p[0] = ast.FormalParamAST(self, p[1], p[3], p[5], True)
454
455 def p_param__default_number(self, p):
456 "param : type ident '=' NUMBER"
457 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
458
459 def p_param__default_bool(self, p):
460 "param : type ident '=' LIT_BOOL"
461 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
462
463 def p_param__default_string(self, p):
464 "param : type ident '=' STRING"
465 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
466
467 # Idents and lists
468 def p_idents__braced(self, p):
469 "idents : '{' identx '}'"
470 p[0] = p[2]
471
472 def p_idents__bare(self, p):
473 "idents : ident"
474 p[0] = [ p[1] ]
475
476 def p_identx__multiple_1(self, p):
477 """identx : ident SEMI identx
478 | ident ',' identx"""
479 p[0] = [ p[1] ] + p[3]
480
481 def p_identx__multiple_2(self, p):
482 "identx : ident identx"
483 p[0] = [ p[1] ] + p[2]
484
485 def p_identx__single(self, p):
486 "identx : empty"
487 p[0] = [ ]
488
489 def p_ident(self, p):
490 "ident : IDENT"
491 p[0] = p[1]
492
493 # Pair and pair lists
494 def p_pairs__list(self, p):
495 "pairs : ',' pairsx"
496 p[0] = p[2]
497
498 def p_pairs__empty(self, p):
499 "pairs : empty"
500 p[0] = ast.PairListAST(self)
501
502 def p_pairsx__many(self, p):
503 "pairsx : pair ',' pairsx"
504 p[0] = p[3]
505 p[0].addPair(p[1])
506
507 def p_pairsx__one(self, p):
508 "pairsx : pair"
509 p[0] = ast.PairListAST(self)
510 p[0].addPair(p[1])
511
512 def p_pair__assign(self, p):
513 """pair : ident '=' STRING
514 | ident '=' ident
515 | ident '=' NUMBER"""
516 p[0] = ast.PairAST(self, p[1], p[3])
517
518 def p_pair__literal(self, p):
519 "pair : STRING"
520 p[0] = ast.PairAST(self, "short", p[1])
521
522 # Below are the rules for action descriptions
523 def p_statements__inner(self, p):
524 "statements : '{' statements_inner '}'"
525 p[0] = ast.StatementListAST(self, p[2])
526
527 def p_statements__none(self, p):
528 "statements : '{' '}'"
529 p[0] = ast.StatementListAST(self, [])
530
531 def p_statements_inner__many(self, p):
532 "statements_inner : statement statements_inner"
533 p[0] = [ p[1] ] + p[2]
534
535 def p_statements_inner__one(self, p):
536 "statements_inner : statement"
537 p[0] = [ p[1] ]
538
539 def p_exprs__multiple(self, p):
540 "exprs : expr ',' exprs"
541 p[0] = [ p[1] ] + p[3]
542
543 def p_exprs__one(self, p):
544 "exprs : expr"
545 p[0] = [ p[1] ]
546
547 def p_exprs__empty(self, p):
548 "exprs : empty"""
549 p[0] = []
550
551 def p_statement__expression(self, p):
552 "statement : expr SEMI"
553 p[0] = ast.ExprStatementAST(self, p[1])
554
555 def p_statement__assign(self, p):
556 "statement : expr ASSIGN expr SEMI"
557 p[0] = ast.AssignStatementAST(self, p[1], p[3])
558
559 def p_statement__enqueue(self, p):
560 "statement : ENQUEUE '(' var ',' type ')' statements"
561 p[0] = ast.EnqueueStatementAST(self, p[3], p[5], None, p[7])
562
563 def p_statement__enqueue_latency(self, p):
564 "statement : ENQUEUE '(' var ',' type ',' expr ')' statements"
565 p[0] = ast.EnqueueStatementAST(self, p[3], p[5], p[7], p[9])
566
567 def p_statement__stall_and_wait(self, p):
568 "statement : STALL_AND_WAIT '(' var ',' var ')' SEMI"
569 p[0] = ast.StallAndWaitStatementAST(self, p[3], p[5])
570
571 def p_statement__peek(self, p):
572 "statement : PEEK '(' var ',' type pairs ')' statements"
573 p[0] = ast.PeekStatementAST(self, p[3], p[5], p[6], p[8], "peek")
574
575 def p_statement__check_allocate(self, p):
576 "statement : CHECK_ALLOCATE '(' var ')' SEMI"
577 p[0] = ast.CheckAllocateStatementAST(self, p[3])
578
579 def p_statement__check_stop(self, p):
580 "statement : CHECK_STOP_SLOTS '(' var ',' STRING ',' STRING ')' SEMI"
581 p[0] = ast.CheckStopStatementAST(self, p[3], p[5], p[7])
582
583 def p_statement__return(self, p):
584 "statement : RETURN expr SEMI"
585 p[0] = ast.ReturnStatementAST(self, p[2])
586
587 def p_statement__if(self, p):
588 "statement : if_statement"
589 p[0] = p[1]
590
591 def p_if_statement__if(self, p):
592 "if_statement : IF '(' expr ')' statements"
593 p[0] = ast.IfStatementAST(self, p[3], p[5], None)
594
595 def p_if_statement__if_else(self, p):
596 "if_statement : IF '(' expr ')' statements ELSE statements"
597 p[0] = ast.IfStatementAST(self, p[3], p[5], p[7])
598
599 def p_statement__if_else_if(self, p):
600 "if_statement : IF '(' expr ')' statements ELSE if_statement"
601 p[0] = ast.IfStatementAST(self, p[3], p[5],
602 ast.StatementListAST(self, p[7]))
603
604 def p_expr__static_cast(self, p):
605 "aexpr : STATIC_CAST '(' type ',' expr ')'"
606 p[0] = ast.StaticCastAST(self, p[3], "ref", p[5])
607
608 def p_expr__static_cast_ptr(self, p):
609 "aexpr : STATIC_CAST '(' type ',' STRING ',' expr ')'"
610 p[0] = ast.StaticCastAST(self, p[3], p[5], p[7])
611
612 def p_expr__var(self, p):
613 "aexpr : var"
614 p[0] = p[1]
615
616 def p_expr__localvar(self, p):
617 "aexpr : type ident"
618 p[0] = ast.LocalVariableAST(self, p[1], p[2])
619
620 def p_expr__literal(self, p):
621 "aexpr : literal"
622 p[0] = p[1]
623
624 def p_expr__enumeration(self, p):
625 "aexpr : enumeration"
626 p[0] = p[1]
627
628 def p_expr__func_call(self, p):
629 "aexpr : ident '(' exprs ')'"
630 p[0] = ast.FuncCallExprAST(self, p[1], p[3])
631
632 def p_expr__new(self, p):
633 "aexpr : NEW type"
634 p[0] = ast.NewExprAST(self, p[2])
635
636 def p_expr__null(self, p):
637 "aexpr : OOD"
638 p[0] = ast.OodAST(self)
639
640 def p_expr__member(self, p):
641 "aexpr : aexpr DOT ident"
642 p[0] = ast.MemberExprAST(self, p[1], p[3])
643
644 def p_expr__member_method_call(self, p):
645 "aexpr : aexpr DOT ident '(' exprs ')'"
646 p[0] = ast.MemberMethodCallExprAST(self, p[1], p[3], p[5])
647
648 def p_expr__member_method_call_lookup(self, p):
649 "aexpr : aexpr '[' exprs ']'"
650 p[0] = ast.MemberMethodCallExprAST(self, p[1], "lookup", p[3])
651
652 def p_expr__class_method_call(self, p):
653 "aexpr : type DOUBLE_COLON ident '(' exprs ')'"
654 p[0] = ast.ClassMethodCallExprAST(self, p[1], p[3], p[5])
655
656 def p_expr__aexpr(self, p):
657 "expr : aexpr"
658 p[0] = p[1]
659
660 def p_expr__binary_op(self, p):
661 """expr : expr STAR expr
662 | expr SLASH expr
663 | expr PLUS expr
664 | expr DASH expr
665 | expr LT expr
666 | expr GT expr
667 | expr LE expr
668 | expr GE expr
669 | expr EQ expr
670 | expr NE expr
671 | expr AND expr
672 | expr OR expr
673 | expr RIGHTSHIFT expr
674 | expr LEFTSHIFT expr"""
675 p[0] = ast.InfixOperatorExprAST(self, p[1], p[2], p[3])
676
677 # FIXME - unary not
678 def p_expr__unary_op(self, p):
679 """expr : NOT expr
680 | INCR expr
681 | DECR expr
682 | DASH expr %prec UMINUS"""
683 p[0] = ast.PrefixOperatorExprAST(self, p[1], p[2])
684
685 def p_expr__parens(self, p):
686 "aexpr : '(' expr ')'"
687 p[0] = p[2]
688
689 def p_expr__is_valid_ptr(self, p):
690 "aexpr : IS_VALID '(' var ')'"
691 p[0] = ast.IsValidPtrExprAST(self, p[3], True)
692
693 def p_expr__is_invalid_ptr(self, p):
694 "aexpr : IS_INVALID '(' var ')'"
695 p[0] = ast.IsValidPtrExprAST(self, p[3], False)
696
697 def p_literal__string(self, p):
698 "literal : STRING"
699 p[0] = ast.LiteralExprAST(self, p[1], "std::string")
700
701 def p_literal__number(self, p):
702 "literal : NUMBER"
703 p[0] = ast.LiteralExprAST(self, p[1], "int")
704
705 def p_literal__float(self, p):
706 "literal : FLOATNUMBER"
707 p[0] = ast.LiteralExprAST(self, p[1], "int")
708
709 def p_literal__bool(self, p):
710 "literal : LIT_BOOL"
711 p[0] = ast.LiteralExprAST(self, p[1], "bool")
712
713 def p_enumeration(self, p):
714 "enumeration : ident ':' ident"
715 p[0] = ast.EnumExprAST(self, ast.TypeAST(self, p[1]), p[3])
716
717 def p_var(self, p):
718 "var : ident"
719 p[0] = ast.VarExprAST(self, p[1])
|