Changes between Version 103 and Version 104 of LibrariesUnderConstruction

Timestamp:

Feb 28, 2010, 11:29:22 PM (13 years ago)

Author:

Lorenzo Caminiti

Comment:

Updated Boost.Contract entry.

LibrariesUnderConstruction

@@ -296 +296 @@
 == Boost.Contract ==
  * '''Author(s):'''  Lorenzo Caminiti 
- * '''Version:''' 0.0.1
+ * '''Version:''' 0.3.469
  * '''State:''' stable
  * '''Last upload:''' 
- * '''Links:''' [http://sourceforge.net/projects/dbcpp/files/releases/dbcpp_0_2_190.tar.gz/download Download] [http://dbcpp.sourceforge.net/boost/libs/contract/doc/html Documentation]
+ * '''Links:''' [http://sourceforge.net/projects/dbcpp Download] [http://dbcpp.sourceforge.net Documentation]
  * '''Categories:''' [#CorrectnessAndTesting Correctness And Testing]
- * '''Description:'''  Contract Programming (CP) is also known as Design by Contract (DbC) and it was first introduced by the Eiffel programming language. All Contract Programming features of the Eiffel programming language are supported by this library, among others:
-
-    * Optional compilation and checking of invariants, preconditions, and postconditions.
-    * Customizable actions on contract failure (terminate by default but it can throw, exit, etc).
-    * Subcontracting for derived classes (with support for multiple inheritance).
-    * Access to "old" variable values (before body execution) and return value "result" in postconditions.
-    * Automatic contract documentation (integrated with Doxygen).
-
-In brief, Contract Programming allows to specify invariants, preconditions, and postconditions that are automatically checked when functions are called at run-time. These conditions are used to assert the function specifications within the code itself allowing to find bugs more quickly during testing and improving software quality. 
-
+ * '''Description:''' Implement Contract Programming for C++.
+
+Contract Programming (CP) is also known as Design by Contract(TM)(DbC) and it was first introduced by the Eiffel programming language.
+All Contract Programming features of the Eiffel programming language are supported by this library, among others:
+
+ * Optional compilation and checking of invariants, preconditions, and postconditions.
+ * Customizable actions on contract failure (terminate by default but it can throw, exit, etc).
+ * Subcontracting for derived classes (with support for pure virtual functions and multiple inheritance).
+ * Access to "old" variable values (before body execution) and return value "result" in postconditions.
+ * Support block invariants and loop variants.
+
+In brief, Contract Programming allows to specify invariants, preconditions, and postconditions that are automatically checked when functions are called at run-time.
+These conditions are used to assert the function specifications within the source code itself allowing to find bugs more quickly during testing and improving software quality.
 
 ---------------------------------------------------------------------------------------------------