def load_attr(state, arg):
o = state.stack.pop()
name = state.get_name(arg)
if isinstance(o, Const) and hasattr(o.value, name):
state.stack.append(Const(getattr(o.value, name)))
elif (isinstance(o, (type, types.ClassType))
and isinstance(getattr(o, name, None), types.MethodType)):
state.stack.append(Const(BoundMethod(getattr(o, name))))
else:
state.stack.append(Any)
def build_tuple(state, arg):
if arg == 0:
state.stack.append(Tuple[()])
else:
state.stack[-arg:] = [
Tuple[[Const.unwrap(t) for t in state.stack[-arg:]]]
]
def unpack_sequence(state, arg):
t = state.stack.pop()
if isinstance(t, Const):
try:
unpacked = [Const(ti) for ti in t.value]
if len(unpacked) != arg:
unpacked = [Any] * arg
except TypeError:
unpacked = [Any] * arg
elif (isinstance(t, typehints.TupleHint.TupleConstraint)
and len(t.tuple_types) == arg):
unpacked = list(t.tuple_types)
else:
unpacked = [element_type(t)] * arg
state.stack += reversed(unpacked)
def unary(state, unused_arg): state.stack[-1] = Const.unwrap(state.stack[-1])
def build_tuple(state, arg):
if arg == 0:
state.stack.append(Tuple[()])
else:
state.stack[-arg:] = [Tuple[[Const.unwrap(t) for t in state.stack[-arg:]]]]
def list_append(state, arg):
state.stack[-arg] = List[Union[element_type(state.stack[-arg]),
Const.unwrap(state.stack.pop())]]
def unary(state, unused_arg):
state.stack[-1] = Const.unwrap(state.stack[-1])
def list_append(state, arg):
state.stack[-arg] = List[Union[element_type(state.stack[-arg]),
Const.unwrap(state.stack.pop())]]