This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "compose-hpc".
The branch, master has been updated
via 0631e5fe0de553e573af25b79848fa80007e1b2f (commit)
from bec509c9c67e938a8ec6bbb7d32e2be87c8e1656 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 0631e5fe0de553e573af25b79848fa80007e1b2f
Author: T. Dahlgren <dah...@ll...>
Date: Wed Nov 28 18:11:42 2012 -0800
Cleaned up Doxygen comments and set to exclude tests directory contents.
- Repaired and improved the copyright and source paragraphs, leveraging
doxygen's htmlinclude command.
- Used \internal and \endinternal doxygen commands to hide file-related
details that are not relevant to the documentation.
- Added brief annotations, which show up in the File List.
- Added details annotations where longer descriptions exist.
- Moved some enumeration comments around to facilitate doxygen inclusion.
- Disabled generation of doxygen content for files in the tests directory.
- Created new doxygen include file directory since now have multiple files.
- Added parameter direction, though punted on 'inout' (since not supported
in my installed version).
-----------------------------------------------------------------------
Summary of changes:
pcontracts/Doxyfile | 370 ++++++++++++++------
pcontracts/Makefile | 3 +-
pcontracts/TODO | 9 +-
pcontracts/dox/contractsSource.html | 6 +
pcontracts/dox/copyright.html | 12 +
pcontracts/dox/knapsackSource.html | 5 +
pcontracts/{ => dox}/mainpage.dox | 13 +-
pcontracts/include/PaulContracts.h | 13 +-
pcontracts/src/examples/AssertionExpression.hpp | 29 +--
.../src/examples/ContractAssertionPrinter.cpp | 52 ++--
.../src/examples/ContractAssertionPrinter.hpp | 30 +-
pcontracts/src/examples/ContractComment.hpp | 55 ++--
pcontracts/src/examples/ContractPrinter.cpp | 34 +-
pcontracts/src/examples/ContractPrinter.hpp | 29 +-
pcontracts/src/examples/ContractsProcessor.cpp | 162 +++++----
pcontracts/src/examples/ContractsProcessor.hpp | 28 +--
pcontracts/src/examples/Knapsack.cpp | 102 +++---
pcontracts/src/examples/Knapsack.hpp | 49 ++--
pcontracts/src/examples/RoseHelpers.cpp | 43 ++--
pcontracts/src/examples/RoseHelpers.hpp | 49 +--
.../src/examples/RoutineContractInstrumenter.cpp | 29 +--
pcontracts/src/examples/UnlabeledKnapsack.cpp | 31 +-
pcontracts/src/examples/UnlabeledKnapsack.hpp | 53 ++--
pcontracts/src/examples/contractClauseTypes.hpp | 27 +--
pcontracts/src/examples/knapsack.c | 61 ++--
pcontracts/src/examples/unlabeledknapsack.c | 62 ++--
pcontracts/src/runtime/ContractsEnforcer.c | 344 +++++++++----------
pcontracts/src/runtime/ContractsEnforcer.h | 171 +++++-----
pcontracts/src/runtime/contractMacros.h | 37 +--
pcontracts/src/runtime/contractOptions.h | 69 ++---
pcontracts/src/runtime/contractPrivateTypes.h | 69 ++--
pcontracts/src/runtime/contracts.h | 33 +--
pcontracts/src/tests/SimpleContractsPrinter.cpp | 34 +--
pcontracts/src/tests/SimpleContractsPrinter.hpp | 27 +-
pcontracts/src/tests/testContractsEnforcer.c | 38 +--
pcontracts/src/tests/test_InvariantAnnotation.cpp | 30 +--
.../src/tests/test_PaulContractsDecorator.cpp | 26 +-
.../src/tests/test_SimpleContractsPrinter.cpp | 28 +--
38 files changed, 1124 insertions(+), 1138 deletions(-)
create mode 100644 pcontracts/dox/contractsSource.html
create mode 100644 pcontracts/dox/copyright.html
create mode 100644 pcontracts/dox/knapsackSource.html
rename pcontracts/{ => dox}/mainpage.dox (90%)
hooks/post-receive
--
compose-hpc
|
