cardinality question

Implementers (archive)
1

Please allow me a tiny question, I cannot find it in the docs.

PARTY_IDENTITY[at0001] matches { -- person name
29 name matches {
30 DV_TEXT matches {
31 value matches {"legal identity"}
32 }
33 }
34 details matches {
35 ITEM_LIST[at0002] matches {

What is the cardinality of details (so, what is the default cardinality)

I guess a very short answer is sufficient

Thanks
Bert

2

I think I found it, in Cardinality.java is following statement
public static final Cardinality LIST = new Cardinality(true, false, null);

This mean that the third parameter of the constructor, when null, is a
List, so Interval null means 0..*

In ADL.jj is following statement (in Cardinality cardinality_spec() )

boolean ordered = true;
  boolean unique = false;

So, I guess these are defaults to.

Thanks
Bert

Bert Verhees schreef:

3

Bert Verhees wrote:

Please allow me a tiny question, I cannot find it in the docs.

PARTY_IDENTITY[at0001] matches { -- person name
29 name matches {
30 DV_TEXT matches {
31 value matches {"legal identity"}
32 }
33 }
34 details matches {
35 ITEM_LIST[at0002] matches {

What is the cardinality of details (so, what is the default cardinality)
  

actually, "details" has no cardinality, since it is a single valued
attribute (type ITEM_LIST); so it can only have existence. But ITEM_LIST
is a container, so its "items" attribute must have cardinality, which
will default to {0..*}

- thomas

4

Thomas Beale schreef:

Bert Verhees wrote:
  

Please allow me a tiny question, I cannot find it in the docs.

PARTY_IDENTITY[at0001] matches { -- person name
29 name matches {
30 DV_TEXT matches {
31 value matches {"legal identity"}
32 }
33 }
34 details matches {
35 ITEM_LIST[at0002] matches {

What is the cardinality of details (so, what is the default cardinality)
  

actually, "details" has no cardinality, since it is a single valued
attribute (type ITEM_LIST); so it can only have existence. But ITEM_LIST
is a container, so its "items" attribute must have cardinality, which
will default to {0..*}
  

Thanks
Bert