Author Commit Message Labels Comments Date
Kamil Kisiel avatarKamil Kisiel
Some documentaion cleanup. Internalized flask theme customizations
Kamil Kisiel avatarKamil Kisiel
Split up tests
Kamil Kisiel avatarKamil Kisiel
Use __all__ as not to pollute the namespace of the top-level module.
Kamil Kisiel avatarKamil Kisiel
Resurrected unit tests, only support Python 3
Kamil Kisiel avatarKamil Kisiel
Added documentation stub
Kamil Kisiel avatarKamil Kisiel
Forgot to add covenant/exceptions.py
Kamil Kisiel avatarKamil Kisiel
Added some basic documentation
Kamil Kisiel avatarKamil Kisiel
Renamed py3k -> annotations
Kamil Kisiel avatarKamil Kisiel
Created exception hierarchy to match PEP-316 conventions
Kamil Kisiel avatarKamil Kisiel
Split covenant.py in to a package, cleaned up some functionality with decorators
Kamil Kisiel avatarKamil Kisiel
Added @pre and @post decorators.
Kamil Kisiel avatarKamil Kisiel
Updated for Python 3 annotation support and invariants
Kamil Kisiel avatarKamil Kisiel
Initial implementation of function-annotation based conditions
Kamil Kisiel avatarKamil Kisiel
Cleaned up in preparation for Python 3 support.
Kamil Kisiel avatarKamil Kisiel
Added COPYING.txt file with MIT license
Kamil Kisiel avatarKamil Kisiel
Created functions to enable and disable covenant functionality. Refactored pre() and post() in to a single __create_deco() function
Kamil Kisiel avatarKamil Kisiel
Added decorator for creating class invariants. Factored out some functions from check_conditions().
Kamil Kisiel avatarKamil Kisiel
Handle exceptions in pre and post
Kamil Kisiel avatarKamil Kisiel
Added unit test for preconditions on class methods
Kamil Kisiel avatarKamil Kisiel
Refactored code. There is now only one layer of wrapper functions instead of a
Kamil Kisiel avatarKamil Kisiel
Replaced custom call argument populating code with getcallargs() from inspect.py in Python 2.7
Kamil Kisiel avatarKamil Kisiel
Switched assertRaises to the nicer 'with' version
Kamil Kisiel avatarKamil Kisiel
Implemented postconditions and a variety of tests
Kamil Kisiel avatarKamil Kisiel
Fixed bug with three or more layers of preconditions
Kamil Kisiel avatarKamil Kisiel
Added imports parameter to pre() decorator. Allows importing other objects in to the check statement's namespace.
Kamil Kisiel avatarKamil Kisiel
Added unit test for two arguments
Kamil Kisiel avatarKamil Kisiel
Added support for multiple preconditions by adding a _covenant_base_func attribute to the wrapper function
Kamil Kisiel avatarKamil Kisiel
Renamed tests to be more consistent
Kamil Kisiel avatarKamil Kisiel
Working precondition check for a single argument
Kamil Kisiel avatarKamil Kisiel
initial commit with a test
Help
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.