Mihaela Mihaljevic
83e6e27d12
Group @testable imports at the bottom, per public/rules-swift's swiftformat. A behavior-preserving import-ordering reformat across 252 files (mostly tests). --trailingclosures was deliberately not adopted (cosmetic, and swiftformat flags it as caution-worthy).
92 lines
4.3 KiB
Swift
92 lines
4.3 KiB
Swift
import Testing
|
|
@testable import PureXML
|
|
|
|
@Suite("XSD value constraint valid against a user type (e-props-correct.2 / a-props-correct.2)")
|
|
struct SchemaUserTypeValueConstraintTests {
|
|
private let xsd = "xmlns:xs=\"http://www.w3.org/2001/XMLSchema\""
|
|
|
|
private func compiles(_ body: String) -> Bool {
|
|
(try? PureXML.Schema.Document("<xs:schema \(xsd)>\(body)</xs:schema>")) != nil
|
|
}
|
|
|
|
@Test("A default invalid against a named simpleType's pattern is rejected")
|
|
func test_namedSimpleTypePatternRejected() {
|
|
#expect(!compiles(
|
|
"<xs:element name=\"e\" type=\"answer\" default=\"false\"/>"
|
|
+ "<xs:simpleType name=\"answer\"><xs:restriction base=\"xs:boolean\">"
|
|
+ "<xs:pattern value=\"true\"/></xs:restriction></xs:simpleType>",
|
|
))
|
|
}
|
|
|
|
@Test("A fixed invalid for a named simpleType restricting a built-in is rejected")
|
|
func test_namedSimpleTypeLexicalRejected() {
|
|
#expect(!compiles(
|
|
"<xs:element name=\"e\" type=\"Float\" fixed=\"1.0F-2\"/>"
|
|
+ "<xs:simpleType name=\"Float\"><xs:restriction base=\"xs:float\"/></xs:simpleType>",
|
|
))
|
|
}
|
|
|
|
@Test("A fixed invalid against a complexType's simpleContent base is rejected")
|
|
func test_simpleContentExtensionRejected() {
|
|
#expect(!compiles(
|
|
"<xs:element name=\"e\" type=\"answer\" fixed=\"Yes\"/>"
|
|
+ "<xs:complexType name=\"answer\"><xs:simpleContent>"
|
|
+ "<xs:extension base=\"xs:boolean\"><xs:attribute name=\"c\" type=\"xs:string\"/>"
|
|
+ "</xs:extension></xs:simpleContent></xs:complexType>",
|
|
))
|
|
}
|
|
|
|
@Test("A value valid for its user type compiles")
|
|
func test_validValueAccepted() {
|
|
// Matches the pattern.
|
|
#expect(compiles(
|
|
"<xs:element name=\"e\" type=\"answer\" default=\"true\"/>"
|
|
+ "<xs:simpleType name=\"answer\"><xs:restriction base=\"xs:boolean\">"
|
|
+ "<xs:pattern value=\"true\"/></xs:restriction></xs:simpleType>",
|
|
))
|
|
// Valid float.
|
|
#expect(compiles(
|
|
"<xs:element name=\"e\" type=\"Float\" fixed=\"1.0E-2\"/>"
|
|
+ "<xs:simpleType name=\"Float\"><xs:restriction base=\"xs:float\"/></xs:simpleType>",
|
|
))
|
|
// Valid against the simpleContent base.
|
|
#expect(compiles(
|
|
"<xs:element name=\"e\" type=\"answer\" fixed=\"true\"/>"
|
|
+ "<xs:complexType name=\"answer\"><xs:simpleContent>"
|
|
+ "<xs:extension base=\"xs:boolean\"/></xs:simpleContent></xs:complexType>",
|
|
))
|
|
}
|
|
|
|
/// A value valid for one of a union's member types must compile: the compiled
|
|
/// `SimpleType` validator admits any member, so no special-casing is needed.
|
|
@Test("A value valid for a union member compiles")
|
|
func test_unionMemberAccepted() {
|
|
#expect(compiles(
|
|
"<xs:element name=\"e\" type=\"U\" default=\"7\"/>"
|
|
+ "<xs:simpleType name=\"U\"><xs:union memberTypes=\"xs:boolean xs:integer\"/></xs:simpleType>",
|
|
))
|
|
}
|
|
|
|
/// A restriction whose base is an inline `<simpleType>` list must preserve the
|
|
/// list variety, so a `length` facet counts items and a list-valued default of
|
|
/// the right length is valid. Reading the base only from the `base` attribute
|
|
/// dropped the inline list, made the type an atomic string, and counted
|
|
/// characters, wrongly rejecting this schema.
|
|
@Test("A list-valued default on an inline-list-base restriction compiles")
|
|
func test_inlineListBaseRestrictionAccepted() {
|
|
#expect(compiles(
|
|
"<xs:element name=\"e\" type=\"l\" default=\"1 2 3\"/>"
|
|
+ "<xs:simpleType name=\"l\"><xs:restriction>"
|
|
+ "<xs:simpleType><xs:list itemType=\"xs:integer\"/></xs:simpleType>"
|
|
+ "<xs:length value=\"3\"/></xs:restriction></xs:simpleType>",
|
|
))
|
|
// The same type with a list of the wrong length is still correctly rejected.
|
|
#expect(!compiles(
|
|
"<xs:element name=\"e\" type=\"l\" default=\"1 2\"/>"
|
|
+ "<xs:simpleType name=\"l\"><xs:restriction>"
|
|
+ "<xs:simpleType><xs:list itemType=\"xs:integer\"/></xs:simpleType>"
|
|
+ "<xs:length value=\"3\"/></xs:restriction></xs:simpleType>",
|
|
))
|
|
}
|
|
}
|