CDE Implementation of Contracts

 

The CDE generated Java code provides a specific implementation of the general contracts micro-architecture. This document discusses some implementation issues as well as some assumptions or points to have in mind regarding the generated Java code. However, details of  implementation are not discussed, mainly for two reasons: Firstly, the focus of CDE users should be on the methodological aspects of  contracts and not on the specific implementation. Secondly, knowing implementation details is often tempting for performing code modifications that may result in behaviour that does not comply with the contracts semantics. Any specific questions, however, are welcomed for those wishing to obtain a more clear understanding of the generated Java code. In this context, the implementation points we wish to present are the following:

 

 

© Copyright 2001 ATX Software SA. All rights reserved.