Input: [State] Date and Time [Data type] A date and time (year, month, day, hour, minute, second, fraction of a second) with the time zone set to UTC [Control type] A date and time control [Keyword]

Output: datetime


Input: [State] Date [Data type] A date (year, month, day) with no time zone [Control type] A date control [Keyword]

Output: date


Input: [State] Month [Data type] A date consisting of a year and a month with no time zone [Control type] A month control [Keyword]

Output: month


Input: [State] Week [Data type] A date consisting of a week-year number and a week number with no time zone [Control type] A week control [Keyword]

Output: week


Input: [State] Time [Data type] A time (hour, minute, seconds, fractional seconds) with no time zone [Control type] A time control [Keyword]

Output: time


Input: [State] Local Date and Time [Data type] A date and time (year, month, day, hour, minute, second, fraction of a second) with no time zone [Control type] A date and time control [Keyword]

Output: datetime-local


Input: [State] Number [Data type] A numerical value [Control type] A text field or spinner control [Keyword]

Output: number


Input: [State] Range [Data type] A numerical value, with the extra semantic that the exact value is not important [Control type] A slider control or similar [Keyword]

Output: range


Input: [State] Color [Data type] An sRGB color with 8-bit red, green, and blue components [Control type] A color well [Keyword]

Output: color


Input: [State] Checkbox [Data type] A set of zero or more values from a predefined list [Control type] A checkbox [Keyword]

Output: checkbox


Input: [State] Radio Button [Data type] An enumerated value [Control type] A radio button [Keyword]

Output: radio


Input: [State] File Upload [Data type] Zero or more files each with a MIME type and optionally a file name [Control type] A label and a button [Keyword]

Output: file


Input: [State] Submit Button [Data type] An enumerated value, with the extra semantic that it must be the last value selected and initiates form submission [Control type] A button [Keyword]

Output: submit


Input: [State] Image Button [Data type] A coordinate, relative to a particular image's size, with the extra semantic that it must be the last value selected and initiates form submission [Control type] Either a clickable image, or a button [Keyword]

Output: image


Input: [State] Reset Button [Data type] n/a [Control type] A button [Keyword]

Output: reset


Input: [State] Button [Data type] n/a [Control type] A button [Keyword]

Output: button


Input: [Clause] Access [Description] The ability of users to obtain and correct information that an entity has collected about them [Applies to] proposal or statement [Required in Every Proposal] yes [Default Type of Label] URI or text string [May be Defined in Vocabulary]

Output: yes

no, but qualifier and category components may be


Input: [Clause] Agreement With [Description] The entity who the user is entering into an agreement with [Applies to] proposal or statement [Required in Every Proposal] yes [Default Type of Label] certificate, URI, or text string [May be Defined in Vocabulary]

Output: yes

no, but qualifier and category components may be


Input: [Clause] Consequence [Description] The impact on the user of reaching an agreement [Applies to] proposal or statement [Required in Every Proposal] yes [Default Type of Label] URI or text string [May be Defined in Vocabulary]

Output: yes

no, but qualifier and category components may be


Input: [Clause] Contact [Description] Information for contacting a service with inquiries about the services privacy practices. [Applies to] proposal or statement [Required in Every Proposal] yes [Default Type of Label] URI or text string [May be Defined in Vocabulary]

Output: yes

no, but qualifier and category components may be


Input: [Clause] Experience Space [Description] The space where a particular statement is valid [Applies to] proposal or statement [Required in Every Proposal] yes [Default Type of Label] set of URIs [May be Defined in Vocabulary]

Output: no

no, but qualifier and category components may be


Input: [Clause] Practice [Description] What a service will do with data [Applies to] statement [Required in Every Proposal] yes [Default Type of Label] none [May be Defined in Vocabulary]

Output: yes

no, but qualifier and category components may be


Input: [Clause] Qualified Data Set [Description] The data a service proposes to collect or requests [Applies to] statement [Required in Every Proposal] yes [Default Type of Label] see definition below [May be Defined in Vocabulary]

Output: no, but qualifier and category components may be

no, but qualifier and category components may be


Input: [Clause] Qualifier [Description] Used by the creator of a vocabulary to provide extra functionality beyond that in the base P3 Proposal Grammar [Applies to] proposal, statement, or clause [Required in Every Proposal] no [Default Type of Label] none [May be Defined in Vocabulary]

Output: yes

no, but qualifier and category components may be


Input: [Clause] Required [Description] A binary value indicating whether a particular practice, qualified data set, or statement is required in an agreement [Applies to] practice clause, qualified data set clause, or statement [Required in Every Proposal] no (defaults to 1 when not present) [Default Type of Label] 0 or 1 [May be Defined in Vocabulary]

Output: no

no, but qualifier and category components may be


Input: [Clause] Schema [Description] A URI that identifies a particular P3 proposal vocabulary [Applies to] proposal [Required in Every Proposal] yes [Default Type of Label] URI [May be Defined in Vocabulary]

Output: no

no, but qualifier and category components may be


Input: [Clause] Signature [Description] Signature and attribution information as defined by the Digital Signature effort [Applies to] Proposal or statement [Required in Every Proposal] no [Default Type of Label] none [May be Defined in Vocabulary]

Output: yes

no, but qualifier and category components may be


Input: [Name] src [Required] false [Attribute Constraints] This attribute must not be specified in conjunction with the fetchid attribute. [Type] Valid URI [Default Value] none [Valid Values] a valid URI [Description]

Output: A URI which references a resource which is the script content, and which must be resolved when the CCXML document is compiled. Note that the value of the src attribute must not be an ECMAScript expression in order to allow it to be resolved at compile-time. If the ECMAScript script referenced can not be loaded at the CCXML document loading and parsing phase it should be considered a Fetching & compilation error as defined in section 9.5.1.

Voice Browser Call Control: CCXML Version 1.0


Input: [Name] fetchid [Required] false [Attribute Constraints] This attribute must not be specified in conjunction with the src attribute, otherwise ignored. [Type] ECMAScript Expression [Default Value] none [Valid Values] valid fetch ID [Description]

Output: An ECMAScript expression which returns the fetch identifier of a completed fetch request, acquired either in a fetch with the fetchid attribute, or from the fetchid attribute of a fetch.done event. If the fetch identifier is invalid, has not completed, or the fetched content is not valid ECMAScript, an error.semantic event must be thrown.

Voice Browser Call Control: CCXML Version 1.0


Input: [Name] timeout [Required] false [Attribute Constraints] This attribute is only valid in conjunction with the src attribute, otherwise ignored. [Type] Character string [Default Value] none [Valid Values] Character string in CSS2 [CSS2] format [Description]

Output: The character string must be interpreted as a time interval. This interval must begin when the script is requested; If the script has not been fetched at the end of this interval, an error.fetch or error.createccxml event must be thrown.

Voice Browser Call Control: CCXML Version 1.0


Input: [Name] maxage [Required] false [Attribute Constraints] This attribute is only valid in conjunction with the src attribute, otherwise ignored. [Type] Character string [Default Value] none [Valid Values] A valid time value for the HTTP 1.1 request [RFC2616] [Description]

Output: The character string must be interpreted as a time interval. This indicates that the document is willing to use content whose age must be no greater than the specified time in seconds (cf. 'max-age' in HTTP 1.1 [RFC2616]). The document is not willing to use stale content, unless maxstale is also provided.

Voice Browser Call Control: CCXML Version 1.0


Input: [Name] maxstale [Required] false [Attribute Constraints] This attribute is only valid in conjunction with the src attribute, otherwise ignored. [Type] Character string [Default Value] none [Valid Values] A valid time value for the HTTP 1.1 request [RFC2616] [Description]

Output: The character string must be interpreted as a time interval. This indicates that the document is willing to use content that has exceeded its expiration time (cf. 'max-stale' in HTTP 1.1 [RFC2616]). If maxstale is assigned a value, then the document is willing to accept content that has exceeded its expiration time by no more than the specified number of seconds.

Voice Browser Call Control: CCXML Version 1.0


Input: [Name] charset [Required] false [Type] Character string [Default Value] UTF-8 [Valid Values] valid character encoding type [Description]

Output: A character string that indicates the character encoding type of the script. UTF-8 and UTF-16 encodings of ISO/IEC 10646 must be supported (as in [XML] ) and other encodings, as defined in the [IANA] , may be supported.

Voice Browser Call Control: CCXML Version 1.0


Input: [Component] FTCaseOption overwriteable overwriteable by prolog [Scope] lexical [Consistency rules] Value must be case insensitive, case sensitive, lowercase, or uppercase. [Default initial value]

Output: case insensitive

Static Context Components


Input: [Component] FTDiacriticsOption overwriteable overwriteable by prolog [Scope] lexical [Consistency rules] Value must be diacritics insensitive or diacritics sensitive. [Default initial value]

Output: diacritics insensitive

Static Context Components


Input: [Component] FTStemOption overwriteable overwriteable by prolog [Scope] lexical [Consistency rules] Value must be stemming or no stemming. [Default initial value]

Output: no stemming

Static Context Components


Input: [Component] FTThesaurusOption overwriteable overwriteable by prolog (refer to default to augment) [Scope] lexical [Consistency rules] Each URI in the value must be found in the statically known thesauri. [Default initial value]

Output: no thesaurus

Static Context Components


Input: [Component] Statically known thesauri augmentable cannot be augmented or overwritten by prolog [Scope] module [Consistency rules] Each URI uniquely identifies a thesaurus list. [Default initial value]

Static Context Components


Input: [Component] FTStopWordOption overwriteable overwriteable by prolog (refer to default to augment) [Scope] lexical [Consistency rules] Each URI in the value must be found in the statically known stop word lists. [Default initial value]

Output: no stop words

Static Context Components


Input: [Component] Statically known stop word lists augmentable cannot be augmented or overwritten by prolog [Scope] module [Consistency rules] Each URI uniquely identifies a stop word list. [Default initial value]

Static Context Components


Input: [Component] FTLanguageOption overwriteable overwriteable by prolog [Scope] lexical [Consistency rules] Value must be castable to xs:language. [Default initial value]

Output: implementation-defined

Static Context Components


Input: [Component] Statically known languages augmentable cannot be augmented or overwritten by prolog [Scope] module [Consistency rules] Each string uniquely identifies a language. [Default initial value]

Static Context Components


Input: [Component] FTWildCardOption no overwriteable by prolog [Scope] lexical [Consistency rules] Value must be wildcards or no wildcards. [Default initial value]

Output: no wildcards

Static Context Components


Input: [Required] false [Attribute Constraints] This attribute must not be specified in conjunction with the fetchid attribute. [Type] Valid URI [Default Value] none [Valid Values] a valid URI [Description] A URI which references a resource which is the script content, and which must be resolved when the CCXML document is compiled. Note that the value of the src attribute must not be an ECMAScript expression in order to allow it to be resolved at compile-time. If the ECMAScript script referenced can not be loaded at the CCXML document loading and parsing phase it should be considered a Fetching & compilation error as defined in section 9.5.1. [Name]

Output: src

Voice Browser Call Control: CCXML Version 1.0


Input: [Required] false [Attribute Constraints] This attribute must not be specified in conjunction with the src attribute, otherwise ignored. [Type] ECMAScript Expression [Default Value] none [Valid Values] valid fetch ID [Description] An ECMAScript expression which returns the fetch identifier of a completed fetch request, acquired either in a fetch with the fetchid attribute, or from the fetchid attribute of a fetch.done event. If the fetch identifier is invalid, has not completed, or the fetched content is not valid ECMAScript, an error.semantic event must be thrown. [Name]

Output: fetchid

Voice Browser Call Control: CCXML Version 1.0


Input: [Required] false [Attribute Constraints] This attribute is only valid in conjunction with the src attribute, otherwise ignored. [Type] Character string [Default Value] none [Valid Values] Character string in CSS2 [CSS2] format [Description] The character string must be interpreted as a time interval. This interval must begin when the script is requested; If the script has not been fetched at the end of this interval, an error.fetch or error.createccxml event must be thrown. [Name]

Output: timeout

Voice Browser Call Control: CCXML Version 1.0


Input: [Required] false [Attribute Constraints] This attribute is only valid in conjunction with the src attribute, otherwise ignored. [Type] Character string [Default Value] none [Valid Values] A valid time value for the HTTP 1.1 request [RFC2616] [Description] The character string must be interpreted as a time interval. This indicates that the document is willing to use content whose age must be no greater than the specified time in seconds (cf. 'max-age' in HTTP 1.1 [RFC2616]). The document is not willing to use stale content, unless maxstale is also provided. [Name]

Output: maxage

Voice Browser Call Control: CCXML Version 1.0


Input: [Required] false [Attribute Constraints] This attribute is only valid in conjunction with the src attribute, otherwise ignored. [Type] Character string [Default Value] none [Valid Values] A valid time value for the HTTP 1.1 request [RFC2616] [Description] The character string must be interpreted as a time interval. This indicates that the document is willing to use content that has exceeded its expiration time (cf. 'max-stale' in HTTP 1.1 [RFC2616]). If maxstale is assigned a value, then the document is willing to accept content that has exceeded its expiration time by no more than the specified number of seconds. [Name]

Output: maxstale

Voice Browser Call Control: CCXML Version 1.0


Input: [Required] false [Type] Character string [Default Value] UTF-8 [Valid Values] valid character encoding type [Description] A character string that indicates the character encoding type of the script. UTF-8 and UTF-16 encodings of ISO/IEC 10646 must be supported (as in [XML] ) and other encodings, as defined in the [IANA] , may be supported. [Name]

Output: charset

Voice Browser Call Control: CCXML Version 1.0


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidCyclesWithAcyclicReferences (row 2) acyclic\InValidCycle.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if an instance of an acyclic type CT references itself. [Primary Feature Tested]

Output: acyclic

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidCyclesWithAcyclicReferences (row 3) acyclic\InValidCycleAbstract.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if instances of an element type CT derived from the abstract acyclic element type CT' form a cycle. [Primary Feature Tested]

Output: acyclic

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidCyclesWithAcyclicReferences (row 4) acyclic\InValidCycleAnonymous.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if instances of the acyclic anonymous type CT form a cycle [Primary Feature Tested]

Output: acyclic

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidCyclesWithAcyclicReferences (row 5) acyclic\InValidCycleByExtension.xml Revision 1.3 CVS Log [Test Case Description] A model is invalid if instances of an acyclic element type CT (or derived types by restriction) create a cycle [Primary Feature Tested]

Output: acyclic

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidCyclesWithAcyclicReferences (row 6) acyclic\InValidCycleByRestriction.xml Revision 1.3 CVS Log [Test Case Description] A model is invalid if instances of an acyclic element type CT (or derived types by restriction) create a cycle [Primary Feature Tested]

Output: acyclic

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidDerivationWithAcyclicAttribute (row 7) acyclic\InValidDerivation.xml Revision 1.14 CVS Log [Test Case Description] 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? [Primary Feature Tested]

Output: acyclic

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidateAcyclicDefinition (row 8) acyclic\ValidateDefinition.xml Revision 1.10 CVS Log [Test Case Description] This test returns a warning if the sml:acyclic attribute is defined on an element declaration [Primary Feature Tested]

Output: acyclic

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidCyclesWithAcyclicReference2 (row 9) acyclic\ValidCycle.xml Revision 1.2 CVS Log [Test Case Description] 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 [Primary Feature Tested]

Output: acyclic

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid InvalidCyclesWithAcyclicReferences (row 10) acyclic\ValidCycleNoReference.xml Revision 1.3 CVS Log [Test Case Description] 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) [Primary Feature Tested]

Output: acyclic

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid InvalidCyclesWithAcyclicReferences (row 11) acyclic\ValidCycleNullReference.xml Revision 1.3 CVS Log [Test Case Description] 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) [Primary Feature Tested]

Output: acyclic

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidCycles3 (row 12) acyclic\ValidCycleVariation.xml Revision 1.3 CVS Log [Test Case Description] This test verifies that it is valid to create cycles within documents, as long as instances of acyclic references do not create cycles. [Primary Feature Tested]

Output: acyclic

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidDerivationWithAcyclicAttribute (row 13) acyclic\ValidDerivation.xml Revision 1.13 CVS Log [Test Case Description] 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? [Primary Feature Tested]

Output: acyclic

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidCyclesWithAcyclicReference1 (row 14) acyclic\ValidMultipleAcyclics.xml Revision 1.2 CVS Log [Test Case Description] 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 [Primary Feature Tested]

Output: acyclic

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidUnresolvedReference (row 15) acyclic\ValidUnresolvedReference.xml Revision 1.3 CVS Log [Test Case Description] A model is valid if an element instance with sml:acyclic="true" references an unresolved document. [Primary Feature Tested]

Output: acyclic

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid Base64DTDEntity (row 16) base64\Base64DTDEntity.xml Revision 1.3 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: Base64

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid Base64DTDInvalidXML (row 17) base64\Base64DTDInvalidXML.xml Revision 1.3 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: Base64

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid Base64DTDMissingEntities (row 18) base64\Base64DTDMissingEntities.xml Revision 1.2 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: Base64

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid Base64EncodedDoc (row 19) base64\Base64EncodedDoc.xml Revision 1.6 CVS Log [Test Case Description] An instance document is base64 encoded. [Primary Feature Tested]

Output: Base64

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid Base64EncodedDocs (row 20) base64\Base64EncodedDocs.xml Revision 1.4 CVS Log [Test Case Description] 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 [Primary Feature Tested]

Output: Base64

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid Base64EncodedSchema (row 21) base64\Base64EncodedSchema.xml Revision 1.5 CVS Log [Test Case Description] 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 [Primary Feature Tested]

Output: Base64

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid Base64EncodedSchemaAndDoc (row 22) base64\Base64EncodedSchemaAndDoc.xml Revision 1.5 CVS Log [Test Case Description] 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 [Primary Feature Tested]

Output: Base64

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid Base64EncodedSchemaAndDocs (row 23) base64\Base64EncodedSchemaAndDocs.xml Revision 1.4 CVS Log [Test Case Description] 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 [Primary Feature Tested]

Output: Base64

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid Base64InvalidEncoding (row 24) base64\Base64InvalidEncoding.xml Revision 1.5 CVS Log [Test Case Description] 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 [Primary Feature Tested]

Output: Base64

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid Base64InvalidSML (row 25) base64\Base64InvalidSML.xml Revision 1.5 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: Base64

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid SingleRef (row 26) deref\InValidUnrecognizedScheme.xml Revision 1.3 CVS Log [Test Case Description] Verify a schematron test using a deref function to resolve an unrecognized reference scheme will fail [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidSchemeDerefUsed (row 27) deref\InValidUsageWithScheme.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if an smlxpath1 scheme contains a deref() in the evaluator. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid MultipleDeref (row 28) deref\Multiple.xml Revision 1.12 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid SingleRef (row 30) deref\Single.xml Revision 1.11 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidConstraintSubstitution (row 32) identity\InValidConstraintGroup.xml Revision 1.3 CVS Log [Test Case Description] 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}. [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidConstraintRefAttributes (row 33) identity\InValidConstraintRefAttributes.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if an identity constraint includes both the 'ref' and 'name' attribute [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidConstraintRefElements (row 34) identity\InValidConstraintRefElements.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if the sml:field or sml:selector child elements are specified for a referenced identity constraint. [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidConstraintRefKey (row 35) identity\InValidConstraintRefKey.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if a referenced identity constraint type does not match to what it's resolved to. [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidConstraintRefNoKey (row 36) identity\InValidConstraintRefNoKey.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if a referenced identity constraint cannot be resolved [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidConstraintSubstitution (row 37) identity\InValidConstraintSubstitution.xml Revision 1.2 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidDuplicateConstraintSubst (row 38) identity\InValidDuplicateConstraintNameSubst.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if two constraint names indirectly declared through substitution group have the same name [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidDuplicateConstraintName1 (row 39) identity\InValidDuplicateKeyConstraintName.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if two constraint names under the same element have the same name [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidKeyDuplicate (row 40) identity\InValidKeyDuplicate.xml Revision 1.12 CVS Log [Test Case Description] Verify that a model with a key constraint is invalid if the field values are not unique. [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidKeyMissing (row 41) identity\InValidKeyMissing.xml Revision 1.12 CVS Log [Test Case Description] Verify that a model with a key constraint is invalid if some field values are missing. [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidConstraintSubstitution (row 42) identity\InValidUnionConstraintWithSubstitution.xml Revision 1.3 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidUnique (row 43) identity\InValidUnique.xml Revision 1.12 CVS Log [Test Case Description] Verify that a model with a unique constraint is invalid if the field values are not unique. [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid ValidConstraintRefKeyref (row 44) identity\ValidConstraintRefKeyref.xml Revision 1.4 CVS Log [Test Case Description] A model is valid if a referenced identity constraint is used using the 'ref' attribute [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidKeyref (row 45) identity\ValidKeyref.xml Revision 1.13 CVS Log [Test Case Description] Verify keyref constraint. [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidKeyUnique (row 46) identity\ValidKeyUnique.xml Revision 1.12 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidKeyUniqueInScopeOnly (row 47) identity\ValidKeyUniqueInScopeOnly.xml Revision 1.12 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid InValidKeyDuplicate (row 48) identity\ValidSmlXSKey.xml Revision 1.3 CVS Log [Test Case Description] It is not an error if SML identity constraint and XML identity constraint share the same name. [Primary Feature Tested]

Output: idConstraint

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid InValidInCompleteModel (row 49) others\InValid.xml Revision 1.4 CVS Log [Test Case Description] This test verifies that an unresolved locator/documentURI is flagged with a warning. [Primary Feature Tested]

Output: locator

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidAliasValue (row 50) others\InValidAliasValue.xml Revision 1.7 CVS Log [Test Case Description] This test verifies that the code returns an error when an alias contains an invalid value. [Primary Feature Tested]

Output: aliases

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidAliasHasFragmentComp (row 51) others\InValidAliasWithFragment.xml Revision 1.8 CVS Log [Test Case Description] This test verifies that the code returns an error when an alias contains a fragment component. [Primary Feature Tested]

Output: aliases

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidDuplicateAliases (row 52) others\InValidDuplicateAliases.xml Revision 1.8 CVS Log [Test Case Description] This test verifies that the code returns an error when two aliases resolve to the same URI [Primary Feature Tested]

Output: aliases

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidMultipleDocument (row 53) others\InValidMultipleDocument.xml Revision 1.7 CVS Log [Test Case Description] This test verifies that the code returns an error if the data element contains more than one document. [Primary Feature Tested]

Output: validation

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid TestDocumentLocator (row 54) others\remote-document.xml Revision 1.11 CVS Log [Test Case Description] Tests the correct implementation of the locator element [Primary Feature Tested]

Output: locator

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid TestRulesWithMultiplePatterns (row 55) others\rulesWithMultiplePattern.xml Revision 1.11 CVS Log [Test Case Description] Tests that rules that have multiple patterns are handled correctly [Primary Feature Tested]

Output: rules

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid TestMultipleRulesUnderOnePattern (row 56) others\rulesWithMultipleRulesUnderOnePattern.xml Revision 1.11 CVS Log [Test Case Description] Tests that patterns with multiple rules are handled correctly [Primary Feature Tested]

Output: rules

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid TestSchemaValidationFailure (row 57) others\schemaValidationFailure.xml Revision 1.14 CVS Log [Test Case Description] Tests that validation against the schema fails. [Primary Feature Tested]

Output: validation

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidEmptyDocument (row 58) others\ValidEmptyDocument.xml Revision 1.6 CVS Log [Test Case Description] This test verifies that it is valid to have an empty document. [Primary Feature Tested]

Output: Embedded

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid UnresolvedRef (row 59) references\DanglingRef.xml Revision 1.12 CVS Log [Test Case Description] A valid model can contain unresolved references [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid IntraDocumentRef (row 60) references\IntraDocumentRef.xml Revision 1.13 CVS Log [Test Case Description] It is valid for a reference to target an element in the same document. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid InvalidBareNameUnresolved (row 61) references\InvalidBareNameDangling.xml Revision 1.2 CVS Log [Test Case Description] This SML-IF contains an SML reference that is a unresolved reference. Bare name is used in this reference. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidBaseURI (row 63) references\InValidBaseURI.xml Revision 1.8 CVS Log [Test Case Description] A model is invalid if base URI is not valid [Primary Feature Tested]

Output: smlifBaseUri

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidBaseURIRelative (row 64) references\InValidBaseURIRelative.xml Revision 1.3 CVS Log [Test Case Description] A model is invalid if the base URI is not absolute [Primary Feature Tested]

Output: smlifBaseUri

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidBaseURIHasFragmentComp (row 65) references\InValidBaseURIWithFragment.xml Revision 1.3 CVS Log [Test Case Description] A model is invalid if the base URI contains a fragment [Primary Feature Tested]

Output: smlifBaseUri

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidMissingBaseURIAttr1 (row 68) references\InValidMissingBaseURI.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if a reference is relative and the base URI is missing [Primary Feature Tested]

Output: smlifBaseUri

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidRefResolvesToMultipleElements (row 69) references\InValidMultipleElements.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if a reference scheme resolves to multiple elements [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidRefResolvesToMultipleElements (row 70) references\InValidMultipleElementsVariation.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if a reference element is identified with sml:ref="1" and its scheme resolves to multiple elements [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid SingleRef (row 71) references\InValidNullifiedDeref.xml Revision 1.4 CVS Log [Test Case Description] The deref() function of a nullified reference should not return a target even if the ref has a valid sml:uri child element. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidSchemeResultContainsNonElements (row 72) references\InValidSchemeResult.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if a reference using smlxpath1 scheme resolves to anything other than an element set. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidSchemeSyntaxError (row 73) references\InValidSchemeSyntax.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if the content of the smlxpath1 scheme is syntactically incorrect. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidSmlRefValue (row 74) references\InValidSMLRefValue.xml Revision 1.3 CVS Log [Test Case Description] A model is invalid if the value of sml:ref is not valid [Primary Feature Tested]

Output: validation

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidSchemeNamespaceUnknown (row 75) references\InValidUnknownNamespace.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if a reference using the smlxpath1 scheme uses a prefix without a bound namespace. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidXMLBase (row 76) references\InValidXmlBase.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if xml:base is not valid [Primary Feature Tested]

Output: xmlBase

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid InValidXMLBaseRelative (row 77) references\InValidXmlBaseRelative.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if the xml:base is not absolute [Primary Feature Tested]

Output: xmlBase

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid MultipleRefToAnElement (row 78) references\MultipleRefToAnElement.xml Revision 1.13 CVS Log [Test Case Description] It is valid for an element in a document to be targeted by multiple different references from other documents [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid NullRefElement (row 79) references\NullRefElement.xml Revision 1.12 CVS Log [Test Case Description] It is valid for a reference element to be null [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid RefToNonRootElement (row 80) references\RefToNonRootElement.xml Revision 1.14 CVS Log [Test Case Description] It is valid for a reference in a document to target a non-root element in some other document. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid RefToRootElement (row 81) references\RefToRootElement.xml Revision 1.13 CVS Log [Test Case Description] It is valid for a reference in a document to target the root element in some other document. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidBareNameAbsURI (row 82) references\ValidBareName.xml Revision 1.1 CVS Log [Test Case Description] This SML-IF demonstrates the use of bare names in sml:uri references. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidBareNameSameDocRef (row 84) references\ValidBareNameSameDocRef.xml Revision 1.1 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidRefTwoSchemesNilSpecified (row 85) references\ValidDanglingReference.xml Revision 1.3 CVS Log [Test Case Description] A model is valid if it contains a nullified reference with two schemes, one resolving to an element and another unresolved. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidMissingBaseURIAttr2 (row 86) references\ValidFragmentOnlyReference.xml Revision 1.4 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidRefNilrefSpecified1 (row 87) references\ValidInconsistentNonReference.xml Revision 1.2 CVS Log [Test Case Description] 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 [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidRefNilrefSpecified1 (row 88) references\ValidInconsistentReference.xml Revision 1.2 CVS Log [Test Case Description] A model is valid if it contains a nullified reference with multiple schemes resolving to two different elements [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidMissingBaseURIAttr1 (row 89) references\ValidMissingBaseURI.xml Revision 1.2 CVS Log [Test Case Description] A model is valid if there are not references and the base URI is missing [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidNilRefDefinition (row 91) references\ValidNilRef.xml Revision 1.2 CVS Log [Test Case Description] A model is valid if sml:nilref is used in conjunction with sml:ref="true" [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidNilRefPSVI (row 92) references\ValidNilRefPSVI.xml Revision 1.4 CVS Log [Test Case Description] 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 [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidSchemeNamespaceInherited (row 93) references\ValidReferenceScheme.xml Revision 1.3 CVS Log [Test Case Description] A model is valid when a reference using the smlxpath1 scheme uses a prefix declared in a containing element [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid SingleRef (row 94) references\ValidSMLRefPSVI.xml Revision 1.3 CVS Log [Test Case Description] The deref() function of a nullified reference should not return a target even if the ref has a valid sml:uri child element. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidRefOneSchemeResolvesOtherUnknown (row 95) references\ValidUnknownRefScheme.xml Revision 1.3 CVS Log [Test Case Description] A model is valid if a reference contains two schemes, one resolving to an element and the other being unknown. [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidXmlBase (row 96) references\ValidXmlBase.xml Revision 1.2 CVS Log [Test Case Description] A valid xml:base should not result in an error. [Primary Feature Tested]

Output: xmlBase

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidXmlBaseOnDocumentElement (row 97) references\ValidXmlBaseOnDocumentElement.xml Revision 1.1 CVS Log [Test Case Description] A valid xml:base specified on a 'document' element should not result in an error. [Primary Feature Tested]

Output: xmlBase

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidXmlBaseOnInstance (row 98) references\ValidXmlBaseOnInstance.xml Revision 1.2 CVS Log [Test Case Description] A valid xml:base on an instance document should not result in an error. [Primary Feature Tested]

Output: xmlBase

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidXmlBaseWinsOverBaseURI (row 99) references\ValidXmlBaseWinsOverBaseURI.xml Revision 1.2 CVS Log [Test Case Description] When both a baseURI and xml:base are specified, xml:base should be used. [Primary Feature Tested]

Output: xmlBase

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidSchematronRule (row 100) Rules\InValid.xml Revision 1.14 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: rules

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidSchematronRuleEnglish (row 101) Rules\InvalidLocidEnglish.xml Revision 1.5 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: locid

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidSchematronRuleGerman (row 102) Rules\InvalidLocidGerman.xml Revision 1.5 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: locid

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidSchematronRuleMissingBundle (row 103) Rules\InvalidLocidMissingBundle.xml Revision 1.5 CVS Log [Test Case Description] 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). [Primary Feature Tested]

Output: locid

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidSchematronRuleMissingBundlePackage (row 104) Rules\InvalidLocidMissingBundlePackage.xml Revision 1.5 CVS Log [Test Case Description] 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). [Primary Feature Tested]

Output: locid

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidSchematronRuleMissingKey (row 105) Rules\InvalidLocidMissingKey.xml Revision 1.5 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: locid

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidRuleBinding-MultipleRulesSameDocument-BothFail (row 106) Rules\InValidRuleBinding-MultipleRulesSameDocument-BothFail.xml Revision 1.13 CVS Log [Test Case Description] Two rules are bound to the same document - both fail. [Primary Feature Tested]

Output: ruleBindings

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidRuleBinding-MultipleRulesSameDocument (row 107) Rules\InValidRuleBinding-MultipleRulesSameDocument.xml Revision 1.12 CVS Log [Test Case Description] Two rules are bound to the same document. One passes, one fails. [Primary Feature Tested]

Output: ruleBindings

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidRuleBinding (row 108) Rules\InValidRuleBinding.xml Revision 1.12 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: ruleBindings

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidRuleBindingWithBaseURI (row 109) Rules\InValidRuleBindingWithBaseURI.xml Revision 1.2 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: ruleBindings

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidRuleBindingWithPrefix (row 110) Rules\InValidRuleBindingWithPrefix.xml Revision 1.1 CVS Log [Test Case Description] 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 [Primary Feature Tested]

Output: ruleBindings

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidRuleType (row 111) Rules\InValidRuleType.xml Revision 1.9 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: rules

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidRuleTypeExtension (row 112) Rules\InValidRuleTypeExtension.xml Revision 1.9 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: rules

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidRuleTypeRestriction (row 113) Rules\InValidRuleTypeRestriction.xml Revision 1.9 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: rules

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid ValidSchematronRule (row 114) Rules\Valid.xml Revision 1.14 CVS Log [Test Case Description] A model with a Schematron rule defined for an element is valid if all instances of the element satisfy the rule. [Primary Feature Tested]

Output: rules

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidXMLSchema (row 115) Rules\ValidNoSML.xml Revision 1.10 CVS Log [Test Case Description] Basic XML Schema file, no SML extensions used. [Primary Feature Tested]

Output: validation

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidRuleBinding (row 116) Rules\ValidRuleBinding.xml Revision 1.13 CVS Log [Test Case Description] A model with a Schematron rule that is bound to some instance documents is valid if the rule is satisfied by all bound documents. [Primary Feature Tested]

Output: ruleBindings

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidTargetElement (row 117) targetElement\InValid.xml Revision 1.13 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: targetElement

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidDerivationByRestriction (row 118) targetElement\InValidDerivationByRestriction.xml Revision 1.9 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: targetElement

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidSameNameElements (row 119) targetElement\InValidSameNameElements.xml Revision 1.9 CVS Log [Test Case Description] 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}. [Primary Feature Tested]

Output: targetElement

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid ValidateTargetElementExists2 (row 120) targetElement\InvalidValue.xml Revision 1.5 CVS Log [Test Case Description] 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) [Primary Feature Tested]

Output: targetElement

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidTargetElementWithSubstitutionGroup (row 121) targetElement\InValidWithSubstitutionGroup.xml Revision 1.13 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: targetElement

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetElement (row 122) targetElement\Valid.xml Revision 1.13 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: targetElement

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidDerivationByRestriction (row 123) targetElement\ValidDerivationByRestriction.xml Revision 1.6 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: targetElement

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidSameNameElements (row 124) targetElement\ValidSameNameElements.xml Revision 1.6 CVS Log [Test Case Description] 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}. [Primary Feature Tested]

Output: targetElement

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetElementWithSubstitutionGroup (row 125) targetElement\ValidWithSubstitutionGroup.xml Revision 1.13 CVS Log [Test Case Description] 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 [Primary Feature Tested]

Output: targetElement

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidTargetRequired (row 126) targetRequired\InValid.xml Revision 1.11 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: targetRequired

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidTargetRequiredMissingReference (row 127) targetRequired\InvalidMissingReference.xml Revision 1.1 CVS Log [Test Case Description] If targetElement=GTE for a global element declaration E, and targetRequired=true, an instance of the SML reference must exist. [Primary Feature Tested]

Output: targetRequired

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidTargetRequiredNullReference (row 128) targetRequired\InvalidNullReference.xml Revision 1.1 CVS Log [Test Case Description] If targetElement=GTE for a global element declaration E, and targetRequired=true, an instance of the SML reference cannot be null. [Primary Feature Tested]

Output: targetRequired

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidSameNameElements (row 129) targetRequired\InValidSameNameElements.xml Revision 1.9 CVS Log [Test Case Description] 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}. [Primary Feature Tested]

Output: targetRequired

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetRequired (row 130) targetRequired\valid.xml Revision 1.11 CVS Log [Test Case Description] Tests for correct usage of targetRequired. [Primary Feature Tested]

Output: targetRequired

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetRequiredFalse (row 131) targetRequired\ValidFalseRequire.xml Revision 1.11 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: targetRequired

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetRequiredSameNameElements (row 132) targetRequired\ValidSameNameElements.xml Revision 1.7 CVS Log [Test Case Description] 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}. [Primary Feature Tested]

Output: targetRequired

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetRequiredWithTargetType (row 133) targetRequired\ValidType.xml Revision 1.12 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: targetRequired

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetRequiredFalseWithTargetType (row 134) targetRequired\ValidTypeFalse.xml Revision 1.11 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: targetRequired

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidTargetType (row 135) targetType\InValid.xml Revision 1.13 CVS Log [Test Case Description] 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 [Primary Feature Tested]

Output: targetType

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidDerivationByRestriction (row 136) targetType\InValidDerivationByRestriction.xml Revision 1.8 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: targetType

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidSameNameElements (row 137) targetType\InValidSameNameElements.xml Revision 1.7 CVS Log [Test Case Description] 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}. [Primary Feature Tested]

Output: targetType

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid ValidateTargetTypeExists1 (row 138) targetType\InValidValue.xml Revision 1.7 CVS Log [Test Case Description] 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) [Primary Feature Tested]

Output: targetType

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidTargetTypeWithSubstitutionGroup (row 139) targetType\InValidWithSubstitutionGroup.xml Revision 1.12 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: targetType

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetType (row 140) targetType\Valid.xml Revision 1.12 CVS Log [Test Case Description] 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 [Primary Feature Tested]

Output: targetType

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidDerivationByRestriction (row 141) targetType\ValidDerivationByRestriction.xml Revision 1.7 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: targetType

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidSameNameElements (row 142) targetType\ValidSameNameElements.xml Revision 1.7 CVS Log [Test Case Description] 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}. [Primary Feature Tested]

Output: targetType

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetTypeWithSubstitutionGroup (row 143) targetType\ValidWithSubstitutionGroup.xml Revision 1.11 CVS Log [Test Case Description] 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. [Primary Feature Tested]

Output: targetType

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidWrongSMLNSURI.xml (row 144) InvalidWrongSMLNSURI.xml No CVS revision information was found for this file [Test Case Description] SML prefix bound to wrong namespace URI [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid TargetRequiredInValidDerivationByRestriction.xml (row 145) TargetRequiredInValidDerivationByRestriction.xml No CVS revision information was found for this file [Test Case Description] 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 [Primary Feature Tested]

Output: targetRequired

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid TargetRequiredValidDerivationByRestriction.xml (row 146) TargetRequiredValidDerivationByRestriction.xml No CVS revision information was found for this file [Test Case Description] 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 [Primary Feature Tested]

Output: targetRequired

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid TargetRequiredInValidWithSubstitutionGroup.xml (row 147) TargetRequiredInValidWithSubstitutionGroup.xml No CVS revision information was found for this file [Test Case Description] 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 [Primary Feature Tested]

Output: targetRequired

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid TargetRequiredValidWithSubstitutionGroup.xml (row 148) TargetRequiredValidWithSubstitutionGroup.xml No CVS revision information was found for this file [Test Case Description] 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 [Primary Feature Tested]

Output: targetRequired

W3C SML Working Group Implementation Results by Test Case


Input: Invalid [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid AcyclicInValidCycleSameDoc.xml (row 149) AcyclicInValidCycleSameDoc.xml No CVS revision information was found for this file [Test Case Description] A model is invalid if an instance of an acyclic type CT references itself, even w/in the same document [Primary Feature Tested]

Output: acyclic

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid AcyclicValidCycleSameDoc.xml (row 150) AcyclicValidCycleSameDoc.xml No CVS revision information was found for this file [Test Case Description] 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 [Primary Feature Tested]

Output: acyclic

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Invalid Invalid ValidBareNameDTDDeterminedIDBareName.xml (row 151) ValidBareNameDTDDeterminedIDBareName.xml No CVS revision information was found for this file [Test Case Description] This SML-IF demonstrates the use of bare names in sml:uri references. Copied from ValidBareName and converted from schema- to DTD-determined ID. [Primary Feature Tested]

Output: dtdID

W3C SML Working Group Implementation Results by Test Case


Input: Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidKeyUniqueDeref.xml (row 152) ValidKeyUniqueDeref.xml No CVS revision information was found for this file [Test Case Description] 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 [Primary Feature Tested]

Output: smlref

W3C SML Working Group Implementation Results by Test Case


Input: [Event Name] dragstart [Target] Source node [Cancelable?] ✓ Cancelable [Drag data store mode] Read/write mode [dropEffect] "none" [Default Action]

Output: Initiate the drag-and-drop operation

7.7 Drag and drop — HTML5: Edition for Web Authors


Input: [Event Name] drag [Target] Source node [Cancelable?] ✓ Cancelable [Drag data store mode] Protected mode [dropEffect] "none" [Default Action]

Output: Continue the drag-and-drop operation

7.7 Drag and drop — HTML5: Edition for Web Authors


Input: [Event Name] dragenter [Target] Immediate user selection or the body element [Cancelable?] ✓ Cancelable [Drag data store mode] Protected mode [dropEffect] Based on effectAllowed value [Default Action]

Output: Reject immediate user selection as potential target element

7.7 Drag and drop — HTML5: Edition for Web Authors


Input: [Event Name] dragleave [Target] Previous target element [Cancelable?] — [Drag data store mode] Protected mode [dropEffect] "none" [Default Action]

7.7 Drag and drop — HTML5: Edition for Web Authors


Input: [Event Name] dragover [Target] Current target element [Cancelable?] ✓ Cancelable [Drag data store mode] Protected mode [dropEffect] Based on effectAllowed value [Default Action]

Output: Reset the current drag operation to "none"

7.7 Drag and drop — HTML5: Edition for Web Authors


Input: [Event Name] drop [Target] Current target element [Cancelable?] ✓ Cancelable [Drag data store mode] Read-only mode [dropEffect] Current drag operation [Default Action]

Output: Varies

7.7 Drag and drop — HTML5: Edition for Web Authors


Input: [Event Name] dragend [Target] Source node [Cancelable?] — [Drag data store mode] Protected mode [dropEffect] Current drag operation [Default Action]

Output: Varies

7.7 Drag and drop — HTML5: Edition for Web Authors


Input: [Name] target [Required] true [Type] ECMAScript Expression [Default Value] none [Valid Values] A valid target URI [Description]

Output: An ECMAScript expression returning the target location of the event. The target attribute specifies the unique identifier of the event target that the Event I/O Processor must send the event to.

Voice Browser Call Control: CCXML Version 1.0


Input: [Name] targettype [Required] false [Type] ECMAScript Expression [Default Value] ccxml [Valid Values] ccxml dialog basichttp [Description]

Output: An ECMAScript expression which returns a character string that specifies the type of the Event I/O Processor that the event must be dispatched to.

Voice Browser Call Control: CCXML Version 1.0


Input: [Name] sendid [Required] false [Type] ECMAScript Left Hand Side Expression [Default Value] none [Valid Values] ECMAScript Variable [Description]

Output: An ECMAScript left hand side expression evaluating to a previously defined variable. The value of the attribute must receive an internally generated unique string identifier to be associated with the event being sent.

Voice Browser Call Control: CCXML Version 1.0


Input: [Name] delay [Required] false [Type] ECMAScript Expression [Default Value] '0s' [Valid Values] An ECMAScript expression which returns a character string in CSS2 [CSS2] format [Description]

Output: The character string returned must be interpreted as a time interval. The send element must return immediately, but the event must not be dispatched until the delay interval elapses. Timers are useful for a wide variety of programming tasks, and can be implemented using this attribute. Note: The delayed event queue for sending events must be maintained locally. Any events waiting to be sent must be purged when the session that issued this request terminates.

Voice Browser Call Control: CCXML Version 1.0


Input: [Name] name [Required] false [Attribute Constraints] This attribute must not be specified in conjunction with inline content [Type] ECMAScript Expression [Default Value] none [Description]

Output: An ECMAScript expression which returns a character string that indicates the event name being generated. The event name may include alphanumeric characters, "_" (underscore) and the "." (dot) character. The first character MUST NOT be a dot or a digit. event names are case-insensitive.

Voice Browser Call Control: CCXML Version 1.0


Input: [Name] namelist [Required] false [Attribute Constraints] This attribute must not be specified in conjunction with inline content [Type] Var List [Default Value] none [Valid Values] List of ECMAScript Variable names [Description]

Output: A list of zero or more whitespace separated CCXML variable names to be included with the event. Values for these variables are evaluated when the element is processed See section 9.2.3.1 for details on how these variables are made available to the target.

Voice Browser Call Control: CCXML Version 1.0


Input: [Name] hints [Required] false [Type] ECMAScript Expression [Default Value] none [Valid Values] An ECMAScript expression that returns an ECMAScript object [Description]

Output: The ECMAScript object returned contains information which may be used by the implementing platform to configure the Event I/O Processor. The meaning of these hints is specific to the implementing platform and the Event I/O Processor. Note: The meaning of these hints is specific to the implementing platform and protocol. Platforms that do not support hints MAY ignore this attribute. See Section 9.5.6 for additional requirements when hints are supported by the implementing platform.

Voice Browser Call Control: CCXML Version 1.0


Input: [Primary Feature Tested] acyclic Invalid [Microsoft Result] Invalid Invalid InvalidCyclesWithAcyclicReferences (row 2) acyclic\InValidCycle.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if an instance of an acyclic type CT references itself. [Eclipse COSMOS Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Invalid [Microsoft Result] Invalid Invalid InvalidCyclesWithAcyclicReferences (row 3) acyclic\InValidCycleAbstract.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if instances of an element type CT derived from the abstract acyclic element type CT' form a cycle. [Eclipse COSMOS Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Invalid [Microsoft Result] Invalid Invalid InvalidCyclesWithAcyclicReferences (row 4) acyclic\InValidCycleAnonymous.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if instances of the acyclic anonymous type CT form a cycle [Eclipse COSMOS Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Invalid [Microsoft Result] Invalid Invalid InvalidCyclesWithAcyclicReferences (row 5) acyclic\InValidCycleByExtension.xml Revision 1.3 CVS Log [Test Case Description] A model is invalid if instances of an acyclic element type CT (or derived types by restriction) create a cycle [Eclipse COSMOS Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Invalid [Microsoft Result] Invalid Invalid InvalidCyclesWithAcyclicReferences (row 6) acyclic\InValidCycleByRestriction.xml Revision 1.3 CVS Log [Test Case Description] A model is invalid if instances of an acyclic element type CT (or derived types by restriction) create a cycle [Eclipse COSMOS Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Invalid [Microsoft Result] Invalid Invalid InvalidDerivationWithAcyclicAttribute (row 7) acyclic\InValidDerivation.xml Revision 1.14 CVS Log [Test Case Description] 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? [Eclipse COSMOS Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Microsoft Result] Valid Valid ValidateAcyclicDefinition (row 8) acyclic\ValidateDefinition.xml Revision 1.10 CVS Log [Test Case Description] This test returns a warning if the sml:acyclic attribute is defined on an element declaration [Eclipse COSMOS Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Microsoft Result] Valid Valid ValidCyclesWithAcyclicReference2 (row 9) acyclic\ValidCycle.xml Revision 1.2 CVS Log [Test Case Description] 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 [Eclipse COSMOS Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Microsoft Result] Valid Valid InvalidCyclesWithAcyclicReferences (row 10) acyclic\ValidCycleNoReference.xml Revision 1.3 CVS Log [Test Case Description] 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) [Eclipse COSMOS Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Microsoft Result] Valid Valid InvalidCyclesWithAcyclicReferences (row 11) acyclic\ValidCycleNullReference.xml Revision 1.3 CVS Log [Test Case Description] 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) [Eclipse COSMOS Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Microsoft Result] Valid Valid ValidCycles3 (row 12) acyclic\ValidCycleVariation.xml Revision 1.3 CVS Log [Test Case Description] This test verifies that it is valid to create cycles within documents, as long as instances of acyclic references do not create cycles. [Eclipse COSMOS Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Microsoft Result] Valid Valid ValidDerivationWithAcyclicAttribute (row 13) acyclic\ValidDerivation.xml Revision 1.13 CVS Log [Test Case Description] 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? [Eclipse COSMOS Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Microsoft Result] Valid Valid ValidCyclesWithAcyclicReference1 (row 14) acyclic\ValidMultipleAcyclics.xml Revision 1.2 CVS Log [Test Case Description] 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 [Eclipse COSMOS Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Microsoft Result] Valid Valid ValidUnresolvedReference (row 15) acyclic\ValidUnresolvedReference.xml Revision 1.3 CVS Log [Test Case Description] A model is valid if an element instance with sml:acyclic="true" references an unresolved document. [Eclipse COSMOS Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Base64 Invalid [Microsoft Result] Invalid Invalid Base64DTDEntity (row 16) base64\Base64DTDEntity.xml Revision 1.3 CVS Log [Test Case Description] 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. [Eclipse COSMOS Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Base64 Invalid [Microsoft Result] Invalid Invalid Base64DTDInvalidXML (row 17) base64\Base64DTDInvalidXML.xml Revision 1.3 CVS Log [Test Case Description] 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. [Eclipse COSMOS Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Base64 Invalid [Microsoft Result] Invalid Invalid Base64DTDMissingEntities (row 18) base64\Base64DTDMissingEntities.xml Revision 1.2 CVS Log [Test Case Description] 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. [Eclipse COSMOS Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Base64 Valid [Microsoft Result] Valid Valid Base64EncodedDoc (row 19) base64\Base64EncodedDoc.xml Revision 1.6 CVS Log [Test Case Description] An instance document is base64 encoded. [Eclipse COSMOS Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Base64 Valid [Microsoft Result] Valid Valid Base64EncodedDocs (row 20) base64\Base64EncodedDocs.xml Revision 1.4 CVS Log [Test Case Description] 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 [Eclipse COSMOS Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Base64 Valid [Microsoft Result] Valid Valid Base64EncodedSchema (row 21) base64\Base64EncodedSchema.xml Revision 1.5 CVS Log [Test Case Description] 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 [Eclipse COSMOS Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case