Struct DeclarationProjection 

pub struct DeclarationProjection { /* private fields */ }

The nominal declaration facet of one model.

Implementations

impl DeclarationProjection

pub fn new( parent: Option<TypeId>, value_type: Option<ValueTypeTag>, is_abstract: bool, is_constructible: bool, annotations: BTreeMap<AnnotationFactId, ProjectedAnnotation>, direct_fields: Vec<OwnsFactId>, direct_roles: BTreeMap<RoleId, DeclaredRoleProjection>, direct_plays: BTreeSet<PlaysFactId>, ) -> Result<Self, Diagnostic>

Construct one declaration facet from direct attachment identities.

pub fn with_direct_sub( self, direct_sub: Option<DirectSubProjection>, ) -> Result<Self, Diagnostic>

Attach the direct subtype identity, origin, and annotations.

pub fn with_value_annotations( self, annotations: BTreeMap<AnnotationFactId, ProjectedAnnotation>, ) -> Result<Self, Diagnostic>

Attach effective attribute-value constraints without changing legacy construction.

pub const fn parent(&self) -> Option<&TypeId>

Return the direct nominal parent.

pub const fn direct_sub(&self) -> Option<&DirectSubProjection>

Return the exact direct subtype declaration, if this model has a parent.

pub const fn value_type(&self) -> Option<ValueTypeTag>

Return an attribute’s effective scalar domain.

pub const fn is_abstract(&self) -> bool

Report abstractness.

pub const fn is_constructible(&self) -> bool

Report constructibility.

pub const fn annotations( &self, ) -> &BTreeMap<AnnotationFactId, ProjectedAnnotation>

Return effective type annotations.

pub const fn value_annotations( &self, ) -> &BTreeMap<AnnotationFactId, ProjectedAnnotation>

Return effective attribute-value constraints.

pub fn direct_fields(&self) -> &[OwnsFactId]

Return direct ownership attachment identities in semantic order.

pub const fn direct_roles(&self) -> &BTreeMap<RoleId, DeclaredRoleProjection>

Return direct role declarations.

pub const fn direct_plays(&self) -> &BTreeSet<PlaysFactId>

Return direct role-playing attachments.

Trait Implementations

impl Clone for DeclarationProjection

fn clone(&self) -> DeclarationProjection

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DeclarationProjection

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

Formats the value using the given formatter.

impl Eq for DeclarationProjection

impl PartialEq for DeclarationProjection

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for DeclarationProjection

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for DeclarationProjection