Skip to main content

icydb_core/db/query/predicate/validate/
schema.rs

1use crate::{
2    db::{
3        identity::{EntityName, EntityNameError, IndexName, IndexNameError},
4        query::predicate::{UnsupportedQueryFeature, coercion::CoercionId},
5    },
6    model::{entity::EntityModel, index::IndexModel},
7};
8use std::collections::{BTreeMap, BTreeSet};
9use std::fmt;
10
11use crate::db::query::predicate::validate::model::{FieldType, field_type_from_model_kind};
12
13fn validate_index_fields(
14    fields: &BTreeMap<String, FieldType>,
15    indexes: &[&IndexModel],
16) -> Result<(), ValidateError> {
17    let mut seen_names = BTreeSet::new();
18    for index in indexes {
19        if seen_names.contains(index.name) {
20            return Err(ValidateError::DuplicateIndexName {
21                name: index.name.to_string(),
22            });
23        }
24        seen_names.insert(index.name);
25
26        let mut seen = BTreeSet::new();
27        for field in index.fields {
28            if !fields.contains_key(*field) {
29                return Err(ValidateError::IndexFieldUnknown {
30                    index: **index,
31                    field: (*field).to_string(),
32                });
33            }
34            if seen.contains(*field) {
35                return Err(ValidateError::IndexFieldDuplicate {
36                    index: **index,
37                    field: (*field).to_string(),
38                });
39            }
40            seen.insert(*field);
41
42            let field_type = fields
43                .get(*field)
44                .expect("index field existence checked above");
45            // Guardrail: map fields are deterministic stored values but remain
46            // non-queryable and non-indexable in 0.7.
47            if matches!(field_type, FieldType::Map { .. }) {
48                return Err(ValidateError::IndexFieldMapNotQueryable {
49                    index: **index,
50                    field: (*field).to_string(),
51                });
52            }
53            if !field_type.value_kind().is_queryable() {
54                return Err(ValidateError::IndexFieldNotQueryable {
55                    index: **index,
56                    field: (*field).to_string(),
57                });
58            }
59        }
60    }
61
62    Ok(())
63}
64
65///
66/// SchemaInfo
67///
68/// Lightweight, runtime-usable field-type map for one entity.
69/// This is the *only* schema surface the predicate validator depends on.
70///
71
72#[derive(Clone, Debug)]
73pub(crate) struct SchemaInfo {
74    fields: BTreeMap<String, FieldType>,
75}
76
77impl SchemaInfo {
78    #[must_use]
79    pub(crate) fn field(&self, name: &str) -> Option<&FieldType> {
80        self.fields.get(name)
81    }
82
83    /// Builds runtime predicate schema information from an entity model.
84    pub(crate) fn from_entity_model(model: &EntityModel) -> Result<Self, ValidateError> {
85        // Validate identity constraints before building schema maps.
86        let entity_name = EntityName::try_from_str(model.entity_name).map_err(|err| {
87            ValidateError::InvalidEntityName {
88                name: model.entity_name.to_string(),
89                source: err,
90            }
91        })?;
92
93        if !model
94            .fields
95            .iter()
96            .any(|field| std::ptr::eq(field, model.primary_key))
97        {
98            return Err(ValidateError::InvalidPrimaryKey {
99                field: model.primary_key.name.to_string(),
100            });
101        }
102
103        let mut fields = BTreeMap::new();
104        for field in model.fields {
105            if fields.contains_key(field.name) {
106                return Err(ValidateError::DuplicateField {
107                    field: field.name.to_string(),
108                });
109            }
110            let ty = field_type_from_model_kind(&field.kind);
111            fields.insert(field.name.to_string(), ty);
112        }
113
114        let pk_field_type = fields
115            .get(model.primary_key.name)
116            .expect("primary key verified above");
117        if !pk_field_type.is_keyable() {
118            return Err(ValidateError::InvalidPrimaryKeyType {
119                field: model.primary_key.name.to_string(),
120            });
121        }
122
123        validate_index_fields(&fields, model.indexes)?;
124        for index in model.indexes {
125            IndexName::try_from_parts(&entity_name, index.fields).map_err(|err| {
126                ValidateError::InvalidIndexName {
127                    index: **index,
128                    source: err,
129                }
130            })?;
131        }
132
133        Ok(Self { fields })
134    }
135}
136
137/// Predicate/schema validation failures, including invalid model contracts.
138#[derive(Debug, thiserror::Error)]
139pub enum ValidateError {
140    #[error("invalid entity name '{name}': {source}")]
141    InvalidEntityName {
142        name: String,
143        #[source]
144        source: EntityNameError,
145    },
146
147    #[error("invalid index name for '{index}': {source}")]
148    InvalidIndexName {
149        index: IndexModel,
150        #[source]
151        source: IndexNameError,
152    },
153
154    #[error("unknown field '{field}'")]
155    UnknownField { field: String },
156
157    #[error("field '{field}' is not queryable")]
158    NonQueryableFieldType { field: String },
159
160    #[error("duplicate field '{field}'")]
161    DuplicateField { field: String },
162
163    #[error("{0}")]
164    UnsupportedQueryFeature(#[from] UnsupportedQueryFeature),
165
166    #[error("primary key '{field}' not present in entity fields")]
167    InvalidPrimaryKey { field: String },
168
169    #[error("primary key '{field}' has a non-keyable type")]
170    InvalidPrimaryKeyType { field: String },
171
172    #[error("index '{index}' references unknown field '{field}'")]
173    IndexFieldUnknown { index: IndexModel, field: String },
174
175    #[error("index '{index}' references non-queryable field '{field}'")]
176    IndexFieldNotQueryable { index: IndexModel, field: String },
177
178    #[error(
179        "index '{index}' references map field '{field}'; map fields are not queryable in icydb 0.7"
180    )]
181    IndexFieldMapNotQueryable { index: IndexModel, field: String },
182
183    #[error("index '{index}' repeats field '{field}'")]
184    IndexFieldDuplicate { index: IndexModel, field: String },
185
186    #[error("duplicate index name '{name}'")]
187    DuplicateIndexName { name: String },
188
189    #[error("operator {op} is not valid for field '{field}'")]
190    InvalidOperator { field: String, op: String },
191
192    #[error("coercion {coercion:?} is not valid for field '{field}'")]
193    InvalidCoercion { field: String, coercion: CoercionId },
194
195    #[error("invalid literal for field '{field}': {message}")]
196    InvalidLiteral { field: String, message: String },
197}
198
199impl ValidateError {
200    pub(crate) fn invalid_operator(field: &str, op: impl fmt::Display) -> Self {
201        Self::InvalidOperator {
202            field: field.to_string(),
203            op: op.to_string(),
204        }
205    }
206
207    pub(crate) fn invalid_literal(field: &str, msg: &str) -> Self {
208        Self::InvalidLiteral {
209            field: field.to_string(),
210            message: msg.to_string(),
211        }
212    }
213}