Description Ed Willink 2010-08-05 13:04:37 EDT

The following comes from Fabian Brosig's mdt-ocl newsgroup message: [OCLinEcore] Resolving attributes in OCL Constraints.

-----WORKING EXAMPLE----------------------------------------------------------------------
-- This is the working example.
------------------------------------------------------------------------------------------
import ecore : 'http://www.eclipse.org/emf/2002/Ecore#/';

package tutorial : tut = 'http://www.eclipse.org/mdt/ocl/oclinecore/tutorial'
{
 class NamedElement
 {
   attribute name : String;
 }
 class Parameter extends NamedElement
 {
     property _'signature'#parameters : Signature[1];
 }
 class Signature  {
     invariant parameterMustHaveUniqueNames: self.parameters->isUnique(p:Parameter | p.name);     property parameters#_'signature' : Parameter[0..*] { composes };
 }
}

-----NOT WORKING----------------------------------------------------------------------
-- This does not work. The reference p.name in the OCL constraint cannot be resolved. -- For 'name', the OCLinEcore Editor shows the following error: -- "Couldn't resolve reference to NamedElementCS 'name'".
------------------------------------------------------------------------------------------
import ecore : 'http://www.eclipse.org/emf/2002/Ecore#/';

package tutorial : tut = 'http://www.eclipse.org/mdt/ocl/oclinecore/tutorial'
{
 package core : cre = 'http://www.eclipse.org/mdt/ocl/oclinecore/tutorial/core' {
    class NamedElement
    {
      attribute name : String;
    }   
 }
 class Parameter extends core::NamedElement
 {
   property _'signature'#parameters : Signature[1];
 }
 class Signature  {
   invariant parameterMustHaveUniqueNames: self.parameters->isUnique(p:Parameter | p.name);    property parameters#_'signature' : Parameter[0..*] { composes };
 }
}