Commits

Author Commit Message Labels Comments Date
Kamil Kisiel
Some documentaion cleanup. Internalized flask theme customizations
Kamil Kisiel
Split up tests
Kamil Kisiel
Use __all__ as not to pollute the namespace of the top-level module.
Kamil Kisiel
Resurrected unit tests, only support Python 3
Kamil Kisiel
Added documentation stub
Kamil Kisiel
Forgot to add covenant/exceptions.py
Kamil Kisiel
Added some basic documentation
Kamil Kisiel
Renamed py3k -> annotations
Kamil Kisiel
Created exception hierarchy to match PEP-316 conventions
Kamil Kisiel
Split covenant.py in to a package, cleaned up some functionality with decorators
Kamil Kisiel
Added @pre and @post decorators.
Kamil Kisiel
Updated for Python 3 annotation support and invariants
Kamil Kisiel
Initial implementation of function-annotation based conditions
Kamil Kisiel
Cleaned up in preparation for Python 3 support.
Kamil Kisiel
Added COPYING.txt file with MIT license
Kamil Kisiel
Created functions to enable and disable covenant functionality. Refactored pre() and post() in to a single __create_deco() function
Kamil Kisiel
Added decorator for creating class invariants. Factored out some functions from check_conditions().
Kamil Kisiel
Handle exceptions in pre and post
Kamil Kisiel
Added unit test for preconditions on class methods
Kamil Kisiel
Refactored code. There is now only one layer of wrapper functions instead of a new wrapper being added for each pre or post condition. The logic for performing the checks has now been placed in a separate check_conditions() function which iteratively check both the pre- and post- conditions.
Kamil Kisiel
Replaced custom call argument populating code with getcallargs() from inspect.py in Python 2.7
Kamil Kisiel
Switched assertRaises to the nicer 'with' version
Kamil Kisiel
Implemented postconditions and a variety of tests
Kamil Kisiel
Fixed bug with three or more layers of preconditions
Kamil Kisiel
Added imports parameter to pre() decorator. Allows importing other objects in to the check statement's namespace.
Kamil Kisiel
Added unit test for two arguments
Kamil Kisiel
Added support for multiple preconditions by adding a _covenant_base_func attribute to the wrapper function
Kamil Kisiel
Renamed tests to be more consistent
Kamil Kisiel
Working precondition check for a single argument
Kamil Kisiel
initial commit with a test