Yellow-highlighted CVS links simply indicate that it is POSSIBLE not all changes have been committed to CVS as of the time when this HTML was generated. That is, the local copy of the file has been updated at a later time than the CVS/Entries content indicates CVS was last updated.
| Primary Feature Tested | Expected Result (primary feature supported) | Eclipse COSMOS Result | Microsoft Result | Expected Result (primary feature not supported) | Test Case Name
Test Case File Name |
Test Case Description |
|---|---|---|---|---|---|---|
| acyclic | Invalid | Invalid | Invalid | Invalid | InvalidCyclesWithAcyclicReferences (row 2)
acyclic\InValidCycle.xml Revision 1.2 CVS Log |
A model is invalid if an instance of an acyclic type CT references itself. |
| acyclic | Invalid | Invalid | Invalid | Invalid | InvalidCyclesWithAcyclicReferences (row 3)
acyclic\InValidCycleAbstract.xml Revision 1.2 CVS Log |
A model is invalid if instances of an element type CT derived from the abstract acyclic element type CT' form a cycle. |
| acyclic | Invalid | Invalid | Invalid | Invalid | InvalidCyclesWithAcyclicReferences (row 4)
acyclic\InValidCycleAnonymous.xml Revision 1.2 CVS Log |
A model is invalid if instances of the acyclic anonymous type CT form a cycle |
| acyclic | Invalid | Invalid | Invalid | Invalid | InvalidCyclesWithAcyclicReferences (row 5)
acyclic\InValidCycleByExtension.xml Revision 1.3 CVS Log |
A model is invalid if instances of an acyclic element type CT (or derived types by restriction) create a cycle |
| acyclic | Invalid | Invalid | Invalid | Invalid | InvalidCyclesWithAcyclicReferences (row 6)
acyclic\InValidCycleByRestriction.xml Revision 1.3 CVS Log |
A model is invalid if instances of an acyclic element type CT (or derived types by restriction) create a cycle |
| acyclic | Invalid | Invalid | Invalid | Invalid | InvalidDerivationWithAcyclicAttribute (row 7)
acyclic\InValidDerivation.xml Revision 1.14 CVS Log |
A model is invalid if it has a reference type R1 with sml:acyclic=?true? and another reference type R2 derived from R1 such that sml:acyclic=?false? |
| acyclic | Valid | Valid | Valid | Valid | ValidateAcyclicDefinition (row 8)
acyclic\ValidateDefinition.xml Revision 1.10 CVS Log |
This test returns a warning if the sml:acyclic attribute is defined on an element declaration |
| acyclic | Valid | Valid | Valid | Valid | ValidCyclesWithAcyclicReference2 (row 9)
acyclic\ValidCycle.xml Revision 1.2 CVS Log |
Let R1 be a reference type with sml:acyclic=?false?. Then a model is valid if it has inter-document cycles using instances of R1 |
| acyclic | Valid | Valid | Valid | Valid | InvalidCyclesWithAcyclicReferences (row 10)
acyclic\ValidCycleNoReference.xml Revision 1.3 CVS Log |
A model is valid if an element instance with sml:acyclic="true" forms a cycle but is not declared to be an SML reference (despite having a valid sml:uri scheme) |
| acyclic | Valid | Valid | Valid | Valid | InvalidCyclesWithAcyclicReferences (row 11)
acyclic\ValidCycleNullReference.xml Revision 1.3 CVS Log |
A model is valid if an element instance with sml:acyclic="true" forms a cycle but is declared as a null SML reference (despite having a valid sml:uri scheme) |
| acyclic | Valid | Valid | Valid | Valid | ValidCycles3 (row 12)
acyclic\ValidCycleVariation.xml Revision 1.3 CVS Log |
This test verifies that it is valid to create cycles within documents, as long as instances of acyclic references do not create cycles. |
| acyclic | Valid | Valid | Valid | Valid | ValidDerivationWithAcyclicAttribute (row 13)
acyclic\ValidDerivation.xml Revision 1.13 CVS Log |
A model is valid if it has a reference type R1 with sml:acyclic=?false? and another reference type R2 derived from R1 such that sml:acyclic=?true? |
| acyclic | Valid | Valid | Valid | Valid | ValidCyclesWithAcyclicReference1 (row 14)
acyclic\ValidMultipleAcyclics.xml Revision 1.2 CVS Log |
Let R1 and R2 be two reference types with sml:acyclic=?true?. Then a model is valid if it has inter-document cycles using instances of both R1 and R2 |
| acyclic | Valid | Valid | Valid | Valid | ValidUnresolvedReference (row 15)
acyclic\ValidUnresolvedReference.xml Revision 1.3 CVS Log |
A model is valid if an element instance with sml:acyclic="true" references an unresolved document. |
| Base64 | Invalid | Invalid | Invalid | Invalid | Base64DTDEntity (row 16)
base64\Base64DTDEntity.xml Revision 1.2 CVS Log |
This test verifies that the code returns success when a document that is a child of the base64Data element is encoded in Base64 format. The encoded document is an XML document with DTD definition. The DTD has entity definitions that are used in the XML. |
| Base64 | Invalid | Invalid | Invalid | Invalid | Base64DTDInvalidXML (row 17)
base64\Base64DTDInvalidXML.xml Revision 1.2 CVS Log |
The encoded document is an XML document with DTD definition. The XML sturcture is invalid according to the DTD, but since DTD validation is not done by the SML/SML-IF validator, the SML validator should report success. |
| Base64 | Invalid | Invalid | Invalid | Invalid | Base64DTDMissingEntities (row 18)
base64\Base64DTDMissingEntities.xml Revision 1.2 CVS Log |
The encoded document is an XML document with DTD definition. The XML uses entities that are not defined in the DTD. The validation should fail because DTD is processed with fatal failure. |
| Base64 | Valid | Valid | Valid | Valid | Base64EncodedDoc (row 19)
base64\Base64EncodedDoc.xml Revision 1.6 CVS Log |
An instance document is base64 encoded. |
| Base64 | Valid | Valid | Valid | Valid | Base64EncodedDocs (row 20)
base64\Base64EncodedDocs.xml Revision 1.4 CVS Log |
Let R1 and R2 be two reference types with sml:acyclic=?true?. Then a model is valid if it has inter-document cycles that using instances of both R1 and R2 |
| Base64 | Valid | Valid | Valid | Valid | Base64EncodedSchema (row 21)
base64\Base64EncodedSchema.xml Revision 1.5 CVS Log |
Taken from ValidCycles1.xml. Encoded data in definition section in base64 encoding. Let R1 and R2 be two reference types with sml:acyclic=?true?. Then a model is valid if it has inter-document cycles that using instances of both R1 and R2 |
| Base64 | Valid | Valid | Valid | Valid | Base64EncodedSchemaAndDoc (row 22)
base64\Base64EncodedSchemaAndDoc.xml Revision 1.5 CVS Log |
Taken from ValidCycles1.xml. Encoded data in both definition and instance sections. Let R1 and R2 be two reference types with sml:acyclic=?true?. Then a model is valid if it has inter-document cycles that using instances of both R1 and R2 |
| Base64 | Valid | Valid | Valid | Valid | Base64EncodedSchemaAndDocs (row 23)
base64\Base64EncodedSchemaAndDocs.xml Revision 1.4 CVS Log |
Taken from acylic test suite. (ValidCycles1.xml) Encoded data in both definition and instance sections. Let R1 and R2 be two reference types with sml:acyclic=?true?. Then a model is valid if it has inter-document cycles that using instances of both R1 and R2 |
| Base64 | Invalid | Invalid | Invalid | Invalid | Base64InvalidEncoding (row 24)
base64\Base64InvalidEncoding.xml Revision 1.5 CVS Log |
Taken from acylic test suite. (ValidCycles1.xml) Schema is encoded. Encoded data in both definition and instance sections. Let R1 and R2 be two reference types with sml:acyclic=?true?. Then a model is valid if it has inter-document cycles that using instances of both R1 and R2 |
| Base64 | Invalid | Invalid | Invalid | Invalid | Base64InvalidSML (row 25)
base64\Base64InvalidSML.xml Revision 1.5 CVS Log |
All instance documents in this SML-IF are base64-encoded. The instance documents have a cycle for an acyclic type. The SML-IF should be validated to false. |
| smlref | Invalid | Invalid | Invalid | Invalid | SingleRef (row 26)
deref\InValidUnrecognizedScheme.xml Revision 1.3 CVS Log |
Verify a schematron test using a deref function to resolve an unrecognized reference scheme will fail |
| smlref | Invalid | Invalid | Invalid | Invalid | InvalidSchemeDerefUsed (row 27)
deref\InValidUsageWithScheme.xml Revision 1.2 CVS Log |
A model is invalid if an smlxpath1 scheme contains a deref() in the evaluator. |
| smlref | Valid | Valid | Valid | Valid | MultipleDeref (row 28)
deref\Multiple.xml Revision 1.12 CVS Log |
Verify that deref() can accept a node set of reference elements, i.e., elements for which sml:ref=?true?, and return a node set that is union of the element nodes targeted by references in the node set such that the reference targets exactly one element in the model. The returned node set must not contain any nodes for references that do not target an element in the model. |
| smlref | Valid | Valid | Valid | Valid | SingleRef (row 30)
deref\Single.xml Revision 1.11 CVS Log |
Verify that deref() can resolve a single reference. The deref() function must return a single node (i.e. a node set with a single node) that corresponds to the element node of the reference’s target when the reference targets a single element in the model. |
| idConstraint | Invalid | Invalid | Invalid | Invalid | InvalidConstraintSubstitution (row 32)
identity\InValidConstraintGroup.xml Revision 1.2 CVS Log |
If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 MUST have the same set of {SML identity-constraints definitions}. |
| idConstraint | Invalid | Invalid | Invalid | Invalid | InvalidConstraintRefAttributes (row 33)
identity\InValidConstraintRefAttributes.xml Revision 1.2 CVS Log |
A model is invalid if an identity constraint includes both the 'ref' and 'name' attribute |
| idConstraint | Invalid | Invalid | Invalid | Invalid | InvalidConstraintRefElements (row 34)
identity\InValidConstraintRefElements.xml Revision 1.2 CVS Log |
A model is invalid if the sml:field or sml:selector child elements are specified for a referenced identity constraint. |
| idConstraint | Invalid | Invalid | Invalid | Invalid | InvalidConstraintRefKey (row 35)
identity\InValidConstraintRefKey.xml Revision 1.2 CVS Log |
A model is invalid if a referenced identity constraint type does not match to what it's resolved to. |
| idConstraint | Invalid | Invalid | Invalid | Invalid | InvalidConstraintRefNoKey (row 36)
identity\InValidConstraintRefNoKey.xml Revision 1.2 CVS Log |
A model is invalid if a referenced identity constraint cannot be resolved |
| idConstraint | Invalid | Invalid | Invalid | Invalid | InvalidConstraintSubstitution (row 37)
identity\InValidConstraintSubstitution.xml Revision 1.2 CVS Log |
Verifies that substitution group elements validate id constraints defined on their group affiliation. If an element declaration S has a {substitution group affiliation} G, then its {SML identity-constraints definitions} also contains members of {SML identity-constraints definitions} of G. |
| idConstraint | Invalid | Invalid | Invalid | Invalid | InvalidDuplicateConstraintSubst (row 38)
identity\InValidDuplicateConstraintNameSubst.xml Revision 1.2 CVS Log |
A model is invalid if two constraint names indirectly declared through substitution group have the same name |
| idConstraint | Invalid | Invalid | Invalid | Invalid | InvalidDuplicateConstraintName1 (row 39)
identity\InValidDuplicateKeyConstraintName.xml Revision 1.2 CVS Log |
A model is invalid if two constraint names under the same element have the same name |
| idConstraint | Invalid | Invalid | Invalid | Invalid | InValidKeyDuplicate (row 40)
identity\InValidKeyDuplicate.xml Revision 1.12 CVS Log |
Verify that a model with a key constraint is invalid if the field values are not unique. |
| idConstraint | Invalid | Invalid | Invalid | Invalid | InValidKeyMissing (row 41)
identity\InValidKeyMissing.xml Revision 1.12 CVS Log |
Verify that a model with a key constraint is invalid if some field values are missing. |
| idConstraint | Invalid | Invalid | Invalid | Invalid | InvalidConstraintSubstitution (row 42)
identity\InValidUnionConstraintWithSubstitution.xml Revision 1.3 CVS Log |
If an element declaration S has a {substitution group affiliation} G, then its {SML identity-constraints definitions} also contains members of {SML identity-constraints definitions} of G. |
| idConstraint | Invalid | Invalid | Invalid | Invalid | InValidUnique (row 43)
identity\InValidUnique.xml Revision 1.12 CVS Log |
Verify that a model with a unique constraint is invalid if the field values are not unique. |
| idConstraint | Invalid | Invalid | Invalid | Invalid | ValidConstraintRefKeyref (row 44)
identity\ValidConstraintRefKeyref.xml Revision 1.2 CVS Log |
A model is valid if a referenced identity constraint is used using the 'ref' attribute |
| idConstraint | Valid | Valid | Valid | Valid | ValidKeyref (row 45)
identity\ValidKeyref.xml Revision 1.13 CVS Log |
Verify keyref constraint. |
| idConstraint | Valid | Valid | Valid | Valid | ValidKeyUnique (row 46)
identity\ValidKeyUnique.xml Revision 1.12 CVS Log |
Verify that a model with a key and unique constraint is valid if the field values are unique, though some field values for the unique constraint may be missing. |
| idConstraint | Valid | Valid | Valid | Valid | ValidKeyUniqueInScopeOnly (row 47)
identity\ValidKeyUniqueInScopeOnly.xml Revision 1.12 CVS Log |
Verify that a model with a key and unique constraint is valid if the constraints are satisfied in scope even though the constraints may not be satisfied globally in the model. |
| idConstraint | Valid | Valid | Valid | Valid | InValidKeyDuplicate (row 48)
identity\ValidSmlXSKey.xml Revision 1.3 CVS Log |
It is not an error if SML identity constraint and XML identity constraint share the same name. |
| locator | Valid | Valid | Valid | Valid | InValidInCompleteModel (row 49)
others\InValid.xml Revision 1.3 CVS Log |
This test verifies that an unresolved locator/documentURI is flagged with a warning. |
| aliases | Invalid | Invalid | Invalid | Invalid | InValidAliasValue (row 50)
others\InValidAliasValue.xml Revision 1.7 CVS Log |
This test verifies that the code returns an error when an alias contains an invalid value. |
| aliases | Invalid | Invalid | Invalid | Invalid | InValidAliasHasFragmentComp (row 51)
others\InValidAliasWithFragment.xml Revision 1.8 CVS Log |
This test verifies that the code returns an error when an alias contains a fragment component. |
| aliases | Invalid | Invalid | Invalid | Invalid | InValidDuplicateAliases (row 52)
others\InValidDuplicateAliases.xml Revision 1.8 CVS Log |
This test verifies that the code returns an error when two aliases resolve to the same URI |
| validation | Invalid | Invalid | Invalid | Invalid | InvalidMultipleDocument (row 53)
others\InValidMultipleDocument.xml Revision 1.7 CVS Log |
This test verifies that the code returns an error if the data element contains more than one document. |
| locator | Valid | Valid | Valid | Valid | TestDocumentLocator (row 54)
others\remote-document.xml Revision 1.11 CVS Log |
Tests the correct implementation of the locator element |
| rules | Invalid | Invalid | Invalid | Invalid | TestRulesWithMultiplePatterns (row 55)
others\rulesWithMultiplePattern.xml Revision 1.9 CVS Log |
Tests that rules that have multiple patterns are handled correctly |
| rules | Invalid | Invalid | Invalid | Invalid | TestMultipleRulesUnderOnePattern (row 56)
others\rulesWithMultipleRulesUnderOnePattern.xml Revision 1.9 CVS Log |
Tests that patterns with multiple rules are handled correctly |
| validation | Invalid | Invalid | Invalid | Invalid | TestSchemaValidationFailure (row 57)
others\schemaValidationFailure.xml Revision 1.14 CVS Log |
Tests that validation against the schema fails. |
| Embedded | Valid | Valid | Valid | Valid | ValidEmptyDocument (row 58)
others\ValidEmptyDocument.xml Revision 1.6 CVS Log |
This test verifies that it is valid to have an empty document. |
| smlref | Valid | Valid | Valid | Valid | UnresolvedRef (row 59)
references\DanglingRef.xml Revision 1.12 CVS Log |
A valid model can contain unresolved references |
| smlref | Valid | Valid | Valid | Valid | IntraDocumentRef (row 60)
references\IntraDocumentRef.xml Revision 1.13 CVS Log |
It is valid for a reference to target an element in the same document. |
| smlref | Valid | Valid | Valid | Valid | InvalidBareNameUnresolved (row 61)
references\InvalidBareNameDangling.xml Revision 1.2 CVS Log |
This SML-IF contains an SML reference that is a unresolved reference. Bare name is used in this reference. |
| smlifBaseUri | Invalid | Invalid | Invalid | Invalid | InValidBaseURI (row 63)
references\InValidBaseURI.xml Revision 1.8 CVS Log |
A model is invalid if base URI is not valid |
| smlifBaseUri | Invalid | Invalid | Invalid | Invalid | InValidBaseURIRelative (row 64)
references\InValidBaseURIRelative.xml Revision 1.2 CVS Log |
A model is invalid if the base URI is not absolute |
| smlifBaseUri | Invalid | Invalid | Invalid | Invalid | InValidBaseURIHasFragmentComp (row 65)
references\InValidBaseURIWithFragment.xml Revision 1.3 CVS Log |
A model is invalid if the base URI contains a fragment |
| smlifBaseUri | Invalid | Invalid | Invalid | Invalid | InValidMissingBaseURIAttr1 (row 68)
references\InValidMissingBaseURI.xml Revision 1.2 CVS Log |
A model is invalid if a reference is relative and the base URI is missing |
| smlref | Invalid | Invalid | Invalid | Invalid | InvalidRefResolvesToMultipleElements (row 69)
references\InValidMultipleElements.xml Revision 1.2 CVS Log |
A model is invalid if a reference scheme resolves to multiple elements |
| smlref | Invalid | Invalid | Invalid | Invalid | InvalidRefResolvesToMultipleElements (row 70)
references\InValidMultipleElementsVariation.xml Revision 1.2 CVS Log |
A model is invalid if a reference element is identified with sml:ref="1" and its scheme resolves to multiple elements |
| smlref | Invalid | Invalid | Invalid | Invalid | SingleRef (row 71)
references\InValidNullifiedDeref.xml Revision 1.4 CVS Log |
The deref() function of a nullified reference should not return a target even if the ref has a valid sml:uri child element. |
| smlref | Invalid | Invalid | Invalid | Invalid | InvalidSchemeResultContainsNonElements (row 72)
references\InValidSchemeResult.xml Revision 1.2 CVS Log |
A model is invalid if a reference using smlxpath1 scheme resolves to anything other than an element set. |
| smlref | Invalid | Invalid | Invalid | Invalid | InvalidSchemeSyntaxError (row 73)
references\InValidSchemeSyntax.xml Revision 1.2 CVS Log |
A model is invalid if the content of the smlxpath1 scheme is syntactically incorrect. |
| validation | Invalid | Invalid | Invalid | Invalid | InvalidSmlRefValue (row 74)
references\InValidSMLRefValue.xml Revision 1.3 CVS Log |
A model is invalid if the value of sml:ref is not valid |
| smlref | Invalid | Invalid | Invalid | Invalid | InvalidSchemeNamespaceUnknown (row 75)
references\InValidUnknownNamespace.xml Revision 1.2 CVS Log |
A model is invalid if a reference using the smlxpath1 scheme uses a prefix without a bound namespace. |
| xmlBase | Invalid | Invalid | Invalid | Invalid | InValidXMLBase (row 76)
references\InValidXmlBase.xml Revision 1.1 CVS Log |
A model is invalid if xml:base is not valid |
| xmlBase | Valid | Valid | Valid | Valid | InValidXMLBaseRelative (row 77)
references\InValidXmlBaseRelative.xml Revision 1.1 CVS Log |
A model is invalid if the xml:base is not absolute |
| smlref | Valid | Valid | Valid | Valid | MultipleRefToAnElement (row 78)
references\MultipleRefToAnElement.xml Revision 1.13 CVS Log |
It is valid for an element in a document to be targeted by multiple different references from other documents |
| smlref | Invalid | Invalid | Invalid | Invalid | NullRefElement (row 79)
references\NullRefElement.xml Revision 1.12 CVS Log |
It is valid for a reference element to be null |
| smlref | Valid | Valid | Valid | Valid | RefToNonRootElement (row 80)
references\RefToNonRootElement.xml Revision 1.14 CVS Log |
It is valid for a reference in a document to target a non-root element in some other document. |
| smlref | Valid | Valid | Valid | Valid | RefToRootElement (row 81)
references\RefToRootElement.xml Revision 1.13 CVS Log |
It is valid for a reference in a document to target the root element in some other document. |
| smlref | Valid | Valid | Valid | Valid | ValidBareNameAbsURI (row 82)
references\ValidBareName.xml Revision 1.1 CVS Log |
This SML-IF demonstrates the use of bare names in sml:uri references. |
| smlref | Valid | Valid | Valid | Valid | ValidBareNameSameDocRef (row 84)
references\ValidBareNameSameDocRef.xml Revision 1.1 CVS Log |
This SML-IF contains an SML URI reference that only contains the fragment component. The fragment component is a bare name. This URI reference will be dereferenced to an element in the same document. |
| smlref | Valid | Valid | Valid | Valid | ValidRefTwoSchemesNilSpecified (row 85)
references\ValidDanglingReference.xml Revision 1.3 CVS Log |
A model is valid if it contains a nullified reference with two schemes, one resolving to an element and another unresolved. |
| smlref | Valid | Valid | Valid | Valid | ValidMissingBaseURIAttr2 (row 86)
references\ValidFragmentOnlyReference.xml Revision 1.4 CVS Log |
It is valid for a model to contain a reference with only a fragment. In which case, the reference points to a target element in the same document. |
| smlref | Valid | Valid | Valid | Valid | ValidRefNilrefSpecified1 (row 87)
references\ValidInconsistentNonReference.xml Revision 1.2 CVS Log |
A model is valid if it contains a none reference element (i.e. sml:ref is not specified) with multiple schemes resolving to two different elements |
| smlref | Valid | Valid | Valid | Valid | ValidRefNilrefSpecified1 (row 88)
references\ValidInconsistentReference.xml Revision 1.2 CVS Log |
A model is valid if it contains a nullified reference with multiple schemes resolving to two different elements |
| smlref | Valid | Valid | Valid | Valid | ValidMissingBaseURIAttr1 (row 89)
references\ValidMissingBaseURI.xml Revision 1.2 CVS Log |
A model is valid if there are not references and the base URI is missing |
| smlref | Valid | Valid | Valid | Valid | ValidNilRefDefinition (row 91)
references\ValidNilRef.xml Revision 1.2 CVS Log |
A model is valid if sml:nilref is used in conjunction with sml:ref="true" |
| smlref | Valid | Valid | Valid | Valid | ValidNilRefPSVI (row 92)
references\ValidNilRefPSVI.xml Revision 1.4 CVS Log |
A model is valid if sml:nilref is used in conjunction with sml:ref="true", even if the sml:nilref value is defaulted from the schema |
| smlref | Valid | Valid | Valid | Valid | ValidSchemeNamespaceInherited (row 93)
references\ValidReferenceScheme.xml Revision 1.3 CVS Log |
A model is valid when a reference using the smlxpath1 scheme uses a prefix declared in a containing element |
| smlref | Valid | Valid | Valid | Valid | SingleRef (row 94)
references\ValidSMLRefPSVI.xml Revision 1.3 CVS Log |
The deref() function of a nullified reference should not return a target even if the ref has a valid sml:uri child element. |
| smlref | Valid | Valid | Valid | Valid | ValidRefOneSchemeResolvesOtherUnknown (row 95)
references\ValidUnknownRefScheme.xml Revision 1.3 CVS Log |
A model is valid if a reference contains two schemes, one resolving to an element and the other being unknown. |
| xmlBase | Valid | Valid | Valid | Valid | ValidXmlBase (row 96)
references\ValidXmlBase.xml Revision 1.1 CVS Log |
A valid xml:base should not result in an error. |
| xmlBase | Valid | Valid | Valid | Valid | ValidXmlBaseOnDocumentElement (row 97)
references\ValidXmlBaseOnDocumentElement.xml Revision 1.1 CVS Log |
A valid xml:base specified on a 'document' element should not result in an error. |
| xmlBase | Valid | Valid | Valid | Valid | ValidXmlBaseOnInstance (row 98)
references\ValidXmlBaseOnInstance.xml Revision 1.2 CVS Log |
A valid xml:base on an instance document should not result in an error. |
| xmlBase | Valid | Valid | Valid | Valid | ValidXmlBaseWinsOverBaseURI (row 99)
references\ValidXmlBaseWinsOverBaseURI.xml Revision 1.1 CVS Log |
When both a baseURI and xml:base are specified, xml:base should be used. |
| rules | Invalid | Invalid | Invalid | Invalid | InValidSchematronRule (row 100)
Rules\InValid.xml Revision 1.14 CVS Log |
A model with a Schematron rule defined for an element is invalid if at least one instances of the element does not satisfy the rule. |
| locid | Invalid | Invalid | Invalid | Invalid | InValidSchematronRuleEnglish (row 101)
Rules\InvalidLocidEnglish.xml Revision 1.5 CVS Log |
A model with a Schematron rule defined for an element is invalid if at least one instances of the element does not satisfy the rule. Error message will be taken from the English resource bundle. |
| locid | Invalid | Invalid | Invalid | Invalid | InValidSchematronRuleGerman (row 102)
Rules\InvalidLocidGerman.xml Revision 1.5 CVS Log |
A model with a Schematron rule defined for an element is invalid if at least one instances of the element does not satisfy the rule. Error message will be taken from the German resource bundle. |
| locid | Invalid | Invalid | Invalid | Invalid | InValidSchematronRuleMissingBundle (row 103)
Rules\InvalidLocidMissingBundle.xml Revision 1.5 CVS Log |
A model with a Schematron rule defined for an element is invalid if at least one instances of the element does not satisfy the rule. locid indicates the locale of the error message to be French, but since French resource bundle doesn't exist, we expect the error message to be taken from the English resource bundle (the default locale). |
| locid | Invalid | Invalid | Invalid | Invalid | InValidSchematronRuleMissingBundlePackage (row 104)
Rules\InvalidLocidMissingBundlePackage.xml Revision 1.5 CVS Log |
A model with a Schematron rule defined for an element is invalid if at least one instances of the element does not satisfy the rule. locid indicates the locale of the error message to be French, but since French resource bundle doesn't exist, we expect the error message to be taken from the English resource bundle (the default locale). |
| locid | Invalid | Invalid | Invalid | Invalid | InValidSchematronRuleMissingKey (row 105)
Rules\InvalidLocidMissingKey.xml Revision 1.5 CVS Log |
A model with a Schematron rule defined for an element is invalid if at least one instances of the element does not satisfy the rule. locid is specified in a schematron to get a message from the English resource bundle. However, since the key "abc" does not exist in the resource bundle, the text in the schematron is used. |
| ruleBindings | Invalid | Invalid | Invalid | Invalid | InValidRuleBinding-MultipleRulesSameDocument-BothFail (row 106)
Rules\InValidRuleBinding-MultipleRulesSameDocument-BothFail.xml Revision 1.13 CVS Log |
Two rules are bound to the same document - both fail. |
| ruleBindings | Invalid | Invalid | Invalid | Invalid | InValidRuleBinding-MultipleRulesSameDocument (row 107)
Rules\InValidRuleBinding-MultipleRulesSameDocument.xml Revision 1.12 CVS Log |
Two rules are bound to the same document. One passes, one fails. |
| ruleBindings | Invalid | Invalid | Invalid | Invalid | InValidRuleBinding (row 108)
Rules\InValidRuleBinding.xml Revision 1.12 CVS Log |
A model with a Schematron rule that is bound to some instance documents is invalid if the rule is not satisfied by some bound documents. |
| ruleBindings | Invalid | Invalid | Invalid | Invalid | InValidRuleBindingWithBaseURI (row 109)
Rules\InValidRuleBindingWithBaseURI.xml Revision 1.2 CVS Log |
A model with a Schematron rule that is bound to some instance documents is invalid if the rule is not satisfied by some bound documents. This example binds an instance document with a rule binding using the base URI. |
| ruleBindings | Invalid | Invalid | Invalid | Invalid | InValidRuleBindingWithPrefix (row 110)
Rules\InValidRuleBindingWithPrefix.xml Revision 1.1 CVS Log |
A model with a Schematron rule that is bound to some instance documents is invalid if the rule is not satisfied by some bound documents. This example binds an instance document based on the prefix of document aliases |
| rules | Invalid | Invalid | Invalid | Invalid | InValidRuleType (row 111)
Rules\InValidRuleType.xml Revision 1.9 CVS Log |
A model with a Schematron rule defined for a type CT is invalid if at least one instance element of CT type doesn't satisfy the rule. |
| rules | Invalid | Invalid | Invalid | Invalid | InValidRuleTypeExtension (row 112)
Rules\InValidRuleTypeExtension.xml Revision 1.9 CVS Log |
A model with a Schematron rule defined for a type CT is invalid if at least one instance element of CT type or a type derived from CT ( derivation by extension ) doesn't satisfy the rule. |
| rules | Invalid | Invalid | Invalid | Invalid | InValidRuleTypeRestriction (row 113)
Rules\InValidRuleTypeRestriction.xml Revision 1.9 CVS Log |
A model with a Schematron rule defined for a type CT is invalid if at least one instance element of CT type or a type derived from CT ( derivation by restriction ) doesn't satisfy the rule. |
| rules | Invalid | Invalid | Invalid | Invalid | ValidSchematronRule (row 114)
Rules\Valid.xml Revision 1.14 CVS Log |
A model with a Schematron rule defined for an element is valid if all instances of the element satisfy the rule. |
| validation | Valid | Valid | Valid | Valid | ValidXMLSchema (row 115)
Rules\ValidNoSML.xml Revision 1.10 CVS Log |
Basic XML Schema file, no SML extensions used. |
| ruleBindings | Valid | Valid | Valid | Valid | ValidRuleBinding (row 116)
Rules\ValidRuleBinding.xml Revision 1.13 CVS Log |
A model with a Schematron rule that is bound to some instance documents is valid if the rule is satisfied by all bound documents. |
| targetElement | Invalid | Invalid | Invalid | Invalid | InvalidTargetElement (row 117)
targetElement\InValid.xml Revision 1.13 CVS Log |
If targetElement='GTE' for a global element declaration E, then a model is invalid if the target of some instance of E in the model is not an instance of GTE. |
| targetElement | Invalid | Invalid | Invalid | Invalid | InValidDerivationByRestriction (row 118)
targetElement\InValidDerivationByRestriction.xml Revision 1.9 CVS Log |
If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then{target element} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {targetElement} as the EnrolledCourse element contained by the StudentType. |
| targetElement | Invalid | Invalid | Invalid | Invalid | InValidSameNameElements (row 119)
targetElement\InValidSameNameElements.xml Revision 1.9 CVS Log |
If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 have the same {target required}, {target element}, and {target type}. In the example below, the two EnrolledCourse elements contained by the StudentType through the graduateGroup and basicGroup should have the same {targetElement}. |
| targetElement | Invalid | Invalid | Invalid | Invalid | ValidateTargetElementExists2 (row 120)
targetElement\InvalidValue.xml Revision 1.5 CVS Log |
This test verifies that the value of the sml:targetElement is a global element. Returns an error if the value does not match any element in the corresponding namespace. The test verifies that the error is displayed even when no model instances are defined for this IF document (ie the validation runs against the xsd file containing the sml:targetElement, regardless of the instances being defined in that model) |
| targetElement | Invalid | Invalid | Invalid | Invalid | InvalidTargetElementWithSubstitutionGroup (row 121)
targetElement\InValidWithSubstitutionGroup.xml Revision 1.13 CVS Log |
Let targetElement='GTE' be specified for a GED E. Let SubE be another GED in the substitution group whose head element is E for which the targetElement attribute is not specified. Then a model is invalid if an instance of SubE targets an element that is not an instance of GTE or an instance of some GED in the substitution group hierarchy whose head is GTE. |
| targetElement | Valid | Valid | Valid | Valid | ValidTargetElement (row 122)
targetElement\Valid.xml Revision 1.13 CVS Log |
If targetElement='GTE' for a global element declaration E, then a model is valid if the target of each instances of E in the model is an instance of GTE. |
| targetElement | Valid | Valid | Valid | Valid | ValidDerivationByRestriction (row 123)
targetElement\ValidDerivationByRestriction.xml Revision 1.6 CVS Log |
If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then{target element} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType has the same {targetElement} as the EnrolledCourse element contained by the StudentType. |
| targetElement | Valid | Valid | Valid | Valid | ValidSameNameElements (row 124)
targetElement\ValidSameNameElements.xml Revision 1.6 CVS Log |
If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 have the same {target required}, {target element}, and {target type}. In the example below, the two EnrolledCourse elements contained by the StudentType through the basicGroup and graduateGroup have the same {targetElement}. |
| targetElement | Valid | Valid | Valid | Valid | ValidTargetElementWithSubstitutionGroup (row 125)
targetElement\ValidWithSubstitutionGroup.xml Revision 1.13 CVS Log |
If targetElement='GTE' for a global element declaration E, then a model is valid if the target of each instances of E in the model is an instance of GTE, or an instance of some global element declaration in the substitution group hierarchy whose head is GTE |
| targetRequired | Invalid | Invalid | Invalid | Invalid | InvalidTargetRequired (row 126)
targetRequired\InValid.xml Revision 1.11 CVS Log |
If targetElement=GTE for a global element declaration E, and targetRequired=true, an instance of the SML reference cannot contain an unresolved reference which does not target any element in the model. |
| targetRequired | Invalid | Invalid | Invalid | Invalid | InvalidTargetRequiredMissingReference (row 127)
targetRequired\InvalidMissingReference.xml Revision 1.1 CVS Log |
If targetElement=GTE for a global element declaration E, and targetRequired=true, an instance of the SML reference must exist. |
| targetRequired | Invalid | Invalid | Invalid | Invalid | InvalidTargetRequiredNullReference (row 128)
targetRequired\InvalidNullReference.xml Revision 1.1 CVS Log |
If targetElement=GTE for a global element declaration E, and targetRequired=true, an instance of the SML reference cannot be null. |
| targetRequired | Invalid | Invalid | Invalid | Invalid | InValidSameNameElements (row 129)
targetRequired\InValidSameNameElements.xml Revision 1.9 CVS Log |
If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 have the same {target required}, {target element}, and {target type}. In the example below, the two EnrolledCourse elements contained by the StudentType through the graduateGroup and basicGroup should have the same {target required}. |
| targetRequired | Valid | Valid | Valid | Valid | ValidTargetRequired (row 130)
targetRequired\valid.xml Revision 1.11 CVS Log |
Tests for correct usage of targetRequired. |
| targetRequired | Valid | Valid | Valid | Valid | ValidTargetRequiredFalse (row 131)
targetRequired\ValidFalseRequire.xml Revision 1.11 CVS Log |
If targetElement=GTE for a global element declaration E, then a model is valid if the target of each instances of E in the model is an instance of GTE. targetRequired=false. |
| targetRequired | Valid | Valid | Valid | Valid | ValidTargetRequiredSameNameElements (row 132)
targetRequired\ValidSameNameElements.xml Revision 1.7 CVS Log |
If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 have the same {target required}, {target element}, and {target type}. In the example below, the two EnrolledCourse elements contained by the StudentType through the basicGroup and graduateGroup have the same {target required}. |
| targetRequired | Valid | Valid | Valid | Valid | ValidTargetRequiredWithTargetType (row 133)
targetRequired\ValidType.xml Revision 1.12 CVS Log |
If targetType="T" for a global element declaration E, then a model is valid if the type of the target of each instances of E in the model is T or a derived type of T. Includes targetRequired=true. |
| targetRequired | Valid | Valid | Valid | Valid | ValidTargetRequiredFalseWithTargetType (row 134)
targetRequired\ValidTypeFalse.xml Revision 1.11 CVS Log |
If targetType="T" for a global element declaration E, then a model is valid if the type of the target of each instances of E in the model is T or a derived type of T. Includes targetRequired=false. |
| targetType | Invalid | Invalid | Invalid | Invalid | InvalidTargetType (row 135)
targetType\InValid.xml Revision 1.13 CVS Log |
If targetType='T' for a global element declaration E, then a model is invalid if the target of some instance of E in the model is not an instance of T |
| targetType | Invalid | Invalid | Invalid | Invalid | InValidDerivationByRestriction (row 136)
targetType\InValidDerivationByRestriction.xml Revision 1.8 CVS Log |
If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target type} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {targetType} as the EnrolledCourse element contained by the StudentType. |
| targetType | Invalid | Invalid | Invalid | Invalid | InValidSameNameElements (row 137)
targetType\InValidSameNameElements.xml Revision 1.7 CVS Log |
If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 have the same {target required}, {target element}, and {target type}. In the example below, the two EnrolledCourse elements contained by the StudentType through the graduateGroup and basicGroup should have the same {target type}. |
| targetType | Invalid | Invalid | Invalid | Invalid | ValidateTargetTypeExists1 (row 138)
targetType\InValidValue.xml Revision 1.7 CVS Log |
This test verifies that the value of the sml:targetType resolves to a global type definition. Returns an error if the value does not match any type in the corresponding namespace. The test verifies that the error is displayed even when no model instances are defined for this IF document (ie the validation runs against the xsd file containing the sml:targetType, regardless of the instances being defined in that model) |
| targetType | Invalid | Invalid | Invalid | Invalid | InValidTargetTypeWithSubstitutionGroup (row 139)
targetType\InValidWithSubstitutionGroup.xml Revision 1.12 CVS Log |
Let targetType='T' be specified for a GED E. Let SubE be another GED in the substitution group whose head element is E for which the targetType attribute is not specified. Then a model is invalid if an instance of SubE targets an element that is not an instance of T or an instance of some derived type of T. |
| targetType | Valid | Valid | Valid | Valid | ValidTargetType (row 140)
targetType\Valid.xml Revision 1.12 CVS Log |
If targetType='T' for a global element declaration E, then a model is valid if the target of each instances of E in the model is an instance of T or a derived type of T |
| targetType | Valid | Valid | Valid | Valid | ValidDerivationByRestriction (row 141)
targetType\ValidDerivationByRestriction.xml Revision 1.7 CVS Log |
If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target type} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType has the same {targetType} as the EnrolledCourse element contained by the StudentType. |
| targetType | Valid | Valid | Valid | Valid | ValidSameNameElements (row 142)
targetType\ValidSameNameElements.xml Revision 1.7 CVS Log |
If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 have the same {target required}, {target element}, and {target type}. In the example below, the two EnrolledCourse elements contained by the StudentType through the graduateGroup and basicGroup have the same {target type}. |
| targetType | Valid | Valid | Valid | Valid | ValidTargetTypeWithSubstitutionGroup (row 143)
targetType\ValidWithSubstitutionGroup.xml Revision 1.11 CVS Log |
Let targetType='T' be specified for a GED E. Let SubE be another GED in the substitution group whose head element is E for which the targetType attribute is not specified. Then a model is valid if all instances of SubE target elements whose type is T. |
| smlref | Invalid | Invalid | Invalid | Invalid | InvalidWrongSMLNSURI.xml (row 144)
InvalidWrongSMLNSURI.xml No CVS revision information was found for this file |
SML prefix bound to wrong namespace URI |
| targetRequired | Invalid | Invalid | Invalid | Invalid | TargetRequiredInValidDerivationByRestriction.xml (row 145)
TargetRequiredInValidDerivationByRestriction.xml No CVS revision information was found for this file |
If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/InValidDerivationByRestriction.xml and changed to work with target required instead |
| targetRequired | Valid | Valid | Valid | Valid | TargetRequiredValidDerivationByRestriction.xml (row 146)
TargetRequiredValidDerivationByRestriction.xml No CVS revision information was found for this file |
If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType has the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/ValidDerivationByRestriction.xml and changed to work with target required instead in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/InValidDerivationByRestriction.xml and changed to work with target required instead |
| targetRequired | Invalid | Invalid | Invalid | Invalid | TargetRequiredInValidWithSubstitutionGroup.xml (row 147)
TargetRequiredInValidWithSubstitutionGroup.xml No CVS revision information was found for this file |
If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/InValidDerivationByRestriction.xml and changed to work with target required instead |
| targetRequired | Valid | Valid | Valid | Valid | TargetRequiredValidWithSubstitutionGroup.xml (row 148)
TargetRequiredValidWithSubstitutionGroup.xml No CVS revision information was found for this file |
If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType has the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/ValidDerivationByRestriction.xml and changed to work with target required instead in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/InValidDerivationByRestriction.xml and changed to work with target required instead |
| acyclic | Invalid | Invalid | Invalid | Invalid | AcyclicInValidCycleSameDoc.xml (row 149)
AcyclicInValidCycleSameDoc.xml No CVS revision information was found for this file |
A model is invalid if an instance of an acyclic type CT references itself, even w/in the same document |
| acyclic | Valid | Valid | Valid | Valid | AcyclicValidCycleSameDoc.xml (row 150)
AcyclicValidCycleSameDoc.xml No CVS revision information was found for this file |
Let R1 be a reference type with sml:acyclic=᾿false᾿. Then a model is valid if it has same-document cycles using instances of R1 |
| dtdID | Valid | Valid | Invalid | Invalid | ValidBareNameDTDDeterminedIDBareName.xml (row 151)
ValidBareNameDTDDeterminedIDBareName.xml No CVS revision information was found for this file |
This SML-IF demonstrates the use of bare names in sml:uri references. Copied from ValidBareName and converted from schema- to DTD-determined ID. |
| smlref | Valid | Valid | Valid | Valid | ValidKeyUniqueDeref.xml (row 152)
ValidKeyUniqueDeref.xml No CVS revision information was found for this file |
Verify that a model with a key and unique constraint is valid if the field values are unique, though some field values for the unique constraint may be missing. Copy and tweak based on /org.eclipse.cosmos.rm.validation.tests/src/test-resources/identity/ValidKeyUnique.xml |
Statistics:
| Total test case tags in XML file | 151 |
| Non-blank test case tags in XML file | 144 |
| Blank test case tags in XML file | 7 |