mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
35fb5d5953
* fix: update bindings and builtins for breaking dependency upgrades - Update rand 0.10 API: use RngExt trait instead of removed Rng trait - Update jsonschema 0.45 API: replace removed BasicOutput/apply with iter_errors for schema validation - Update jni 0.22 API: migrate from deprecated JNIEnv to EnvUnowned with_env pattern, replace deprecated get_string/new_string/throw methods with their modern equivalents - Update pyo3 0.28 API: replace removed PyObject with Py<PyAny>, deprecated downcast with cast, and removed with_gil with attach Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com> * ci(dependabot): create per-dependency PRs for Cargo updates Remove the groups.rust-dependencies catch-all group so Dependabot opens a separate PR for each Cargo dependency update instead of bundling them all into a single PR. Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com> * fix: enable getrandom wasm_js feature for wasm32-unknown-unknown builds Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com> * fix: address PR review comments - Stream iter_errors directly into BTreeSet without intermediate Vec - Use JNI_TRUE/JNI_FALSE for jboolean instead of bool coercion Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com> --------- Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
63 lines
2.0 KiB
Rust
63 lines
2.0 KiB
Rust
// Copyright (c) Microsoft Corporation.
|
|
// Licensed under the MIT License.
|
|
|
|
#![allow(
|
|
clippy::expect_used,
|
|
clippy::missing_const_for_fn,
|
|
clippy::option_if_let_else
|
|
)] // meta schema loader expects static resources
|
|
#![allow(dead_code)]
|
|
use crate::*;
|
|
use lazy_static::lazy_static;
|
|
|
|
const META_SCHEMA: &str = include_str!("meta.schema.json");
|
|
|
|
lazy_static! {
|
|
/// Lazy static JSON Schema validator for the Regorus meta-schema.
|
|
/// This validator is initialized once and can be used to validate
|
|
/// any schema definition against the Regorus meta-schema format.
|
|
static ref META_SCHEMA_VALIDATOR: jsonschema::Validator = {
|
|
let meta_schema_json: serde_json::Value = serde_json::from_str(META_SCHEMA)
|
|
.expect("META_SCHEMA should be valid JSON");
|
|
|
|
jsonschema::validator_for(&meta_schema_json)
|
|
.expect("META_SCHEMA should be a valid JSON Schema")
|
|
};
|
|
}
|
|
|
|
pub fn get_meta_schema() -> &'static str {
|
|
META_SCHEMA
|
|
}
|
|
|
|
/// Validates a schema definition against the Regorus meta-schema.
|
|
/// Returns true if the schema is valid, false otherwise.
|
|
pub fn validate_schema(schema: &serde_json::Value) -> bool {
|
|
META_SCHEMA_VALIDATOR.is_valid(schema)
|
|
}
|
|
|
|
/// Validates a schema definition against the Regorus meta-schema.
|
|
/// Returns Ok(()) if valid, or Err with validation errors if invalid.
|
|
pub fn validate_schema_detailed(schema: &serde_json::Value) -> Result<(), Vec<String>> {
|
|
let msgs: alloc::collections::BTreeSet<String> = META_SCHEMA_VALIDATOR
|
|
.iter_errors(schema)
|
|
.map(|e| format!("{}: {}", e.instance_path(), e))
|
|
.collect();
|
|
if !msgs.is_empty() {
|
|
return Err(msgs.into_iter().collect());
|
|
}
|
|
|
|
Ok(())
|
|
}
|
|
|
|
/// Validates a schema definition from a JSON string.
|
|
/// Returns true if the schema is valid, false otherwise.
|
|
pub fn validate_schema_str(schema_str: &str) -> bool {
|
|
match serde_json::from_str::<serde_json::Value>(schema_str) {
|
|
Ok(schema) => validate_schema(&schema),
|
|
Err(_) => false, // Invalid JSON
|
|
}
|
|
}
|
|
|
|
#[cfg(test)]
|
|
mod tests;
|