[gme-users] The OCL isUnique iterator

Zoltan Molnar zolmol at isis.vanderbilt.edu
Fri Oct 13 19:32:27 CDT 2006


Such an expression would do the job:
 
let tbs=project.allInstancesOf( Table) in tbs.isUnique( i : Table | i.tableID)
 
Zoli

-----Original Message-----
From: gme-users-bounces at list.isis.vanderbilt.edu [mailto:gme-users-bounces at list.isis.vanderbilt.edu] On Behalf Of Nicki Lehmann Møller
Sent: Friday, October 13, 2006 2:14 AM
To: gme-users
Subject: [gme-users] The OCL isUnique iterator


Hi all, 

I have a created a Table model that has an attribute called tableID. This attribute should be unique. Therefore I have created the OCL statement 

project.allInstancesOf(Table)->isUnique(tableID)

and attached the constraint to the table object (the OnCreate event), which sadly always evaluates to false. 
I'd like to note that the reason I use project.allInstancesOf(Table) is that a table can exist in different parent models. 
I any of you guys or girls could please help me I'd really be happy. 

Have a nice weekend
-- 
Kind Regards, 
Nicki


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://list.isis.vanderbilt.edu/pipermail/gme-users/attachments/20061013/180714ca/attachment.htm


More information about the gme-users mailing list