Need for expertise

[Per Løvmo]

Hi Pascal,

After a closer look at your example; I have to agree with our compiler. The
reason is that you try to redefine a defined-type-aggregate to a
simple-aggregate. 

So the conclusion is that the EDM compiler is reporting correctly this error
:-)
However the error text is a bit confusing...

Sorry for the confusion...

Per
----------
"My life has a superb cast but I can't figure out the plot"

-----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)