e084b44c-1a5f-4649-92cd-d3ed06099181

Committed 05 Mar 2024 05:58PM UTC coverage: 92.023% (-0.08%) from 92.107%

Build # e084b44c-1a5f-4649-92cd-d3ed06099181

Build Type

push

circleci

Committed by Mirella de Medeiros

Commit Message

CU-86drpnc9z - Drop support to Python 3.10

Run Details

20547 of 22328 relevant lines covered (92.02%)

1.84 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

81.25

/boa3/internal/model/builtin/classmethod/appendmethod.py

from collections.abc import Sized
from typing import Any

from boa3.internal.model.builtin.method.builtinmethod import IBuiltinMethod
from boa3.internal.model.expression import IExpression
from boa3.internal.model.type.collection.sequence.mutable.mutablesequencetype import MutableSequenceType
from boa3.internal.model.variable import Variable
from boa3.internal.neo.vm.opcode.Opcode import Opcode


class AppendMethod(IBuiltinMethod):
    def __init__(self, sequence_type: MutableSequenceType = None):
        if not isinstance(sequence_type, MutableSequenceType):
            from boa3.internal.model.type.type import Type
            self_arg = Variable(Type.mutableSequence)
            item_arg = Variable(Type.any)
        else:
            self_arg = Variable(sequence_type)
            item_arg = Variable(sequence_type.value_type)

        identifier = 'append'
        args: dict[str, Variable] = {'self': self_arg, 'item': item_arg}
        super().__init__(identifier, args)

    @property
    def _arg_self(self) -> Variable:
        return self.args['self']

    @property
    def stores_on_slot(self) -> bool:
        return True

    def validate_parameters(self, *params: IExpression) -> bool:
        if len(params) != 2:
            return False
        if not all(isinstance(param, IExpression) for param in params):
            return False

        from boa3.internal.model.type.itype import IType
        sequence_type: IType = params[0].type
        value_type: IType = params[1].type

        if not isinstance(sequence_type, MutableSequenceType):
            return False
        return sequence_type.value_type.is_type_of(value_type)

    def generate_opcodes(self, code_generator):
        from boa3.internal.model.operation.binaryop import BinaryOp
        from boa3.internal.model.type.type import Type
        from boa3.internal.neo.vm.type.StackItem import StackItemType

        code_generator.duplicate_stack_item(2)
        code_generator.insert_type_check(StackItemType.Buffer)  # append opcode only works for array
        # if self is bytes
        if_bytes = code_generator.convert_begin_if()
        #   result = self + arg     # when it's bytearray, concatenates the value
        code_generator.convert_operation(BinaryOp.Concat.build(Type.bytearray, Type.bytearray))

        # else:
        else_bytes = code_generator.convert_begin_else(if_bytes, is_internal=True)
        #   self.append()
        super().generate_opcodes(code_generator)

        code_generator.convert_end_if(else_bytes, is_internal=True)

    def generate_internal_opcodes(self, code_generator):
        code_generator.insert_opcode(Opcode.APPEND)

    def push_self_first(self) -> bool:
        return self.has_self_argument

    @property
    def _args_on_stack(self) -> int:
        return len(self.args)

    @property
    def _body(self) -> str | None:
        return None

    def build(self, value: Any) -> IBuiltinMethod:
        if isinstance(value, Sized) and len(value) > 0:
            value = value[0]
        if value == self.args['self'].type:
            return self
        if isinstance(value, MutableSequenceType):
            return AppendMethod(value)
        return super().build(value)

1	from collections.abc import Sized	2✔
2	from typing import Any	2✔
3
4	from boa3.internal.model.builtin.method.builtinmethod import IBuiltinMethod	2✔
5	from boa3.internal.model.expression import IExpression	2✔
6	from boa3.internal.model.type.collection.sequence.mutable.mutablesequencetype import MutableSequenceType	2✔
7	from boa3.internal.model.variable import Variable	2✔
8	from boa3.internal.neo.vm.opcode.Opcode import Opcode	2✔
9
10
11	class AppendMethod(IBuiltinMethod):	2✔
12	def __init__(self, sequence_type: MutableSequenceType = None):	2✔
13	if not isinstance(sequence_type, MutableSequenceType):	2✔
14	from boa3.internal.model.type.type import Type	2✔
15	self_arg = Variable(Type.mutableSequence)	2✔
16	item_arg = Variable(Type.any)	2✔
17	else:
18	self_arg = Variable(sequence_type)	2✔
19	item_arg = Variable(sequence_type.value_type)	2✔
20
21	identifier = 'append'	2✔
22	args: dict[str, Variable] = {'self': self_arg, 'item': item_arg}	2✔
23	super().__init__(identifier, args)	2✔
24
25	@property	2✔
26	def _arg_self(self) -> Variable:	2✔
27	return self.args['self']	×
28
29	@property	2✔
30	def stores_on_slot(self) -> bool:	2✔
31	return True	2✔
32
33	def validate_parameters(self, *params: IExpression) -> bool:	2✔
34	if len(params) != 2:	×
35	return False	×
36	if not all(isinstance(param, IExpression) for param in params):	×
37	return False	×
38
39	from boa3.internal.model.type.itype import IType	×
40	sequence_type: IType = params[0].type	×
41	value_type: IType = params[1].type	×
42
43	if not isinstance(sequence_type, MutableSequenceType):	×
44	return False	×
45	return sequence_type.value_type.is_type_of(value_type)	×
46
47	def generate_opcodes(self, code_generator):	2✔
48	from boa3.internal.model.operation.binaryop import BinaryOp	2✔
49	from boa3.internal.model.type.type import Type	2✔
50	from boa3.internal.neo.vm.type.StackItem import StackItemType	2✔
51
52	code_generator.duplicate_stack_item(2)	2✔
53	code_generator.insert_type_check(StackItemType.Buffer) # append opcode only works for array	2✔
54	# if self is bytes
55	if_bytes = code_generator.convert_begin_if()	2✔
56	# result = self + arg # when it's bytearray, concatenates the value
57	code_generator.convert_operation(BinaryOp.Concat.build(Type.bytearray, Type.bytearray))	2✔
58
59	# else:
60	else_bytes = code_generator.convert_begin_else(if_bytes, is_internal=True)	2✔
61	# self.append()
62	super().generate_opcodes(code_generator)	2✔
63
64	code_generator.convert_end_if(else_bytes, is_internal=True)	2✔
65
66	def generate_internal_opcodes(self, code_generator):	2✔
67	code_generator.insert_opcode(Opcode.APPEND)	2✔
68
69	def push_self_first(self) -> bool:	2✔
70	return self.has_self_argument	2✔
71
72	@property	2✔
73	def _args_on_stack(self) -> int:	2✔
74	return len(self.args)	2✔
75
76	@property	2✔
77	def _body(self) -> str \| None:	2✔
78	return None	×
79
80	def build(self, value: Any) -> IBuiltinMethod:	2✔
81	if isinstance(value, Sized) and len(value) > 0:	2✔
82	value = value[0]	2✔
83	if value == self.args['self'].type:	2✔
84	return self	2✔
85	if isinstance(value, MutableSequenceType):	2✔
86	return AppendMethod(value)	2✔
87	return super().build(value)	2✔

CityOfZion / neo3-boa / e084b44c-1a5f-4649-92cd-d3ed06099181

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous