Struct ValidatorSchema

pub struct ValidatorSchema { /* private fields */ }

Internal representation of the schema for use by the validator.

In this representation, all common types are fully expanded, and all entity type names are fully disambiguated (fully qualified).

Implementations

impl ValidatorSchema

pub fn principals(&self) -> impl Iterator<Item = &EntityType>

Returns an iterator over every entity type that can be a principal for any action in this schema

pub fn resources(&self) -> impl Iterator<Item = &EntityType>

Returns an iterator over every entity type that can be a resource for any action in this schema

pub fn principals_for_action( &self, action: &EntityUID, ) -> Option<impl Iterator<Item = &EntityType>>

Returns an iterator over every entity type that can be a principal for action in this schema

Errors

Returns None if action is not found in the schema

pub fn resources_for_action( &self, action: &EntityUID, ) -> Option<impl Iterator<Item = &EntityType>>

Returns an iterator over every entity type that can be a resource for action in this schema

Errors

Returns None if action is not found in the schema

pub fn ancestors<'a>( &'a self, ty: &'a EntityType, ) -> Option<impl Iterator<Item = &EntityType> + 'a>

Returns an iterator over all the entity types that can be a parent of ty

Errors

Returns None if the ty is not found in the schema

pub fn action_groups(&self) -> impl Iterator<Item = &EntityUID>

Returns an iterator over all the action groups defined in this schema

pub fn actions(&self) -> impl Iterator<Item = &EntityUID>

Returns an iterator over all actions defined in this schema

pub fn empty() -> ValidatorSchema

Create a ValidatorSchema without any definitions (of entity types, common types, or actions).

pub fn from_json_value(json: Value, extensions: &Extensions<'_>) -> Result<Self>

Construct a ValidatorSchema from a JSON value in the appropriate shape.

pub fn from_json_str(json: &str, extensions: &Extensions<'_>) -> Result<Self>

Construct a ValidatorSchema from a string containing JSON in the appropriate shape.

pub fn from_json_file( file: impl Read, extensions: &Extensions<'_>, ) -> Result<Self>

Construct a ValidatorSchema directly from a file containing JSON in the appropriate shape.

pub fn from_cedarschema_file<'a>( r: impl Read, extensions: &'a Extensions<'a>, ) -> Result<(Self, impl Iterator<Item = SchemaWarning> + 'a), CedarSchemaError>

Construct a ValidatorSchema directly from a file containing the Cedar schema syntax.

pub fn from_cedarschema_str<'a>( src: &str, extensions: &Extensions<'a>, ) -> Result<(Self, impl Iterator<Item = SchemaWarning> + 'a), CedarSchemaError>

Construct a ValidatorSchema from a string containing the Cedar schema syntax.

pub fn from_schema_fragments( fragments: impl IntoIterator<Item = ValidatorSchemaFragment<ConditionalName, ConditionalName>>, extensions: &Extensions<'_>, ) -> Result<ValidatorSchema>

Construct a ValidatorSchema from some number of ValidatorSchemaFragments.

pub fn get_action_id(&self, action_id: &EntityUID) -> Option<&ValidatorActionId>

Lookup the ValidatorActionId object in the schema with the given name.

pub fn get_entity_type<'a>( &'a self, entity_type_id: &EntityType, ) -> Option<&'a ValidatorEntityType>

Lookup the ValidatorEntityType object in the schema with the given name.

pub fn entity_types( &self, ) -> impl Iterator<Item = (&EntityType, &ValidatorEntityType)>

An iterator matching the entity Types to their Validator Types

pub fn context_type(&self, action: &EntityUID) -> Option<&Type>

Get the Type of context expected for the given action. This always returns a closed record type.

Returns None if the action is not in the schema.

pub fn action_entities(&self) -> Result<Entities, EntitiesError>

Construct an Entity object for each action in the schema

Trait Implementations

impl Clone for ValidatorSchema

fn clone(&self) -> ValidatorSchema

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValidatorSchema

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

Formats the value using the given formatter.

impl FromStr for ValidatorSchema

Construct ValidatorSchema from a string containing a schema formatted in the Cedar schema format.

type Err = CedarSchemaError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl RequestSchema for ValidatorSchema

type Error = RequestValidationError

Error type returned when a request fails validation

fn validate_request( &self, request: &Request, extensions: &Extensions<'_>, ) -> Result<(), Self::Error>

Validate the given request, returning Err if it fails validation

impl Serialize for ValidatorSchema

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<Fragment<RawName>> for ValidatorSchema

type Error = SchemaError

The type returned in the event of a conversion error.

fn try_from(frag: Fragment<RawName>) -> Result<ValidatorSchema>

Performs the conversion.