174 lines
5.6 KiB
Rust
174 lines
5.6 KiB
Rust
use crate::{
|
|
compilation::{context::CompilationContext, JSONSchema},
|
|
error::{error, no_error, ErrorIterator, ValidationError},
|
|
keywords::CompilationResult,
|
|
paths::{InstancePath, JSONPointer},
|
|
primitive_type::PrimitiveType,
|
|
validator::Validate,
|
|
};
|
|
use num_cmp::NumCmp;
|
|
use serde_json::{Map, Value};
|
|
|
|
pub(crate) struct ExclusiveMaximumU64Validator {
|
|
limit: u64,
|
|
limit_val: Value,
|
|
schema_path: JSONPointer,
|
|
}
|
|
pub(crate) struct ExclusiveMaximumI64Validator {
|
|
limit: i64,
|
|
limit_val: Value,
|
|
schema_path: JSONPointer,
|
|
}
|
|
pub(crate) struct ExclusiveMaximumF64Validator {
|
|
limit: f64,
|
|
limit_val: Value,
|
|
schema_path: JSONPointer,
|
|
}
|
|
|
|
macro_rules! validate {
|
|
($validator: ty) => {
|
|
impl Validate for $validator {
|
|
fn validate<'a, 'b>(
|
|
&self,
|
|
schema: &'a JSONSchema,
|
|
instance: &'b Value,
|
|
instance_path: &InstancePath,
|
|
) -> ErrorIterator<'b> {
|
|
if self.is_valid(schema, instance) {
|
|
no_error()
|
|
} else {
|
|
error(ValidationError::exclusive_maximum(
|
|
self.schema_path.clone(),
|
|
instance_path.into(),
|
|
instance,
|
|
self.limit_val.clone(),
|
|
))
|
|
}
|
|
}
|
|
|
|
fn is_valid(&self, _: &JSONSchema, instance: &Value) -> bool {
|
|
if let Value::Number(item) = instance {
|
|
if let Some(item) = item.as_u64() {
|
|
NumCmp::num_lt(item, self.limit)
|
|
} else if let Some(item) = item.as_i64() {
|
|
NumCmp::num_lt(item, self.limit)
|
|
} else {
|
|
let item = item.as_f64().expect("Always valid");
|
|
NumCmp::num_lt(item, self.limit)
|
|
}
|
|
} else {
|
|
true
|
|
}
|
|
}
|
|
}
|
|
impl core::fmt::Display for $validator {
|
|
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
|
|
write!(f, "exclusiveMaximum: {}", self.limit)
|
|
}
|
|
}
|
|
};
|
|
}
|
|
|
|
validate!(ExclusiveMaximumU64Validator);
|
|
validate!(ExclusiveMaximumI64Validator);
|
|
|
|
impl Validate for ExclusiveMaximumF64Validator {
|
|
fn is_valid(&self, _: &JSONSchema, instance: &Value) -> bool {
|
|
if let Value::Number(item) = instance {
|
|
if let Some(item) = item.as_u64() {
|
|
NumCmp::num_lt(item, self.limit)
|
|
} else if let Some(item) = item.as_i64() {
|
|
NumCmp::num_lt(item, self.limit)
|
|
} else {
|
|
let item = item.as_f64().expect("Always valid");
|
|
NumCmp::num_lt(item, self.limit)
|
|
}
|
|
} else {
|
|
true
|
|
}
|
|
}
|
|
|
|
fn validate<'a, 'b>(
|
|
&self,
|
|
schema: &'a JSONSchema,
|
|
instance: &'b Value,
|
|
instance_path: &InstancePath,
|
|
) -> ErrorIterator<'b> {
|
|
if self.is_valid(schema, instance) {
|
|
no_error()
|
|
} else {
|
|
error(ValidationError::exclusive_maximum(
|
|
self.schema_path.clone(),
|
|
instance_path.into(),
|
|
instance,
|
|
self.limit_val.clone(),
|
|
))
|
|
}
|
|
}
|
|
}
|
|
impl core::fmt::Display for ExclusiveMaximumF64Validator {
|
|
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
|
|
write!(f, "exclusiveMaximum: {}", self.limit)
|
|
}
|
|
}
|
|
|
|
#[inline]
|
|
pub(crate) fn compile<'a>(
|
|
_: &'a Map<String, Value>,
|
|
schema: &'a Value,
|
|
context: &CompilationContext,
|
|
) -> Option<CompilationResult<'a>> {
|
|
if let Value::Number(limit) = schema {
|
|
let schema_path = context.as_pointer_with("exclusiveMaximum");
|
|
if let Some(limit) = limit.as_u64() {
|
|
Some(Ok(Box::new(ExclusiveMaximumU64Validator {
|
|
limit,
|
|
limit_val: (*schema).clone(),
|
|
schema_path,
|
|
})))
|
|
} else if let Some(limit) = limit.as_i64() {
|
|
Some(Ok(Box::new(ExclusiveMaximumI64Validator {
|
|
limit,
|
|
limit_val: (*schema).clone(),
|
|
schema_path,
|
|
})))
|
|
} else {
|
|
let limit = limit.as_f64().expect("Always valid");
|
|
Some(Ok(Box::new(ExclusiveMaximumF64Validator {
|
|
limit,
|
|
limit_val: (*schema).clone(),
|
|
schema_path,
|
|
})))
|
|
}
|
|
} else {
|
|
Some(Err(ValidationError::single_type_error(
|
|
JSONPointer::default(),
|
|
context.clone().into_pointer(),
|
|
schema,
|
|
PrimitiveType::Number,
|
|
)))
|
|
}
|
|
}
|
|
|
|
#[cfg(test)]
|
|
mod tests {
|
|
use crate::tests_util;
|
|
use serde_json::{json, Value};
|
|
use test_case::test_case;
|
|
|
|
#[test_case(&json!({"exclusiveMaximum": 1_u64 << 54}), &json!(1_u64 << 54))]
|
|
#[test_case(&json!({"exclusiveMaximum": 1_i64 << 54}), &json!(1_i64 << 54))]
|
|
#[test_case(&json!({"exclusiveMaximum": 1_u64 << 54}), &json!((1_u64 << 54) + 1))]
|
|
#[test_case(&json!({"exclusiveMaximum": 1_i64 << 54}), &json!((1_i64 << 54) + 1))]
|
|
fn is_not_valid(schema: &Value, instance: &Value) {
|
|
tests_util::is_not_valid(schema, instance)
|
|
}
|
|
|
|
#[test_case(&json!({"exclusiveMaximum": 5}), &json!(7), "/exclusiveMaximum")]
|
|
#[test_case(&json!({"exclusiveMaximum": -1}), &json!(7), "/exclusiveMaximum")]
|
|
#[test_case(&json!({"exclusiveMaximum": -1.0}), &json!(7), "/exclusiveMaximum")]
|
|
fn schema_path(schema: &Value, instance: &Value, expected: &str) {
|
|
tests_util::assert_schema_path(schema, instance, expected)
|
|
}
|
|
}
|