Mihaela Mihaljevic
380160cc2b
The two monolithic XSD content/identity rules only satisfied the OpenAPIKit validation idiom at the wrong granularity: no per-constraint removability, no isolable failing/near-miss tests. Split them into 32 named rules, each finding tagged at its origin and cached per XSDContext so the walk still runs once per document (the #101 decision against duplicating XSD's recursive type resolution still holds). Wired the streaming path's ID/IDREF and identity checks through the same framework instead of calling the validators imperatively, and added the unwrapAndLookup combinator the rule already named as required. Also includes the mandated repo-wide swiftformat/swiftlint pass.
25 lines
1.2 KiB
Swift
25 lines
1.2 KiB
Swift
/// The RELAX NG restrictions of spec sections 4.19 and 7, checked over the
|
|
/// compiled pattern algebra (refs resolved through the define table, elements
|
|
/// as context boundaries): prohibited paths (7.1), computable content types
|
|
/// (7.2), duplicate attributes (7.3), interleave constraints (7.4), the xmlns
|
|
/// name-class prohibition (4.16), and ref recursion not guarded by an element
|
|
/// (4.19).
|
|
enum RelaxNGRestrictions {
|
|
typealias Pattern = PureXML.Schema.Pattern
|
|
typealias NameClass = PureXML.Schema.NameClass
|
|
|
|
static func violation(start: Pattern, defines: [String: Pattern]) -> String? {
|
|
// Recursion detection runs on the raw patterns: it happens before the
|
|
// notAllowed normalization (4.19 precedes 4.20).
|
|
if let problem = RelaxNGRestrictionChecker(defines: defines).recursionProblem(start: start) {
|
|
return problem
|
|
}
|
|
let checker = RelaxNGRestrictionChecker(defines: defines.mapValues(RelaxNGRestrictionChecker.normalized))
|
|
let normalizedStart = RelaxNGRestrictionChecker.normalized(start)
|
|
if let problem = checker.startProblem(normalizedStart) {
|
|
return problem
|
|
}
|
|
return checker.elementProblems(normalizedStart)
|
|
}
|
|
}
|