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).
87 lines
5.3 KiB
Swift
87 lines
5.3 KiB
Swift
import Testing
|
|
@testable import PureXML
|
|
|
|
@Suite("XSD all-group placement (cos-all-limited)")
|
|
struct SchemaAllGroupPlacementTests {
|
|
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("An all-group referenced inside a compositor is rejected; as the whole content it compiles")
|
|
func test_allGroupReferencePlacement() {
|
|
let allGroup = "<xs:group name=\"g\"><xs:all><xs:element name=\"a\"/></xs:all></xs:group>"
|
|
// Referenced inside a sequence: the all is not the whole content model.
|
|
#expect(!compiles(allGroup + "<xs:complexType name=\"T\"><xs:sequence>"
|
|
+ "<xs:element name=\"b\"/><xs:group ref=\"g\"/></xs:sequence></xs:complexType>"))
|
|
// Referenced inside a choice: likewise rejected.
|
|
#expect(!compiles(allGroup + "<xs:complexType name=\"T\"><xs:choice>"
|
|
+ "<xs:group ref=\"g\"/></xs:choice></xs:complexType>"))
|
|
// Referenced as the whole content model: valid.
|
|
#expect(compiles(allGroup + "<xs:complexType name=\"T\"><xs:group ref=\"g\"/></xs:complexType>"))
|
|
}
|
|
|
|
@Test("A non-all group referenced inside a compositor is fine")
|
|
func test_nonAllGroupReferenceAccepted() {
|
|
let group = "<xs:group name=\"g\"><xs:sequence><xs:element name=\"a\"/></xs:sequence></xs:group>"
|
|
#expect(compiles(group + "<xs:complexType name=\"T\"><xs:sequence>"
|
|
+ "<xs:group ref=\"g\"/></xs:sequence></xs:complexType>"))
|
|
}
|
|
|
|
/// p-props-correct.1: minOccurs may not exceed maxOccurs, both defaulting to 1.
|
|
/// A model group with `minOccurs="2"` and no `maxOccurs` means 2 > 1 and is
|
|
/// invalid; `maxOccurs="0"` with no `minOccurs` means 1 > 0 and is invalid.
|
|
@Test("minOccurs may not exceed maxOccurs on a model group")
|
|
func test_occurrenceRangeOnModelGroups() {
|
|
func ct(_ inner: String) -> String {
|
|
"<xs:complexType name=\"T\">\(inner)</xs:complexType>"
|
|
}
|
|
// minOccurs="2" with an absent (default 1) maxOccurs is 2 > 1.
|
|
#expect(!compiles(ct("<xs:sequence minOccurs=\"2\"><xs:element name=\"e\"/></xs:sequence>")))
|
|
#expect(!compiles(ct("<xs:choice minOccurs=\"2\"><xs:element name=\"e\"/></xs:choice>")))
|
|
#expect(!compiles(ct("<xs:sequence minOccurs=\"999999999\"><xs:element name=\"e\"/></xs:sequence>")))
|
|
// An explicit, well-ordered range stays valid; unbounded is never exceeded.
|
|
#expect(compiles(ct("<xs:sequence minOccurs=\"2\" maxOccurs=\"4\"><xs:element name=\"e\"/></xs:sequence>")))
|
|
#expect(compiles(ct("<xs:choice minOccurs=\"2\" maxOccurs=\"unbounded\"><xs:element name=\"e\"/></xs:choice>")))
|
|
#expect(compiles(ct("<xs:sequence><xs:element name=\"e\" minOccurs=\"0\"/></xs:sequence>")))
|
|
}
|
|
|
|
/// cos-all-limited clause 2: an all group's maxOccurs must be 1 and its minOccurs
|
|
/// 0 or 1, and every particle it contains has maxOccurs 0 or 1.
|
|
@Test("an all group's occurrence is limited to 0/1")
|
|
func test_allGroupOccurrenceLimited() {
|
|
func ct(_ inner: String) -> String {
|
|
"<xs:complexType name=\"T\">\(inner)</xs:complexType>"
|
|
}
|
|
#expect(!compiles(ct("<xs:all minOccurs=\"2\"><xs:element name=\"e\"/></xs:all>")))
|
|
#expect(!compiles(ct("<xs:all maxOccurs=\"0\"><xs:element name=\"e\"/></xs:all>")))
|
|
#expect(!compiles(ct("<xs:all minOccurs=\"0\" maxOccurs=\"0\"><xs:element name=\"e\"/></xs:all>")))
|
|
#expect(!compiles(ct("<xs:all maxOccurs=\"unbounded\"><xs:element name=\"e\"/></xs:all>")))
|
|
#expect(!compiles(ct("<xs:all><xs:element name=\"e\" maxOccurs=\"2\"/></xs:all>")))
|
|
// minOccurs 0 or 1 with the default maxOccurs of 1 is valid.
|
|
#expect(compiles(ct("<xs:all minOccurs=\"0\"><xs:element name=\"e\"/></xs:all>")))
|
|
#expect(compiles(ct("<xs:all><xs:element name=\"e\" minOccurs=\"0\"/></xs:all>")))
|
|
}
|
|
|
|
/// An imported namespace may define an all-group whose local name collides with
|
|
/// a *non-all* group in this schema's own target namespace. A reference to the
|
|
/// local group inside a compositor resolves to this target namespace and is
|
|
/// therefore valid: the all-group lives in a different namespace and is not the
|
|
/// referent. All-group names are tracked per defining namespace, so the
|
|
/// collision must not cause the valid local reference to be rejected.
|
|
@Test("An imported all-group does not shadow a same-named local non-all group")
|
|
func test_importedAllGroupDoesNotShadowLocalNonAll() {
|
|
let imported = "<xs:schema \(xsd) targetNamespace=\"urn:imp\">"
|
|
+ "<xs:group name=\"g\"><xs:all><xs:element name=\"a\"/></xs:all></xs:group>"
|
|
+ "</xs:schema>"
|
|
let main = "<xs:schema \(xsd) targetNamespace=\"urn:main\" xmlns=\"urn:main\" xmlns:imp=\"urn:imp\">"
|
|
+ "<xs:import namespace=\"urn:imp\" schemaLocation=\"imp.xsd\"/>"
|
|
+ "<xs:group name=\"g\"><xs:sequence><xs:element name=\"x\"/></xs:sequence></xs:group>"
|
|
+ "<xs:complexType name=\"T\"><xs:sequence><xs:group ref=\"g\"/></xs:sequence></xs:complexType>"
|
|
+ "</xs:schema>"
|
|
let document = try? PureXML.Schema.Document(main, schemaLoader: { $0 == "imp.xsd" ? imported : nil })
|
|
#expect(document != nil)
|
|
}
|
|
}
|