Struct rustc_incremental::persist::dirty_clean::DirtyCleanVisitor

pub struct DirtyCleanVisitor<'tcx> {
    tcx: TyCtxt<'tcx>,
    checked_attrs: FxHashSet<AttrId>,
}

Fields

tcx: TyCtxt<'tcx>

checked_attrs: FxHashSet<AttrId>

Implementations

impl<'tcx> DirtyCleanVisitor<'tcx>

fn assertion_maybe(
    &mut self,
    item_id: LocalDefId,
    attr: &Attribute
) -> Option<Assertion>

Possibly “deserialize” the attribute into a clean/dirty assertion

fn assertion_auto(
    &mut self,
    item_id: LocalDefId,
    attr: &Attribute,
    is_clean: bool
) -> Assertion

Gets the “auto” assertion on pre-validated attr, along with the except labels.

fn labels(&self, attr: &Attribute) -> Option<FxHashSet<String>>

fn except(&self, attr: &Attribute) -> FxHashSet<String>

except= attribute value

fn auto_labels(
    &mut self,
    item_id: LocalDefId,
    attr: &Attribute
) -> (&'static str, FxHashSet<String>)

Return all DepNode labels that should be asserted for this item. index=0 is the “name” used for error messages

fn resolve_labels(
    &self,
    item: &NestedMetaItem,
    value: Symbol
) -> FxHashSet<String>

fn dep_nodes<'l>(
    &self,
    labels: &'l FxHashSet<String>,
    def_id: DefId
) -> impl Iterator<Item = DepNode> + 'l

fn dep_node_str(&self, dep_node: &DepNode) -> String

fn assert_dirty(&self, item_span: Span, dep_node: DepNode)

fn assert_clean(&self, item_span: Span, dep_node: DepNode)

fn check_item(&mut self, item_id: LocalDefId, item_span: Span)

Trait Implementations

impl<'tcx> ItemLikeVisitor<'tcx> for DirtyCleanVisitor<'tcx>

fn visit_item(&mut self, item: &'tcx Item<'tcx>)

fn visit_trait_item(&mut self, item: &TraitItem<'_>)

fn visit_impl_item(&mut self, item: &ImplItem<'_>)

fn visit_foreign_item(&mut self, item: &ForeignItem<'_>)