microcad-lang 0.5.0

// Copyright © 2025-2026 The µcad authors <info@microcad.xyz>
// SPDX-License-Identifier: AGPL-3.0-or-later

//! Model output type.

use crate::lower::ir::WorkbenchKind;

/// The output type of the [`crate::model::Model`].
#[derive(Clone, Copy, Debug, Default, PartialEq)]
pub enum OutputType {
    /// The output type has not yet been determined.
    #[default]
    NotDetermined,
    /// The [`crate::model::Model`] outputs a 2d geometry.
    Geometry2D,
    /// The [`crate::model::Model`] outputs a 3d geometry.
    Geometry3D,
    /// The [`crate::model::Model`] is invalid, you cannot mix 2d and 3d geometry.
    InvalidMixed,
}

impl OutputType {
    /// Merge this output type with another.
    pub fn merge(&self, other: &Self) -> OutputType {
        match (self, other) {
            (OutputType::NotDetermined, output_type) => *output_type,
            (OutputType::Geometry2D, OutputType::NotDetermined)
            | (OutputType::Geometry2D, OutputType::Geometry2D)
            | (OutputType::Geometry3D, OutputType::NotDetermined)
            | (OutputType::Geometry3D, OutputType::Geometry3D) => *self,
            (OutputType::Geometry2D, OutputType::Geometry3D)
            | (OutputType::Geometry3D, OutputType::Geometry2D)
            | (OutputType::Geometry2D, OutputType::InvalidMixed)
            | (OutputType::Geometry3D, OutputType::InvalidMixed)
            | (OutputType::InvalidMixed, _) => OutputType::InvalidMixed,
        }
    }
}

impl std::fmt::Display for OutputType {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(
            f,
            "{}",
            match &self {
                Self::NotDetermined => "Undetermined",
                Self::Geometry2D => "2D",
                Self::Geometry3D => "3D",
                Self::InvalidMixed => "NO OUTPUT",
            }
        )
    }
}

impl From<WorkbenchKind> for OutputType {
    fn from(kind: WorkbenchKind) -> Self {
        match kind {
            WorkbenchKind::Sketch => Self::Geometry2D,
            WorkbenchKind::Part => Self::Geometry3D,
            WorkbenchKind::Operation => Self::NotDetermined,
        }
    }
}