Package python3-module-codeviking.contracts: Information
Source package: python3-module-codeviking.contracts
Version: 0.17.0-alt3.1
Build time: Apr 20, 2019, 03:13 PM in the task #227465
Category: Development/Python3
Report package bugLicense: MIT
Summary: Function and method call contracts
Description:
This package provides simple but powerful support for contract programming. It includes support for preconditions, postconditions, invariants, and function signature checking. Decorators are used to specify preconditions, postconditions, and invariants. Function signatures are automatically extracted from argument and return type annotations. All contracts can easily be enabled or disabled. Disabled contracts add zero runtime overhead.
Maintainer: Stanislav Levin
List of contributors:
Stanislav Levin
Aleksei Nikiforov
Igor Vlasenko
Ivan Zakharyaschev
Eugeny A. Rostovtsev
Stanislav Levin
Aleksei Nikiforov
Igor Vlasenko
Ivan Zakharyaschev
Eugeny A. Rostovtsev
ACL:
@python
@everybody
@python
@everybody
Last changed
Feb. 2, 2018 Stanislav Levin 0.17.0-alt3.1
- (NMU) Fix Requires and BuildRequires to python-setuptools
Aug. 22, 2017 Aleksei Nikiforov 0.17.0-alt3
- Updated dependencies.
Aug. 22, 2017 Aleksei Nikiforov 0.17.0-alt2
- Fixed build.