Boost logo

Boost :

From: christopher diggins (cdiggins_at_[hidden])
Date: 2004-02-10 11:11:07

----- Original Message -----
From: "Mohammed" <miqbal_at_[hidden]>
To: "Boost mailing list" <boost_at_[hidden]>
Sent: Tuesday, February 10, 2004 10:26 AM
Subject: Re: [boost] Interest in aspect oriented library

> I may be wrong. AOP can be used to implement design by contract.
> Mohammed

Most definitely. In the crosscutting macro I am proposing at ( ) we could add class invariant
tests to the BeforeFxn and AfterFxn of the aspect. We could then also have
precondition tests in the BeforeFxn and postcondition tests in the AfterFxn.
The only issue is that an aspect applies uniformally to a set of functions
(the set of join-points, known as the point-cut). In order to overcome this
we need to simply write a case statement in the BeforeFxn / AfterFxn on the
passed function name. I am currently working on a new more powerful model
that will make it easier to do design by contract using AOP.

Christopher Diggins
yet another language designer

Boost list run by bdawes at, gregod at, cpdaniel at, john at