hello Chad,
consider this ocl:
context ParameterFacade::getType() pre: self->notEmpty()
that's no good because 'self' can only be evaluated AFTER this 'getType()' has been executed (so after this precondition)
I need to think about it ...
-- Wouter
------------------------------------------------------- This SF.Net email is sponsored by The 2004 JavaOne(SM) Conference Learn from the experts at JavaOne(SM), Sun's Worldwide Java Developer Conference, June 28 - July 1 at the Moscone Center in San Francisco, CA REGISTER AND SAVE! http://java.sun.com/javaone/sf Priority Code NWMGYKND _______________________________________________ Andromda-devel mailing list [EMAIL PROTECTED] https://lists.sourceforge.net/lists/listinfo/andromda-devel
