Struct ResolvedType 

pub struct ResolvedType { /* private fields */ }

Fully resolved type semantics, rebuilt only from direct facts.

Implementations

impl ResolvedType

pub const fn id(&self) -> &TypeId

Return the stable type identity.

pub fn supertypes(&self) -> &[TypeId]

Return transitive supertypes from nearest to furthest.

pub const fn subtypes(&self) -> &BTreeSet<TypeId>

Return all transitive subtypes.

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

Return the exact direct subtype edge, if this type declares a parent.

pub const fn annotations( &self, ) -> &BTreeMap<AnnotationKindId, SchemaAnnotationValue>

Return effective type annotations.

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

Return the effective attribute value domain, if this is an attribute.

pub const fn owns(&self) -> &BTreeMap<AttributeId, EffectiveOwns>

Return effective ownerships keyed by attribute identity.

pub const fn plays(&self) -> &BTreeMap<RoleId, EffectivePlays>

Return effective role-playing interfaces keyed by role identity.

pub const fn relates(&self) -> &BTreeMap<RoleId, EffectiveRelates>

Return effective related roles for relation types.

pub const fn key_attributes(&self) -> &BTreeSet<AttributeId>

Return effective key attributes.

pub const fn unique_attributes(&self) -> &BTreeSet<AttributeId>

Return effective unique attributes not implied solely by key.

pub fn owned_attribute_order(&self) -> &[AttributeId]

Return deterministic ownership order metadata.

pub const fn is_abstract(&self) -> bool

Report direct abstractness.

pub const fn is_constructible(&self) -> bool

Report whether instances can be constructed under effective role constraints.

Trait Implementations

impl Clone for ResolvedType

fn clone(&self) -> ResolvedType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvedType

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

Formats the value using the given formatter.

impl Eq for ResolvedType

impl PartialEq for ResolvedType

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ResolvedType