use rudof_iri::IriS;
use serde::{Deserialize, Serialize};
use std::fmt::Display;

#[derive(Clone, PartialEq, Eq, Hash, Debug, Default, Serialize, Deserialize)]
pub enum EntailmentProfile {
    #[default]
    DL,
    EL,
    QL,
    RL,
    Full,
    Other(IriS),
}

impl Display for EntailmentProfile {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        match self {
            EntailmentProfile::Other(iri) => write!(f, "EntailmentProfile({iri})",),
            EntailmentProfile::DL => write!(f, "DL"),
            EntailmentProfile::EL => write!(f, "EL"),
            EntailmentProfile::QL => write!(f, "QL"),
            EntailmentProfile::RL => write!(f, "RL"),
            EntailmentProfile::Full => write!(f, "Full"),
        }
    }
}
