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

use super::*;

////////////////////////////////////////////////////////////////////////////////

/// Properties of prefix types
/// (vtables and modules) that don't change with generic parameters.
#[repr(C)]
#[derive(Copy, Clone, StableAbi)]
pub struct MonoTLPrefixType {
    /// The first field in the suffix,
    /// the index to the field after
    /// the one to which `#[sabi(last_prefix_field)]` was applied to
    pub first_suffix_field: u8,
    /// Which fields in the prefix
    /// (the ones up to the one with the `#[sabi(last_prefix_field)]` attribute)
    /// are conditionally accessible
    /// (with the `#[sabi(accessible_if = expression)]` attribute).
    pub conditional_prefix_fields: FieldConditionality,
    /// All the fields of the prefix-type,even if they are inaccessible.
    pub fields: CompTLFields,
}

impl MonoTLPrefixType {
    /// Expands this into a `TLPrefixType`.
    pub const fn expand(
        self,
        other: GenericTLPrefixType,
        shared_vars: &'static SharedVars,
    ) -> TLPrefixType {
        TLPrefixType {
            first_suffix_field: self.first_suffix_field,
            conditional_prefix_fields: self.conditional_prefix_fields,
            fields: self.fields.expand(shared_vars),
            accessible_fields: other.accessible_fields,
        }
    }
}

/////////////////////////////////////////////////////

/// Properties of prefix types
/// (vtables and modules) that depends on generic parameters.
#[repr(C)]
#[derive(Copy, Clone, StableAbi)]
pub struct GenericTLPrefixType {
    /// Which fields are accessible when the prefix type is instantiated in
    /// the same dynlib/binary.
    pub accessible_fields: FieldAccessibility,
}

/////////////////////////////////////////////////////

/// Properties of prefix types (vtables and modules),
/// combining `MonoTLPrefixType` and `GenericTLPrefixType`.
#[repr(C)]
#[derive(Debug, Copy, Clone, PartialEq, Eq, StableAbi)]
pub struct TLPrefixType {
    /// The first field in the suffix,
    /// the index to the field after
    /// the one to which `#[sabi(last_prefix_field)]` was applied to
    pub first_suffix_field: u8,
    /// Which fields in the prefix
    /// (the ones up to the one with the `#[sabi(last_prefix_field)]` attribute)
    /// are conditionally accessible
    /// (with the `#[sabi(accessible_if = expression)]` attribute).
    pub conditional_prefix_fields: FieldConditionality,
    /// All the fields of the prefix-type,even if they are inaccessible.
    pub fields: TLFields,

    /// Which fields are accessible when the prefix type is instantiated in
    /// the same dynlib/binary.
    pub accessible_fields: FieldAccessibility,
}

impl Display for TLPrefixType {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        writeln!(f, "first_suffix_field:{}", self.first_suffix_field)?;
        writeln!(
            f,
            "conditional_prefix_fields:\n    {:b}",
            self.conditional_prefix_fields.bits(),
        )?;
        writeln!(f, "fields:\n{}", self.fields.to_string().left_padder(4))?;
        write!(f, "accessible_fields:\n    ")?;
        f.debug_list()
            .entries(self.accessible_fields.iter().take(self.fields.len()))
            .finish()?;
        Ok(())
    }
}