Skip to content
Sections
>> Trisquel >> Packages >> etiona >> devel >> python-contract
etiona  ]
[ Source: python-contract  ]

Package: python-contract (1.4-4)

Programming by contract for Python

This package provides a means for programming by contract in Python. Programming by contact is a methodology whereby a API designer can define checkable preconditions and postconditions for method calls, and invariants for classes and methods. The most famous use of this methodology is in the Eiffel programming language.

This implementation of programming by contract has the developer write constraints in the docstrings of methods and classes that can be optionally checked at runtime. If the constraints are not met, an exception is raised.

Other Packages Related to python-contract

  • depends
  • recommends
  • suggests
  • dep: python (<< 2.8)
    interactive high-level object-oriented language (default version)
    dep: python (>= 2.7)

Download python-contract

Download for all available architectures
Architecture Package Size Installed Size Files
all 26.6 kB147 kB [list of files]