Two elements are declared. The second one has type derived by restriction from type of the first element. Prohibiting substitutions of the first element's type is empty, so the second element is substitutable for the first one.
http://www.w3.org/TR/2001/REC-xmlschema-1-20010502/#cElement_Declarations
TEST disallowedsubst00503m1 - derived by restriction: prohibiting substitutions is empty (valid schema)
Item | Value |
---|---|
title | disallowedsubst00503m1 - derived by restriction: prohibiting substitutions is empty (valid schema) |
name | disallowedsubst00503m1 |
source | ../disallowedSubst00503m1.xsd |
schemaName | ../disallowedSubst00503m1.xsd |
executeClass | com.sun.jaxb_tck.sigtest.JAXBTest |
executeArgs | -TestURL $testURL -Plugin com.sun.jaxb_tck.sigtest.JaxbPlugin -FileName disallowedsubst00503m1.sig -PackageWithoutSubpackages $package |
keywords | schema positive |
package | javasoft.sqe.tests.elemdecl.disallowedsubst.disallowedsubst00503m.disallowedsubst00503m1 |
signature | disallowedsubst00503m1.sig |
TEST Positive - derived by restriction: prohibiting substitutions is empty (valid schema)
Item | Value |
---|---|
title | Positive - derived by restriction: prohibiting substitutions is empty (valid schema) |
name | Positive |
source | ../disallowedSubst00503m1.xsd |
schemaName | ../disallowedSubst00503m1.xsd |
executeClass | javasoft.sqe.tests.api.jakarta.xml.bind.JAXBTest |
executeArgs | -TestURL $testURL -package $package -out :ref -document ../disallowedSubst00503m1_p.xml -pcontent disallowedsubst00503m1-disallowedSubst00503m1_p.jbx |
keywords | positive document |
package | javasoft.sqe.tests.elemdecl.disallowedsubst.disallowedsubst00503m.disallowedsubst00503m1 |
document | ../disallowedSubst00503m1_p.xml |
jb-context | disallowedsubst00503m1-disallowedSubst00503m1_p.jbx |