annotate python/c3/semantics.py @ 163:8104fc8b5e90

Added visitor to c3
author Windel Bouwman
date Mon, 18 Mar 2013 20:13:57 +0100
parents b73bc14a3aa3
children e023d3ce1d63
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
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
8 def addSymbol(self, s):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
9 if self.curScope.hasSymbol(s.name):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
10 msg = 'Redefinition of {0}'.format(s.name)
152
b73bc14a3aa3 Light coupling ide and c3 frontend
Windel Bouwman
parents: 150
diff changeset
11 self.diag.error(msg, s.loc)
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
12 else:
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
13 self.curScope.addSymbol(s)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
14 def handlePackage(self, name, loc):
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
15 self.mod = astnodes.Package(name)
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
16 self.mod.loc = loc
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
17 self.mod.scope = self.curScope = Scope(topScope)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
18 def actOnVarDef(self, name, loc, t, ival):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
19 s = astnodes.Variable(name, t)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
20 s.loc = loc
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
21 self.addSymbol(s)
163
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 152
diff changeset
22 def actOnConstDef(self, name, loc, t, val):
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 152
diff changeset
23 s = astnodes.Constant(name, t, val)
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 152
diff changeset
24 s.loc = loc
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 152
diff changeset
25 self.addSymbol(s)
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
26 def actOnFuncDef1(self, name, loc):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
27 self.curFunc = astnodes.Function(name)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
28 self.curFunc.loc = loc
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
29 self.addSymbol(self.curFunc)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
30 self.curScope = self.curFunc.scope = Scope(self.curScope)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
31 def actOnParameter(self, name, loc, t):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
32 p = astnodes.Variable(name, t)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
33 p.loc = loc
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
34 p.parameter = True
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
35 self.addSymbol(p)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
36 return p
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
37 def actOnFuncDef2(self, parameters, returntype, body):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
38 self.curFunc.body = body
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
39 self.curFunc.typ = astnodes.FunctionType(parameters, returntype)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
40 self.curFunc = None
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
41 self.curScope = self.curScope.parent
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
42 def actOnType(self, tok):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
43 # Try to lookup type, in case of failure return void
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
44 pass
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
45 def actOnDesignator(self, tname, loc):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
46 d = astnodes.Designator(tname)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
47 d.scope = self.curScope
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
48 d.loc = loc
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
49 return d
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
50 def actOnBinop(self, lhs, op, rhs, loc):
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
51 bo = astnodes.Binop(lhs, op, rhs)
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
52 bo.loc = loc
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
53 return bo
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
54 def actOnNumber(self, num, loc):
163
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 152
diff changeset
55 n = astnodes.Literal(num)
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
56 n.loc = loc
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
57 return n
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
58 def actOnVariableUse(self, d):
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
59 return astnodes.VariableUse(d)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
60