Struct AllDefs

pub struct AllDefs { /* private fields */ }

Holds the sets of all entity type, common type, and action definitions (fully-qualified names) in all fragments.

Implementations

impl AllDefs

pub fn new<'a, N: 'a, A: 'a, I>(fragments: impl Fn() -> I) -> Self

where I: Iterator<Item = &'a ValidatorSchemaFragment<N, A>>,

Build the sets of all entity type, common type, and action definitions (fully-qualified names) in all fragments.

pub fn single_fragment<N, A>(fragment: &ValidatorSchemaFragment<N, A>) -> Self

Build an AllDefs assuming that the given fragment is the only fragment that exists. Any names referring to definitions in other fragments will not resolve properly.

pub fn is_defined_as_entity(&self, name: &InternalName) -> bool

Is the given (fully-qualified) InternalName defined as an entity type in any fragment?

pub fn is_defined_as_common(&self, name: &InternalName) -> bool

Is the given (fully-qualified) InternalName defined as a common type in any fragment?

pub fn is_defined_as_action(&self, euid: &EntityUID) -> bool

Is the given (fully-qualified) EntityUID defined as an action in any fragment?

pub fn mark_as_defined_as_common_type(&mut self, name: InternalName)

Mark the given InternalName as defined as a common type

pub fn rfc_70_shadowing_checks(&self) -> Result<()>

Return an error if the definitions in this AllDefs violate the restrictions specified in RFC 70.

RFC 70 disallows definitions of entity types, common types, and actions that would shadow definitions of other entity types, common types, or actions in the empty namespace.

Trait Implementations

impl Debug for AllDefs

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

Formats the value using the given formatter.