block attribute (xsiType-block-4 in Sun test suite)

Dear all,

in the Sun test suite there is a schema (xsiType-block-4.xsd) and
accompaniying instance files that test conflicting behaviour of the block attribute:

The instance files xsiType-block-4.n1.xml and xsiType-block-4.n3.xml test
that the block attribute from an intermediate type blocks a type substitution.
There are three types involved in the test case:

Type B: no block attribute specified
Type Dr: Derived by restriction from B. Block attribute is "restriction"
Type Drr: Derived by restriction from Dr.

In the instance document an element of type B is overloaded by xsi:Drr.
Should this cause an error? The two mentioned test files are meant to test such a
behaviour. Interestingly another instance document (xsiType-block-4.v1.xml)
assumes that overloading the type B by Drr is allowed. Which behaviour is the
correct one?

Thanks for your attention,
--Stefan

Received on Monday, 5 August 2002 05:25:37 UTC