[gme-users] Problem with enum in OCL

[Zoltan Molnar]

At first sight I realized that in your metamodel (xmp) the Blocking and
Non Blocking enumeration items are assigned values 0 and 1.

Old version of semaphoreType EnumAttribute: 
Non Blocking, 0
Blocking, 1

This means you have to use somehow the values (0 or 1 or #0 or #1 ?) in
the constraint instead of the #Blocking and #Non blocking strings.

However, I did one thing: I replaced in semaphoreType's declaration 0
with VALNONBLOCK, and 1 with VALBLOCK and I rewrote the constraint 
like this:
self.connectedFCOs( "dst", meta::Signals )-> forAll( c: meta::Semaphore
| c.semaphoreType = #VALBLOCK )

New version of semaphoreType EnumAttribute: 
Non Blocking, VALNONBLOCK
Blocking, VALBLOCK 

This way it worked.

Am I not sure how the syntax should be modified in order to work with 0s
and 1s as well.

Br, Zoli

> -----Original Message-----
> From: gme-users-bounces at list.isis.vanderbilt.edu 
> [mailto:gme-users-bounces at list.isis.vanderbilt.edu] On Behalf 
> Of Jesper Berthing
> Sent: Wednesday, August 23, 2006 2:39 PM
> To: gme-users
> Subject: RE: [gme-users] Problem with enum in OCL
> 
> 
> 
> Hi Zoli,
> 
> I tryed with the "meta::", but it did not work for me. 
> Therefore I have create a new project with two atoms, just 
> like I described below. The project is attached to this email.
> 
> So if anybody has the time to try it out and possible find 
> the mistake in the model I would be very happy. ;-)
> 
> Below are some of the tests that I have carried out.
> 
> My guess is that #Blocking is not "defined" in the constraint 
> in the right way for the expression to be true. If I for 
> example use the expression below the constraint is never violated.
> 
> let var:ocl::Enumeration = ocl::Enumeration { #Non Blocking, 
> #Blocking } in self.connectedFCOs( "dst", meta::Signals )-> 
> forAll( c: meta::Semaphore
> | c.semaphoreType = var )
> 
> The last thing I tried was to attach a enumattribute to the 
> Event Atom with the enum definition (#No,0 and #Yes, 1) and 
> used the following constraint it is possbile to control when 
> the connection is allowed (if both semaphoreType and 
> eventType is set to the same (Non Blocking and No) and 
> (Blocking and Yes)).
> 
> self.connectedFCOs( "dst", meta::Signals )-> forAll( c: 
> meta::Semaphore
> | c.semaphoreType = self.eventType )
> 
> Of course I could make the enum attribute hidden for the user 
> and set the default value to Yes. but that will not help me 
> in other cases where I need to check for a certain enum value.
> 
> I am using the latest version of GME (6.5.8), if this 
> information helps.
> 
> regards,
> Jesper 
> 
> -----Original Message-----
> From: gme-users-bounces at list.isis.vanderbilt.edu on behalf of 
> Zoltan Molnar
> Sent: Wed 8/23/2006 6:00 PM
> To: gme-users
> Subject: RE: [gme-users] Problem with enum in OCL
>  
> For me it works although i used the "meta::" prefix for 
> Signals and Semaphore like: 
>  
> self.connectedFCOs( "dst", meta::Signals )-> forAll( c: 
> meta::Semaphore
> | c.semaphoreType = #Blocking )
>  
> Zoli
>  
> 
> -----Original Message-----
> From: gme-users-bounces at list.isis.vanderbilt.edu
> [mailto:gme-users-bounces at list.isis.vanderbilt.edu] On Behalf 
> Of Jesper Berthing
> Sent: Tuesday, August 22, 2006 2:56 PM
> To: gme-users
> Subject: [gme-users] Problem with enum in OCL
> 
> 
> 
> 
> 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.htm
l in order to figure out that enums are represented using #.


Regards,
Jesper