[mdt-ocl.dev] Pre/Post Validation

[Axel Uhl <eclipse@xxxxxxxxxxxxxxxxxx>]

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