flowlog-build 0.3.4

Build-time FlowLog compiler for library mode.
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

//! Relation column schema.
//!
//! An `Attribute` carries two type facts in parallel:
//!
//! - `primitive_type` ([`DataType`]) — the storage type. Read by every
//!   stage below the typechecker.
//! - `declared_id` ([`TypeId`]) — the user-written type name. Read
//!   only by the typechecker to enforce subtype identity; dead weight
//!   downstream.

use crate::parser::primitive::{DataType, TypeId};
use std::fmt;

#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub(crate) struct Attribute {
    name: String,
    primitive_type: DataType,
    declared_id: TypeId,
}

impl Attribute {
    #[must_use]
    #[inline]
    pub(crate) fn with_type(name: String, primitive_type: DataType, declared_id: TypeId) -> Self {
        Self {
            name: name.to_lowercase(),
            primitive_type,
            declared_id,
        }
    }

    #[must_use]
    #[inline]
    pub(crate) fn name(&self) -> &str {
        &self.name
    }

    #[must_use]
    #[inline]
    pub(crate) fn data_type(&self) -> &DataType {
        &self.primitive_type
    }

    #[must_use]
    #[inline]
    pub(crate) fn declared_id(&self) -> TypeId {
        self.declared_id
    }
}

impl fmt::Display for Attribute {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(f, "{}: {}", self.name, self.primitive_type)
    }
}