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
use super::*;
#[derive(Clone, PartialEq, PartialOrd, Eq, Ord)]
pub struct Field(pub Row);
impl From<Row> for Field {
fn from(row: Row) -> Self {
Self(row)
}
}
impl Field {
pub fn name(&self) -> &'static str {
self.0.str(1)
}
pub fn is_literal(&self) -> bool {
self.0.u32(0) & 0b100_0000 != 0
}
pub fn constant(&self) -> Option<Constant> {
self.0.file.equal_range(TableIndex::Constant, 1, HasConstant::Field(self.clone()).encode()).map(Constant).next()
}
pub fn attributes(&self) -> impl Iterator<Item = Attribute> {
self.0.file.attributes(HasAttribute::Field(self.clone()))
}
pub fn get_type(&self, enclosing: Option<&TypeDef>) -> Type {
let mut blob = self.0.blob(2);
blob.read_unsigned();
blob.read_modifiers();
let def = TypeReader::get().type_from_blob(&mut blob, enclosing, &[]).expect("Field");
if self.is_const() {
def.to_const()
} else {
def
}
}
pub fn is_blittable(&self, enclosing: Option<&TypeDef>) -> bool {
self.get_type(enclosing).is_blittable()
}
pub fn is_const(&self) -> bool {
self.has_attribute("ConstAttribute")
}
fn has_attribute(&self, name: &str) -> bool {
self.attributes().any(|attribute| attribute.name() == name)
}
pub fn cfg(&self) -> Cfg {
let mut cfg = Cfg::new();
self.combine_cfg(None, &mut cfg);
cfg.add_attributes(self.attributes());
cfg
}
pub(crate) fn combine_cfg(&self, enclosing: Option<&TypeDef>, cfg: &mut Cfg) {
self.get_type(enclosing).combine_cfg(cfg);
}
}
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn test_generic() {
let r = TypeReader::get().expect_type_def(TypeName::new("Windows.Foundation", "Rect"));
let f: Vec<Field> = r.fields().collect();
assert_eq!(f.len(), 4);
let s = f[0].get_type(None);
assert!(s == Type::F32);
}
}