Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [mdt-ocl.dev] Pre/Post Validation

Hi

See https://bugs.eclipse.org/bugs/show_bug.cgi?id=303686,
https://bugs.eclipse.org/bugs/show_bug.cgi?id=337877.

I think it has to be an explicit API, or perhaps a genmodel option
otherwise you hit existing users.

    Ed


> Folks,
>
> inspired by the talk I currently am hearing at the OCL workshop, are we
> already doing anything in MDT/OCL w.r.t. dynamically validating pre/post
> conditions on EMF / Ecore operations even if the operation body itself
> is not specified in OCL? Sounds fairly easy to do with an invocation
> delegate that does the pre/post checking around delegating to the
> original call.
>
> Thoughts?
>
> Best,
> -- Axel
> _______________________________________________
> mdt-ocl.dev mailing list
> mdt-ocl.dev@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/mdt-ocl.dev
>




Back to the top