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
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
|
use super::*;
use crate::winmd::{self, writer};
pub fn from_reader(reader: &metadata::Reader, config: std::collections::BTreeMap<&str, &str>, output: &str) -> crate::Result<()> {
let mut writer = winmd::Writer::new(output);
// TODO: do we need any configuration values for winmd generation?
// Maybe per-namespace winmd files for namespace-splitting - be sure to use
// the same key as for winmd generation.
if let Some((key, _)) = config.first_key_value() {
return Err(crate::Error::new(&format!("invalid configuration value `{key}`")));
}
// TODO: just use the reader directly since we now have everything in the reader, there's no need to abstract
// away the source format. Few reprs is always better.
for item in reader.items() {
// TODO: cover all variants
let metadata::Item::Type(def) = item else {
continue;
};
let generics = &metadata::type_def_generics(def);
let extends = if let Some(extends) = def.extends() { writer.insert_type_ref(extends.namespace, extends.name) } else { 0 };
writer.tables.TypeDef.push(writer::TypeDef {
Extends: extends,
FieldList: writer.tables.Field.len() as u32,
Flags: def.flags().0,
MethodList: writer.tables.MethodDef.len() as u32,
TypeName: writer.strings.insert(def.name()),
TypeNamespace: writer.strings.insert(def.namespace()),
});
for generic in def.generics() {
writer.tables.GenericParam.push(writer::GenericParam {
Number: generic.number(), // TODO: isn't this just going to be incremental?
Flags: 0,
Owner: writer::TypeOrMethodDef::TypeDef(writer.tables.TypeDef.len() as u32 - 1).encode(),
Name: writer.strings.insert(generic.name()),
});
}
for interface in metadata::type_def_interfaces(def, generics) {
let ty = winmd_type(&interface.ty);
let reference = match &ty {
winmd::Type::TypeRef(type_name) if type_name.generics.is_empty() => writer.insert_type_ref(&type_name.namespace, &type_name.name),
winmd::Type::TypeRef(_) => writer.insert_type_spec(ty),
winmd::Type::IUnknown => writer.insert_type_ref("Windows.Win32.System.Com", "IUnknown"),
winmd::Type::IInspectable => writer.insert_type_ref("Windows.Win32.System.WinRT", "IInspectable"),
rest => unimplemented!("{rest:?}"),
};
writer.tables.InterfaceImpl.push(writer::InterfaceImpl { Class: writer.tables.TypeDef.len() as u32 - 1, Interface: reference });
}
// TODO: if the class is "Apis" then should we sort the fields (constants) and methods (functions) for stability
for field in def.fields() {
let ty = winmd_type(&field.ty(Some(def)));
let signature = writer.insert_field_sig(&ty);
writer.tables.Field.push(writer::Field { Flags: field.flags().0, Name: writer.strings.insert(field.name()), Signature: signature });
}
for method in def.methods() {
let signature = method.signature(generics);
let return_type = winmd_type(&signature.return_type);
let param_types: Vec<Type> = signature.params.iter().map(winmd_type).collect();
let signature = writer.insert_method_sig(signature.call_flags, &return_type, ¶m_types);
writer.tables.MethodDef.push(winmd::MethodDef {
RVA: 0,
ImplFlags: method.impl_flags().0,
Flags: method.flags().0,
Name: writer.strings.insert(method.name()),
Signature: signature,
ParamList: writer.tables.Param.len() as u32,
});
for param in method.params() {
writer.tables.Param.push(writer::Param { Flags: param.flags().0, Sequence: param.sequence(), Name: writer.strings.insert(param.name()) });
}
}
}
// TODO: In theory, `config` could instruct this function to balance the types across a number of winmd files
// like mdmerge supports for namespace-splitting.
crate::write_to_file(output, writer.into_stream()).map_err(|err| err.with_path(output))
}
// TODO: keep the basic type conversion
fn winmd_type(ty: &metadata::Type) -> winmd::Type {
match ty {
metadata::Type::Void => winmd::Type::Void,
metadata::Type::Bool => winmd::Type::Bool,
metadata::Type::Char => winmd::Type::Char,
metadata::Type::I8 => winmd::Type::I8,
metadata::Type::U8 => winmd::Type::U8,
metadata::Type::I16 => winmd::Type::I16,
metadata::Type::U16 => winmd::Type::U16,
metadata::Type::I32 => winmd::Type::I32,
metadata::Type::U32 => winmd::Type::U32,
metadata::Type::I64 => winmd::Type::I64,
metadata::Type::U64 => winmd::Type::U64,
metadata::Type::F32 => winmd::Type::F32,
metadata::Type::F64 => winmd::Type::F64,
metadata::Type::ISize => winmd::Type::ISize,
metadata::Type::USize => winmd::Type::USize,
metadata::Type::String => winmd::Type::String,
metadata::Type::GUID => winmd::Type::GUID,
metadata::Type::IUnknown => winmd::Type::IUnknown,
metadata::Type::IInspectable => winmd::Type::IInspectable,
metadata::Type::HRESULT => winmd::Type::HRESULT,
metadata::Type::PSTR => winmd::Type::PSTR,
metadata::Type::PWSTR => winmd::Type::PWSTR,
metadata::Type::PCSTR => winmd::Type::PCSTR,
metadata::Type::PCWSTR => winmd::Type::PCWSTR,
metadata::Type::BSTR => winmd::Type::BSTR,
metadata::Type::Type => winmd::Type::Type,
metadata::Type::TypeDef(def, generics) => winmd::Type::TypeRef(winmd::TypeName { namespace: def.namespace().to_string(), name: def.name().to_string(), generics: generics.iter().map(winmd_type).collect() }),
metadata::Type::GenericParam(generic) => winmd::Type::GenericParam(generic.number()),
metadata::Type::ConstRef(ty) => winmd::Type::ConstRef(Box::new(winmd_type(ty))),
metadata::Type::WinrtArrayRef(ty) => winmd::Type::WinrtArrayRef(Box::new(winmd_type(ty))),
metadata::Type::WinrtArray(ty) => winmd::Type::WinrtArray(Box::new(winmd_type(ty))),
metadata::Type::MutPtr(ty, pointers) => winmd::Type::MutPtr(Box::new(winmd_type(ty)), *pointers),
metadata::Type::ConstPtr(ty, pointers) => winmd::Type::ConstPtr(Box::new(winmd_type(ty)), *pointers),
metadata::Type::Win32Array(ty, len) => winmd::Type::Win32Array(Box::new(winmd_type(ty)), *len),
rest => unimplemented!("{rest:?}"),
}
}
|
