Mihaela Mihaljevic
bf2dc4ece7
The validation module already implemented the composable-rule idiom under its own names (Check/Issue/SubjectContext) and a value-type Validator with duplicated traversal machinery per layer. Renamed the core types to the canonical names (Validation/ValidationError/ValidationErrorCollection/ ValidationContext/BuiltinValidation/AnyValidation), converted Validator to a reference-type class with the two-tier default-rule split, and genericized it over both Subject and Document via a new Traversable protocol so the model and tagged layers share one walk engine instead of two copies. Wired the JSON-representability rule set into the same shape and closed the two missing pieces (unwrap combinator, JSON coverage/config-pin tests).
74 lines
3.2 KiB
Swift
74 lines
3.2 KiB
Swift
import PureYAML
|
|
@testable import PureYAMLJSON
|
|
import Testing
|
|
|
|
@Suite("JSON representability rules")
|
|
struct JSONRuleTests {
|
|
private func mapping(_ pairs: [PureYAML.Model.Pair]) -> PureYAML.Model.Value {
|
|
.mapping(.init(pairs))
|
|
}
|
|
|
|
@Test("mappingKeysAreStrings fails on a complex key")
|
|
func test_mappingKeysAreStrings_fails() {
|
|
let document = mapping([.init(keyNode: .sequence([.int(1)]), value: .int(2))])
|
|
let issues = PureYAML.Validation
|
|
.Validator<
|
|
PureYAML.Model.Value,
|
|
PureYAML.Model.Value
|
|
>(nonReferenceDefaultValidations: [PureYAML.Validation.AnyValidation(PureYAML.Validation.BuiltinValidation.mappingKeysAreStrings)])
|
|
.collect(document).values
|
|
#expect(issues.count == 1)
|
|
#expect(issues.first?.reason == "Mapping key '[1]' is not a string")
|
|
}
|
|
|
|
@Test("mappingKeysAreStrings passes when every key is a string")
|
|
func test_mappingKeysAreStrings_passes() {
|
|
let document = mapping([.init(key: "a", value: .int(1))])
|
|
let issues = PureYAML.Validation
|
|
.Validator<
|
|
PureYAML.Model.Value,
|
|
PureYAML.Model.Value
|
|
>(nonReferenceDefaultValidations: [PureYAML.Validation.AnyValidation(PureYAML.Validation.BuiltinValidation.mappingKeysAreStrings)])
|
|
.collect(document).values
|
|
#expect(issues.isEmpty)
|
|
}
|
|
|
|
@Test("numbersAreFinite fails on infinity at the value's path")
|
|
func test_numbersAreFinite_fails() {
|
|
let document = mapping([.init(key: "x", value: .double(.infinity))])
|
|
let issues = PureYAML.Validation
|
|
.Validator<
|
|
PureYAML.Model.Value,
|
|
PureYAML.Model.Value
|
|
>(nonReferenceDefaultValidations: [PureYAML.Validation.AnyValidation(PureYAML.Validation.BuiltinValidation.numbersAreFinite)]).collect(document)
|
|
.values
|
|
#expect(issues.count == 1)
|
|
#expect(issues.first?.reason == "Number 'inf' is not finite")
|
|
}
|
|
|
|
@Test("numbersAreFinite passes on a large finite double")
|
|
func test_numbersAreFinite_passes() {
|
|
let document = mapping([.init(key: "x", value: .double(.greatestFiniteMagnitude))])
|
|
let issues = PureYAML.Validation
|
|
.Validator<
|
|
PureYAML.Model.Value,
|
|
PureYAML.Model.Value
|
|
>(nonReferenceDefaultValidations: [PureYAML.Validation.AnyValidation(PureYAML.Validation.BuiltinValidation.numbersAreFinite)]).collect(document)
|
|
.values
|
|
#expect(issues.isEmpty)
|
|
}
|
|
|
|
@Test("The representability set catches a duplicate key")
|
|
func test_representability_catchesDuplicate() {
|
|
let document = mapping([.init(key: "a", value: .int(1)), .init(key: "a", value: .int(2))])
|
|
#expect(!PureYAML.JSON.Validator.isRepresentable(document))
|
|
}
|
|
|
|
@Test("A plain string-keyed finite tree is representable")
|
|
func test_representability_acceptsPlainTree() {
|
|
let document = mapping([.init(key: "a", value: .int(1)), .init(key: "b", value: .double(1.5))])
|
|
#expect(PureYAML.JSON.Validator.isRepresentable(document))
|
|
#expect(PureYAML.JSON.Validator.issues(for: document).isEmpty)
|
|
}
|
|
}
|