-
Notifications
You must be signed in to change notification settings - Fork 37
/
type_check_Carray.py
120 lines (115 loc) · 4.33 KB
/
type_check_Carray.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
from ast import *
from type_check_Ctup import TypeCheckCtup
from utils import Allocate, Begin, GlobalValue, Collect, TupleType, Bottom, \
IntType, BoolType, ListType, AllocateArray, VoidType
class TypeCheckCarray(TypeCheckCtup):
def check_type_equal(self, t1, t2, e):
match t1:
case ListType(ty1):
match t2:
case ListType(ty2):
self.check_type_equal(ty1, ty2, e)
case Bottom():
pass
case _:
raise Exception('error: ' + repr(t1) + ' != ' + repr(t2) \
+ ' in ' + repr(e))
case _:
super().check_type_equal(t1, t2, e)
def type_check_exp(self, e, env):
match e:
case Subscript(tup, index, Load()):
tup_ty = self.type_check_exp(tup, env)
index_ty = self.type_check_exp(index, env)
self.check_type_equal(index_ty, IntType(), index)
match tup_ty:
case TupleType(ts):
match index:
case Constant(i):
return ts[i]
case _:
raise Exception('subscript required constant integer index')
case ListType(ty):
return ty
case Bottom():
return Bottom()
case _:
raise Exception('subscript expected a tuple, not ' + repr(tup_ty))
case Call(Name('array_load'), [lst, index]):
lst_ty = self.type_check_exp(lst, env)
index_ty = self.type_check_exp(index, env)
self.check_type_equal(index_ty, IntType(), index)
match lst_ty:
case ListType(ty):
return ty
case Bottom():
return Bottom()
case _:
raise Exception('array_load: unexpected ' + repr(lst_ty))
case Call(Name('array_store'), [tup, index, value]):
tup_t = self.type_check_exp(tup, env)
value_t = self.type_check_exp(value, env)
index_ty = self.type_check_exp(index, env)
self.check_type_equal(index_ty, IntType(), index)
match tup_t:
case ListType(ty):
self.check_type_equal(ty, value_t, e)
return VoidType()
case Bottom():
return VoidType()
case _:
raise Exception('type_check_exp: expected a list, not ' \
+ repr(tup_t))
case AllocateArray(length, typ):
return typ
case Call(Name('len'), [tup]):
tup_t = self.type_check_atm(tup, env)
match tup_t:
case TupleType(ts):
return IntType()
case Bottom():
return Bottom()
case _:
raise Exception('error, expected a tuple, not ' + repr(tup_t))
case Call(Name('array_len'), [tup]):
tup_t = self.type_check_atm(tup, env)
match tup_t:
case ListType(ty):
return IntType()
case Bottom():
return Bottom()
case _:
raise Exception('error, expected a list, not ' + repr(tup_t))
case Call(Name('exit'), []):
return Bottom()
case BinOp(left, Mult(), right):
l = self.type_check_exp(left, env)
self.check_type_equal(l, IntType(), left)
r = self.type_check_exp(right, env)
self.check_type_equal(r, IntType(), right)
return IntType()
case _:
return super().type_check_exp(e, env)
def type_check_stmt(self, s, env):
match s:
case Assign([Subscript(tup, index, Store())], value):
tup_t = self.type_check_atm(tup, env)
value_t = self.type_check_atm(value, env)
index_ty = self.type_check_exp(index, env)
self.check_type_equal(index_ty, IntType(), index)
match tup_t:
case TupleType(ts):
match index:
case Constant(i):
self.check_type_equal(ts[i], value_t, s)
case _:
raise Exception('subscript required constant integer index')
case ListType(ty):
self.check_type_equal(ty, value_t, s)
case Bottom():
pass
case _:
raise Exception('type_check_stmt: expected a tuple, not ' \
+ repr(tup_t))
case _:
super().type_check_stmt(s, env)