Eclipse Community Forums: OCL » refering to a sepecific attribute

Home » Modeling » OCL » refering to a sepecific attribute

refering to a sepecific attribute [message #539127]

Wed, 09 June 2010 13:38

Eclipse User

Hi,

I am trying to constrain a specific attribute of a class. For example, there is a class named "Person" and it has an attribute "age" and I want to say that there exists a car for every person whose age is 21. So how can I refer to 21?
would this be okay:

Person.age(21)-->exists(car)

Thank you in advance,
Saba

[Updated on: Wed, 09 June 2010 13:44] by Moderator

Re: refering to a sepecific attribute [message #539175 is a reply to message #539127]

Wed, 09 June 2010 16:54

Eclipse User

On 09/06/2010 18:38, Saba wrote:
> I am trying to constrain a specific attribute of a class. For example,
> there is a class named "Person" and it has an attribute "age" and I want
> to say that there exists a car for every person whose age is 21. So how
> can I refer to 21? would this be okay:
>
> Person.age(21)-->exists(car)
No.

perhaps

Person.allInstances()->select(age = 21)->exists(not car.oclIsUndefined())

Regards

Ed Willink

Previous Topic:	How to provide ocl constraint for Enum attributes
Next Topic:	[XPAND] duplication problem in html report

Goto Forum:

-=] Back to Top [=-

Current Time: Sat Jul 26 04:50:49 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter