annotate python/c3/semantics.py @ 172:5a7d37d615ee

Added function to IR
author Windel Bouwman
date Thu, 04 Apr 2013 17:58:37 +0200
parents ee0d30533dae
children a51b3c956386
rev   line source
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
1 from . import astnodes
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
2 from .scope import Scope, topScope
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
3
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
4 class Semantics:
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
5 """ This class constructs the AST from parser input """
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
6 def __init__(self, diag):
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
7 self.diag = diag
169
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 167
diff changeset
8 def reinit(self):
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 167
diff changeset
9 # Set mod to empty package:
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 167
diff changeset
10 self.mod = astnodes.Package('unnamed')
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 167
diff changeset
11 self.mod.scope = Scope(topScope)
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
12 def addSymbol(self, s):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
13 if self.curScope.hasSymbol(s.name):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
14 msg = 'Redefinition of {0}'.format(s.name)
152
b73bc14a3aa3 Light coupling ide and c3 frontend
Windel Bouwman
parents: 150
diff changeset
15 self.diag.error(msg, s.loc)
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
16 else:
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
17 self.curScope.addSymbol(s)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
18 def handlePackage(self, name, loc):
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
19 self.mod = astnodes.Package(name)
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
20 self.mod.loc = loc
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
21 self.mod.scope = self.curScope = Scope(topScope)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
22 def actOnVarDef(self, name, loc, t, ival):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
23 s = astnodes.Variable(name, t)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
24 s.loc = loc
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
25 self.addSymbol(s)
163
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 152
diff changeset
26 def actOnConstDef(self, name, loc, t, val):
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 152
diff changeset
27 s = astnodes.Constant(name, t, val)
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 152
diff changeset
28 s.loc = loc
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 152
diff changeset
29 self.addSymbol(s)
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
30 def actOnFuncDef1(self, name, loc):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
31 self.curFunc = astnodes.Function(name)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
32 self.curFunc.loc = loc
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
33 self.addSymbol(self.curFunc)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
34 self.curScope = self.curFunc.scope = Scope(self.curScope)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
35 def actOnParameter(self, name, loc, t):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
36 p = astnodes.Variable(name, t)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
37 p.loc = loc
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
38 p.parameter = True
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
39 self.addSymbol(p)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
40 return p
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
41 def actOnFuncDef2(self, parameters, returntype, body):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
42 self.curFunc.body = body
167
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 165
diff changeset
43 paramtypes = [p.typ for p in parameters]
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 165
diff changeset
44 self.curFunc.typ = astnodes.FunctionType(paramtypes, returntype)
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
45 self.curFunc = None
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
46 self.curScope = self.curScope.parent
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
47 def actOnType(self, tok):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
48 # Try to lookup type, in case of failure return void
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
49 pass
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
50 def actOnDesignator(self, tname, loc):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
51 d = astnodes.Designator(tname)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
52 d.scope = self.curScope
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
53 d.loc = loc
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
54 return d
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
55 def actOnBinop(self, lhs, op, rhs, loc):
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
56 bo = astnodes.Binop(lhs, op, rhs)
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
57 bo.loc = loc
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
58 return bo
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
59 def actOnNumber(self, num, loc):
163
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 152
diff changeset
60 n = astnodes.Literal(num)
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
61 n.loc = loc
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
62 return n
165
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 164
diff changeset
63 def actOnVariableUse(self, d, loc):
164
e023d3ce1d63 Fix to loc of assignment
Windel Bouwman
parents: 163
diff changeset
64 vu = astnodes.VariableUse(d)
165
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 164
diff changeset
65 vu.loc = loc
164
e023d3ce1d63 Fix to loc of assignment
Windel Bouwman
parents: 163
diff changeset
66 return vu
e023d3ce1d63 Fix to loc of assignment
Windel Bouwman
parents: 163
diff changeset
67 def actOnAssignment(self, lval, rval, loc):
e023d3ce1d63 Fix to loc of assignment
Windel Bouwman
parents: 163
diff changeset
68 a = astnodes.Assignment(lval, rval)
e023d3ce1d63 Fix to loc of assignment
Windel Bouwman
parents: 163
diff changeset
69 a.loc = loc
e023d3ce1d63 Fix to loc of assignment
Windel Bouwman
parents: 163
diff changeset
70 return a
167
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 165
diff changeset
71 def actOnFunctionCall(self, func, args, loc):
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 165
diff changeset
72 fc = astnodes.FunctionCall(func, args)
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 165
diff changeset
73 fc.loc = loc
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 165
diff changeset
74 return fc
165
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 164
diff changeset
75 def actOnIfStatement(self, cond, yes, no, loc):
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 164
diff changeset
76 i = astnodes.IfStatement(cond, yes, no)
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 164
diff changeset
77 i.loc = loc
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 164
diff changeset
78 return i