Eclipse Community Forums: OCL » New to EMF and OCL

Help

Home

Home » Modeling » OCL » New to EMF and OCL

Show: Today's Messages :: Show Polls :: Message Navigator

New to EMF and OCL [message #468322]

Tue, 04 August 2009 23:13

Richard Catlin
Messages: 50
Registered: July 2009

Member

All,

I am using the EMF Framework Validation Plug-in: "OCL Example". It
allows me to write OCL expressions in a text file.

Is it possible to set properties in the model based on OCL expressions?
The OCL 2.0 Spec says that expressions are guaranteed to be without
side effects, but then goes on to say that OCL expressio can be used to
specify a state change (eg. in a post-condition).

Pardon me if this is an obvious question. I am new to EMF and OCL.

Thank you,
Richard Catlin

Report message to a moderator

[Message index]

		New to EMF and OCL By: Richard Catlin on Tue, 04 August 2009 23:13
		Re: New to EMF and OCL By: Richard Catlin on Wed, 05 August 2009 10:19
		Re: New to EMF and OCL By: Ed Willink on Thu, 06 August 2009 15:26
		Re: New to EMF and OCL By: Richard Catlin on Thu, 06 August 2009 20:23
		Re: New to EMF and OCL By: Ed Willink on Fri, 07 August 2009 00:50
		Re: New to EMF and OCL - Question: If my method returns void, how do I use it in the invariant? By: Richard Catlin on Sun, 09 August 2009 23:38
		Re: New to EMF and OCL - Question: If my method returns void, how do I use it in the invariant? By: Ed Willink on Mon, 10 August 2009 01:14
		Re: New to EMF and OCL By: Ed Willink on Thu, 06 August 2009 15:23

Previous Topic:	OCL, AnyType and FeatureMaps
Next Topic:	Re: OCL closures implementation

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Sat May 25 05:08:24 EDT 2013