Struct DataValidator 

pub struct DataValidator { /* private fields */ }

Validator for JSON data against Cedar type constraints.

Provides comprehensive validation including type checking, size limits, and format validation for extension types.

Implementations

impl DataValidator

pub fn new() -> Self

Create a new validator with default configuration.

pub fn with_config(config: ValidationConfig) -> Self

Create a validator with custom configuration.

pub fn with_max_depth(self, max_depth: usize) -> Self

Set maximum nesting depth.

pub fn with_max_string_length(self, max_length: usize) -> Self

Set maximum string length.

pub fn with_max_array_length(self, max_length: usize) -> Self

Set maximum array length.

pub fn with_max_object_keys(self, max_keys: usize) -> Self

Set maximum object keys.

pub fn with_strict_extensions(self, strict: bool) -> Self

Enable strict extension format validation.

pub fn collect_all_errors(self, collect: bool) -> Self

Enable collecting all errors instead of failing fast.

pub fn validate(&self, value: &Value) -> Result<(), ValidationError>

Validate a JSON value for Cedar compatibility.

If collect_all_errors is set in the config, this will collect all errors before returning. Otherwise, it fails fast on the first error.

Panics

This function will not panic. The expect call is guarded by a length check.

pub fn validate_detailed(&self, value: &Value) -> ValidationResult

Validate a value and get a detailed result.

pub fn validate_type( &self, value: &Value, expected: CedarType, ) -> Result<(), ValidationError>

Validate that a value matches an expected Cedar type.

pub fn validate_extension( &self, value: &str, extension_type: &str, ) -> Result<(), ValidationError>

Validate an extension value format.

Supports all Cedar extension types:

• ipaddr / ip: IP addresses and CIDR ranges
• decimal: Fixed-precision decimal numbers
• datetime: ISO 8601 / RFC 3339 timestamps
• duration: Duration strings (e.g., “2h30m”)

pub fn sanitize(&self, value: &Value) -> Value

Sanitize a value by removing null fields and invalid characters.

Returns a new value with:

• Null values removed from objects
• Null values in arrays replaced with empty strings
• Control characters removed from strings

Trait Implementations

impl Clone for DataValidator

fn clone(&self) -> DataValidator

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DataValidator

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for DataValidator

fn default() -> Self

Returns the “default value” for a type.