annotate python/c3/astnodes.py @ 272:e64bae57cda8

refactor ir
author Windel Bouwman
date Sat, 31 Aug 2013 17:58:54 +0200
parents 6ed3d3a82a63
children 05184b95fa16
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
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
10 class Node:
163
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 158
diff changeset
11 pass
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
12
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
13 # Modules
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
14 class Package(Node):
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
15 def __init__(self, name, loc):
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
16 self.name = name
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
17 self.loc = loc
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
18 self.declarations = []
251
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 249
diff changeset
19 self.imports = []
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
20 def __repr__(self):
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
21 return 'PACKAGE {}'.format(self.name)
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
22
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
23 class Designator(Node):
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
24 def __init__(self, tname, loc):
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
25 self.tname = tname
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
26 self.loc = loc
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
27 def __repr__(self):
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
28 return 'DESIGNATOR {}'.format(self.tname)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
29
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
30 """
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
31 Type classes
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
32
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
33 types must be comparable.
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
34
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
35 There are the following types:
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
36 - base type -> basic type (built in)
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
37 - struct type -> a composite type that contains a list of named fields
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
38 of other types
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
39 - pointer type -> a type that points to some other type
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
40 - typedef type -> a named type indicating another type
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
41 - function type
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
42 """
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
43
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
44 class Type(Node):
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
45 def isType(self, b):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
46 return isType(self, b)
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
47
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
48
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
49 class BaseType(Type):
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
50 def __init__(self, name):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
51 self.name = name
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
52
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
53 def __repr__(self):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
54 return '{}'.format(self.name)
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
55
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
56
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
57 class FunctionType(Type):
167
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
58 def __init__(self, parametertypes, returntype):
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
59 self.parametertypes = parametertypes
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
60 self.returntype = returntype
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
61 def __repr__(self):
167
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
62 params = ', '.join([str(v) for v in self.parametertypes])
165
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
63 return '{1} f({0})'.format(params, self.returntype)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
64
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
65
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
66 class PointerType(Type):
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
67 def __init__(self, ptype):
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
68 assert isinstance(ptype, Type) or isinstance(ptype, Designator)
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
69 self.ptype = ptype
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
70 def __repr__(self):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
71 return '({}*)'.format(self.ptype)
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
72
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
73
227
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
74 class StructField:
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
75 def __init__(self, name, typ):
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
76 self.name = name
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
77 self.typ = typ
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
78 self.offset = 0
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
79
227
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
80
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
81 class StructureType(Type):
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
82 def __init__(self, mems):
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
83 self.mems = mems
227
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
84 for mem in mems:
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
85 assert type(mem) is StructField
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
86 assert type(mem.name) is str
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
87
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
88 def hasField(self, name):
227
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
89 for mem in self.mems:
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
90 if name == mem.name:
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
91 return True
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
92 return False
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
93
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
94 def fieldType(self, name):
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
95 return self.findField(name).typ
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
96
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
97 def fieldOffset(self, name):
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
98 return self.findField(name).offset
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
99
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
100 def findField(self, name):
227
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
101 for mem in self.mems:
82dfe6a32717 Fixed tests
Windel Bouwman
parents: 226
diff changeset
102 if name == mem.name:
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
103 return mem
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
104 raise KeyError(name)
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
105
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
106 def __repr__(self):
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
107 return 'STRUCT'
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
108
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
109
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
110 class DefinedType(Type):
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
111 def __init__(self, name, typ, loc):
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
112 assert isinstance(name, str)
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
113 self.name = name
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
114 self.typ = typ
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
115 self.loc = loc
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
116
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
117 def __repr__(self):
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
118 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
119
221
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
120
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
121 # Variables, parameters, local variables, constants:
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
122 class Symbol(Node):
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
123 def __init__(self, name):
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
124 self.name = name
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
125 self.refs = []
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
126
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
127 def addRef(self, r):
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
128 self.refs.append(r)
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
129
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
130 @property
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
131 def References(self):
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
132 return self.refs
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
133
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
134
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.ival = None
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
150 self.isLocal = False
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
151 self.isReadOnly = False
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
152 self.isParameter = False
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
153
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
154 def __repr__(self):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
155 return 'Var {} [{}]'.format(self.name, self.typ)
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
156
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
157
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
158 class LocalVariable(Variable):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
159 def __init__(self, name, typ):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
160 super().__init__(name, typ)
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
161 self.isLocal = True
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
162
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
163
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
164 class FormalParameter(Variable):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
165 def __init__(self, name, typ):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
166 super().__init__(name, typ)
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
167 self.isParameter = True
e64bae57cda8 refactor ir
Windel Bouwman
parents: 251
diff changeset
168
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
169
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
170 # Procedure types
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
171 class Function(Symbol):
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
172 """ Actual implementation of a function """
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
173 def __init__(self, name, loc):
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
174 super().__init__(name)
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
175 self.loc = loc
215
c1ccb1cb4cef Major changes in c3 frontend
Windel Bouwman
parents: 213
diff changeset
176 self.declarations = []
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
177
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 212
diff changeset
178 def __repr__(self):
217
8b2e5f3cd579 Removed some stale python source files
Windel Bouwman
parents: 215
diff changeset
179 return 'Func {}'.format(self.name)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
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
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
192 def __repr__(self):
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
193 return 'DEREF {}'.format(self.ptr)
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
194
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
195
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
196 class TypeCast(Expression):
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
197 def __init__(self, to_type, x, loc):
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
198 super().__init__(loc)
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
199 self.to_type = to_type
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
200 self.a = x
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
201 def __repr__(self):
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
202 return 'TYPECAST {}'.format(self.to_type)
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
203
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
204
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
205 class FieldRef(Expression):
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
206 def __init__(self, base, field, loc):
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
207 super().__init__(loc)
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
208 assert isinstance(base, Expression)
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
209 assert isinstance(field, str)
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
210 self.base = base
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
211 self.field = field
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
212 def __repr__(self):
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
213 return 'FIELD {}.{}'.format(self.base, self.field)
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
214
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
215
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
216 class Unop(Expression):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
217 def __init__(self, op, a, loc):
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
218 super().__init__(loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
219 assert isinstance(a, Expression)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
220 assert isinstance(op, str)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
221 self.a = a
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
222 self.op = op
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
223 def __repr__(self):
212
62386bcee1ba Added parser combinator lib
Windel Bouwman
parents: 186
diff changeset
224 return 'UNOP {}'.format(self.op)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
225
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
226 class Binop(Expression):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
227 def __init__(self, a, op, b, loc):
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
228 super().__init__(loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
229 assert isinstance(a, Expression), type(a)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
230 assert isinstance(b, Expression)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
231 assert isinstance(op, str)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
232 self.a = a
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
233 self.b = b
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
234 self.op = op # Operation: '+', '-', '*', '/', 'mod'
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
235
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
236 def __repr__(self):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
237 return 'BINOP {}'.format(self.op)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
238
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
239 class VariableUse(Expression):
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
240 def __init__(self, target, loc):
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
241 super().__init__(loc)
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
242 self.target = target
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
243 def __repr__(self):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
244 nm = self.target
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
245 return 'VAR USE {}'.format(nm)
163
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 158
diff changeset
246
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
247 class Literal(Expression):
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
248 def __init__(self, val, loc):
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
249 super().__init__(loc)
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
250 self.val = val
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
251 def __repr__(self):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
252 return 'LITERAL {}'.format(self.val)
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
253
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
254 class FunctionCall(Expression):
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
255 def __init__(self, proc, args, loc):
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
256 super().__init__(loc)
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
257 self.proc = proc
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
258 self.args = args
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
259 def __repr__(self):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
260 return 'CALL {0} '.format(self.proc)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
261
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
262 # Statements
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
263 class Statement(Node):
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
264 def __init__(self, loc):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
265 self.loc = loc
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
266
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
267
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
268 class CompoundStatement(Statement):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
269 def __init__(self, statements):
249
e41e4109addd Added current position arrow
Windel Bouwman
parents: 230
diff changeset
270 super().__init__(None)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
271 self.statements = statements
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
272 for s in self.statements:
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
273 assert isinstance(s, Statement)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
274
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
275 def __repr__(self):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
276 return 'COMPOUND STATEMENT'
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
277
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
278
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
279 class ReturnStatement(Statement):
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
280 def __init__(self, expr, loc):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
281 super().__init__(loc)
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
282 self.expr = expr
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
283
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
284 def __repr__(self):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
285 return 'RETURN STATEMENT'
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
286
222
c3f1ce8b638f Fixup of parser
Windel Bouwman
parents: 221
diff changeset
287 class Assignment(Statement):
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
288 def __init__(self, lval, rval, loc):
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
289 super().__init__(loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
290 assert isinstance(lval, Node)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
291 assert isinstance(rval, Node)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
292 self.lval = lval
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
293 self.rval = rval
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
294
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
295 def __repr__(self):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
296 return 'ASSIGNMENT'
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
297
222
c3f1ce8b638f Fixup of parser
Windel Bouwman
parents: 221
diff changeset
298 class ExpressionStatement(Statement):
c3f1ce8b638f Fixup of parser
Windel Bouwman
parents: 221
diff changeset
299 def __init__(self, ex, loc):
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
300 super().__init__(loc)
222
c3f1ce8b638f Fixup of parser
Windel Bouwman
parents: 221
diff changeset
301 self.ex = ex
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
302
222
c3f1ce8b638f Fixup of parser
Windel Bouwman
parents: 221
diff changeset
303 def __repr__(self):
c3f1ce8b638f Fixup of parser
Windel Bouwman
parents: 221
diff changeset
304 return 'Epression'
c3f1ce8b638f Fixup of parser
Windel Bouwman
parents: 221
diff changeset
305
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
306
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
307 class IfStatement(Statement):
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
308 def __init__(self, condition, truestatement, falsestatement, loc):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
309 super().__init__(loc)
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
310 self.condition = condition
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
311 self.truestatement = truestatement
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
312 self.falsestatement = falsestatement
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
313
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
314 def __repr__(self):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
315 return 'IF-statement'
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
316
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
317
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 217
diff changeset
318 class WhileStatement(Statement):
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
319 def __init__(self, condition, statement, loc):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
320 super().__init__(loc)
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
321 self.condition = condition
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
322 self.statement = statement
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
323
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
324 def __repr__(self):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
325 return 'WHILE-statement'
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
326