Repository navigation
Expand file tree
/
Copy pathoo_builtins.py
More file actions
222 lines (178 loc) · 7.57 KB
/
Copy pathoo_builtins.py
File metadata and controls
222 lines (178 loc) · 7.57 KB
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
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
from typing import Tuple, Any, Dict, Text
from echo.eobjects import (
register_builtin, EPyObject, EClass, EBuiltin, EPyType, EFunction,
is_tuple_builtin, is_list_builtin, get_guest_builtin, GuestCoroutineType,
EMethodType_singleton,
# TODO fix privateness of this
_is_type_builtin, _is_str_builtin, _is_int_builtin, _is_dict_builtin,
_is_object_builtin, _is_bool_builtin,
)
from echo.elog import debugged, log
from echo.dso_objects import DsoPyObject
from echo.interp_result import Result, check_result
from echo.interp_context import ICtx
from echo.epy_object import safer_repr
@register_builtin('isinstance')
@check_result
def _do_isinstance(
args: Tuple[Any, ...],
kwargs: Dict[Text, Any],
ictx: ICtx) -> Result[bool]:
assert len(args) == 2, args
log('eo:isinstance',
lambda: f'args: {safer_repr(args[0])} {safer_repr(args[1])}')
if (isinstance(args[1], EClass) and
args[1].hasattr('__instancecheck__')):
log('eo:isinstance', 'args[1] has __instancecheck__')
ic = args[1].getattr('__instancecheck__', ictx)
if ic.is_exception():
return Result(ic.get_exception())
ic = ic.get_value()
result = ictx.call(ic, (args[0],), {}, {},
globals_=getattr(ic, 'globals_', None))
return result
if isinstance(args[0], EFunction) and args[1] is EMethodType_singleton:
return Result(False)
for t in (bool, int, str, float, dict, list, tuple, set):
if args[1] is t:
return Result(isinstance(args[0], t))
if (isinstance(args[0], str) and isinstance(args[1], tuple)
and (get_guest_builtin('str') in args[1] or str in args[1])):
return Result(True)
if args[1] is type:
return Result(isinstance(args[0], (type, EClass)))
if isinstance(args[1], type) and issubclass(args[1], Exception):
# TODO(leary) How does the real type builtin make it here?
return Result(isinstance(args[0], args[1]))
if (isinstance(args[0], BaseException) and
args[1] is get_guest_builtin('BaseException')):
return Result(True)
if is_tuple_builtin(args[1]):
if not isinstance(args[0], EPyObject):
return Result(isinstance(args[0], tuple))
raise NotImplementedError(args)
if _is_type_builtin(args[1]):
if _is_type_builtin(args[0]) or _is_object_builtin(args[0]):
return Result(True)
do_type = get_guest_builtin('type')
lhs_type = do_type.invoke((args[0],), {}, {}, ictx)
if lhs_type.is_exception():
return Result(lhs_type.get_exception())
result = _do_issubclass(
(lhs_type.get_value(), get_guest_builtin('type')), {}, ictx)
log('eo:isinstance', f'args: {args} result: {result}')
return result
if _is_str_builtin(args[1]):
return Result(isinstance(args[0], str))
if _is_dict_builtin(args[1]):
return Result(isinstance(args[0], dict))
if is_list_builtin(args[1]):
return Result(isinstance(args[0], list))
if _is_int_builtin(args[1]):
return Result(isinstance(args[0], int))
if _is_bool_builtin(args[1]):
return Result(isinstance(args[0], bool))
if _is_object_builtin(args[1]):
return Result(True) # Everything is an object.
if args[0] is None:
return Result(args[1] is type(None)) # noqa
if (not isinstance(args[0], EPyObject)
and isinstance(args[1], EClass)):
return Result(type(args[0]) in args[1].get_mro())
if (isinstance(args[0], EPyObject) and
isinstance(args[1], EPyType)):
mro = args[0].get_type().get_mro()
log('eo:isinstance', f'args[0] EPyObj args[1] EPyType; mro: {mro}')
return Result(args[1] in mro)
if isinstance(args[0], EPyObject):
if isinstance(args[1], (EClass, EBuiltin)):
return Result(args[0].get_type() in args[1].get_mro())
if args[0].get_type() == args[1]:
return Result(True)
if (not isinstance(args[0], EPyObject) and
not isinstance(args[1], EPyObject) and
not isinstance(args[1], tuple)):
return Result(isinstance(args[0], args[1]))
if isinstance(args[1], tuple):
for item in args[1]:
res = _do_isinstance((args[0], item), {}, ictx)
if res.is_exception():
return res
ii = res.get_value()
assert isinstance(ii, bool), ii
if ii:
return Result(True)
return Result(False)
raise NotImplementedError(args)
@debugged('eo:issubclass')
@register_builtin('issubclass')
@check_result
def _do_issubclass(
args: Tuple[Any, ...],
kwargs: Dict[Text, Any],
ictx: ICtx) -> Result[bool]:
assert len(args) == 2, args
if args[0] is args[1] and isinstance(args[0], EBuiltin):
return Result(True)
if (type(args[0]) is type and issubclass(args[0], BaseException) and
args[1] is get_guest_builtin('BaseException')):
return Result(True)
if (isinstance(args[1], EPyObject) and
not isinstance(args[1], DsoPyObject) and
args[1].hasattr('__subclasscheck__')):
scc = args[1].getattr('__subclasscheck__', ictx)
if scc.is_exception():
return Result(scc.get_exception())
scc = scc.get_value()
result = ictx.call(scc, (args[0],), {}, {},
globals_=getattr(scc, 'globals_', None))
return result
if isinstance(args[0], EClass) and isinstance(args[1], EBuiltin):
log('eo:issubclass', 'args[0] EClass args[1] EBuiltin')
return Result(args[0].is_subtype_of(args[1]))
if isinstance(args[0], EPyType) and isinstance(args[1], EPyType):
return Result(args[0].is_subtype_of(args[1]))
if ((isinstance(args[0], EPyObject)
and not isinstance(args[1], EPyObject)) or
(not isinstance(args[0], EPyObject)
and isinstance(args[1], EPyObject))):
return Result(False)
if isinstance(args[0], EBuiltin) and isinstance(args[1], EPyType):
return Result(False)
if isinstance(args[0], GuestCoroutineType):
return Result(_is_type_builtin(args[1]))
if _is_object_builtin(args[0]) and _is_type_builtin(args[1]):
return Result(False)
if _is_object_builtin(args[1]):
return Result(True)
if isinstance(args[1], GuestCoroutineType):
return Result(False)
if _is_type_builtin(args[1]):
if isinstance(args[0], EPyObject):
result = args[0].get_type().is_subtype_of(
get_guest_builtin('type'))
assert isinstance(result, bool), result
return Result(result)
if isinstance(args[0], type):
return Result(issubclass(args[0], type))
if isinstance(args[0], EPyType):
return Result(args[1] in args[0].get_mro())
if isinstance(args[0], type) and isinstance(args[1], type):
return Result(issubclass(args[0], args[1]))
raise NotImplementedError(args)
@register_builtin('repr')
@check_result
def _do_repr(args: Tuple[Any, ...], kwargs: Dict[Text, Any],
ictx: ICtx) -> Result[Any]:
assert len(args) == 1, args
o = args[0]
if not isinstance(o, EPyObject):
return Result(repr(o))
frepr = o.get_type().getattr('__repr__', ictx)
if frepr.is_exception():
return frepr
frepr = frepr.get_value()
log('eo:do_repr()', f'o: {o} frepr: {frepr}')
globals_ = getattr(frepr, 'globals_', None)
return ictx.call(frepr, args=(o,), kwargs={}, locals_dict={},
globals_=globals_)