ifc-template-catalog 0.3.0

Versioned IFC PSD/QTO catalog definitions and correction overlays
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87

//! Embedded official and corrected catalog snapshots.

use std::sync::OnceLock;

use thiserror::Error;

use crate::archive::{decode_catalog, ArchiveError};
use crate::catalog::{Catalog, CatalogProfile};
use crate::definition::CatalogEdition;
use crate::overlay::{corrected_patches, PatchError};

static IFC2X3_TC1: OnceLock<Result<Catalog, ArchiveError>> = OnceLock::new();
static IFC4_ADD2_TC1: OnceLock<Result<Catalog, ArchiveError>> = OnceLock::new();
static IFC4X3_ADD2: OnceLock<Result<Catalog, ArchiveError>> = OnceLock::new();
static IFC4_ADD2_TC1_CORRECTED: OnceLock<Result<Catalog, EmbeddedCatalogError>> = OnceLock::new();
static IFC4X3_ADD2_CORRECTED: OnceLock<Result<Catalog, EmbeddedCatalogError>> = OnceLock::new();

/// Load a catalog snapshot from committed generated data.
pub fn load_catalog(
    edition: CatalogEdition,
    profile: CatalogProfile,
) -> Result<Catalog, EmbeddedCatalogError> {
    match profile {
        CatalogProfile::Official => official_catalog(edition),
        CatalogProfile::Corrected => corrected_catalog(edition),
        _ => Err(EmbeddedCatalogError::UnsupportedProfile(profile)),
    }
}

/// Load an unmodified official catalog.
pub fn official_catalog(edition: CatalogEdition) -> Result<Catalog, EmbeddedCatalogError> {
    match edition {
        CatalogEdition::Ifc2x3Tc1 => IFC2X3_TC1
            .get_or_init(|| decode_catalog(include_bytes!("../data/ifc2x3-tc1.bin")))
            .clone()
            .map_err(EmbeddedCatalogError::Archive),
        CatalogEdition::Ifc4Add2Tc1 => IFC4_ADD2_TC1
            .get_or_init(|| decode_catalog(include_bytes!("../data/ifc4-add2-tc1.bin")))
            .clone()
            .map_err(EmbeddedCatalogError::Archive),
        CatalogEdition::Ifc4x3Add2 => IFC4X3_ADD2
            .get_or_init(|| decode_catalog(include_bytes!("../data/ifc4x3-add2.bin")))
            .clone()
            .map_err(EmbeddedCatalogError::Archive),
    }
}

/// Load the official catalog with the ordered built-in correction ledger.
pub fn corrected_catalog(edition: CatalogEdition) -> Result<Catalog, EmbeddedCatalogError> {
    match edition {
        CatalogEdition::Ifc4Add2Tc1 => IFC4_ADD2_TC1_CORRECTED
            .get_or_init(|| {
                let official = official_catalog(edition)?;
                official
                    .with_patches(CatalogProfile::Corrected, &corrected_patches(edition))
                    .map_err(EmbeddedCatalogError::Patch)
            })
            .clone(),
        CatalogEdition::Ifc4x3Add2 => IFC4X3_ADD2_CORRECTED
            .get_or_init(|| {
                let official = official_catalog(edition)?;
                official
                    .with_patches(CatalogProfile::Corrected, &corrected_patches(edition))
                    .map_err(EmbeddedCatalogError::Patch)
            })
            .clone(),
        _ => Err(EmbeddedCatalogError::UnavailableEdition(edition)),
    }
}

/// Why loading a committed embedded catalog snapshot failed.
#[derive(Debug, Clone, PartialEq, Eq, Error)]
#[non_exhaustive]
pub enum EmbeddedCatalogError {
    /// No committed generated data exists for this edition/profile pair.
    #[error("no embedded catalog for {0:?}")]
    UnavailableEdition(CatalogEdition),
    /// [`load_catalog`] was called with a profile other than `Official` or `Corrected`.
    #[error("embedded loading does not construct {0:?} profiles")]
    UnsupportedProfile(CatalogProfile),
    /// The committed binary artifact failed to decode.
    #[error(transparent)]
    Archive(#[from] ArchiveError),
    /// Applying the built-in correction ledger to the official catalog failed.
    #[error(transparent)]
    Patch(#[from] PatchError),
}