typeql 3.10.4

TypeQL Language for Rust
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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88

/*
 * This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at https://mozilla.org/MPL/2.0/.
 */

use std::fmt;

use crate::{
    Expression, Literal,
    common::{Span, Spanned, token},
    pretty::Pretty,
    statement::{comparison::Comparison, thing::Relation},
    type_::TypeRef,
};

#[derive(Clone, Debug, Eq, PartialEq)]
pub struct Isa {
    pub span: Option<Span>,
    pub kind: IsaKind,
    pub type_: TypeRef,
    pub constraint: Option<IsaInstanceConstraint>,
}

impl Isa {
    pub fn new(span: Option<Span>, kind: IsaKind, type_: TypeRef, constraint: Option<IsaInstanceConstraint>) -> Self {
        Self { span, kind, type_, constraint }
    }
}

impl Spanned for Isa {
    fn span(&self) -> Option<Span> {
        self.span
    }
}

impl Pretty for Isa {}

impl fmt::Display for Isa {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        if let Some(constraint) = &self.constraint {
            write!(f, "{} {} {}", self.kind, self.type_, constraint)
        } else {
            write!(f, "{} {}", self.kind, self.type_)
        }
    }
}

#[derive(Clone, Copy, Debug, Eq, PartialEq)]
pub enum IsaKind {
    Exact,
    Subtype,
}

impl Pretty for IsaKind {}

impl fmt::Display for IsaKind {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        let token = match self {
            Self::Exact => token::Keyword::IsaX,
            Self::Subtype => token::Keyword::Isa,
        };
        write!(f, "{}", token)
    }
}

#[derive(Clone, Debug, Eq, PartialEq)]
pub enum IsaInstanceConstraint {
    Relation(Relation),
    Value(Literal),
    Expression(Expression),
    Comparison(Comparison),
    Struct(Literal),
}

impl Pretty for IsaInstanceConstraint {}

impl fmt::Display for IsaInstanceConstraint {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        match self {
            Self::Relation(relation) => write!(f, "{}", relation),
            Self::Value(value) => write!(f, "{}", value),
            Self::Expression(expr) => write!(f, "{}", expr),
            Self::Comparison(cmp) => write!(f, "{}", cmp),
            Self::Struct(value) => write!(f, "{}", value),
        }
    }
}