Types & classes — github.com/deadpixi/contracts

CodeHub MCPcopy Create free account

hub / github.com/deadpixi/contracts / types & classes

Types & classes3 in github.com/deadpixi/contracts

⨍ Functions 17 ◇ Types & classes 3

↓ 4 callersClassPostconditionError

An AssertionError raised due to violation of a postcondition.

dpcontracts.py:513

↓ 2 callersClassPreconditionError

An AssertionError raised due to violation of a precondition.

dpcontracts.py:510

ClassInvariantContractor

dpcontracts.py:773