1use super::CORE_TYPE_SORT;
2use crate::{
3 Alias, ComponentExportKind, ComponentOuterAliasKind, ComponentSection, ComponentSectionId,
4 ComponentTypeRef, CoreTypeEncoder, Encode, EntityType, ValType, encode_section,
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 fixed_size_list(self, ty: impl Into<ComponentValType>, elements: u32) {
598 self.0.push(0x67);
599 ty.into().encode(self.0);
600 elements.encode(self.0);
601 }
602
603 pub fn tuple<I, T>(self, types: I)
605 where
606 I: IntoIterator<Item = T>,
607 I::IntoIter: ExactSizeIterator,
608 T: Into<ComponentValType>,
609 {
610 let types = types.into_iter();
611 self.0.push(0x6F);
612 types.len().encode(self.0);
613 for ty in types {
614 ty.into().encode(self.0);
615 }
616 }
617
618 pub fn flags<'a, I>(self, names: I)
620 where
621 I: IntoIterator<Item = &'a str>,
622 I::IntoIter: ExactSizeIterator,
623 {
624 let names = names.into_iter();
625 self.0.push(0x6E);
626 names.len().encode(self.0);
627 for name in names {
628 name.encode(self.0);
629 }
630 }
631
632 pub fn enum_type<'a, I>(self, tags: I)
634 where
635 I: IntoIterator<Item = &'a str>,
636 I::IntoIter: ExactSizeIterator,
637 {
638 let tags = tags.into_iter();
639 self.0.push(0x6D);
640 tags.len().encode(self.0);
641 for tag in tags {
642 tag.encode(self.0);
643 }
644 }
645
646 pub fn option(self, ty: impl Into<ComponentValType>) {
648 self.0.push(0x6B);
649 ty.into().encode(self.0);
650 }
651
652 pub fn result(self, ok: Option<ComponentValType>, err: Option<ComponentValType>) {
654 self.0.push(0x6A);
655 ok.encode(self.0);
656 err.encode(self.0);
657 }
658
659 pub fn own(self, idx: u32) {
661 self.0.push(0x69);
662 idx.encode(self.0);
663 }
664
665 pub fn borrow(self, idx: u32) {
667 self.0.push(0x68);
668 idx.encode(self.0);
669 }
670
671 pub fn future(self, payload: Option<ComponentValType>) {
673 self.0.push(0x65);
674 payload.encode(self.0);
675 }
676
677 pub fn stream(self, payload: Option<ComponentValType>) {
679 self.0.push(0x66);
680 payload.encode(self.0);
681 }
682}
683
684#[derive(Clone, Debug, Default)]
710pub struct ComponentTypeSection {
711 bytes: Vec<u8>,
712 num_added: u32,
713}
714
715impl ComponentTypeSection {
716 pub fn new() -> Self {
718 Self::default()
719 }
720
721 pub fn len(&self) -> u32 {
723 self.num_added
724 }
725
726 pub fn is_empty(&self) -> bool {
728 self.num_added == 0
729 }
730
731 #[must_use = "the encoder must be used to encode the type"]
735 pub fn ty(&mut self) -> ComponentTypeEncoder<'_> {
736 self.num_added += 1;
737 ComponentTypeEncoder(&mut self.bytes)
738 }
739
740 pub fn component(&mut self, ty: &ComponentType) -> &mut Self {
742 self.ty().component(ty);
743 self
744 }
745
746 pub fn instance(&mut self, ty: &InstanceType) -> &mut Self {
748 self.ty().instance(ty);
749 self
750 }
751
752 pub fn function(&mut self) -> ComponentFuncTypeEncoder<'_> {
754 self.ty().function()
755 }
756
757 #[must_use = "the encoder must be used to encode the type"]
761 pub fn defined_type(&mut self) -> ComponentDefinedTypeEncoder<'_> {
762 self.ty().defined_type()
763 }
764
765 pub fn resource(&mut self, rep: ValType, dtor: Option<u32>) -> &mut Self {
767 self.ty().resource(rep, dtor);
768 self
769 }
770}
771
772impl Encode for ComponentTypeSection {
773 fn encode(&self, sink: &mut Vec<u8>) {
774 encode_section(sink, self.num_added, &self.bytes);
775 }
776}
777
778impl ComponentSection for ComponentTypeSection {
779 fn id(&self) -> u8 {
780 ComponentSectionId::Type.into()
781 }
782}