2021-07-26 21:00:05 +02:00
|
|
|
use crate::addressing::Address;
|
2022-02-13 12:37:16 +01:00
|
|
|
use crate::database::entry::{InvariantEntry};
|
2021-07-26 21:00:05 +02:00
|
|
|
|
2021-12-02 21:30:11 +01:00
|
|
|
pub const TYPE_TYPE_VAL: &str = "TYPE";
|
|
|
|
pub const TYPE_BASE_ATTR: &str = "TYPE";
|
2021-07-26 21:00:05 +02:00
|
|
|
pub const TYPE_HAS_ATTR: &str = "TYPE_HAS";
|
2021-12-02 21:30:11 +01:00
|
|
|
// pub const TYPE_ATTR_REQUIRED: &str = "TYPE_ATTR_REQUIRED";
|
|
|
|
|
2021-07-26 21:00:05 +02:00
|
|
|
pub const IS_OF_TYPE_ATTR: &str = "IS";
|
|
|
|
|
2021-12-02 21:30:11 +01:00
|
|
|
pub const HIER_TYPE_VAL: &str = "HIER";
|
2021-08-18 11:06:36 +02:00
|
|
|
pub const HIER_HAS_ATTR: &str = "HAS";
|
2021-12-02 21:30:11 +01:00
|
|
|
|
|
|
|
pub const LABEL_ATTR: &str = "LBL";
|
2022-02-09 20:34:52 +01:00
|
|
|
pub const ADDED_ATTR: &str = "ADDED";
|
2021-08-18 11:06:36 +02:00
|
|
|
|
2021-07-26 21:00:05 +02:00
|
|
|
lazy_static! {
|
|
|
|
pub static ref TYPE_INVARIANT: InvariantEntry = InvariantEntry {
|
2021-12-02 21:30:11 +01:00
|
|
|
attribute: String::from(TYPE_BASE_ATTR),
|
2022-02-13 12:37:16 +01:00
|
|
|
value: TYPE_TYPE_VAL.into(),
|
2021-07-26 21:00:05 +02:00
|
|
|
};
|
|
|
|
pub static ref TYPE_ADDR: Address = TYPE_INVARIANT.entity().unwrap();
|
2021-08-18 11:06:36 +02:00
|
|
|
pub static ref HIER_INVARIANT: InvariantEntry = InvariantEntry {
|
2021-12-02 21:30:11 +01:00
|
|
|
attribute: String::from(TYPE_BASE_ATTR),
|
2022-02-13 12:37:16 +01:00
|
|
|
value: HIER_TYPE_VAL.into(),
|
2021-08-18 11:06:36 +02:00
|
|
|
};
|
|
|
|
pub static ref HIER_ADDR: Address = HIER_INVARIANT.entity().unwrap();
|
2021-07-26 21:00:05 +02:00
|
|
|
}
|