[gme-users] enum attribute values in ocl constraints

[Matthew J. Emerson]

But...it doesn't look as pretty :)

--Matt

> -----Original Message-----
> From: gme-users-bounces at list.isis.vanderbilt.edu [mailto:gme-users-
> bounces at list.isis.vanderbilt.edu] On Behalf Of Zoltan Molnar
> Sent: Thursday, July 21, 2005 2:34 PM
> To: gme-users
> Subject: RE: [gme-users] enum attribute values in ocl constraints
> 
> I think you could get around this problem by defining the enumeration
> attribute like:
> 
> Foo Bar, Foo_Bar
> Any String, Any_String
> 
> Generally speaking:
> text1, value1
> text2, value2
> ...
> 
> This way in the constraint you could use:
> Self.X = #Foo_Bar implies self.Y = #Any_String
> 
> 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 Matthew J. Emerson
> > Sent: Tuesday, June 21, 2005 4:17 PM
> > To: gme-users
> > Subject: [gme-users] enum attribute values in ocl constraints
> >
> >
> > I need to write an ocl constraint which essentially says, "If
> > the enum attribute X of the context class has value Y, then
> > enum attribute M of the context class must have value N".
> >
> > I know how to do this in most cases. The constraint would
> > look like this:
> >
> >      (self.X = #Y) implies (self.M = #N)
> >
> > But, it doesn't really work value Y contains whitespace. For
> > instance, suppose the value I need to check for is "Foo Bar":
> >
> >      (self.X = #Foo Bar) implies (self.M = #N)
> >
> > The ocl parser can't understand this because of the
> > whitespace. So, I performed a little experiment to figure out
> > how the parser would like the value to be formated. I wrote
> > the following constraint:
> >
> >      let testVal = self.X in false
> >
> > When I check the constraint in a model where the value of X
> > for a particular object is "Foo Bar", then I can look at the
> > value of testVal in the constraint violation window and see
> > how the parser is formating the enum value "Foo Bar".
> > Unfortunately, what I got was:
> >
> >      testVal     ocl::Enumeration{#Foo Bar}
> >
> > Since I already determined that the above formatting for the
> > enum value wouldn't be accepted by the parser as input, my
> > experiment didn't help me.
> >
> > So, how am I supposed to write this constraint? I'd like to
> > write something like
> >
> >      (self.X = #[Foo Bar]) implies (self.M = #N)
> >
> > or
> >
> >      (self.X = #"Foo Bar") implies (self.M = #N)
> >
> > or even
> >
> >      (self.X = ocl::Enumeration("Foo Bar")) implies (self.M = #N)
> >
> > But the parser doesn't like any of these (and the last one
> > causes an emergency exception which crashes GME.
> > Unfortunately, I can't find any GME documentation or existing
> > examples which cover this case. Anyone know what to do?
> > _______________________________________________
> > gme-users mailing list
> > gme-users at list.isis.vanderbilt.edu
> > http://list.isis.vanderbilt.edu/mailman/listinfo/gme-users
> >
> _______________________________________________
> gme-users mailing list
> gme-users at list.isis.vanderbilt.edu
> http://list.isis.vanderbilt.edu/mailman/listinfo/gme-users