On 08/30/2018 01:49 PM, Marko Ristin-Kaufmann wrote:
classC(A):
# C.some_func also inherits the contracts from A.
# It weakens the precondition:
# it operates either on sorted lists OR
# the lists that are shorter than 10 elements.
#
# It strenghthens the postcondition:
# It needs to return an integer larger than
# the length of the input list AND
# the result needs to be divisible by 2.
@icontract.post(lambdaresult: result %2==0)
defsome_func(self, lst: List[int]) ->int:
# ...
I think you forgot an @icontract.pre() here.
--
~Ethan~
_______________________________________________
Python-ideas mailing list
Python-ideas@python.org
https://mail.python.org/mailman/listinfo/python-ideas
Code of Conduct: http://python.org/psf/codeofconduct/
