Struct EntityDef 

pub struct EntityDef {
    pub name: String,
    pub supertype: Option<String>,
    pub abstract_: bool,
    pub attributes: Vec<Attribute>,
    pub derived: Vec<String>,
}

One structural entity declaration.

Fields

name: String

Declared entity name.

supertype: Option<String>

First direct supertype, when a SUBTYPE OF clause is present.

abstract_: bool

Whether the declaration includes ABSTRACT.

attributes: Vec<Attribute>

Explicit attributes declared by this entity, excluding derived and inverse declarations.

derived: Vec<String>

Names of attributes this entity declares in its DERIVE block.

A subtype may redeclare an inherited explicit attribute as derived:

DERIVE
  SELF\IfcGeometricRepresentationContext.Precision : IfcReal
      := NVL(ParentContext.Precision, 1.E-5);

The redeclaration keeps the attribute’s inherited position but removes it from what an instance may state: Part 21 writes such a slot as *, not as a value and not as $. A consumer that does not know an attribute is derived cannot tell those apart, so this list is the minimum needed to write a conforming file.

Names are stored unqualified — the SELF\Entity. prefix is stripped — because that is how they match the inherited attribute they redeclare. Entries are in declaration order. Derived attributes that are new rather than redeclarations appear here too; they occupy no positional slot, so consumers resolving slots should match against inherited attribute names rather than assuming every entry is positional.

Implementations

impl EntityDef

pub fn new(name: impl Into<String>) -> Self

Creates an empty concrete entity declaration.

pub fn with_supertype(self, supertype: impl Into<String>) -> Self

Sets the direct supertype.

pub fn with_attribute(self, attribute: Attribute) -> Self

Appends an explicit attribute in declaration order.

pub fn with_derived(self, name: impl Into<String>) -> Self

Declares an attribute name as derived, as a DERIVE block would.

pub fn is_derived(&self, name: &str) -> bool

Whether name is declared derived by this entity.

Comparison is ASCII case-insensitive: EXPRESS identifiers are case-sensitive in principle, but schema text and Part 21 keywords disagree on case often enough that matching exactly is a foot-gun.

Trait Implementations

impl Clone for EntityDef

fn clone(&self) -> EntityDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EntityDef

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

Formats the value using the given formatter.

impl Eq for EntityDef

impl PartialEq for EntityDef

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for EntityDef