Need for expertise

[Pascal Huau]

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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.steptools.com/pipermail/wg11/attachments/20021119/e2efaf5e/attachment.html