annotate python/c3/builder.py @ 287:1c7c1e619be8

File movage
author Windel Bouwman
date Thu, 21 Nov 2013 11:57:27 +0100
parents e64bae57cda8
children a747a45dcd78
rev   line source
254
bd26dc13f270 Added logger
Windel Bouwman
parents: 251
diff changeset
1 import logging
165
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents:
diff changeset
2 import ppci
215
c1ccb1cb4cef Major changes in c3 frontend
Windel Bouwman
parents: 213
diff changeset
3 from . import Parser, TypeChecker, Analyzer, CodeGenerator
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 215
diff changeset
4 from . astprinter import AstPrinter
251
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 226
diff changeset
5 import glob
165
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents:
diff changeset
6
287
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
7
165
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents:
diff changeset
8 class Builder:
186
46d62dadd61b Improved testsuite
Windel Bouwman
parents: 168
diff changeset
9 """
46d62dadd61b Improved testsuite
Windel Bouwman
parents: 168
diff changeset
10 Generates IR-code from c3 source.
46d62dadd61b Improved testsuite
Windel Bouwman
parents: 168
diff changeset
11 Reports errors to the diagnostics system
46d62dadd61b Improved testsuite
Windel Bouwman
parents: 168
diff changeset
12 """
46d62dadd61b Improved testsuite
Windel Bouwman
parents: 168
diff changeset
13 def __init__(self, diag):
254
bd26dc13f270 Added logger
Windel Bouwman
parents: 251
diff changeset
14 self.logger = logging.getLogger('c3')
226
240111e0456f Work on named types
Windel Bouwman
parents: 225
diff changeset
15 self.diag = diag
240111e0456f Work on named types
Windel Bouwman
parents: 225
diff changeset
16 self.parser = Parser(diag)
240111e0456f Work on named types
Windel Bouwman
parents: 225
diff changeset
17 self.tc = TypeChecker(diag)
240111e0456f Work on named types
Windel Bouwman
parents: 225
diff changeset
18 self.al = Analyzer(diag)
240111e0456f Work on named types
Windel Bouwman
parents: 225
diff changeset
19 self.cg = CodeGenerator()
251
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 226
diff changeset
20 self.packages = {}
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 226
diff changeset
21
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 226
diff changeset
22 def getPackage(self, pname):
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 226
diff changeset
23 """ package provider for use when analyzing """
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 226
diff changeset
24 if pname in self.packages:
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 226
diff changeset
25 return self.packages[pname]
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 226
diff changeset
26
287
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
27 def checkSource(self, srcs, imps=[]):
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
28 """ Performs syntax and type check. """
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
29 # Parse source:
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
30 for src in srcs:
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
31 pkg = self.parser.parseSource(src)
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
32 src.close()
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
33 if not pkg:
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
34 return
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
35 # Store for later use:
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
36 self.packages[pkg.name] = pkg
251
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 226
diff changeset
37
287
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
38 for pkg in self.packages.values():
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
39 # Only return ircode when everything is OK
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
40 # TODO: merge the two below?
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
41 if not self.al.analyzePackage(pkg, self):
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
42 return
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
43 if not self.tc.checkPackage(pkg):
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
44 return
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
45 yield pkg
194
b01429a5d695 Fixed test
Windel Bouwman
parents: 186
diff changeset
46
287
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
47 def build(self, srcs, imps=[]):
251
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 226
diff changeset
48 """ Create IR-code from sources """
287
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
49 for pkg in self.checkSource(srcs, imps):
1c7c1e619be8 File movage
Windel Bouwman
parents: 272
diff changeset
50 yield self.cg.gencode(pkg)
251
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 226
diff changeset
51