[ref_impl_eiffel] question about PartyIdentity in ref_eiffel_impl

Reference Implementation: Eiffel (archive)
1

Hi all,

I found in party_identity.e the attribute "details". which is of type:
ITEM_STRUCTURE
Reading the documentation, it should be of type List, which is not a
special RM-type.
What it is, I could not find, but I guess it is a List like the generic
container in msot programming languages is.

Is there any reason why this is an ITEM_STRUCTURE in the Eiffel-code?

thanks
Bert

2

Bert Verhees schreef:

Hi all,

I found in party_identity.e the attribute "details". which is of type:
ITEM_STRUCTURE
Reading the documentation, it should be of type List, which is not a
special RM-type.
What it is, I could not find, but I guess it is a List like the generic
container in msot programming languages is.
  

Must have had an old version of the specs, because now it is indeed in
de specs : "Itemstructure" like it is in the eiffelcode, and also in the
latest version of the javacode.

excuse me for this
Bert