<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii">
<TITLE>Message</TITLE>
<META content="MSHTML 6.00.2900.2963" name=GENERATOR></HEAD>
<BODY>
<DIV><SPAN class=250543215-23082006><FONT face=Arial color=#0000ff size=2>For me
it works although i used the "meta::" prefix for Signals and Semaphore
</FONT></SPAN><SPAN class=250543215-23082006><FONT face=Arial color=#0000ff
size=2>like: </FONT></SPAN></DIV>
<DIV><SPAN class=250543215-23082006><FONT face=Arial color=#0000ff
size=2></FONT></SPAN> </DIV>
<DIV><SPAN class=250543215-23082006><FONT face=Arial color=#0000ff
size=2>self.connectedFCOs( "dst", meta::Signals )-> forAll( c:
meta::Semaphore | c.semaphoreType = #Blocking )</FONT></SPAN></DIV>
<DIV><SPAN class=250543215-23082006><FONT face=Arial color=#0000ff
size=2></FONT></SPAN> </DIV>
<DIV><SPAN class=250543215-23082006><FONT face=Arial color=#0000ff
size=2>Zoli</FONT></SPAN></DIV>
<DIV><SPAN class=250543215-23082006><FONT face=Arial color=#0000ff
size=2></FONT></SPAN> </DIV>
<BLOCKQUOTE dir=ltr
style="PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT: #0000ff 2px solid; MARGIN-RIGHT: 0px">
<DIV></DIV>
<DIV class=OutlookMessageHeader lang=en-us dir=ltr align=left><FONT
face=Tahoma size=2>-----Original Message-----<BR><B>From:</B>
gme-users-bounces@list.isis.vanderbilt.edu
[mailto:gme-users-bounces@list.isis.vanderbilt.edu] <B>On Behalf Of </B>Jesper
Berthing<BR><B>Sent:</B> Tuesday, August 22, 2006 2:56 PM<BR><B>To:</B>
gme-users<BR><B>Subject:</B> [gme-users] Problem with enum in
OCL<BR><BR></FONT></DIV><!-- Converted from text/plain format --><BR>
<P><FONT size=2>Hi there,<BR><BR>I have two FCOs that can be connected via
"Signals", the destination FCO has a enum with the name semaphoreType (Non
Blocking = 0, Blocking = 1). The constraint is used to allow connections when
the semaphoreType is Blocking and not Non Blocking.<BR><BR>Therefore I have
made the following constraint, but it keeps returning false when I create the
connection between the two FCOs. Some how the c.semaphoreType is not equal to
#Blocking, how come?<BR><BR>self.connectedFCOs( "dst", Signals )->forAll( c
: Semaphore |<BR>c.semaphoreType = #Blocking)<BR><BR>I have used this previous
post: <A
href="http://list.isis.vanderbilt.edu/pipermail/gme-users/2005-July/000812.html">http://list.isis.vanderbilt.edu/pipermail/gme-users/2005-July/000812.html</A>
in order to figure out that enums are represented using
#.<BR><BR><BR>Regards,<BR>Jesper</FONT> </P></BLOCKQUOTE></BODY></HTML>