Struct RuleEntry 

pub struct RuleEntry {
    pub id: &'static str,
    pub entity: Option<&'static str>,
    pub releases: &'static [SchemaVersion],
    pub support: Support,
}

One registered rule.

The entry is the rule’s whole scope: it applies to instances of Self::entity and of its subtypes, and only under the Self::releases whose EXPRESS declares it under this id. The engine reads both from here, so a rule cannot run on a narrower set of instances, or under more releases, than its entry states.

Fields

id: &'static str

Stable rule id: <declaring entity>.<label> exactly as the schema writes it (e.g. IfcExternalReference.WR1), or global.<name> for a file-wide rule.

entity: Option<&'static str>

The entity declaring the rule, or None for a global rule.

Instances of its subtypes are constrained too: EXPRESS WHERE rules are inherited.

releases: &'static [SchemaVersion]

The releases whose EXPRESS declares this rule under Self::id.

support: Support

Whether it is evaluated.

Implementations

impl RuleEntry

pub fn applies_to(&self, schema: &Schema) -> bool

Whether schema is a release that declares this rule.

Tables of no recognised release declare none of the registered rules: a rule is never carried across versions, nor onto an unknown one.

Trait Implementations

impl Clone for RuleEntry

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RuleEntry

impl Debug for RuleEntry

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

Formats the value using the given formatter.

impl Eq for RuleEntry

impl PartialEq for RuleEntry

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RuleEntry