Struct TargetDefines 

pub struct TargetDefines {
    pub macros: BTreeSet<String>,
    pub records: BTreeSet<String>,
    pub types: BTreeSet<(TypeName, Arity)>,
    pub complete: bool,
    pub stdlib_unread: bool,
    pub macro_attributes: bool,
}

Macros, records, and types defined in the target version of the subject’s file or a header it transitively includes, with the include set taken from the target text and the patch’s added text alike. complete is false when a first-party include could not be resolved or read: a definition might hide in the header we missed. A skipped stdlib header is tracked separately, since which sets it can hide differs by axis.

Fields

macros: BTreeSet<String>

records: BTreeSet<String>

types: BTreeSet<(TypeName, Arity)>

complete: bool

stdlib_unread: bool

A stdlib include_lib was skipped: it is outside the repo, so it cannot be read. It can hide a macro or a record, so those axes must treat it as incomplete. It cannot practically hide a type a first-party module then re-exports, since a module can only export a type declared in its own text.

macro_attributes: bool

A macro-expanded attribute form in the closure: any attribute-derived set here may be missing what it expands to.

Implementations

impl TargetDefines

pub fn defines_complete(&self) -> bool

Macros and records can hide in any unread header, stdlib or not.

Trait Implementations

impl Debug for TargetDefines

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for TargetDefines

The empty closure is complete: nothing was reached, nothing was missed.

fn default() -> Self

Returns the “default value” for a type.