Module contract

Classes

ContractViolationError
Done
InvalidPreconditionError
InvariantViolationError
PostconditionViolationError
PreconditionViolationError
_holder
tokenizer

Functions

__assert_inv
_call_all
_call_pre
_check_class_invariants
_check_members
_check_preconditions
_check_proc
_check_type
_decltodict
_define
_define_checker
_define_saver
_format_arg
_format_args
_get_location
_get_members
_getargs
_has_method
_install_wrapper
_ispublic
_method_call_all
_method_call_pre
_mkname
_read_block
_save_decls
_searchbases
call_constructor_all
call_constructor_pre
call_destructor_all
call_destructor_pre
call_private_function_all
call_private_function_pre
call_private_method_all
call_private_method_pre
call_public_function_all
call_public_function_pre
call_public_method_all
call_public_method_pre
checkmod
exists
forall
getargspec
implies
isclass
isstring
parse_docstring

Variables

CHECK_ALL
CHECK_DEFAULT
CHECK_NONE
CHECK_PRECONDITIONS
CODE_CONTRACTS
CO_VARARGS
CO_VARKEYWORDS
False
INV
MODULE
OLD
POST
PRE
PREFIX
RETURN
TYPE_CONTRACTS
True
_CHK
_CONTRACTS
_EXCEPTIONS
_OPS
_ORIG
_RE_KEYWORD
_SAVE
__email__
__test__
_re_start
[hide private]