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>

pub(in persist::dirty_clean) fn assertion_maybe(
    &mut self,
    item_id: HirId,
    attr: &Attribute
) -> Option<Assertion>

Possibly "deserialize" the attribute into a clean/dirty assertion

pub(in persist::dirty_clean) fn assertion_auto(
    &mut self,
    item_id: HirId,
    attr: &Attribute,
    is_clean: bool
) -> Assertion

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

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

pub(in persist::dirty_clean) fn except(
    &self,
    attr: &Attribute
) -> FxHashSet<String>

except= attribute value

pub(in persist::dirty_clean) fn auto_labels(
    &mut self,
    item_id: HirId,
    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

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

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

pub(in persist::dirty_clean) fn dep_node_str(
    &self,
    dep_node: &DepNode
) -> String

pub(in persist::dirty_clean) fn assert_dirty(
    &self,
    item_span: Span,
    dep_node: DepNode
)

pub(in persist::dirty_clean) fn get_fingerprint(
    &self,
    dep_node: &DepNode
) -> Option<Fingerprint>

pub(in persist::dirty_clean) fn assert_clean(
    &self,
    item_span: Span,
    dep_node: DepNode
)

pub(in persist::dirty_clean) fn check_item(
    &mut self,
    item_id: HirId,
    item_span: Span
)

Trait Implementations

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

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

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

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