1
use std::fmt::Display;
2

            
3
use serde::{Deserialize, Serialize};
4

            
5
/// A reference to an object stored in the [`SymbolTable`].
6
#[derive(Clone, Debug, Eq, PartialEq, Ord, PartialOrd, Hash, Serialize, Deserialize)]
7
pub enum Name {
8
    /// A name given in the input model.
9
    UserName(String),
10
    /// A name generated by Conjure-Oxide.
11
    MachineName(i32),
12
}
13

            
14
uniplate::derive_unplateable!(Name);
15

            
16
impl Display for Name {
17
841789
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
18
841789
        match self {
19
630666
            Name::UserName(s) => write!(f, "{}", s),
20
211123
            Name::MachineName(i) => write!(f, "__{}", i),
21
        }
22
841789
    }
23
}