aldrin_parser/ast/
type_name.rs

1use super::{ArrayLen, NamedRef};
2use crate::error::{
3    ExpectedTypeFoundConst, ExpectedTypeFoundService, InvalidKeyType, TypeNotFound,
4};
5use crate::grammar::Rule;
6use crate::validate::Validate;
7use crate::Span;
8use pest::iterators::Pair;
9use std::fmt;
10
11#[derive(Debug, Clone)]
12pub struct TypeName {
13    span: Span,
14    kind: TypeNameKind,
15}
16
17impl TypeName {
18    pub(crate) fn parse(pair: Pair<Rule>) -> Self {
19        assert_eq!(pair.as_rule(), Rule::type_name);
20
21        let span = Span::from_pair(&pair);
22
23        let mut pairs = pair.into_inner();
24        let pair = pairs.next().unwrap();
25        let kind = TypeNameKind::parse(pair);
26
27        Self { span, kind }
28    }
29
30    pub(crate) fn validate(&self, is_key_type: bool, validate: &mut Validate) {
31        self.kind.validate(is_key_type, validate);
32    }
33
34    pub fn span(&self) -> Span {
35        self.span
36    }
37
38    pub fn kind(&self) -> &TypeNameKind {
39        &self.kind
40    }
41}
42
43#[derive(Debug, Clone)]
44pub enum TypeNameKind {
45    Bool,
46    U8,
47    I8,
48    U16,
49    I16,
50    U32,
51    I32,
52    U64,
53    I64,
54    F32,
55    F64,
56    String,
57    Uuid,
58    ObjectId,
59    ServiceId,
60    Value,
61    Option(Box<TypeName>),
62    Box(Box<TypeName>),
63    Vec(Box<TypeName>),
64    Bytes,
65    Map(Box<TypeName>, Box<TypeName>),
66    Set(Box<TypeName>),
67    Sender(Box<TypeName>),
68    Receiver(Box<TypeName>),
69    Lifetime,
70    Unit,
71    Result(Box<TypeName>, Box<TypeName>),
72    Array(Box<TypeName>, ArrayLen),
73    Ref(NamedRef),
74}
75
76impl TypeNameKind {
77    fn parse(pair: Pair<Rule>) -> Self {
78        match pair.as_rule() {
79            Rule::kw_bool => Self::Bool,
80            Rule::kw_u8 => Self::U8,
81            Rule::kw_i8 => Self::I8,
82            Rule::kw_u16 => Self::U16,
83            Rule::kw_i16 => Self::I16,
84            Rule::kw_u32 => Self::U32,
85            Rule::kw_i32 => Self::I32,
86            Rule::kw_u64 => Self::U64,
87            Rule::kw_i64 => Self::I64,
88            Rule::kw_f32 => Self::F32,
89            Rule::kw_f64 => Self::F64,
90            Rule::kw_string => Self::String,
91            Rule::kw_uuid => Self::Uuid,
92            Rule::kw_object_id => Self::ObjectId,
93            Rule::kw_service_id => Self::ServiceId,
94            Rule::kw_value => Self::Value,
95            Rule::kw_lifetime => Self::Lifetime,
96            Rule::kw_unit => Self::Unit,
97
98            Rule::option_type => {
99                let mut pairs = pair.into_inner();
100                pairs.next().unwrap(); // Skip keyword.
101                pairs.next().unwrap(); // Skip <.
102                let pair = pairs.next().unwrap();
103
104                Self::Option(Box::new(TypeName::parse(pair)))
105            }
106
107            Rule::box_type => {
108                let mut pairs = pair.into_inner();
109                pairs.next().unwrap(); // Skip keyword.
110                pairs.next().unwrap(); // Skip <.
111                let pair = pairs.next().unwrap();
112
113                Self::Box(Box::new(TypeName::parse(pair)))
114            }
115
116            Rule::vec_type => {
117                let mut pairs = pair.into_inner();
118                pairs.next().unwrap(); // Skip keyword.
119                pairs.next().unwrap(); // Skip <.
120                let pair = pairs.next().unwrap();
121
122                Self::Vec(Box::new(TypeName::parse(pair)))
123            }
124
125            Rule::kw_bytes => Self::Bytes,
126
127            Rule::map_type => {
128                let mut pairs = pair.into_inner();
129                pairs.next().unwrap(); // Skip keyword.
130                pairs.next().unwrap(); // Skip <.
131                let key_pair = pairs.next().unwrap();
132                pairs.next().unwrap(); // Skip ->.
133                let type_pair = pairs.next().unwrap();
134
135                Self::Map(
136                    Box::new(TypeName::parse(key_pair)),
137                    Box::new(TypeName::parse(type_pair)),
138                )
139            }
140
141            Rule::set_type => {
142                let mut pairs = pair.into_inner();
143                pairs.next().unwrap(); // Skip keyword.
144                pairs.next().unwrap(); // Skip <.
145                let pair = pairs.next().unwrap();
146
147                Self::Set(Box::new(TypeName::parse(pair)))
148            }
149
150            Rule::sender_type => {
151                let mut pairs = pair.into_inner();
152                pairs.next().unwrap(); // Skip keyword.
153                pairs.next().unwrap(); // Skip <.
154                let pair = pairs.next().unwrap();
155
156                Self::Sender(Box::new(TypeName::parse(pair)))
157            }
158
159            Rule::receiver_type => {
160                let mut pairs = pair.into_inner();
161                pairs.next().unwrap(); // Skip keyword.
162                pairs.next().unwrap(); // Skip <.
163                let pair = pairs.next().unwrap();
164
165                Self::Receiver(Box::new(TypeName::parse(pair)))
166            }
167
168            Rule::result_type => {
169                let mut pairs = pair.into_inner();
170                pairs.next().unwrap(); // Skip keyword.
171                pairs.next().unwrap(); // Skip <.
172                let ok_pair = pairs.next().unwrap();
173                pairs.next().unwrap(); // Skip ,.
174                let err_pair = pairs.next().unwrap();
175
176                Self::Result(
177                    Box::new(TypeName::parse(ok_pair)),
178                    Box::new(TypeName::parse(err_pair)),
179                )
180            }
181
182            Rule::array_type => {
183                let mut pairs = pair.into_inner();
184                pairs.next().unwrap(); // Skip [.
185                let type_pair = pairs.next().unwrap();
186                pairs.next().unwrap(); // Skip ;.
187                let len_pair = pairs.next().unwrap();
188
189                Self::Array(
190                    Box::new(TypeName::parse(type_pair)),
191                    ArrayLen::parse(len_pair),
192                )
193            }
194
195            Rule::named_ref => Self::Ref(NamedRef::parse(pair)),
196
197            _ => unreachable!(),
198        }
199    }
200
201    fn validate(&self, is_key_type: bool, validate: &mut Validate) {
202        match self {
203            Self::Option(ty)
204            | Self::Box(ty)
205            | Self::Vec(ty)
206            | Self::Sender(ty)
207            | Self::Receiver(ty) => ty.validate(false, validate),
208
209            Self::Map(k, t) => {
210                InvalidKeyType::validate(k, validate);
211                k.validate(true, validate);
212                t.validate(false, validate);
213            }
214
215            Self::Set(ty) => {
216                InvalidKeyType::validate(ty, validate);
217                ty.validate(true, validate);
218            }
219
220            Self::Result(ok, err) => {
221                ok.validate(false, validate);
222                err.validate(false, validate);
223            }
224
225            Self::Array(ty, len) => {
226                ty.validate(false, validate);
227                len.validate(validate);
228            }
229
230            Self::Ref(ty) => {
231                TypeNotFound::validate(ty, is_key_type, validate);
232                ExpectedTypeFoundService::validate(ty, is_key_type, validate);
233                ExpectedTypeFoundConst::validate(ty, is_key_type, validate);
234                ty.validate(validate);
235            }
236
237            Self::Bool
238            | Self::U8
239            | Self::I8
240            | Self::U16
241            | Self::I16
242            | Self::U32
243            | Self::I32
244            | Self::U64
245            | Self::I64
246            | Self::F32
247            | Self::F64
248            | Self::String
249            | Self::Uuid
250            | Self::ObjectId
251            | Self::ServiceId
252            | Self::Value
253            | Self::Bytes
254            | Self::Lifetime
255            | Self::Unit => {}
256        }
257    }
258}
259
260impl fmt::Display for TypeNameKind {
261    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
262        match self {
263            Self::Bool => write!(f, "bool"),
264            Self::U8 => write!(f, "u8"),
265            Self::I8 => write!(f, "i8"),
266            Self::U16 => write!(f, "u16"),
267            Self::I16 => write!(f, "i16"),
268            Self::U32 => write!(f, "u32"),
269            Self::I32 => write!(f, "i32"),
270            Self::U64 => write!(f, "u64"),
271            Self::I64 => write!(f, "i64"),
272            Self::F32 => write!(f, "f32"),
273            Self::F64 => write!(f, "f64"),
274            Self::String => write!(f, "string"),
275            Self::Uuid => write!(f, "uuid"),
276            Self::ObjectId => write!(f, "object_id"),
277            Self::ServiceId => write!(f, "service_id"),
278            Self::Value => write!(f, "value"),
279            Self::Option(ty) => write!(f, "option<{}>", ty.kind()),
280            Self::Box(ty) => write!(f, "box<{}>", ty.kind()),
281            Self::Vec(ty) => write!(f, "vec<{}>", ty.kind()),
282            Self::Bytes => write!(f, "bytes"),
283            Self::Map(k, t) => write!(f, "map<{} -> {}>", k.kind(), t.kind()),
284            Self::Set(ty) => write!(f, "set<{}>", ty.kind()),
285            Self::Sender(ty) => write!(f, "sender<{}>", ty.kind()),
286            Self::Receiver(ty) => write!(f, "receiver<{}>", ty.kind()),
287            Self::Lifetime => write!(f, "lifetime"),
288            Self::Unit => write!(f, "unit"),
289            Self::Result(ok, err) => write!(f, "result<{}, {}>", ok.kind(), err.kind()),
290            Self::Array(ty, len) => write!(f, "[{}; {}]", ty.kind(), len.value()),
291            Self::Ref(ty) => ty.kind().fmt(f),
292        }
293    }
294}