[gme-users] Problem with OCL

[Christian Brunette]

Hello,

I'm a new user of GME. I have a problem with OCL and I don't know if it 
is a bug or a feature not yet implemented or a constraint in OCL.
I have define several FCOs which inherit from an abstract FCO in which 
some attributes are defined. I add a connection whose source and 
destination are this abstract FCO. I would add a constraint on this 
connection. But I need to access to the attributes of the connected 
FCOs, so I need to cast them. But the constraint checker said me that I 
can't cast because the FCO is abstract. Is it a bug ??

Sincerely,
Christian

-- 
Christian Brunette
Post-doctorant in the ESPRESSO team
IRISA-INRIA, Campus de Beaulieu, 35042 Rennes cedex, France
Phone: +33 (0) 2 99 84 72 31, Fax: +33 (0) 2 99 84 71 71