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(); pairs.next().unwrap(); 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(); pairs.next().unwrap(); 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(); pairs.next().unwrap(); 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(); pairs.next().unwrap(); let key_pair = pairs.next().unwrap();
132 pairs.next().unwrap(); 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(); pairs.next().unwrap(); 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(); pairs.next().unwrap(); 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(); pairs.next().unwrap(); 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(); pairs.next().unwrap(); let ok_pair = pairs.next().unwrap();
173 pairs.next().unwrap(); 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(); let type_pair = pairs.next().unwrap();
186 pairs.next().unwrap(); 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}