close Warning: Can't synchronize with repository "(default)" (Unsupported version control system "svn": No module named svn). Look in the Trac log for more information.

Changes between Version 16 and Version 17 of ContextPy


Ignore:
Timestamp:
01/10/2011 04:49:12 PM (9 years ago)
Author:
malte.appeltauer
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ContextPy

    v16 v17  
    1212
    1313
    14 ContextPy, our context-oriented extension to the [http://www.python.org/ Python] language, provides a COP-based approach to ''design by contract'' (DBC).
     14!ContextPy, our context-oriented extension to the [http://www.python.org/ Python] language, provides a COP-based approach to ''design by contract'' (DBC).
    1515DBC is a programming technique to separate contract enforcement from application code. DBC provides information about the applicability of methods and helps  to  narrow  down  the  search  space  in  case  of  a  software failure.   However,  most DBC implementations suffer from inflexibility:  Contract enforcement can only be activated or deactivated at compile-time or start-up, contracts are checked globally and cannot be restricted in their scope such as to the current thread of execution,  and contracts
    1616cannot be grouped according to the concerns they relate to.
    1717
    18 ContextPy provides DCL for fine-grained and flexible contract management and extends DBC by a grouping mechanism for contracts, thread-local activation and deactivation of such groups, and selective contract enforcement at run-time. 
     18!ContextPy provides DCL for fine-grained and flexible contract management and extends DBC by a grouping mechanism for contracts, thread-local activation and deactivation of such groups, and selective contract enforcement at run-time. 
    1919
    2020!PyDCL, our proof-of-concept implementation of DCL, is built onto of !ContextPy.