ifc-resource 0.2.0

//! Schema-checked, transaction-staged resource authoring.

use std::collections::HashSet;

use ifc_model::{Budget, Entity, EntityId, Model, Transaction, Value};
use ifc_schema::{ifc4, Schema, TypeKind};

use crate::author::draft::{AllocationDraft, NestingDraft, ResourceDraft, ResourceTimeDraft};
use crate::error::{ResourceError, ResourceResult};
use crate::view::validate_object_assignment;
use crate::{ResourceKind, ResourceView};

/// Transaction-staged writer for the bounded IFC4 resource slice.
///
/// Every `create_*` method validates the draft against the bundled schema
/// and cross-attribute IFC rules before staging it, then commits through a
/// single-entity `ifc_model::Transaction`.
pub struct ResourceEditor<'m> {
    model: &'m mut Model,
    pub(crate) schema: &'static Schema,
}

impl<'m> ResourceEditor<'m> {
    /// Opens an editor for `model`, verifying it declares a supported
    /// resource schema (IFC4 ADD2 TC1 or IFC4X3 ADD2).
    pub fn for_model(model: &'m mut Model) -> ResourceResult<Self> {
        ResourceView::for_model(model)?;
        Ok(Self {
            model,
            schema: ifc4(),
        })
    }

    pub(crate) fn validate_new_global_id(&self, value: &str) -> ResourceResult<()> {
        validate_global_id(value)?;
        for (id, entity) in self.model.iter() {
            let Some(slot) = self
                .schema
                .attribute_names(&entity.type_name)
                .iter()
                .position(|name| name.eq_ignore_ascii_case("GlobalId"))
            else {
                continue;
            };
            if entity
                .attributes
                .get(slot)
                .is_some_and(|stored| matches!(stored.unwrap_typed(), Value::Text(stored) if stored.as_ref() == value))
            {
                return Err(ResourceError::SemanticViolation {
                    entity: Some(id),
                    rule: "IfcRoot.GlobalId must be unique in the model",
                });
            }
        }
        Ok(())
    }

    /// Commits a `ResourceDraft` as a new concrete `IfcConstructionResource`
    /// occurrence, failing if `USERDEFINED` is authored without
    /// `ObjectType`, or if `Usage`/`BaseCosts`/`BaseQuantity` reference
    /// entities of the wrong type.
    pub fn create_resource(&mut self, draft: ResourceDraft<'_>) -> ResourceResult<EntityId> {
        self.validate_new_global_id(draft.global_id)?;
        let entity_type = resource_entity_type(draft.kind);
        if let Some(value) = draft.predefined_type {
            validate_enum(self.schema, entity_type, "PredefinedType", value)?;
            if value == "USERDEFINED"
                && draft
                    .object_type
                    .is_none_or(|value| value.trim().is_empty())
            {
                return Err(ResourceError::SemanticViolation {
                    entity: None,
                    rule: "USERDEFINED_REQUIRES_OBJECT_TYPE",
                });
            }
        }
        if let Some(usage) = draft.usage {
            self.check_reference(usage, "Usage", "IfcResourceTime", usage)?;
        }
        for cost in &draft.base_costs {
            self.check_reference(*cost, "BaseCosts", "IfcAppliedValue", *cost)?;
        }
        if let Some(quantity) = draft.base_quantity {
            self.check_reference(quantity, "BaseQuantity", "IfcPhysicalQuantity", quantity)?;
        }

        let base_costs = (!draft.base_costs.is_empty()).then(|| refs(&draft.base_costs));
        let entity = build_entity(
            self.schema,
            entity_type,
            &[
                ("GlobalId", Some(text(draft.global_id))),
                ("Name", draft.name.map(text)),
                ("ObjectType", draft.object_type.map(text)),
                ("Identification", draft.identification.map(text)),
                ("LongDescription", draft.long_description.map(text)),
                ("Usage", draft.usage.map(Value::Ref)),
                ("BaseCosts", base_costs),
                ("BaseQuantity", draft.base_quantity.map(Value::Ref)),
                (
                    "PredefinedType",
                    draft.predefined_type.map(|value| Value::Enum(value.into())),
                ),
            ],
        )?;
        self.commit_create(entity)
    }

    /// Commits a `ResourceDraft` as an `IfcTypeResource` subtype.
    ///
    /// The type counterpart of [`ResourceEditor::create_resource`]:
    /// the shared definition several occurrences point at. The draft is
    /// reused because the two differ by one attribute, `Usage`, which
    /// belongs to the occurrence and is refused here rather than
    /// silently dropped.
    ///
    /// `PredefinedType` is required on every resource type in the
    /// schema, unlike on the occurrence where it is optional.
    ///
    /// # Errors
    ///
    /// Refuses a duplicate or malformed `GlobalId`, a missing or
    /// unknown `PredefinedType`, a `USERDEFINED` type with no
    /// `ObjectType` to name it, a `Usage` reference, and any
    /// `BaseCosts` or `BaseQuantity` reference of the wrong type.
    pub fn create_resource_type(&mut self, draft: ResourceDraft<'_>) -> ResourceResult<EntityId> {
        self.validate_new_global_id(draft.global_id)?;
        let entity_type = resource_type_entity_type(draft.kind);
        let Some(predefined_type) = draft.predefined_type else {
            return Err(ResourceError::SemanticViolation {
                entity: None,
                rule: "RESOURCE_TYPE_REQUIRES_PREDEFINED_TYPE",
            });
        };
        validate_enum(self.schema, entity_type, "PredefinedType", predefined_type)?;
        if predefined_type == "USERDEFINED"
            && draft
                .object_type
                .is_none_or(|value| value.trim().is_empty())
        {
            return Err(ResourceError::SemanticViolation {
                entity: None,
                rule: "USERDEFINED_REQUIRES_OBJECT_TYPE",
            });
        }
        if draft.usage.is_some() {
            return Err(ResourceError::SemanticViolation {
                entity: None,
                rule: "RESOURCE_TYPE_HAS_NO_USAGE",
            });
        }
        for cost in &draft.base_costs {
            self.check_reference(*cost, "BaseCosts", "IfcAppliedValue", *cost)?;
        }
        if let Some(quantity) = draft.base_quantity {
            self.check_reference(quantity, "BaseQuantity", "IfcPhysicalQuantity", quantity)?;
        }

        let base_costs = (!draft.base_costs.is_empty()).then(|| refs(&draft.base_costs));
        let entity = build_entity(
            self.schema,
            entity_type,
            &[
                ("GlobalId", Some(text(draft.global_id))),
                ("Name", draft.name.map(text)),
                ("ApplicableOccurrence", draft.object_type.map(text)),
                ("Identification", draft.identification.map(text)),
                ("LongDescription", draft.long_description.map(text)),
                ("BaseCosts", base_costs),
                ("BaseQuantity", draft.base_quantity.map(Value::Ref)),
                ("PredefinedType", Some(Value::Enum(predefined_type.into()))),
            ],
        )?;
        self.commit_create(entity)
    }

    /// Commits a `ResourceTimeDraft` as a new `IfcResourceTime`, failing if
    /// any ratio attribute is non-finite or not strictly positive.
    pub fn create_time(&mut self, draft: ResourceTimeDraft<'_>) -> ResourceResult<EntityId> {
        for (attribute, value) in [
            ("ScheduleUsage", draft.schedule_usage),
            ("ActualUsage", draft.actual_usage),
            ("RemainingUsage", draft.remaining_usage),
            ("Completion", draft.completion),
        ] {
            if value.is_some_and(|value| !value.is_finite() || value <= 0.0) {
                return Err(ResourceError::InvalidDraft {
                    entity_type: "IfcResourceTime",
                    attribute,
                    expected: "finite positive ratio",
                });
            }
        }
        let entity = build_entity(
            self.schema,
            "IfcResourceTime",
            &[
                ("Name", draft.name.map(text)),
                ("ScheduleWork", draft.schedule_work.map(text)),
                ("ScheduleUsage", draft.schedule_usage.map(Value::Real)),
                ("ScheduleStart", draft.schedule_start.map(text)),
                ("ScheduleFinish", draft.schedule_finish.map(text)),
                ("IsOverAllocated", draft.is_over_allocated.map(Value::Bool)),
                ("StatusTime", draft.status_time.map(text)),
                ("ActualWork", draft.actual_work.map(text)),
                ("ActualUsage", draft.actual_usage.map(Value::Real)),
                ("ActualStart", draft.actual_start.map(text)),
                ("ActualFinish", draft.actual_finish.map(text)),
                ("RemainingWork", draft.remaining_work.map(text)),
                ("RemainingUsage", draft.remaining_usage.map(Value::Real)),
                ("Completion", draft.completion.map(Value::Real)),
            ],
        )?;
        self.commit_create(entity)
    }

    /// Commits an `AllocationDraft` as a new `IfcRelAssignsToResource`,
    /// failing if `RelatedObjects` is empty, repeats a target, includes the
    /// resource itself, or references entities the `RelatedObjectsType`
    /// does not permit.
    pub fn create_allocation(&mut self, draft: AllocationDraft<'_>) -> ResourceResult<EntityId> {
        self.validate_new_global_id(draft.global_id)?;
        self.check_reference_select(
            draft.resource,
            "RelatingResource",
            "IfcResourceSelect",
            &["IfcResource", "IfcTypeResource"],
            draft.resource,
        )?;
        validate_required_unique(draft.resource, "RelatedObjects", &draft.related_objects)?;
        if let Some(category) = draft.related_objects_type {
            validate_enum(
                self.schema,
                "IfcRelAssignsToResource",
                "RelatedObjectsType",
                category,
            )?;
        }
        for target in &draft.related_objects {
            self.check_reference(
                draft.resource,
                "RelatedObjects",
                "IfcObjectDefinition",
                *target,
            )?;
            if *target == draft.resource {
                return Err(ResourceError::SemanticViolation {
                    entity: None,
                    rule: "RESOURCE_ASSIGNMENT_NO_SELF_REFERENCE",
                });
            }
        }
        validate_object_assignment(
            self.model,
            self.schema,
            None,
            draft.related_objects_type,
            &draft.related_objects,
        )?;
        let entity = build_entity(
            self.schema,
            "IfcRelAssignsToResource",
            &[
                ("GlobalId", Some(text(draft.global_id))),
                ("Name", draft.name.map(text)),
                ("Description", draft.description.map(text)),
                ("RelatedObjects", Some(refs(&draft.related_objects))),
                (
                    "RelatedObjectsType",
                    draft
                        .related_objects_type
                        .map(|value| Value::Enum(value.into())),
                ),
                ("RelatingResource", Some(Value::Ref(draft.resource))),
            ],
        )?;
        self.commit_create(entity)
    }

    /// Commits a `NestingDraft` as a new `IfcRelNests`, failing if
    /// `RelatedObjects` is empty, repeats a target, includes the parent
    /// itself, names a child that already has a resource parent, or would
    /// introduce a nesting cycle.
    pub fn create_nesting(&mut self, draft: NestingDraft<'_>) -> ResourceResult<EntityId> {
        self.validate_new_global_id(draft.global_id)?;
        self.check_reference(
            draft.parent,
            "RelatingObject",
            "IfcConstructionResource",
            draft.parent,
        )?;
        validate_required_unique(draft.parent, "RelatedObjects", &draft.children)?;
        for child in &draft.children {
            self.check_reference(
                draft.parent,
                "RelatedObjects",
                "IfcConstructionResource",
                *child,
            )?;
            if *child == draft.parent {
                return Err(ResourceError::SemanticViolation {
                    entity: None,
                    rule: "RESOURCE_NESTING_NO_SELF_REFERENCE",
                });
            }
        }
        {
            let view = ResourceView::new(self.model, self.schema)?;
            for child in &draft.children {
                if view.parent_resource(*child)?.is_some() {
                    return Err(ResourceError::SemanticViolation {
                        entity: Some(*child),
                        rule: "IfcObject.Nests permits at most one resource parent",
                    });
                }
                if view
                    .descendants(*child, Budget::DEFAULT)?
                    .contains(&draft.parent)
                {
                    return Err(ResourceError::SemanticViolation {
                        entity: Some(*child),
                        rule: "resource nesting must remain acyclic",
                    });
                }
            }
        }
        let entity = build_entity(
            self.schema,
            "IfcRelNests",
            &[
                ("GlobalId", Some(text(draft.global_id))),
                ("Name", draft.name.map(text)),
                ("Description", draft.description.map(text)),
                ("RelatingObject", Some(Value::Ref(draft.parent))),
                ("RelatedObjects", Some(refs(&draft.children))),
            ],
        )?;
        self.commit_create(entity)
    }

    pub(crate) fn check_reference(
        &self,
        owner: EntityId,
        attribute: &'static str,
        expected: &'static str,
        target: EntityId,
    ) -> ResourceResult<()> {
        self.check_reference_select(owner, attribute, expected, &[expected], target)
    }

    pub(crate) fn check_reference_select(
        &self,
        owner: EntityId,
        attribute: &'static str,
        expected: &'static str,
        members: &[&str],
        target: EntityId,
    ) -> ResourceResult<()> {
        let entity = self
            .model
            .get(target)
            .ok_or(ResourceError::DanglingReference {
                entity: owner,
                attribute,
                target,
            })?;
        if !members
            .iter()
            .any(|member| self.schema.is_a(&entity.type_name, member))
        {
            return Err(ResourceError::WrongReferenceType {
                entity: owner,
                attribute,
                target,
                expected,
                actual: entity.type_name.to_string(),
            });
        }
        Ok(())
    }

    pub(crate) fn commit_create(&mut self, entity: Entity) -> ResourceResult<EntityId> {
        let mut transaction = Transaction::new(self.model);
        let expected = transaction.revision();
        let id = transaction.create(entity);
        transaction
            .commit(self.model)
            .map_err(|_| ResourceError::TransactionConflict {
                expected,
                actual: self.model.revision(),
            })?;
        Ok(id)
    }
}

fn resource_entity_type(kind: ResourceKind) -> &'static str {
    match kind {
        ResourceKind::Labor => "IfcLaborResource",
        ResourceKind::Equipment => "IfcConstructionEquipmentResource",
        ResourceKind::Crew => "IfcCrewResource",
        ResourceKind::Material => "IfcConstructionMaterialResource",
        ResourceKind::Product => "IfcConstructionProductResource",
        ResourceKind::Subcontract => "IfcSubContractResource",
    }
}

/// The `IfcTypeResource` subtype paired with each occurrence kind.
///
/// Each occurrence resource has exactly one type counterpart, so the
/// mapping lives next to [`resource_entity_type`] rather than being
/// derived by string surgery on the occurrence name.
fn resource_type_entity_type(kind: ResourceKind) -> &'static str {
    match kind {
        ResourceKind::Labor => "IfcLaborResourceType",
        ResourceKind::Equipment => "IfcConstructionEquipmentResourceType",
        ResourceKind::Crew => "IfcCrewResourceType",
        ResourceKind::Material => "IfcConstructionMaterialResourceType",
        ResourceKind::Product => "IfcConstructionProductResourceType",
        ResourceKind::Subcontract => "IfcSubContractResourceType",
    }
}

pub(crate) fn build_entity(
    schema: &Schema,
    entity_type: &'static str,
    values: &[(&'static str, Option<Value>)],
) -> ResourceResult<Entity> {
    if schema.entity(entity_type).is_none() {
        return Err(ResourceError::InvalidDraft {
            entity_type,
            attribute: "<entity>",
            expected: "entity declared by IFC4",
        });
    }
    let attribute_names = schema.attribute_names(entity_type);
    let mut attributes = vec![Value::Null; attribute_names.len()];
    for (name, value) in values {
        if let Some(value) = value {
            let slot = attribute_names
                .iter()
                .position(|candidate| candidate.eq_ignore_ascii_case(name))
                .ok_or(ResourceError::InvalidDraft {
                    entity_type,
                    attribute: name,
                    expected: "attribute declared by IFC4",
                })?;
            attributes[slot] = value.clone();
        }
    }
    Ok(Entity::new(entity_type, attributes))
}

pub(crate) fn validate_enum(
    schema: &Schema,
    entity_type: &'static str,
    attribute: &'static str,
    value: &str,
) -> ResourceResult<()> {
    let declared = schema
        .attributes(entity_type)
        .iter()
        .find(|candidate| candidate.name.eq_ignore_ascii_case(attribute))
        .and_then(|attribute| schema.type_def(&attribute.type_name))
        .is_some_and(|definition| {
            matches!(&definition.kind, TypeKind::Enumeration(values) if values.iter().any(|member| member == value))
        });
    if !declared {
        return Err(ResourceError::InvalidEnumeration {
            entity: None,
            attribute,
            value: value.to_owned(),
        });
    }
    Ok(())
}

fn validate_required_unique(
    owner: EntityId,
    attribute: &'static str,
    values: &[EntityId],
) -> ResourceResult<()> {
    if values.is_empty() {
        return Err(ResourceError::InvalidCardinality {
            entity: owner,
            attribute,
            minimum: 1,
            actual: 0,
        });
    }
    let mut unique = HashSet::with_capacity(values.len());
    for value in values {
        if !unique.insert(*value) {
            return Err(ResourceError::DuplicateReference {
                entity: owner,
                attribute,
                target: *value,
            });
        }
    }
    Ok(())
}

fn validate_global_id(value: &str) -> ResourceResult<()> {
    if value.len() != 22
        || !matches!(value.as_bytes().first(), Some(b'0'..=b'3'))
        || !value
            .bytes()
            .all(|byte| byte.is_ascii_alphanumeric() || byte == b'_' || byte == b'$')
    {
        return Err(ResourceError::InvalidGlobalId);
    }
    Ok(())
}

pub(crate) fn text(value: &str) -> Value {
    Value::Text(value.into())
}

pub(crate) fn refs(values: &[EntityId]) -> Value {
    Value::List(values.iter().copied().map(Value::Ref).collect())
}

/// Draft for one `IfcAppliedValue`.
#[derive(Debug, Clone, Copy, Default)]
pub struct AppliedValueDraft<'a> {
    /// `Name`.
    pub name: Option<&'a str>,
    /// `Description`.
    pub description: Option<&'a str>,
    /// `AppliedValue`, an `IfcAppliedValueSelect` reference.
    pub applied_value: Option<EntityId>,
    /// `UnitBasis`, the `IfcMeasureWithUnit` the value is quoted per.
    pub unit_basis: Option<EntityId>,
    /// `ApplicableDate`, an ISO 8601 date written as given.
    pub applicable_date: Option<&'a str>,
    /// `FixedUntilDate`, an ISO 8601 date written as given.
    pub fixed_until_date: Option<&'a str>,
    /// `Category`.
    pub category: Option<&'a str>,
    /// `Condition`.
    pub condition: Option<&'a str>,
    /// `ArithmeticOperator`, an `IfcArithmeticOperatorEnum` token.
    pub arithmetic_operator: Option<&'a str>,
}

impl ResourceEditor<'_> {
    /// Create an `IfcAppliedValue`, optionally composed from components.
    ///
    /// An applied value is a cost-like quantity: a value, the unit basis
    /// it is quoted per, and the dates it applies between. It may instead
    /// be *composed*, combining `components` with an arithmetic operator.
    ///
    /// The schema states no WHERE rule tying the two together, but a
    /// composition without an operator does not say how to combine its
    /// parts, and an operator without components has nothing to combine;
    /// both are refused rather than written for a reader to guess at.
    ///
    /// `Components` is `LIST [1:?] OF IfcAppliedValue`, so an empty list
    /// is left absent rather than written as `()`, which would satisfy
    /// the type and break the bound.
    ///
    /// # Errors
    ///
    /// Refuses an `arithmetic_operator` the target schema does not
    /// declare, an operator/components pair where only one side is
    /// present, a component that is not an `IfcAppliedValue`, and an
    /// `applied_value` outside `IfcAppliedValueSelect`.
    pub fn create_applied_value(
        &mut self,
        draft: AppliedValueDraft<'_>,
        components: &[EntityId],
    ) -> ResourceResult<EntityId> {
        const ENTITY: &str = "IfcAppliedValue";
        if let Some(operator) = draft.arithmetic_operator {
            validate_enum(self.schema, ENTITY, "ArithmeticOperator", operator)?;
        }
        if draft.arithmetic_operator.is_some() == components.is_empty() {
            return Err(ResourceError::SemanticViolation {
                entity: None,
                rule: "ArithmeticOperator and Components are stated together",
            });
        }
        if let Some(value) = draft.applied_value {
            self.check_reference_select(
                value,
                "AppliedValue",
                "IfcAppliedValueSelect",
                &[
                    "IfcMeasureWithUnit",
                    "IfcMonetaryMeasure",
                    "IfcRatioMeasure",
                    "IfcReference",
                ],
                value,
            )?;
        }
        if let Some(basis) = draft.unit_basis {
            self.check_reference(basis, "UnitBasis", "IfcMeasureWithUnit", basis)?;
        }
        for component in components {
            self.check_reference(*component, "Components", ENTITY, *component)?;
        }

        let entity = build_entity(
            self.schema,
            ENTITY,
            &[
                ("Name", draft.name.map(text)),
                ("Description", draft.description.map(text)),
                ("AppliedValue", draft.applied_value.map(Value::Ref)),
                ("UnitBasis", draft.unit_basis.map(Value::Ref)),
                ("ApplicableDate", draft.applicable_date.map(text)),
                ("FixedUntilDate", draft.fixed_until_date.map(text)),
                ("Category", draft.category.map(text)),
                ("Condition", draft.condition.map(text)),
                ("ArithmeticOperator", draft.arithmetic_operator.map(enum_of)),
                (
                    "Components",
                    (!components.is_empty()).then(|| refs(components)),
                ),
            ],
        )?;
        self.commit_create(entity)
    }
}

/// An enum token as a value.
fn enum_of(token: &str) -> Value {
    Value::Enum(std::sync::Arc::from(token.to_ascii_uppercase()))
}