Struct Specification 

pub struct Specification {
    pub name: String,
    pub ifc_versions: Vec<IfcVersion>,
    pub identifier: Option<String>,
    pub description: Option<String>,
    pub instructions: Option<String>,
    pub applicability: Applicability,
    pub requirements: Option<Requirements>,
}

One <specification>.

Fields

name: String

@name, required.

ifc_versions: Vec<IfcVersion>

@ifcVersion, an xs:list: "IFC2X3 IFC4" is two releases.

identifier: Option<String>

@identifier. Not unique across documents, by the schema’s own note.

description: Option<String>

@description.

instructions: Option<String>

@instructions, meant for the model author.

applicability: Applicability

Which objects the specification is about.

requirements: Option<Requirements>

What those objects must satisfy. None when <requirements> is absent, which is distinct from an empty <requirements/> only in the description it can carry.

Implementations

impl Specification

pub fn new( name: impl Into<String>, ifc_versions: impl IntoIterator<Item = IfcVersion>, ) -> Self

A specification of the given IFC releases with an empty, optional applicability and no requirements.

Optional (minOccurs="0" maxOccurs="unbounded") means the requirements apply to whatever objects match, and a model with none passes. Use Applicability::set_occurrence to demand or prohibit applicable objects. Add at least one applicability facet before writing.

pub fn require(&mut self, requirement: impl Into<Requirement>) -> &mut Self

Appends a requirement, creating <requirements> if absent.

pub fn occurrence(&self) -> Occurrence

How many applicable objects the specification demands.

Lowered from the applicability’s minOccurs/maxOccurs: 0..0 is prohibited, 0..n optional, anything with a non-zero minimum required.

Trait Implementations

impl Clone for Specification

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Specification

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

Formats the value using the given formatter.

impl PartialEq for Specification

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Specification