Software /
code /
prosody
File
util/jsonschema.lua @ 11443:a526abef61e6
util.jsonschema: Implement the "prefixItems" keyword
This may have been what got me confused about "items" being an array.
author | Kim Alvefur <zash@zash.se> |
---|---|
date | Tue, 09 Mar 2021 02:36:08 +0100 |
parent | 11442:95f0d77175ca |
child | 11444:b3a903032611 |
line wrap: on
line source
local schema_t = {xml_t = {}} local type_e = schema_t.type_e local type_validators = {} local function simple_validate(schema, data) if schema == "object" and type(data) == "table" then return type(data) == "table" and (next(data) == nil or type((next(data, nil))) == "string") elseif schema == "array" and type(data) == "table" then return type(data) == "table" and (next(data) == nil or type((next(data, nil))) == "number") elseif schema == "integer" then return math.type(data) == schema else return type(data) == schema end end type_validators.string = function(schema, data) if type(data) == "string" then if schema.maxLength and #data > schema.maxLength then return false end if schema.minLength and #data < schema.minLength then return false end return true end return false end type_validators.number = function(schema, data) if schema.multipleOf and data % schema.multipleOf ~= 0 then return false end if schema.maximum and not (data <= schema.maximum) then return false end if schema.exclusiveMaximum and not (data < schema.exclusiveMaximum) then return false end if schema.minimum and not (data >= schema.minimum) then return false end if schema.exclusiveMinimum and not (data > schema.exclusiveMinimum) then return false end return true end type_validators.integer = type_validators.number local function validate(schema, data) if type(schema) == "boolean" then return schema end if type(schema) == "string" then return simple_validate(schema, data) end if type(schema) == "table" then if schema.allOf then for _, sub in ipairs(schema.allOf) do if not validate(sub, data) then return false end end return true end if schema.oneOf then local valid = 0 for _, sub in ipairs(schema.oneOf) do if validate(sub, data) then valid = valid + 1 end end return valid == 1 end if schema.anyOf then for _, sub in ipairs(schema.anyOf) do if validate(sub, data) then return true end end return false end if schema["not"] then if validate(schema["not"], data) then return false end end if schema["if"] then if validate(schema["if"], data) then if schema["then"] then return validate(schema["then"], data) end else if schema["else"] then return validate(schema["else"], data) end end end if not simple_validate(schema.type, data) then return false end if schema.const ~= nil and schema.const ~= data then return false end if schema.enum ~= nil then for _, v in ipairs(schema.enum) do if v == data then return true end end return false end local validator = type_validators[schema.type] if not validator then return true end return validator(schema, data) end end type_validators.table = function(schema, data) if type(data) == "table" then if schema.maxItems and #data > schema.maxItems then return false end if schema.minItems and #data < schema.minItems then return false end if schema.required then for _, k in ipairs(schema.required) do if data[k] == nil then return false end end end if schema.properties then for k, s in pairs(schema.properties) do if data[k] ~= nil then if not validate(s, data[k]) then return false end end end end if schema.additionalProperties then for k, v in pairs(data) do if type(k) == "string" then if not (schema.properties and schema.properties[k]) then if not validate(schema.additionalProperties, v) then return false end end end end elseif schema.properties then for k in pairs(data) do if type(k) == "string" then if schema.properties[k] == nil then return false end end end end if schema.uniqueItems then local values = {} for _, v in pairs(data) do if values[v] then return false end values[v] = true end return true end local p = 0 if schema.prefixItems then for i, s in ipairs(schema.prefixItems) do if validate(s, data[i]) then p = i else return false end end end if schema.items then for i = p + 1, #data do if not validate(schema.items, data[i]) then return false end end end if schema.contains then local found = false for i = 1, #data do if validate(schema.contains, data[i]) then found = true break end end if not found then return false end end return true end return false end type_validators.object = function(schema, data) if type(data) == "table" then for k in pairs(data) do if not (type(k) == "string") then return false end end return type_validators.table(schema, data) end return false end type_validators.array = function(schema, data) if type(data) == "table" then for i in pairs(data) do if not (type(i) == "number") then return false end end return type_validators.table(schema, data) end return false end return {validate = validate; schema_t = schema_t}