[gme-users] Problem with enum in OCL

[Jesper Berthing]

Hi there,

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.

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?

self.connectedFCOs( "dst", Signals )->forAll( c : Semaphore | 
c.semaphoreType = #Blocking)

I have used this previous post: http://list.isis.vanderbilt.edu/pipermail/gme-users/2005-July/000812.html in order to figure out that enums are represented using #.


Regards,
Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://list.isis.vanderbilt.edu/pipermail/gme-users/attachments/20060822/cb454582/attachment.htm