Struct jsonschema::JSONSchema

source ·
pub struct JSONSchema { /* private fields */ }
Expand description

The structure that holds a JSON Schema compiled into a validation tree

Implementations§

source§

impl JSONSchema

source

pub fn options() -> CompilationOptions

Return a default CompilationOptions that can configure JSONSchema compilaton flow.

Using options you will be able to configure the draft version to use during JSONSchema compilation

Example of usage:

let maybe_jsonschema: Result<JSONSchema, _> = JSONSchema::options()
    .with_draft(Draft::Draft7)
    .compile(&schema);
source

pub fn compile(schema: &Value) -> Result<JSONSchema, ValidationError<'_>>

Compile the input schema into a validation tree.

The method is equivalent to JSONSchema::options().compile(schema)

source

pub fn validate<'instance>( &'instance self, instance: &'instance Value ) -> Result<(), ErrorIterator<'instance>>

Run validation against instance and return an iterator over ValidationError in the error case.

source

pub fn is_valid(&self, instance: &Value) -> bool

Run validation against instance but return a boolean result instead of an iterator. It is useful for cases, where it is important to only know the fact if the data is valid or not. This approach is much faster, than validate.

source

pub const fn apply<'a, 'b>(&'a self, instance: &'b Value) -> Output<'a, 'b>

Apply the schema and return an Output. No actual work is done at this point, the evaluation of the schema is deferred until a method is called on the Output. This is because different output formats will have different performance characteristics.

Examples

“basic” output format

let schema_json = serde_json::json!({
    "title": "string value",
    "type": "string"
});
let instance = serde_json::json!{"some string"};
let schema = JSONSchema::options().compile(&schema_json).unwrap();
let output: BasicOutput = schema.apply(&instance).basic();
let output_json = serde_json::to_value(output).unwrap();
assert_eq!(output_json, serde_json::json!({
    "valid": true,
    "annotations": [
        {
            "keywordLocation": "",
            "instanceLocation": "",
            "annotations": {
                "title": "string value"
            }
        }
    ]
}));
source

pub fn draft(&self) -> Draft

The Draft which this schema was compiled against

source

pub fn config(&self) -> Arc<CompilationOptions>

The CompilationOptions that were used to compile this schema

Trait Implementations§

source§

impl Debug for JSONSchema

source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more