Struct cedar_policy_validator::SchemaFragment

pub struct SchemaFragment(pub HashMap<Option<Name>, NamespaceDefinition>);

A SchemaFragment describe the types for a given instance of Cedar. SchemaFragments are composed of Entity Types and Action Types. The schema fragment is split into multiple namespace definitions, eac including a namespace name which is applied to all entity types (and the implicit Action entity type for all actions) in the schema.

Tuple Fields

0: HashMap<Option<Name>, NamespaceDefinition>

Implementations

impl SchemaFragment

pub fn from_json_value(json: Value) -> Result<Self>

Create a SchemaFragment from a JSON value (which should be an object of the appropriate shape).

pub fn from_json_str(json: &str) -> Result<Self>

Create a SchemaFragment from a string containing JSON (which should be an object of the appropriate shape).

pub fn from_file(file: impl Read) -> Result<Self>

Create a SchemaFragment directly from a file containing a JSON object.

pub fn from_str_natural( src: &str, ) -> Result<(Self, impl Iterator<Item = SchemaWarning>), HumanSchemaError>

Parse the schema (in natural schema syntax) from a string

pub fn from_file_natural( file: impl Read, ) -> Result<(Self, impl Iterator<Item = SchemaWarning>), HumanSchemaError>

Parse the schema (in natural schema syntax) from a reader

pub fn as_natural_schema(&self) -> Result<String, ToHumanSchemaStrError>

Pretty print this SchemaFragment

Trait Implementations

impl Clone for SchemaFragment

fn clone(&self) -> SchemaFragment

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SchemaFragment

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SchemaFragment

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for SchemaFragment

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

Formats the value using the given formatter.

impl PartialEq for SchemaFragment

fn eq(&self, other: &SchemaFragment) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for SchemaFragment

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Custom serializer to ensure that None is mapped to the empty namespace

impl TryFrom<SchemaFragment> for ValidatorSchema

type Error = SchemaError

The type returned in the event of a conversion error.

fn try_from(frag: SchemaFragment) -> Result<ValidatorSchema>

Performs the conversion.

impl TryInto<ValidatorSchemaFragment> for SchemaFragment

type Error = SchemaError

The type returned in the event of a conversion error.

fn try_into(self) -> Result<ValidatorSchemaFragment>

Performs the conversion.

impl StructuralPartialEq for SchemaFragment