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 'copy_head' : 'COPY_HEAD',
116 'check_allocate' : 'CHECK_ALLOCATE',
117 'check_stop_slots' : 'CHECK_STOP_SLOTS',
118 'static_cast' : 'STATIC_CAST',
119 'if' : 'IF',
120 'is_valid' : 'IS_VALID',
121 'is_invalid' : 'IS_INVALID',
122 'else' : 'ELSE',
123 'return' : 'RETURN',
124 'void' : 'VOID',
125 'new' : 'NEW',
126 'OOD' : 'OOD',
127 }
128
129 literals = ':[]{}(),='
130
131 tokens = [ 'EQ', 'NE', 'LT', 'GT', 'LE', 'GE',
132 'LEFTSHIFT', 'RIGHTSHIFT',
133 'NOT', 'AND', 'OR',
134 'PLUS', 'DASH', 'STAR', 'SLASH',
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
160 precedence = (
161 ('left', 'AND', 'OR'),
162 ('left', 'EQ', 'NE'),
163 ('left', 'LT', 'GT', 'LE', 'GE'),
164 ('left', 'RIGHTSHIFT', 'LEFTSHIFT'),
165 ('left', 'PLUS', 'DASH'),
166 ('left', 'STAR', 'SLASH'),
167 ('right', 'NOT', 'UMINUS'),
168 )
169
170 def t_IDENT(self, t):
171 r'[a-zA-Z_][a-zA-Z_0-9]*'
172 if t.value == 'true':
173 t.type = 'LIT_BOOL'
174 t.value = True
175 return t
176
177 if t.value == 'false':
178 t.type = 'LIT_BOOL'
179 t.value = False
180 return t
181
182 # Check for reserved words
183 t.type = self.reserved.get(t.value, 'IDENT')
184 return t
185
186 def t_FLOATNUMBER(self, t):
187 '[0-9]+[.][0-9]+'
188 try:
189 t.value = float(t.value)
190 except ValueError:
191 raise ParseError("Illegal float", t)
192 return t
193
194 def t_NUMBER(self, t):
195 r'[0-9]+'
196 try:
197 t.value = int(t.value)
198 except ValueError:
199 raise ParseError("Illegal number", t)
200 return t
201
202 def t_STRING1(self, t):
203 r'\"[^"\n]*\"'
204 t.type = 'STRING'
205 t.value = t.value[1:-1]
206 return t
207
208 def t_STRING2(self, t):
209 r"\'[^'\n]*\'"
210 t.type = 'STRING'
211 t.value = t.value[1:-1]
212 return t
213
214 def p_file(self, p):
215 "file : decls"
216 p[0] = p[1]
217
218 def p_empty(self, p):
219 "empty :"
220
221 def p_decls(self, p):
222 "decls : declsx"
223 p[0] = ast.DeclListAST(self, p[1])
224
225 def p_declsx__list(self, p):
226 "declsx : decl declsx"
227 if isinstance(p[1], ast.DeclListAST):
228 decls = p[1].decls
229 elif p[1] is None:
230 decls = []
231 else:
232 decls = [ p[1] ]
233 p[0] = decls + p[2]
234
235 def p_declsx__none(self, p):
236 "declsx : empty"
237 p[0] = []
238
239 def p_decl__protocol(self, p):
240 "decl : PROTOCOL STRING SEMI"
241 if self.protocol:
242 msg = "Protocol can only be set once! Error at %s:%s\n" % \
243 (self.current_source, self.current_line)
244 raise ParseError(msg)
245 self.protocol = p[2]
246 p[0] = None
247
248 def p_decl__include(self, p):
249 "decl : INCLUDE STRING SEMI"
250 dirname = os.path.dirname(self.current_source)
251 if os.path.exists(os.path.join(dirname, p[2])):
252 filename = os.path.join(dirname, p[2])
253 else:
254 filename = os.path.join(self.base_dir, p[2])
255 p[0] = self.parse_file(filename)
256
257 def p_decl__machine(self, p):
258 "decl : MACHINE '(' ident pairs ')' ':' params '{' decls '}'"
259 p[0] = ast.MachineAST(self, p[3], p[4], p[7], p[9])
260
261 def p_decl__action(self, p):
262 "decl : ACTION '(' ident pairs ')' statements"
263 p[0] = ast.ActionDeclAST(self, p[3], p[4], p[6])
264
265 def p_decl__in_port(self, p):
266 "decl : IN_PORT '(' ident ',' type ',' var pairs ')' statements"
267 p[0] = ast.InPortDeclAST(self, p[3], p[5], p[7], p[8], p[10])
268
269 def p_decl__out_port(self, p):
270 "decl : OUT_PORT '(' ident ',' type ',' var pairs ')' SEMI"
271 p[0] = ast.OutPortDeclAST(self, p[3], p[5], p[7], p[8])
272
273 def p_decl__trans0(self, p):
274 "decl : TRANS '(' idents ',' idents ',' ident pairs ')' idents"
275 p[0] = ast.TransitionDeclAST(self, [], p[3], p[5], p[7], p[8], p[10])
276
277 def p_decl__trans1(self, p):
278 "decl : TRANS '(' idents ',' idents pairs ')' idents"
279 p[0] = ast.TransitionDeclAST(self, [], p[3], p[5], None, p[6], p[8])
280
281 def p_decl__trans2(self, p):
282 "decl : TRANS '(' idents ',' idents ',' ident pairs ')' idents idents"
283 p[0] = ast.TransitionDeclAST(self, p[10], p[3], p[5], p[7], p[8], p[11])
284
285 def p_decl__trans3(self, p):
286 "decl : TRANS '(' idents ',' idents pairs ')' idents idents"
287 p[0] = ast.TransitionDeclAST(self, p[8], p[3], p[5], None, p[6], p[9])
288
289 def p_decl__extern0(self, p):
290 "decl : EXTERN_TYPE '(' type pairs ')' SEMI"
291 p[4]["external"] = "yes"
292 p[0] = ast.TypeDeclAST(self, p[3], p[4], [])
293
294 def p_decl__global(self, p):
295 "decl : GLOBAL '(' type pairs ')' '{' type_members '}'"
296 p[4]["global"] = "yes"
297 p[0] = ast.TypeDeclAST(self, p[3], p[4], p[7])
298
299 def p_decl__struct(self, p):
300 "decl : STRUCT '(' type pairs ')' '{' type_members '}'"
301 p[0] = ast.TypeDeclAST(self, p[3], p[4], p[7])
302
303 def p_decl__enum(self, p):
304 "decl : ENUM '(' type pairs ')' '{' type_enums '}'"
305 p[4]["enumeration"] = "yes"
306 p[0] = ast.EnumDeclAST(self, p[3], p[4], p[7])
307
308 def p_decl__state_decl(self, p):
309 "decl : STATE_DECL '(' type pairs ')' '{' type_states '}'"
310 p[4]["enumeration"] = "yes"
311 p[4]["state_decl"] = "yes"
312 p[0] = ast.StateDeclAST(self, p[3], p[4], p[7])
313
314 def p_decl__object(self, p):
315 "decl : type ident pairs SEMI"
316 p[0] = ast.ObjDeclAST(self, p[1], p[2], p[3])
317
| 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 'copy_head' : 'COPY_HEAD',
116 'check_allocate' : 'CHECK_ALLOCATE',
117 'check_stop_slots' : 'CHECK_STOP_SLOTS',
118 'static_cast' : 'STATIC_CAST',
119 'if' : 'IF',
120 'is_valid' : 'IS_VALID',
121 'is_invalid' : 'IS_INVALID',
122 'else' : 'ELSE',
123 'return' : 'RETURN',
124 'void' : 'VOID',
125 'new' : 'NEW',
126 'OOD' : 'OOD',
127 }
128
129 literals = ':[]{}(),='
130
131 tokens = [ 'EQ', 'NE', 'LT', 'GT', 'LE', 'GE',
132 'LEFTSHIFT', 'RIGHTSHIFT',
133 'NOT', 'AND', 'OR',
134 'PLUS', 'DASH', 'STAR', 'SLASH',
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
160 precedence = (
161 ('left', 'AND', 'OR'),
162 ('left', 'EQ', 'NE'),
163 ('left', 'LT', 'GT', 'LE', 'GE'),
164 ('left', 'RIGHTSHIFT', 'LEFTSHIFT'),
165 ('left', 'PLUS', 'DASH'),
166 ('left', 'STAR', 'SLASH'),
167 ('right', 'NOT', 'UMINUS'),
168 )
169
170 def t_IDENT(self, t):
171 r'[a-zA-Z_][a-zA-Z_0-9]*'
172 if t.value == 'true':
173 t.type = 'LIT_BOOL'
174 t.value = True
175 return t
176
177 if t.value == 'false':
178 t.type = 'LIT_BOOL'
179 t.value = False
180 return t
181
182 # Check for reserved words
183 t.type = self.reserved.get(t.value, 'IDENT')
184 return t
185
186 def t_FLOATNUMBER(self, t):
187 '[0-9]+[.][0-9]+'
188 try:
189 t.value = float(t.value)
190 except ValueError:
191 raise ParseError("Illegal float", t)
192 return t
193
194 def t_NUMBER(self, t):
195 r'[0-9]+'
196 try:
197 t.value = int(t.value)
198 except ValueError:
199 raise ParseError("Illegal number", t)
200 return t
201
202 def t_STRING1(self, t):
203 r'\"[^"\n]*\"'
204 t.type = 'STRING'
205 t.value = t.value[1:-1]
206 return t
207
208 def t_STRING2(self, t):
209 r"\'[^'\n]*\'"
210 t.type = 'STRING'
211 t.value = t.value[1:-1]
212 return t
213
214 def p_file(self, p):
215 "file : decls"
216 p[0] = p[1]
217
218 def p_empty(self, p):
219 "empty :"
220
221 def p_decls(self, p):
222 "decls : declsx"
223 p[0] = ast.DeclListAST(self, p[1])
224
225 def p_declsx__list(self, p):
226 "declsx : decl declsx"
227 if isinstance(p[1], ast.DeclListAST):
228 decls = p[1].decls
229 elif p[1] is None:
230 decls = []
231 else:
232 decls = [ p[1] ]
233 p[0] = decls + p[2]
234
235 def p_declsx__none(self, p):
236 "declsx : empty"
237 p[0] = []
238
239 def p_decl__protocol(self, p):
240 "decl : PROTOCOL STRING SEMI"
241 if self.protocol:
242 msg = "Protocol can only be set once! Error at %s:%s\n" % \
243 (self.current_source, self.current_line)
244 raise ParseError(msg)
245 self.protocol = p[2]
246 p[0] = None
247
248 def p_decl__include(self, p):
249 "decl : INCLUDE STRING SEMI"
250 dirname = os.path.dirname(self.current_source)
251 if os.path.exists(os.path.join(dirname, p[2])):
252 filename = os.path.join(dirname, p[2])
253 else:
254 filename = os.path.join(self.base_dir, p[2])
255 p[0] = self.parse_file(filename)
256
257 def p_decl__machine(self, p):
258 "decl : MACHINE '(' ident pairs ')' ':' params '{' decls '}'"
259 p[0] = ast.MachineAST(self, p[3], p[4], p[7], p[9])
260
261 def p_decl__action(self, p):
262 "decl : ACTION '(' ident pairs ')' statements"
263 p[0] = ast.ActionDeclAST(self, p[3], p[4], p[6])
264
265 def p_decl__in_port(self, p):
266 "decl : IN_PORT '(' ident ',' type ',' var pairs ')' statements"
267 p[0] = ast.InPortDeclAST(self, p[3], p[5], p[7], p[8], p[10])
268
269 def p_decl__out_port(self, p):
270 "decl : OUT_PORT '(' ident ',' type ',' var pairs ')' SEMI"
271 p[0] = ast.OutPortDeclAST(self, p[3], p[5], p[7], p[8])
272
273 def p_decl__trans0(self, p):
274 "decl : TRANS '(' idents ',' idents ',' ident pairs ')' idents"
275 p[0] = ast.TransitionDeclAST(self, [], p[3], p[5], p[7], p[8], p[10])
276
277 def p_decl__trans1(self, p):
278 "decl : TRANS '(' idents ',' idents pairs ')' idents"
279 p[0] = ast.TransitionDeclAST(self, [], p[3], p[5], None, p[6], p[8])
280
281 def p_decl__trans2(self, p):
282 "decl : TRANS '(' idents ',' idents ',' ident pairs ')' idents idents"
283 p[0] = ast.TransitionDeclAST(self, p[10], p[3], p[5], p[7], p[8], p[11])
284
285 def p_decl__trans3(self, p):
286 "decl : TRANS '(' idents ',' idents pairs ')' idents idents"
287 p[0] = ast.TransitionDeclAST(self, p[8], p[3], p[5], None, p[6], p[9])
288
289 def p_decl__extern0(self, p):
290 "decl : EXTERN_TYPE '(' type pairs ')' SEMI"
291 p[4]["external"] = "yes"
292 p[0] = ast.TypeDeclAST(self, p[3], p[4], [])
293
294 def p_decl__global(self, p):
295 "decl : GLOBAL '(' type pairs ')' '{' type_members '}'"
296 p[4]["global"] = "yes"
297 p[0] = ast.TypeDeclAST(self, p[3], p[4], p[7])
298
299 def p_decl__struct(self, p):
300 "decl : STRUCT '(' type pairs ')' '{' type_members '}'"
301 p[0] = ast.TypeDeclAST(self, p[3], p[4], p[7])
302
303 def p_decl__enum(self, p):
304 "decl : ENUM '(' type pairs ')' '{' type_enums '}'"
305 p[4]["enumeration"] = "yes"
306 p[0] = ast.EnumDeclAST(self, p[3], p[4], p[7])
307
308 def p_decl__state_decl(self, p):
309 "decl : STATE_DECL '(' type pairs ')' '{' type_states '}'"
310 p[4]["enumeration"] = "yes"
311 p[4]["state_decl"] = "yes"
312 p[0] = ast.StateDeclAST(self, p[3], p[4], p[7])
313
314 def p_decl__object(self, p):
315 "decl : type ident pairs SEMI"
316 p[0] = ast.ObjDeclAST(self, p[1], p[2], p[3])
317
|
| 318 # Function definition and declaration
|
318 def p_decl__func_decl(self, p):
| 319 def p_decl__func_decl(self, p):
|
319 """decl : void ident '(' params ')' pairs SEMI
| 320 "decl : func_decl"
321 p[0] = p[1]
322
323 def p_func_decl__0(self, p):
324 """func_decl : void ident '(' params ')' pairs SEMI
|
320 | type ident '(' params ')' pairs SEMI"""
321 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], None)
322
323 def p_decl__func_def(self, p):
| 325 | type ident '(' params ')' pairs SEMI"""
326 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], None)
327
328 def p_decl__func_def(self, p):
|
324 """decl : void ident '(' params ')' pairs statements
325 | type ident '(' params ')' pairs statements"""
| 329 "decl : func_def"
330 p[0] = p[1]
331
332 def p_func_def__0(self, p):
333 """func_def : void ident '(' params ')' pairs statements
334 | type ident '(' params ')' pairs statements"""
|
326 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], p[7])
327
328 # Type fields
329 def p_type_members__list(self, p):
330 "type_members : type_member type_members"
331 p[0] = [ p[1] ] + p[2]
332
333 def p_type_members__empty(self, p):
334 "type_members : empty"
335 p[0] = []
336
337 def p_type_method__0(self, p):
338 "type_member : type_or_void ident '(' types ')' pairs SEMI"
339 p[0] = ast.TypeFieldMethodAST(self, p[1], p[2], p[4], p[6])
340
| 335 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], p[7])
336
337 # Type fields
338 def p_type_members__list(self, p):
339 "type_members : type_member type_members"
340 p[0] = [ p[1] ] + p[2]
341
342 def p_type_members__empty(self, p):
343 "type_members : empty"
344 p[0] = []
345
346 def p_type_method__0(self, p):
347 "type_member : type_or_void ident '(' types ')' pairs SEMI"
348 p[0] = ast.TypeFieldMethodAST(self, p[1], p[2], p[4], p[6])
349
|
| 350 def p_type_method__1(self, p):
351 "type_member : type_or_void ident '(' params ')' pairs statements"
352 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], p[7])
353
|
341 def p_type_member__1(self, p):
342 "type_member : type_or_void ident pairs SEMI"
343 p[0] = ast.TypeFieldMemberAST(self, p[1], p[2], p[3], None)
344
345 def p_type_member__2(self, p):
346 "type_member : type_or_void ident ASSIGN expr SEMI"
347 p[0] = ast.TypeFieldMemberAST(self, p[1], p[2],
348 ast.PairListAST(self), p[4])
349
350 # Enum fields
351 def p_type_enums__list(self, p):
352 "type_enums : type_enum type_enums"
353 p[0] = [ p[1] ] + p[2]
354
355 def p_type_enums__empty(self, p):
356 "type_enums : empty"
357 p[0] = []
358
359 def p_type_enum(self, p):
360 "type_enum : ident pairs SEMI"
361 p[0] = ast.TypeFieldEnumAST(self, p[1], p[2])
362
363 # States
364 def p_type_states__list(self, p):
365 "type_states : type_state type_states"
366 p[0] = [ p[1] ] + p[2]
367
368 def p_type_states__empty(self, p):
369 "type_states : empty"
370 p[0] = []
371
372 def p_type_state(self, p):
373 "type_state : ident ',' enumeration pairs SEMI"
374 p[0] = ast.TypeFieldStateAST(self, p[1], p[3], p[4])
375
376 # Type
377 def p_types__multiple(self, p):
378 "types : type ',' types"
379 p[0] = [ p[1] ] + p[3]
380
381 def p_types__one(self, p):
382 "types : type"
383 p[0] = [ p[1] ]
384
385 def p_types__empty(self, p):
386 "types : empty"
387 p[0] = []
388
389 def p_typestr__multi(self, p):
390 "typestr : typestr DOUBLE_COLON ident"
391 p[0] = '%s::%s' % (p[1], p[3])
392
393 def p_typestr__single(self, p):
394 "typestr : ident"
395 p[0] = p[1]
396
397 def p_type__one(self, p):
398 "type : typestr"
399 p[0] = ast.TypeAST(self, p[1])
400
401 def p_void(self, p):
402 "void : VOID"
403 p[0] = ast.TypeAST(self, p[1])
404
405 def p_type_or_void(self, p):
406 """type_or_void : type
407 | void"""
408 p[0] = p[1]
409
410 # Formal Param
411 def p_params__many(self, p):
412 "params : param ',' params"
413 p[0] = [ p[1] ] + p[3]
414
415 def p_params__one(self, p):
416 "params : param"
417 p[0] = [ p[1] ]
418
419 def p_params__none(self, p):
420 "params : empty"
421 p[0] = []
422
423 def p_param(self, p):
424 "param : type ident"
425 p[0] = ast.FormalParamAST(self, p[1], p[2])
426
427 def p_param__pointer(self, p):
428 "param : type STAR ident"
429 p[0] = ast.FormalParamAST(self, p[1], p[3], None, True)
430
431 def p_param__pointer_default(self, p):
432 "param : type STAR ident '=' STRING"
433 p[0] = ast.FormalParamAST(self, p[1], p[3], p[5], True)
434
435 def p_param__default_number(self, p):
436 "param : type ident '=' NUMBER"
437 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
438
439 def p_param__default_bool(self, p):
440 "param : type ident '=' LIT_BOOL"
441 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
442
443 def p_param__default_string(self, p):
444 "param : type ident '=' STRING"
445 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
446
447 # Idents and lists
448 def p_idents__braced(self, p):
449 "idents : '{' identx '}'"
450 p[0] = p[2]
451
452 def p_idents__bare(self, p):
453 "idents : ident"
454 p[0] = [ p[1] ]
455
456 def p_identx__multiple_1(self, p):
457 """identx : ident SEMI identx
458 | ident ',' identx"""
459 p[0] = [ p[1] ] + p[3]
460
461 def p_identx__multiple_2(self, p):
462 "identx : ident identx"
463 p[0] = [ p[1] ] + p[2]
464
465 def p_identx__single(self, p):
466 "identx : empty"
467 p[0] = [ ]
468
469 def p_ident(self, p):
470 "ident : IDENT"
471 p[0] = p[1]
472
473 # Pair and pair lists
474 def p_pairs__list(self, p):
475 "pairs : ',' pairsx"
476 p[0] = p[2]
477
478 def p_pairs__empty(self, p):
479 "pairs : empty"
480 p[0] = ast.PairListAST(self)
481
482 def p_pairsx__many(self, p):
483 "pairsx : pair ',' pairsx"
484 p[0] = p[3]
485 p[0].addPair(p[1])
486
487 def p_pairsx__one(self, p):
488 "pairsx : pair"
489 p[0] = ast.PairListAST(self)
490 p[0].addPair(p[1])
491
492 def p_pair__assign(self, p):
493 """pair : ident '=' STRING
494 | ident '=' ident
495 | ident '=' NUMBER"""
496 p[0] = ast.PairAST(self, p[1], p[3])
497
498 def p_pair__literal(self, p):
499 "pair : STRING"
500 p[0] = ast.PairAST(self, "short", p[1])
501
502 # Below are the rules for action descriptions
503 def p_statements__inner(self, p):
504 "statements : '{' statements_inner '}'"
505 p[0] = ast.StatementListAST(self, p[2])
506
507 def p_statements__none(self, p):
508 "statements : '{' '}'"
509 p[0] = ast.StatementListAST(self, [])
510
511 def p_statements_inner__many(self, p):
512 "statements_inner : statement statements_inner"
513 p[0] = [ p[1] ] + p[2]
514
515 def p_statements_inner__one(self, p):
516 "statements_inner : statement"
517 p[0] = [ p[1] ]
518
519 def p_exprs__multiple(self, p):
520 "exprs : expr ',' exprs"
521 p[0] = [ p[1] ] + p[3]
522
523 def p_exprs__one(self, p):
524 "exprs : expr"
525 p[0] = [ p[1] ]
526
527 def p_exprs__empty(self, p):
528 "exprs : empty"""
529 p[0] = []
530
531 def p_statement__expression(self, p):
532 "statement : expr SEMI"
533 p[0] = ast.ExprStatementAST(self, p[1])
534
535 def p_statement__assign(self, p):
536 "statement : expr ASSIGN expr SEMI"
537 p[0] = ast.AssignStatementAST(self, p[1], p[3])
538
539 def p_statement__enqueue(self, p):
540 "statement : ENQUEUE '(' var ',' type pairs ')' statements"
541 p[0] = ast.EnqueueStatementAST(self, p[3], p[5], p[6], p[8])
542
543 def p_statement__stall_and_wait(self, p):
544 "statement : STALL_AND_WAIT '(' var ',' var ')' SEMI"
545 p[0] = ast.StallAndWaitStatementAST(self, p[3], p[5])
546
547 def p_statement__peek(self, p):
548 "statement : PEEK '(' var ',' type pairs ')' statements"
549 p[0] = ast.PeekStatementAST(self, p[3], p[5], p[6], p[8], "peek")
550
551 def p_statement__copy_head(self, p):
552 "statement : COPY_HEAD '(' var ',' var pairs ')' SEMI"
553 p[0] = ast.CopyHeadStatementAST(self, p[3], p[5], p[6])
554
555 def p_statement__check_allocate(self, p):
556 "statement : CHECK_ALLOCATE '(' var ')' SEMI"
557 p[0] = ast.CheckAllocateStatementAST(self, p[3])
558
559 def p_statement__check_stop(self, p):
560 "statement : CHECK_STOP_SLOTS '(' var ',' STRING ',' STRING ')' SEMI"
561 p[0] = ast.CheckStopStatementAST(self, p[3], p[5], p[7])
562
563 def p_statement__static_cast(self, p):
564 "aexpr : STATIC_CAST '(' type ',' expr ')'"
565 p[0] = ast.StaticCastAST(self, p[3], "ref", p[5])
566
567 def p_statement__static_cast_ptr(self, p):
568 "aexpr : STATIC_CAST '(' type ',' STRING ',' expr ')'"
569 p[0] = ast.StaticCastAST(self, p[3], p[5], p[7])
570
571 def p_statement__return(self, p):
572 "statement : RETURN expr SEMI"
573 p[0] = ast.ReturnStatementAST(self, p[2])
574
575 def p_statement__if(self, p):
576 "statement : if_statement"
577 p[0] = p[1]
578
579 def p_if_statement__if(self, p):
580 "if_statement : IF '(' expr ')' statements"
581 p[0] = ast.IfStatementAST(self, p[3], p[5], None)
582
583 def p_if_statement__if_else(self, p):
584 "if_statement : IF '(' expr ')' statements ELSE statements"
585 p[0] = ast.IfStatementAST(self, p[3], p[5], p[7])
586
587 def p_statement__if_else_if(self, p):
588 "if_statement : IF '(' expr ')' statements ELSE if_statement"
589 p[0] = ast.IfStatementAST(self, p[3], p[5],
590 ast.StatementListAST(self, p[7]))
591
592 def p_expr__var(self, p):
593 "aexpr : var"
594 p[0] = p[1]
595
596 def p_expr__localvar(self, p):
597 "aexpr : type ident"
598 p[0] = ast.LocalVariableAST(self, p[1], p[2])
599
600 def p_expr__literal(self, p):
601 "aexpr : literal"
602 p[0] = p[1]
603
604 def p_expr__enumeration(self, p):
605 "aexpr : enumeration"
606 p[0] = p[1]
607
608 def p_expr__func_call(self, p):
609 "aexpr : ident '(' exprs ')'"
610 p[0] = ast.FuncCallExprAST(self, p[1], p[3])
611
612 def p_expr__new(self, p):
613 "aexpr : NEW type"
614 p[0] = ast.NewExprAST(self, p[2])
615
616 def p_expr__null(self, p):
617 "aexpr : OOD"
618 p[0] = ast.OodAST(self)
619
620 def p_expr__member(self, p):
621 "aexpr : aexpr DOT ident"
622 p[0] = ast.MemberExprAST(self, p[1], p[3])
623
624 def p_expr__member_method_call(self, p):
625 "aexpr : aexpr DOT ident '(' exprs ')'"
626 p[0] = ast.MemberMethodCallExprAST(self, p[1], p[3], p[5])
627
628 def p_expr__member_method_call_lookup(self, p):
629 "aexpr : aexpr '[' exprs ']'"
630 p[0] = ast.MemberMethodCallExprAST(self, p[1], "lookup", p[3])
631
632 def p_expr__class_method_call(self, p):
633 "aexpr : type DOUBLE_COLON ident '(' exprs ')'"
634 p[0] = ast.ClassMethodCallExprAST(self, p[1], p[3], p[5])
635
636 def p_expr__aexpr(self, p):
637 "expr : aexpr"
638 p[0] = p[1]
639
640 def p_expr__binary_op(self, p):
641 """expr : expr STAR expr
642 | expr SLASH expr
643 | expr PLUS expr
644 | expr DASH expr
645 | expr LT expr
646 | expr GT expr
647 | expr LE expr
648 | expr GE expr
649 | expr EQ expr
650 | expr NE expr
651 | expr AND expr
652 | expr OR expr
653 | expr RIGHTSHIFT expr
654 | expr LEFTSHIFT expr"""
655 p[0] = ast.InfixOperatorExprAST(self, p[1], p[2], p[3])
656
657 # FIXME - unary not
658 def p_expr__unary_op(self, p):
659 """expr : NOT expr
660 | DASH expr %prec UMINUS"""
661 p[0] = PrefixOperatorExpr(p[1], p[2])
662
663 def p_expr__parens(self, p):
664 "aexpr : '(' expr ')'"
665 p[0] = p[2]
666
667 def p_expr__is_valid_ptr(self, p):
668 "aexpr : IS_VALID '(' var ')'"
669 p[0] = ast.IsValidPtrExprAST(self, p[3], True)
670
671 def p_expr__is_invalid_ptr(self, p):
672 "aexpr : IS_INVALID '(' var ')'"
673 p[0] = ast.IsValidPtrExprAST(self, p[3], False)
674
675 def p_literal__string(self, p):
676 "literal : STRING"
677 p[0] = ast.LiteralExprAST(self, p[1], "std::string")
678
679 def p_literal__number(self, p):
680 "literal : NUMBER"
681 p[0] = ast.LiteralExprAST(self, p[1], "int")
682
683 def p_literal__float(self, p):
684 "literal : FLOATNUMBER"
685 p[0] = ast.LiteralExprAST(self, p[1], "int")
686
687 def p_literal__bool(self, p):
688 "literal : LIT_BOOL"
689 p[0] = ast.LiteralExprAST(self, p[1], "bool")
690
691 def p_enumeration(self, p):
692 "enumeration : ident ':' ident"
693 p[0] = ast.EnumExprAST(self, ast.TypeAST(self, p[1]), p[3])
694
695 def p_var(self, p):
696 "var : ident"
697 p[0] = ast.VarExprAST(self, p[1])
| 354 def p_type_member__1(self, p):
355 "type_member : type_or_void ident pairs SEMI"
356 p[0] = ast.TypeFieldMemberAST(self, p[1], p[2], p[3], None)
357
358 def p_type_member__2(self, p):
359 "type_member : type_or_void ident ASSIGN expr SEMI"
360 p[0] = ast.TypeFieldMemberAST(self, p[1], p[2],
361 ast.PairListAST(self), p[4])
362
363 # Enum fields
364 def p_type_enums__list(self, p):
365 "type_enums : type_enum type_enums"
366 p[0] = [ p[1] ] + p[2]
367
368 def p_type_enums__empty(self, p):
369 "type_enums : empty"
370 p[0] = []
371
372 def p_type_enum(self, p):
373 "type_enum : ident pairs SEMI"
374 p[0] = ast.TypeFieldEnumAST(self, p[1], p[2])
375
376 # States
377 def p_type_states__list(self, p):
378 "type_states : type_state type_states"
379 p[0] = [ p[1] ] + p[2]
380
381 def p_type_states__empty(self, p):
382 "type_states : empty"
383 p[0] = []
384
385 def p_type_state(self, p):
386 "type_state : ident ',' enumeration pairs SEMI"
387 p[0] = ast.TypeFieldStateAST(self, p[1], p[3], p[4])
388
389 # Type
390 def p_types__multiple(self, p):
391 "types : type ',' types"
392 p[0] = [ p[1] ] + p[3]
393
394 def p_types__one(self, p):
395 "types : type"
396 p[0] = [ p[1] ]
397
398 def p_types__empty(self, p):
399 "types : empty"
400 p[0] = []
401
402 def p_typestr__multi(self, p):
403 "typestr : typestr DOUBLE_COLON ident"
404 p[0] = '%s::%s' % (p[1], p[3])
405
406 def p_typestr__single(self, p):
407 "typestr : ident"
408 p[0] = p[1]
409
410 def p_type__one(self, p):
411 "type : typestr"
412 p[0] = ast.TypeAST(self, p[1])
413
414 def p_void(self, p):
415 "void : VOID"
416 p[0] = ast.TypeAST(self, p[1])
417
418 def p_type_or_void(self, p):
419 """type_or_void : type
420 | void"""
421 p[0] = p[1]
422
423 # Formal Param
424 def p_params__many(self, p):
425 "params : param ',' params"
426 p[0] = [ p[1] ] + p[3]
427
428 def p_params__one(self, p):
429 "params : param"
430 p[0] = [ p[1] ]
431
432 def p_params__none(self, p):
433 "params : empty"
434 p[0] = []
435
436 def p_param(self, p):
437 "param : type ident"
438 p[0] = ast.FormalParamAST(self, p[1], p[2])
439
440 def p_param__pointer(self, p):
441 "param : type STAR ident"
442 p[0] = ast.FormalParamAST(self, p[1], p[3], None, True)
443
444 def p_param__pointer_default(self, p):
445 "param : type STAR ident '=' STRING"
446 p[0] = ast.FormalParamAST(self, p[1], p[3], p[5], True)
447
448 def p_param__default_number(self, p):
449 "param : type ident '=' NUMBER"
450 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
451
452 def p_param__default_bool(self, p):
453 "param : type ident '=' LIT_BOOL"
454 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
455
456 def p_param__default_string(self, p):
457 "param : type ident '=' STRING"
458 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
459
460 # Idents and lists
461 def p_idents__braced(self, p):
462 "idents : '{' identx '}'"
463 p[0] = p[2]
464
465 def p_idents__bare(self, p):
466 "idents : ident"
467 p[0] = [ p[1] ]
468
469 def p_identx__multiple_1(self, p):
470 """identx : ident SEMI identx
471 | ident ',' identx"""
472 p[0] = [ p[1] ] + p[3]
473
474 def p_identx__multiple_2(self, p):
475 "identx : ident identx"
476 p[0] = [ p[1] ] + p[2]
477
478 def p_identx__single(self, p):
479 "identx : empty"
480 p[0] = [ ]
481
482 def p_ident(self, p):
483 "ident : IDENT"
484 p[0] = p[1]
485
486 # Pair and pair lists
487 def p_pairs__list(self, p):
488 "pairs : ',' pairsx"
489 p[0] = p[2]
490
491 def p_pairs__empty(self, p):
492 "pairs : empty"
493 p[0] = ast.PairListAST(self)
494
495 def p_pairsx__many(self, p):
496 "pairsx : pair ',' pairsx"
497 p[0] = p[3]
498 p[0].addPair(p[1])
499
500 def p_pairsx__one(self, p):
501 "pairsx : pair"
502 p[0] = ast.PairListAST(self)
503 p[0].addPair(p[1])
504
505 def p_pair__assign(self, p):
506 """pair : ident '=' STRING
507 | ident '=' ident
508 | ident '=' NUMBER"""
509 p[0] = ast.PairAST(self, p[1], p[3])
510
511 def p_pair__literal(self, p):
512 "pair : STRING"
513 p[0] = ast.PairAST(self, "short", p[1])
514
515 # Below are the rules for action descriptions
516 def p_statements__inner(self, p):
517 "statements : '{' statements_inner '}'"
518 p[0] = ast.StatementListAST(self, p[2])
519
520 def p_statements__none(self, p):
521 "statements : '{' '}'"
522 p[0] = ast.StatementListAST(self, [])
523
524 def p_statements_inner__many(self, p):
525 "statements_inner : statement statements_inner"
526 p[0] = [ p[1] ] + p[2]
527
528 def p_statements_inner__one(self, p):
529 "statements_inner : statement"
530 p[0] = [ p[1] ]
531
532 def p_exprs__multiple(self, p):
533 "exprs : expr ',' exprs"
534 p[0] = [ p[1] ] + p[3]
535
536 def p_exprs__one(self, p):
537 "exprs : expr"
538 p[0] = [ p[1] ]
539
540 def p_exprs__empty(self, p):
541 "exprs : empty"""
542 p[0] = []
543
544 def p_statement__expression(self, p):
545 "statement : expr SEMI"
546 p[0] = ast.ExprStatementAST(self, p[1])
547
548 def p_statement__assign(self, p):
549 "statement : expr ASSIGN expr SEMI"
550 p[0] = ast.AssignStatementAST(self, p[1], p[3])
551
552 def p_statement__enqueue(self, p):
553 "statement : ENQUEUE '(' var ',' type pairs ')' statements"
554 p[0] = ast.EnqueueStatementAST(self, p[3], p[5], p[6], p[8])
555
556 def p_statement__stall_and_wait(self, p):
557 "statement : STALL_AND_WAIT '(' var ',' var ')' SEMI"
558 p[0] = ast.StallAndWaitStatementAST(self, p[3], p[5])
559
560 def p_statement__peek(self, p):
561 "statement : PEEK '(' var ',' type pairs ')' statements"
562 p[0] = ast.PeekStatementAST(self, p[3], p[5], p[6], p[8], "peek")
563
564 def p_statement__copy_head(self, p):
565 "statement : COPY_HEAD '(' var ',' var pairs ')' SEMI"
566 p[0] = ast.CopyHeadStatementAST(self, p[3], p[5], p[6])
567
568 def p_statement__check_allocate(self, p):
569 "statement : CHECK_ALLOCATE '(' var ')' SEMI"
570 p[0] = ast.CheckAllocateStatementAST(self, p[3])
571
572 def p_statement__check_stop(self, p):
573 "statement : CHECK_STOP_SLOTS '(' var ',' STRING ',' STRING ')' SEMI"
574 p[0] = ast.CheckStopStatementAST(self, p[3], p[5], p[7])
575
576 def p_statement__static_cast(self, p):
577 "aexpr : STATIC_CAST '(' type ',' expr ')'"
578 p[0] = ast.StaticCastAST(self, p[3], "ref", p[5])
579
580 def p_statement__static_cast_ptr(self, p):
581 "aexpr : STATIC_CAST '(' type ',' STRING ',' expr ')'"
582 p[0] = ast.StaticCastAST(self, p[3], p[5], p[7])
583
584 def p_statement__return(self, p):
585 "statement : RETURN expr SEMI"
586 p[0] = ast.ReturnStatementAST(self, p[2])
587
588 def p_statement__if(self, p):
589 "statement : if_statement"
590 p[0] = p[1]
591
592 def p_if_statement__if(self, p):
593 "if_statement : IF '(' expr ')' statements"
594 p[0] = ast.IfStatementAST(self, p[3], p[5], None)
595
596 def p_if_statement__if_else(self, p):
597 "if_statement : IF '(' expr ')' statements ELSE statements"
598 p[0] = ast.IfStatementAST(self, p[3], p[5], p[7])
599
600 def p_statement__if_else_if(self, p):
601 "if_statement : IF '(' expr ')' statements ELSE if_statement"
602 p[0] = ast.IfStatementAST(self, p[3], p[5],
603 ast.StatementListAST(self, p[7]))
604
605 def p_expr__var(self, p):
606 "aexpr : var"
607 p[0] = p[1]
608
609 def p_expr__localvar(self, p):
610 "aexpr : type ident"
611 p[0] = ast.LocalVariableAST(self, p[1], p[2])
612
613 def p_expr__literal(self, p):
614 "aexpr : literal"
615 p[0] = p[1]
616
617 def p_expr__enumeration(self, p):
618 "aexpr : enumeration"
619 p[0] = p[1]
620
621 def p_expr__func_call(self, p):
622 "aexpr : ident '(' exprs ')'"
623 p[0] = ast.FuncCallExprAST(self, p[1], p[3])
624
625 def p_expr__new(self, p):
626 "aexpr : NEW type"
627 p[0] = ast.NewExprAST(self, p[2])
628
629 def p_expr__null(self, p):
630 "aexpr : OOD"
631 p[0] = ast.OodAST(self)
632
633 def p_expr__member(self, p):
634 "aexpr : aexpr DOT ident"
635 p[0] = ast.MemberExprAST(self, p[1], p[3])
636
637 def p_expr__member_method_call(self, p):
638 "aexpr : aexpr DOT ident '(' exprs ')'"
639 p[0] = ast.MemberMethodCallExprAST(self, p[1], p[3], p[5])
640
641 def p_expr__member_method_call_lookup(self, p):
642 "aexpr : aexpr '[' exprs ']'"
643 p[0] = ast.MemberMethodCallExprAST(self, p[1], "lookup", p[3])
644
645 def p_expr__class_method_call(self, p):
646 "aexpr : type DOUBLE_COLON ident '(' exprs ')'"
647 p[0] = ast.ClassMethodCallExprAST(self, p[1], p[3], p[5])
648
649 def p_expr__aexpr(self, p):
650 "expr : aexpr"
651 p[0] = p[1]
652
653 def p_expr__binary_op(self, p):
654 """expr : expr STAR expr
655 | expr SLASH expr
656 | expr PLUS expr
657 | expr DASH expr
658 | expr LT expr
659 | expr GT expr
660 | expr LE expr
661 | expr GE expr
662 | expr EQ expr
663 | expr NE expr
664 | expr AND expr
665 | expr OR expr
666 | expr RIGHTSHIFT expr
667 | expr LEFTSHIFT expr"""
668 p[0] = ast.InfixOperatorExprAST(self, p[1], p[2], p[3])
669
670 # FIXME - unary not
671 def p_expr__unary_op(self, p):
672 """expr : NOT expr
673 | DASH expr %prec UMINUS"""
674 p[0] = PrefixOperatorExpr(p[1], p[2])
675
676 def p_expr__parens(self, p):
677 "aexpr : '(' expr ')'"
678 p[0] = p[2]
679
680 def p_expr__is_valid_ptr(self, p):
681 "aexpr : IS_VALID '(' var ')'"
682 p[0] = ast.IsValidPtrExprAST(self, p[3], True)
683
684 def p_expr__is_invalid_ptr(self, p):
685 "aexpr : IS_INVALID '(' var ')'"
686 p[0] = ast.IsValidPtrExprAST(self, p[3], False)
687
688 def p_literal__string(self, p):
689 "literal : STRING"
690 p[0] = ast.LiteralExprAST(self, p[1], "std::string")
691
692 def p_literal__number(self, p):
693 "literal : NUMBER"
694 p[0] = ast.LiteralExprAST(self, p[1], "int")
695
696 def p_literal__float(self, p):
697 "literal : FLOATNUMBER"
698 p[0] = ast.LiteralExprAST(self, p[1], "int")
699
700 def p_literal__bool(self, p):
701 "literal : LIT_BOOL"
702 p[0] = ast.LiteralExprAST(self, p[1], "bool")
703
704 def p_enumeration(self, p):
705 "enumeration : ident ':' ident"
706 p[0] = ast.EnumExprAST(self, ast.TypeAST(self, p[1]), p[3])
707
708 def p_var(self, p):
709 "var : ident"
710 p[0] = ast.VarExprAST(self, p[1])
|