|Re: Eclipse Corner Article: Implementing Model Integrity... [message #44522 is a reply to message #44397]
||Thu, 22 November 2007 17:49
Originally posted by: cdamus.ca.ibm.com|
Are you in as snowy a part of the world this fine November day as I am?
You can wake up from your dream. :-) It's possible now, as the article
demonstrates. The article implements the following constructs:
- EClass invariants
- operation body expressions
- attribute derivation expressions
I don't think the article's templates implement operation preconditions,
although they would be easy enough (very much like the invariants and
operation bodies). The more difficult task is the operation
post-condition, with its @pre expressions.
You might also want to follow and/or contribute to this enhancement request
"J. Groß" wrote:
> Dear Christian,
> i m a newbie to OCL and tried just the execution of the employees example.
> without having to go too deep into the matter, could you briefly
> describe which expressions of ocl are covered by your templates?
> i m dreaming of using OCL within ecore without having to write any java
> code - is this possible now or in future?
> hazy november greetings
Powered by FUDForum
. Page generated in 0.01908 seconds