|
Re: Eclipse Corner Article: Implementing Model Integrity... [message #44522 is a reply to message #44397] |
Thu, 22 November 2007 17:49 |
Eclipse User |
|
|
|
Originally posted by: cdamus.ca.ibm.com
Hi, Johannes,
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
in bugzilla:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=191689
HTH,
Christian
"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
> johannes
|
|
|
Powered by
FUDForum. Page generated in 0.03314 seconds