1use super::CORE_TYPE_SORT;
2use crate::{
3 encode_section, Alias, ComponentExportKind, ComponentOuterAliasKind, ComponentSection,
4 ComponentSectionId, ComponentTypeRef, CoreTypeEncoder, Encode, EntityType, ValType,
5};
6use alloc::vec::Vec;
7
8#[derive(Debug, Clone, Default)]
10pub struct ModuleType {
11 bytes: Vec<u8>,
12 num_added: u32,
13 types_added: u32,
14}
15
16impl ModuleType {
17 pub fn new() -> Self {
19 Self::default()
20 }
21
22 pub fn import(&mut self, module: &str, name: &str, ty: EntityType) -> &mut Self {
24 self.bytes.push(0x00);
25 module.encode(&mut self.bytes);
26 name.encode(&mut self.bytes);
27 ty.encode(&mut self.bytes);
28 self.num_added += 1;
29 self
30 }
31
32 #[must_use = "the encoder must be used to encode the type"]
36 pub fn ty(&mut self) -> CoreTypeEncoder {
37 self.bytes.push(0x01);
38 self.num_added += 1;
39 self.types_added += 1;
40 CoreTypeEncoder {
41 push_prefix_if_component_core_type: false,
42 bytes: &mut self.bytes,
43 }
44 }
45
46 pub fn alias_outer_core_type(&mut self, count: u32, index: u32) -> &mut Self {
48 self.bytes.push(0x02);
49 self.bytes.push(CORE_TYPE_SORT);
50 self.bytes.push(0x01); count.encode(&mut self.bytes);
52 index.encode(&mut self.bytes);
53 self.num_added += 1;
54 self.types_added += 1;
55 self
56 }
57
58 pub fn export(&mut self, name: &str, ty: EntityType) -> &mut Self {
60 self.bytes.push(0x03);
61 name.encode(&mut self.bytes);
62 ty.encode(&mut self.bytes);
63 self.num_added += 1;
64 self
65 }
66
67 pub fn type_count(&self) -> u32 {
69 self.types_added
70 }
71}
72
73impl Encode for ModuleType {
74 fn encode(&self, sink: &mut Vec<u8>) {
75 sink.push(0x50);
76 self.num_added.encode(sink);
77 sink.extend(&self.bytes);
78 }
79}
80
81#[derive(Debug)]
83pub struct ComponentCoreTypeEncoder<'a>(pub(crate) &'a mut Vec<u8>);
84
85impl<'a> ComponentCoreTypeEncoder<'a> {
86 pub fn module(self, ty: &ModuleType) {
88 ty.encode(self.0);
89 }
90
91 #[must_use = "the encoder must be used to encode the type"]
93 pub fn core(self) -> CoreTypeEncoder<'a> {
94 CoreTypeEncoder {
95 bytes: self.0,
96 push_prefix_if_component_core_type: true,
97 }
98 }
99}
100
101#[derive(Clone, Debug, Default)]
118pub struct CoreTypeSection {
119 bytes: Vec<u8>,
120 num_added: u32,
121}
122
123impl CoreTypeSection {
124 pub fn new() -> Self {
126 Self::default()
127 }
128
129 pub fn len(&self) -> u32 {
131 self.num_added
132 }
133
134 pub fn is_empty(&self) -> bool {
136 self.num_added == 0
137 }
138
139 #[must_use = "the encoder must be used to encode the type"]
143 pub fn ty(&mut self) -> ComponentCoreTypeEncoder<'_> {
144 self.num_added += 1;
145 ComponentCoreTypeEncoder(&mut self.bytes)
146 }
147}
148
149impl Encode for CoreTypeSection {
150 fn encode(&self, sink: &mut Vec<u8>) {
151 encode_section(sink, self.num_added, &self.bytes);
152 }
153}
154
155impl ComponentSection for CoreTypeSection {
156 fn id(&self) -> u8 {
157 ComponentSectionId::CoreType.into()
158 }
159}
160
161#[derive(Debug, Clone, Default)]
163pub struct ComponentType {
164 bytes: Vec<u8>,
165 num_added: u32,
166 core_types_added: u32,
167 types_added: u32,
168 instances_added: u32,
169}
170
171impl ComponentType {
172 pub fn new() -> Self {
174 Self::default()
175 }
176
177 #[must_use = "the encoder must be used to encode the type"]
181 pub fn core_type(&mut self) -> ComponentCoreTypeEncoder {
182 self.bytes.push(0x00);
183 self.num_added += 1;
184 self.core_types_added += 1;
185 ComponentCoreTypeEncoder(&mut self.bytes)
186 }
187
188 #[must_use = "the encoder must be used to encode the type"]
192 pub fn ty(&mut self) -> ComponentTypeEncoder {
193 self.bytes.push(0x01);
194 self.num_added += 1;
195 self.types_added += 1;
196 ComponentTypeEncoder(&mut self.bytes)
197 }
198
199 pub fn alias(&mut self, alias: Alias<'_>) -> &mut Self {
202 self.bytes.push(0x02);
203 alias.encode(&mut self.bytes);
204 self.num_added += 1;
205 match &alias {
206 Alias::InstanceExport {
207 kind: ComponentExportKind::Type,
208 ..
209 }
210 | Alias::Outer {
211 kind: ComponentOuterAliasKind::Type,
212 ..
213 } => self.types_added += 1,
214 Alias::Outer {
215 kind: ComponentOuterAliasKind::CoreType,
216 ..
217 } => self.core_types_added += 1,
218 Alias::InstanceExport {
219 kind: ComponentExportKind::Instance,
220 ..
221 } => self.instances_added += 1,
222 _ => {}
223 }
224 self
225 }
226
227 pub fn import(&mut self, name: &str, ty: ComponentTypeRef) -> &mut Self {
229 self.bytes.push(0x03);
230 crate::encode_component_import_name(&mut self.bytes, name);
231 ty.encode(&mut self.bytes);
232 self.num_added += 1;
233 match ty {
234 ComponentTypeRef::Type(..) => self.types_added += 1,
235 ComponentTypeRef::Instance(..) => self.instances_added += 1,
236 _ => {}
237 }
238 self
239 }
240
241 pub fn export(&mut self, name: &str, ty: ComponentTypeRef) -> &mut Self {
243 self.bytes.push(0x04);
244 crate::encode_component_export_name(&mut self.bytes, name);
245 ty.encode(&mut self.bytes);
246 self.num_added += 1;
247 match ty {
248 ComponentTypeRef::Type(..) => self.types_added += 1,
249 ComponentTypeRef::Instance(..) => self.instances_added += 1,
250 _ => {}
251 }
252 self
253 }
254
255 pub fn core_type_count(&self) -> u32 {
257 self.core_types_added
258 }
259
260 pub fn type_count(&self) -> u32 {
262 self.types_added
263 }
264
265 pub fn instance_count(&self) -> u32 {
268 self.instances_added
269 }
270}
271
272impl Encode for ComponentType {
273 fn encode(&self, sink: &mut Vec<u8>) {
274 sink.push(0x41);
275 self.num_added.encode(sink);
276 sink.extend(&self.bytes);
277 }
278}
279
280#[derive(Debug, Clone, Default)]
282pub struct InstanceType(ComponentType);
283
284impl InstanceType {
285 pub fn new() -> Self {
287 Self::default()
288 }
289
290 #[must_use = "the encoder must be used to encode the type"]
294 pub fn core_type(&mut self) -> ComponentCoreTypeEncoder {
295 self.0.core_type()
296 }
297
298 #[must_use = "the encoder must be used to encode the type"]
302 pub fn ty(&mut self) -> ComponentTypeEncoder {
303 self.0.ty()
304 }
305
306 pub fn alias(&mut self, alias: Alias<'_>) -> &mut Self {
308 self.0.alias(alias);
309 self
310 }
311
312 pub fn export(&mut self, name: &str, ty: ComponentTypeRef) -> &mut Self {
314 self.0.export(name, ty);
315 self
316 }
317
318 pub fn core_type_count(&self) -> u32 {
320 self.0.core_types_added
321 }
322
323 pub fn type_count(&self) -> u32 {
325 self.0.types_added
326 }
327
328 pub fn instance_count(&self) -> u32 {
331 self.0.instances_added
332 }
333
334 pub fn is_empty(&self) -> bool {
336 self.0.num_added == 0
337 }
338
339 pub fn len(&self) -> u32 {
341 self.0.num_added
342 }
343}
344
345impl Encode for InstanceType {
346 fn encode(&self, sink: &mut Vec<u8>) {
347 sink.push(0x42);
348 self.0.num_added.encode(sink);
349 sink.extend(&self.0.bytes);
350 }
351}
352
353#[derive(Debug)]
355pub struct ComponentFuncTypeEncoder<'a> {
356 params_encoded: bool,
357 results_encoded: bool,
358 sink: &'a mut Vec<u8>,
359}
360
361impl<'a> ComponentFuncTypeEncoder<'a> {
362 fn new(sink: &'a mut Vec<u8>) -> Self {
363 sink.push(0x40);
364 Self {
365 params_encoded: false,
366 results_encoded: false,
367 sink,
368 }
369 }
370
371 pub fn params<'b, P, T>(&mut self, params: P) -> &mut Self
380 where
381 P: IntoIterator<Item = (&'b str, T)>,
382 P::IntoIter: ExactSizeIterator,
383 T: Into<ComponentValType>,
384 {
385 assert!(!self.params_encoded);
386 self.params_encoded = true;
387 let params = params.into_iter();
388 params.len().encode(self.sink);
389 for (name, ty) in params {
390 name.encode(self.sink);
391 ty.into().encode(self.sink);
392 }
393 self
394 }
395
396 pub fn result(&mut self, ty: Option<ComponentValType>) -> &mut Self {
405 assert!(self.params_encoded);
406 assert!(!self.results_encoded);
407 self.results_encoded = true;
408 encode_resultlist(self.sink, ty);
409 self
410 }
411}
412
413pub(crate) fn encode_resultlist(sink: &mut Vec<u8>, ty: Option<ComponentValType>) {
414 match ty {
415 Some(ty) => {
416 sink.push(0x00);
417 ty.encode(sink);
418 }
419 None => {
420 sink.push(0x01);
421 sink.push(0x00);
422 }
423 }
424}
425
426#[derive(Debug)]
428pub struct ComponentTypeEncoder<'a>(&'a mut Vec<u8>);
429
430impl<'a> ComponentTypeEncoder<'a> {
431 pub fn component(self, ty: &ComponentType) {
433 ty.encode(self.0);
434 }
435
436 pub fn instance(self, ty: &InstanceType) {
438 ty.encode(self.0);
439 }
440
441 pub fn function(self) -> ComponentFuncTypeEncoder<'a> {
443 ComponentFuncTypeEncoder::new(self.0)
444 }
445
446 #[must_use = "the encoder must be used to encode the type"]
450 pub fn defined_type(self) -> ComponentDefinedTypeEncoder<'a> {
451 ComponentDefinedTypeEncoder(self.0)
452 }
453
454 pub fn resource(self, rep: ValType, dtor: Option<u32>) {
456 self.0.push(0x3f);
457 rep.encode(self.0);
458 match dtor {
459 Some(i) => {
460 self.0.push(0x01);
461 i.encode(self.0);
462 }
463 None => self.0.push(0x00),
464 }
465 }
466}
467
468#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
470pub enum PrimitiveValType {
471 Bool,
473 S8,
475 U8,
477 S16,
479 U16,
481 S32,
483 U32,
485 S64,
487 U64,
489 F32,
491 F64,
493 Char,
495 String,
497 ErrorContext,
499}
500
501impl Encode for PrimitiveValType {
502 fn encode(&self, sink: &mut Vec<u8>) {
503 sink.push(match self {
504 Self::Bool => 0x7f,
505 Self::S8 => 0x7e,
506 Self::U8 => 0x7d,
507 Self::S16 => 0x7c,
508 Self::U16 => 0x7b,
509 Self::S32 => 0x7a,
510 Self::U32 => 0x79,
511 Self::S64 => 0x78,
512 Self::U64 => 0x77,
513 Self::F32 => 0x76,
514 Self::F64 => 0x75,
515 Self::Char => 0x74,
516 Self::String => 0x73,
517 Self::ErrorContext => 0x64,
518 });
519 }
520}
521
522#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
524pub enum ComponentValType {
525 Primitive(PrimitiveValType),
527 Type(u32),
531}
532
533impl Encode for ComponentValType {
534 fn encode(&self, sink: &mut Vec<u8>) {
535 match self {
536 Self::Primitive(ty) => ty.encode(sink),
537 Self::Type(index) => (*index as i64).encode(sink),
538 }
539 }
540}
541
542impl From<PrimitiveValType> for ComponentValType {
543 fn from(ty: PrimitiveValType) -> Self {
544 Self::Primitive(ty)
545 }
546}
547
548#[derive(Debug)]
550pub struct ComponentDefinedTypeEncoder<'a>(&'a mut Vec<u8>);
551
552impl ComponentDefinedTypeEncoder<'_> {
553 pub fn primitive(self, ty: PrimitiveValType) {
555 ty.encode(self.0);
556 }
557
558 pub fn record<'a, F, T>(self, fields: F)
560 where
561 F: IntoIterator<Item = (&'a str, T)>,
562 F::IntoIter: ExactSizeIterator,
563 T: Into<ComponentValType>,
564 {
565 let fields = fields.into_iter();
566 self.0.push(0x72);
567 fields.len().encode(self.0);
568 for (name, ty) in fields {
569 name.encode(self.0);
570 ty.into().encode(self.0);
571 }
572 }
573
574 pub fn variant<'a, C>(self, cases: C)
576 where
577 C: IntoIterator<Item = (&'a str, Option<ComponentValType>, Option<u32>)>,
578 C::IntoIter: ExactSizeIterator,
579 {
580 let cases = cases.into_iter();
581 self.0.push(0x71);
582 cases.len().encode(self.0);
583 for (name, ty, refines) in cases {
584 name.encode(self.0);
585 ty.encode(self.0);
586 refines.encode(self.0);
587 }
588 }
589
590 pub fn list(self, ty: impl Into<ComponentValType>) {
592 self.0.push(0x70);
593 ty.into().encode(self.0);
594 }
595
596 pub fn tuple<I, T>(self, types: I)
598 where
599 I: IntoIterator<Item = T>,
600 I::IntoIter: ExactSizeIterator,
601 T: Into<ComponentValType>,
602 {
603 let types = types.into_iter();
604 self.0.push(0x6F);
605 types.len().encode(self.0);
606 for ty in types {
607 ty.into().encode(self.0);
608 }
609 }
610
611 pub fn flags<'a, I>(self, names: I)
613 where
614 I: IntoIterator<Item = &'a str>,
615 I::IntoIter: ExactSizeIterator,
616 {
617 let names = names.into_iter();
618 self.0.push(0x6E);
619 names.len().encode(self.0);
620 for name in names {
621 name.encode(self.0);
622 }
623 }
624
625 pub fn enum_type<'a, I>(self, tags: I)
627 where
628 I: IntoIterator<Item = &'a str>,
629 I::IntoIter: ExactSizeIterator,
630 {
631 let tags = tags.into_iter();
632 self.0.push(0x6D);
633 tags.len().encode(self.0);
634 for tag in tags {
635 tag.encode(self.0);
636 }
637 }
638
639 pub fn option(self, ty: impl Into<ComponentValType>) {
641 self.0.push(0x6B);
642 ty.into().encode(self.0);
643 }
644
645 pub fn result(self, ok: Option<ComponentValType>, err: Option<ComponentValType>) {
647 self.0.push(0x6A);
648 ok.encode(self.0);
649 err.encode(self.0);
650 }
651
652 pub fn own(self, idx: u32) {
654 self.0.push(0x69);
655 idx.encode(self.0);
656 }
657
658 pub fn borrow(self, idx: u32) {
660 self.0.push(0x68);
661 idx.encode(self.0);
662 }
663
664 pub fn future(self, payload: Option<ComponentValType>) {
666 self.0.push(0x65);
667 payload.encode(self.0);
668 }
669
670 pub fn stream(self, payload: Option<ComponentValType>) {
672 self.0.push(0x66);
673 payload.encode(self.0);
674 }
675}
676
677#[derive(Clone, Debug, Default)]
703pub struct ComponentTypeSection {
704 bytes: Vec<u8>,
705 num_added: u32,
706}
707
708impl ComponentTypeSection {
709 pub fn new() -> Self {
711 Self::default()
712 }
713
714 pub fn len(&self) -> u32 {
716 self.num_added
717 }
718
719 pub fn is_empty(&self) -> bool {
721 self.num_added == 0
722 }
723
724 #[must_use = "the encoder must be used to encode the type"]
728 pub fn ty(&mut self) -> ComponentTypeEncoder<'_> {
729 self.num_added += 1;
730 ComponentTypeEncoder(&mut self.bytes)
731 }
732
733 pub fn component(&mut self, ty: &ComponentType) -> &mut Self {
735 self.ty().component(ty);
736 self
737 }
738
739 pub fn instance(&mut self, ty: &InstanceType) -> &mut Self {
741 self.ty().instance(ty);
742 self
743 }
744
745 pub fn function(&mut self) -> ComponentFuncTypeEncoder<'_> {
747 self.ty().function()
748 }
749
750 #[must_use = "the encoder must be used to encode the type"]
754 pub fn defined_type(&mut self) -> ComponentDefinedTypeEncoder<'_> {
755 self.ty().defined_type()
756 }
757
758 pub fn resource(&mut self, rep: ValType, dtor: Option<u32>) -> &mut Self {
760 self.ty().resource(rep, dtor);
761 self
762 }
763}
764
765impl Encode for ComponentTypeSection {
766 fn encode(&self, sink: &mut Vec<u8>) {
767 encode_section(sink, self.num_added, &self.bytes);
768 }
769}
770
771impl ComponentSection for ComponentTypeSection {
772 fn id(&self) -> u8 {
773 ComponentSectionId::Type.into()
774 }
775}