<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<META NAME="Generator" CONTENT="MS Exchange Server version 6.5.7638.1">
<TITLE>Problem with enum in OCL</TITLE>
</HEAD>
<BODY>
<!-- 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>
</BODY>
</HTML>