annotate python/ppci/c3/astnodes.py @ 311:ff665880a6b0

Added testcase for kernel and userspace
author Windel Bouwman
date Mon, 16 Dec 2013 12:49:24 +0100
parents 2e7f55319858
children 084cccaa5deb
rev   line source
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
1 """
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
2 AST (abstract syntax tree) nodes for the c3 language.
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
3 The tree is build by the parser.
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
4 Then it is checked
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
5 Finally code is generated from it.
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
6 """
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
7
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
8 from ppci import SourceLocation
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
9
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
10
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
11 class Node:
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
12 """ Base class of all nodes in a AST """
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
13 pass
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
14
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
15
300
Windel Bouwman
parents: 289
diff changeset
16 # Variables, parameters, local variables, constants and named types:
Windel Bouwman
parents: 289
diff changeset
17 class Symbol(Node):
308
2e7f55319858 Merged analyse into codegenerator
Windel Bouwman
parents: 307
diff changeset
18 """ Symbol is the base class for all named things like variables,
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
19 functions, constants and types and modules """
300
Windel Bouwman
parents: 289
diff changeset
20 def __init__(self, name):
Windel Bouwman
parents: 289
diff changeset
21 self.name = name
Windel Bouwman
parents: 289
diff changeset
22 self.refs = []
Windel Bouwman
parents: 289
diff changeset
23
Windel Bouwman
parents: 289
diff changeset
24 def addRef(self, r):
Windel Bouwman
parents: 289
diff changeset
25 self.refs.append(r)
Windel Bouwman
parents: 289
diff changeset
26
Windel Bouwman
parents: 289
diff changeset
27 @property
Windel Bouwman
parents: 289
diff changeset
28 def References(self):
Windel Bouwman
parents: 289
diff changeset
29 return self.refs
Windel Bouwman
parents: 289
diff changeset
30
Windel Bouwman
parents: 289
diff changeset
31
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
32 # Modules
301
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
33 class Package(Symbol):
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
34 def __init__(self, name, loc):
301
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
35 super().__init__(name)
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
36 self.loc = loc
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
37 self.declarations = []
251
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 249
diff changeset
38 self.imports = []
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
39
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
40 def __repr__(self):
284
05184b95fa16 Moved tests to seperate folder
Windel Bouwman
parents: 272
diff changeset
41 return 'MODULE {}'.format(self.name)
05184b95fa16 Moved tests to seperate folder
Windel Bouwman
parents: 272
diff changeset
42
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
43
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
44 class Type(Node):
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
45 """ Base class of all types """
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
46 pass
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
47
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
48
300
Windel Bouwman
parents: 289
diff changeset
49 class NamedType(Type, Symbol):
308
2e7f55319858 Merged analyse into codegenerator
Windel Bouwman
parents: 307
diff changeset
50 """ Some types are named, for example a user defined type (typedef)
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
51 and built in types. That is why this class derives from both Type
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
52 and Symbol. """
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
53 def __init__(self, name):
300
Windel Bouwman
parents: 289
diff changeset
54 Symbol.__init__(self, name)
Windel Bouwman
parents: 289
diff changeset
55
Windel Bouwman
parents: 289
diff changeset
56
Windel Bouwman
parents: 289
diff changeset
57 class BaseType(NamedType):
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
58 """ Built in type """
300
Windel Bouwman
parents: 289
diff changeset
59 def __init__(self, name):
Windel Bouwman
parents: 289
diff changeset
60 super().__init__(name)
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
61
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
62 def __repr__(self):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
63 return '{}'.format(self.name)
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
64
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
65
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
66 class FunctionType(Type):
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
67 """ Function blueprint, defines argument types and return type """
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
68 def __init__(self, parametertypes, returntype):
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
69 self.parametertypes = parametertypes
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
70 self.returntype = returntype
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
71
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
72 def __repr__(self):
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
73 params = ', '.join([str(v) for v in self.parametertypes])
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
74 return '{1} f({0})'.format(params, self.returntype)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
75
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
76
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
77 class PointerType(Type):
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
78 """ A type that points to data of some other type """
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
79 def __init__(self, ptype):
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
80 assert isinstance(ptype, Type) or isinstance(ptype, Expression)
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
81 self.ptype = ptype
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
82
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
83 def __repr__(self):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
84 return '({}*)'.format(self.ptype)
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
85
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
86
227
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
87 class StructField:
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
88 def __init__(self, name, typ):
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
89 assert type(name) is str
227
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
90 self.name = name
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
91 self.typ = typ
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
92 self.offset = 0
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
93
227
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
94
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
95 class StructureType(Type):
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
96 """ Struct type consisting of several named members """
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
97 def __init__(self, mems):
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
98 self.mems = mems
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
99 assert all(type(mem) is StructField for mem in mems)
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
100
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
101 def hasField(self, name):
227
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
102 for mem in self.mems:
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
103 if name == mem.name:
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
104 return True
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
105 return False
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
106
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
107 def fieldType(self, name):
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
108 return self.findField(name).typ
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
109
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
110 def fieldOffset(self, name):
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
111 return self.findField(name).offset
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
112
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
113 def findField(self, name):
227
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
114 for mem in self.mems:
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
115 if name == mem.name:
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
116 return mem
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
117 raise KeyError(name)
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
118
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
119 def __repr__(self):
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
120 return 'STRUCT'
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
121
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
122
300
Windel Bouwman
parents: 289
diff changeset
123 class DefinedType(NamedType):
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
124 """ A named type indicating another type """
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
125 def __init__(self, name, typ, loc):
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
126 assert isinstance(name, str)
300
Windel Bouwman
parents: 289
diff changeset
127 super().__init__(name)
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
128 self.typ = typ
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
129 self.loc = loc
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
130
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
131 def __repr__(self):
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
132 return 'Named type {0} of type {1}'.format(self.name, self.typ)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
133
221
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
134
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
135 class Constant(Symbol):
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
136 def __init__(self, name, typ, value):
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
137 super().__init__(name)
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
138 self.typ = typ
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
139 self.value = value
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
140
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
141 def __repr__(self):
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
142 return 'CONSTANT {0} = {1}'.format(self.name, self.value)
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
143
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
144
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
145 class Variable(Symbol):
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
146 def __init__(self, name, typ):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
147 super().__init__(name)
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
148 self.typ = typ
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
149 self.isLocal = False
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
150 self.isReadOnly = False
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
151 self.isParameter = False
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
152
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
153 def __repr__(self):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
154 return 'Var {} [{}]'.format(self.name, self.typ)
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
155
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
156
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
157 class LocalVariable(Variable):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
158 def __init__(self, name, typ):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
159 super().__init__(name, typ)
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
160 self.isLocal = True
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
161
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
162
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
163 class FormalParameter(Variable):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
164 def __init__(self, name, typ):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
165 super().__init__(name, typ)
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
166 self.isParameter = True
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
167
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
168
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
169 # Procedure types
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
170 class Function(Symbol):
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
171 """ Actual implementation of a function """
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
172 def __init__(self, name, loc):
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
173 super().__init__(name)
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
174 self.loc = loc
215
c1ccb1cb4cef Major changes in c3 frontend
Windel Bouwman
parents: 213
diff changeset
175 self.declarations = []
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
176
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
177 def __repr__(self):
217
8b2e5f3cd579 Removed some stale python source files
Windel Bouwman
parents: 215
diff changeset
178 return 'Func {}'.format(self.name)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
179
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
180
163
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 158
diff changeset
181 # Operations / Expressions:
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
182 class Expression(Node):
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
183 def __init__(self, loc):
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
184 self.loc = loc
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
185
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
186
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
187 class Deref(Expression):
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
188 def __init__(self, ptr, loc):
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
189 super().__init__(loc)
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
190 assert isinstance(ptr, Expression)
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
191 self.ptr = ptr
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
192
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
193 def __repr__(self):
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
194 return 'DEREF {}'.format(self.ptr)
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
195
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
196
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
197 class TypeCast(Expression):
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
198 def __init__(self, to_type, x, loc):
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
199 super().__init__(loc)
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
200 self.to_type = to_type
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
201 self.a = x
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
202
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
203 def __repr__(self):
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
204 return 'TYPECAST {}'.format(self.to_type)
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
205
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
206
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
207 class Member(Expression):
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
208 """ Field reference of some object, can also be package selection """
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
209 def __init__(self, base, field, loc):
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
210 super().__init__(loc)
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
211 assert isinstance(base, Expression)
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
212 assert isinstance(field, str)
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
213 self.base = base
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
214 self.field = field
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
215
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
216 def __repr__(self):
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
217 return 'MEMBER {}.{}'.format(self.base, self.field)
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
218
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
219
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
220 class Unop(Expression):
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
221 """ Operation on one operand """
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
222 def __init__(self, op, a, loc):
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
223 super().__init__(loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
224 assert isinstance(a, Expression)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
225 assert isinstance(op, str)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
226 self.a = a
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
227 self.op = op
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
228
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
229 def __repr__(self):
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
230 return 'UNOP {}'.format(self.op)
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
231
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
232
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
233 class Binop(Expression):
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
234 """ Expression taking two operands and one operator """
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
235 def __init__(self, a, op, b, loc):
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
236 super().__init__(loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
237 assert isinstance(a, Expression), type(a)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
238 assert isinstance(b, Expression)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
239 assert isinstance(op, str)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
240 self.a = a
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
241 self.b = b
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
242 self.op = op # Operation: '+', '-', '*', '/', 'mod'
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
243
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
244 def __repr__(self):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
245 return 'BINOP {}'.format(self.op)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
246
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
247
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
248 class Identifier(Expression):
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
249 """ Reference to some identifier, can be anything from package, variable
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
250 function or type, any named thing! """
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
251 def __init__(self, target, loc):
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
252 super().__init__(loc)
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
253 self.target = target
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
254
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
255 def __repr__(self):
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
256 return 'ID {}'.format(self.target)
163
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 158
diff changeset
257
284
05184b95fa16 Moved tests to seperate folder
Windel Bouwman
parents: 272
diff changeset
258
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
259 class Literal(Expression):
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
260 """ Constant value or string """
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
261 def __init__(self, val, loc):
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
262 super().__init__(loc)
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
263 self.val = val
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
264
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
265 def __repr__(self):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
266 return 'LITERAL {}'.format(self.val)
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
267
284
05184b95fa16 Moved tests to seperate folder
Windel Bouwman
parents: 272
diff changeset
268
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
269 class FunctionCall(Expression):
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
270 """ Call to a some function """
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
271 def __init__(self, proc, args, loc):
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
272 super().__init__(loc)
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
273 self.proc = proc
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
274 self.args = args
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
275
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
276 def __repr__(self):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
277 return 'CALL {0} '.format(self.proc)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
278
284
05184b95fa16 Moved tests to seperate folder
Windel Bouwman
parents: 272
diff changeset
279
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
280 # Statements
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
281 class Statement(Node):
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
282 """ Base class of all statements """
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
283 def __init__(self, loc):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
284 self.loc = loc
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
285
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
286
307
e609d5296ee9 Massive rewrite of codegenerator
Windel Bouwman
parents: 306
diff changeset
287 class Empty(Statement):
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
288 """ Empty statement which does nothing! """
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
289 def __init__(self):
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
290 super().__init__(None)
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
291
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
292 def __repr__(self):
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
293 return 'NOP'
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
294
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
295
307
e609d5296ee9 Massive rewrite of codegenerator
Windel Bouwman
parents: 306
diff changeset
296 class Compound(Statement):
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
297 """ Statement consisting of a sequence of other statements """
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
298 def __init__(self, statements):
249
e41e4109addd Added current position arrow
Windel Bouwman
parents: 230
diff changeset
299 super().__init__(None)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
300 self.statements = statements
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
301 for s in self.statements:
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
302 assert isinstance(s, Statement)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
303
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
304 def __repr__(self):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
305 return 'COMPOUND STATEMENT'
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
306
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
307
307
e609d5296ee9 Massive rewrite of codegenerator
Windel Bouwman
parents: 306
diff changeset
308 class Return(Statement):
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
309 def __init__(self, expr, loc):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
310 super().__init__(loc)
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
311 self.expr = expr
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
312
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
313 def __repr__(self):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
314 return 'RETURN STATEMENT'
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
315
284
05184b95fa16 Moved tests to seperate folder
Windel Bouwman
parents: 272
diff changeset
316
222
c3f1ce8b638f Fixup of parser
Windel Bouwman
parents: 221
diff changeset
317 class Assignment(Statement):
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
318 def __init__(self, lval, rval, loc):
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
319 super().__init__(loc)
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
320 assert isinstance(lval, Expression)
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 301
diff changeset
321 assert isinstance(rval, Expression)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
322 self.lval = lval
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
323 self.rval = rval
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
324
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
325 def __repr__(self):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
326 return 'ASSIGNMENT'
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
327
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
328
222
c3f1ce8b638f Fixup of parser
Windel Bouwman
parents: 221
diff changeset
329 class ExpressionStatement(Statement):
c3f1ce8b638f Fixup of parser
Windel Bouwman
parents: 221
diff changeset
330 def __init__(self, ex, loc):
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
331 super().__init__(loc)
222
c3f1ce8b638f Fixup of parser
Windel Bouwman
parents: 221
diff changeset
332 self.ex = ex
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
333
222
c3f1ce8b638f Fixup of parser
Windel Bouwman
parents: 221
diff changeset
334 def __repr__(self):
c3f1ce8b638f Fixup of parser
Windel Bouwman
parents: 221
diff changeset
335 return 'Epression'
c3f1ce8b638f Fixup of parser
Windel Bouwman
parents: 221
diff changeset
336
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
337
307
e609d5296ee9 Massive rewrite of codegenerator
Windel Bouwman
parents: 306
diff changeset
338 class If(Statement):
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
339 def __init__(self, condition, truestatement, falsestatement, loc):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
340 super().__init__(loc)
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
341 self.condition = condition
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
342 self.truestatement = truestatement
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
343 self.falsestatement = falsestatement
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
344
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
345 def __repr__(self):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
346 return 'IF-statement'
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
347
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
348
307
e609d5296ee9 Massive rewrite of codegenerator
Windel Bouwman
parents: 306
diff changeset
349 class While(Statement):
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
350 def __init__(self, condition, statement, loc):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
351 super().__init__(loc)
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
352 self.condition = condition
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
353 self.statement = statement
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
354
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
355 def __repr__(self):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
356 return 'WHILE-statement'