toasty-core 0.3.0

Core types, schema representations, and driver interface for Toasty
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
56
57
58
59
60
61
62
63
64
65
66
67
68

use super::Verify;
use crate::schema::app::{self, Field, FieldId, Model};

impl Verify<'_> {
    // Iterate each model and make sure there is an index path that enables
    // querying
    pub(super) fn verify_relations_are_indexed(&self, field: &Field) {
        use app::FieldTy;

        match &field.ty {
            FieldTy::BelongsTo(rel) => self.verify_belongs_to_is_indexed(rel),
            FieldTy::HasMany(rel) => self.verify_has_many_relation_is_indexed(rel),
            FieldTy::HasOne(rel) => self.verify_has_one_relation_is_indexed(rel),
            _ => {}
        }
    }

    fn verify_belongs_to_is_indexed(&self, _: &app::BelongsTo) {
        // TODO: Is there any necessary verification here?
    }

    fn verify_has_many_relation_is_indexed(&self, rel: &app::HasMany) {
        self.verify_has_relation_is_indexed(rel.target(&self.schema.app), rel.pair);
    }

    fn verify_has_one_relation_is_indexed(&self, rel: &app::HasOne) {
        self.verify_has_relation_is_indexed(rel.target(&self.schema.app), rel.pair);
    }

    fn verify_has_relation_is_indexed(&self, target: &Model, pair: FieldId) {
        let belongs_to = self.schema.app.field(pair).ty.as_belongs_to_unwrap();

        // Find an index that starts with the relations pair field and either
        // has no more fields or the next field is of local scope. This ensures
        // the ability to query all associated models.
        'outer: for index in &target.as_root_unwrap().indices {
            assert!(!index.fields.is_empty());

            if index.fields.len() < belongs_to.foreign_key.fields.len() {
                continue;
            }

            for (i, fk_field) in belongs_to.foreign_key.fields.iter().enumerate() {
                if index.fields[i].field != fk_field.source {
                    continue 'outer;
                }
            }

            // The first index field matches the foreign key. If there are no
            // more index fields, then the index is an exact match.
            if index.fields.len() == belongs_to.foreign_key.fields.len() {
                return;
            }

            // If the next field is of local scope, then the index can be used.
            if index.fields[belongs_to.foreign_key.fields.len()]
                .scope
                .is_local()
            {
                return;
            }

            // The index is not a match
        }

        panic!("failed to find relation index");
    }
}