Need for expertise

[Per Løvmo]

Hi Pascal,

>- does the present definition of double_toleranced_measure_item conform to
Express Ref language (ed2 or ed1)?
Our (EPM), and Phil's it seems, interpretation is that you are right
(TC2-ed1 - 9.2.3.4). That means you have found a bug in the EDM compiler...
If I'm not totally mistaken here, I believe you are using EDM4.6BETAxxx,
right ?
This is our ed2 compiler. While introducing the 'RENAME' capability it seems
we unintentionally  have left out the 'TC2-ed1 - 9.2.3.4'. It will be
corrected ASAP.

As a side comment EDM4.5 support TC2-ed1 so that the below is handled
correctly in EDM :-)

SCHEMA Schema1;
   TYPE SELECT_1 = SELECT
     (ENTITY_1,
      ENTITY_2);
   END_TYPE;
 
   ENTITY ENTITY_1;
   END_ENTITY;

   ENTITY ENTITY_2
     SUBTYPE OF(ENTITY_1);
   END_ENTITY;
 
   ENTITY ENTITY_3;
       r : SELECT_1;
   END_ENTITY;
 
   ENTITY ENTITY_4
     SUBTYPE OF(ENTITY_3);
       SELF\ENTITY_3.r : ENTITY_2;
   END_ENTITY;
END_SCHEMA;

Best Regards
Per
--------
"Thousands of candles can be lighted from a single candle, and the life of
the candle will not be shortened. Happiness never decreases by being shared"

-----Original Message-----
From: Pascal Huau [mailto:pascalhuau at goset.asso.fr]
Sent: 19 November 2002 09:57
To: Phil Spiby; WG11; Jochen Haenisch
Cc: Thomas Hendrix; Nettles, Darla
Subject: Need for expertise


Dear experts,


in a module, we define:

ENTITY double_toleranced_measure_item
  SUBTYPE OF (compound_representation_item);
  SELF\compound_representation_item.item_element : LIST[2:2] OF
representation_item;
DERIVE
  tolerance_range : value_range :=
SELF\compound_representation_item.item_element[2];
  toleranced_measure_value : measure_representation_item :=
SELF\compound_representation_item.item_element[1];
END_ENTITY;




The definition in P43 of compound_representation_item is:

TYPE compound_item_definition = SELECT
   (list_representation_item, 
    set_representation_item);
END_TYPE;

TYPE list_representation_item = LIST[1:?] OF representation_item;
END_TYPE; 

TYPE set_representation_item = SET[1:?] OF representation_item;
END_TYPE; 

ENTITY compound_representation_item
  SUBTYPE OF (representation_item);
  item_element : compound_item_definition;
END_ENTITY;



Presently, EPM parser raises the following error for
double_toleranced_measure_item:
ERROR : Line 1037: Illegal attribute redeclaration.
Redeclaring attribute: DOUBLE_TOLERANCED_MEASURE_ITEM.ITEM_ELEMENT in line:
1037
Redeclared attribute: COMPOUND_REPRESENTATION_ITEM.ITEM_ELEMENT in line:
28770
Redeclaration from aggregate type to simple type is illegal

My questions are the following:
- does the present definition of double_toleranced_measure_item conform to
Express Ref language (ed2 or ed1)?
- if not, how should we specify the constraint on the cardinality of
double_toleranced_measure_item.item_element?

Thanks in advance for your help,

Pascal Huau
Association GOSET
107, 111 avenue Clemenceau
92000 Nanterre
France
(tel: +33 1 47252222)