Property Test Cases about ids

[andyward]

HI Michal

My current understanding is that:

1. The maxOccurs =1 is incorrect on all the test cases. @CBenghi is getting this fixed as part of #192 I believe

These more complex cardinalities (such as "There should be 2 occurrences") are excluded from current v1 IDS. It's just Required, Prohibited and Optional. In fact there's a late change to make this much more explicit on Requirements (See #203)

I believe This table represents the mapping of valid min-maxOccurs and their mapping, which you could use in the interim.

2. The intent is you check the instance/occurrence meets the requirement first. If it doesn't, then you fall back to check the requirement is met by any type that defines the instance. i.e. check the WallType from the Wall

In this case the check for Foo_Bar.Foo = "Bar" is satisfied by the Wall instance and the value on the WallType never needs to be checked. The prior test Properties can be inherited from the type 2/2 checks the alternate case when the type satisfies the requirement for the instance.

The 'All matching property [sets]...' tests are testing a the pattern constraint on properties, and in particular what happens when multiple properties meet some/all of the requirements (i.e. multiple property Sets matching 'Foo_.*' . That's a different feature being tested to overriding - when overriding a property from the type it's only a single property regardless of where it came from.

Hope that helps

[Minna26]

Thank you Andy, this helped a lot.