Eclipse Corner Article: Implementing Model Integrity... [message #44397] |
Thu, 22 November 2007 10:46  |
Eclipse User |
|
|
|
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
|
|
|
Re: Eclipse Corner Article: Implementing Model Integrity... [message #44522 is a reply to message #44397] |
Thu, 22 November 2007 12: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.04071 seconds