in folly/experimental/JSONSchema.cpp [659:819]
void SchemaValidator::loadSchema(
SchemaValidatorContext& context, const dynamic& schema) {
if (!schema.isObject() || schema.empty()) {
return;
}
// Check for $ref, if we have one we won't apply anything else. Refs are
// pointers to other parts of the json, e.g. #/foo/bar points to the schema
// located at root["foo"]["bar"].
if (const auto* p = schema.get_ptr("$ref")) {
// We only support absolute refs, i.e. those starting with '#'
if (p->isString() && p->stringPiece()[0] == '#') {
auto it = context.refs.find(p->getString());
if (it != context.refs.end()) {
validators_.emplace_back(std::make_unique<RefValidator>(it->second));
return;
}
// This is a ref, but we haven't loaded it yet. Find where it is based on
// the root schema.
std::vector<std::string> parts;
split("/", p->stringPiece(), parts);
const auto* s = &context.schema; // First part is '#'
for (size_t i = 1; s && i < parts.size(); ++i) {
// Per the standard, we must replace ~1 with / and then ~0 with ~
boost::replace_all(parts[i], "~1", "/");
boost::replace_all(parts[i], "~0", "~");
if (s->isObject()) {
s = s->get_ptr(parts[i]);
continue;
}
if (s->isArray()) {
try {
const size_t pos = to<size_t>(parts[i]);
if (pos < s->size()) {
s = s->get_ptr(pos);
continue;
}
} catch (const std::range_error&) {
// ignore
}
}
break;
}
// If you have a self-recursive reference, this avoids getting into an
// infinite recursion, where we try to load a schema that just references
// itself, and then we try to load it again, and so on.
// Instead we load a pointer to the schema into the refs, so that any
// future references to it will just see that pointer and won't try to
// keep parsing further.
if (s) {
auto v = std::make_unique<SchemaValidator>();
context.refs[p->getString()] = v.get();
v->loadSchema(context, *s);
validators_.emplace_back(std::move(v));
return;
}
}
}
// Numeric validators
if (const auto* p = schema.get_ptr("multipleOf")) {
validators_.emplace_back(std::make_unique<MultipleOfValidator>(*p));
}
if (const auto* p = schema.get_ptr("maximum")) {
validators_.emplace_back(std::make_unique<ComparisonValidator>(
*p,
schema.get_ptr("exclusiveMaximum"),
ComparisonValidator::Type::MAX));
}
if (const auto* p = schema.get_ptr("minimum")) {
validators_.emplace_back(std::make_unique<ComparisonValidator>(
*p,
schema.get_ptr("exclusiveMinimum"),
ComparisonValidator::Type::MIN));
}
// String validators
if (const auto* p = schema.get_ptr("maxLength")) {
validators_.emplace_back(
std::make_unique<SizeValidator<std::greater_equal<int64_t>>>(
*p, dynamic::Type::STRING));
}
if (const auto* p = schema.get_ptr("minLength")) {
validators_.emplace_back(
std::make_unique<SizeValidator<std::less_equal<int64_t>>>(
*p, dynamic::Type::STRING));
}
if (const auto* p = schema.get_ptr("pattern")) {
validators_.emplace_back(std::make_unique<StringPatternValidator>(*p));
}
// Array validators
const auto* items = schema.get_ptr("items");
const auto* additionalItems = schema.get_ptr("additionalItems");
if (items || additionalItems) {
validators_.emplace_back(
std::make_unique<ArrayItemsValidator>(context, items, additionalItems));
}
if (const auto* p = schema.get_ptr("maxItems")) {
validators_.emplace_back(
std::make_unique<SizeValidator<std::greater_equal<int64_t>>>(
*p, dynamic::Type::ARRAY));
}
if (const auto* p = schema.get_ptr("minItems")) {
validators_.emplace_back(
std::make_unique<SizeValidator<std::less_equal<int64_t>>>(
*p, dynamic::Type::ARRAY));
}
if (const auto* p = schema.get_ptr("uniqueItems")) {
validators_.emplace_back(std::make_unique<ArrayUniqueValidator>(*p));
}
// Object validators
const auto* properties = schema.get_ptr("properties");
const auto* patternProperties = schema.get_ptr("patternProperties");
const auto* additionalProperties = schema.get_ptr("additionalProperties");
if (properties || patternProperties || additionalProperties) {
validators_.emplace_back(std::make_unique<PropertiesValidator>(
context, properties, patternProperties, additionalProperties));
}
if (const auto* p = schema.get_ptr("maxProperties")) {
validators_.emplace_back(
std::make_unique<SizeValidator<std::greater_equal<int64_t>>>(
*p, dynamic::Type::OBJECT));
}
if (const auto* p = schema.get_ptr("minProperties")) {
validators_.emplace_back(
std::make_unique<SizeValidator<std::less_equal<int64_t>>>(
*p, dynamic::Type::OBJECT));
}
if (const auto* p = schema.get_ptr("required")) {
validators_.emplace_back(std::make_unique<RequiredValidator>(*p));
}
// Misc validators
if (const auto* p = schema.get_ptr("dependencies")) {
validators_.emplace_back(
std::make_unique<DependencyValidator>(context, *p));
}
if (const auto* p = schema.get_ptr("enum")) {
validators_.emplace_back(std::make_unique<EnumValidator>(*p));
}
if (const auto* p = schema.get_ptr("type")) {
validators_.emplace_back(std::make_unique<TypeValidator>(*p));
}
if (const auto* p = schema.get_ptr("allOf")) {
validators_.emplace_back(std::make_unique<AllOfValidator>(context, *p));
}
if (const auto* p = schema.get_ptr("anyOf")) {
validators_.emplace_back(std::make_unique<AnyOfValidator>(
context, *p, AnyOfValidator::Type::ONE_OR_MORE));
}
if (const auto* p = schema.get_ptr("oneOf")) {
validators_.emplace_back(std::make_unique<AnyOfValidator>(
context, *p, AnyOfValidator::Type::EXACTLY_ONE));
}
if (const auto* p = schema.get_ptr("not")) {
validators_.emplace_back(std::make_unique<NotValidator>(context, *p));
}
}