[gme-users] OCL?

[Kai Lukoschek]

Hi,

could anybody please help me with an OCL problem, which might actually be
very easy but I can't solve (I've just started using GME and never used
OCL).

Having a "Container" model containing a number of "Contained" atoms (see
attached picture), I'd like to restrict the contained objects in case the
"value1" Integer field of "Contained" is 0 (zero) so that no other objects
may be associated.

What I came up with is the following constraint attached to the Container:

contained->exists(value1 = 0) implies 
not contained->select(s | s.value1 <> 0)

Unfortunately, this doesn't work. The message I get says that the ocl::Type
(probably "contained") does not have an Iterator and is not compound and
secondly that "value1" doesn't exist.

Any hints?

Thanks a lot,
Kai.

-- 
10 GB Mailbox, 100 FreeSMS/Monat http://www.gmx.net/de/go/topmail
+++ GMX - die erste Adresse für Mail, Message, More +++
-------------- next part --------------
A non-text attachment was scrubbed...
Name: capture1.JPG
Type: image/pjpeg
Size: 12744 bytes
Desc: not available
Url : http://list.isis.vanderbilt.edu/pipermail/gme-users/attachments/20060208/949b80af/capture1.bin