Struct rustc_lint::levels::LintLevelsBuilder
source · pub struct LintLevelsBuilder<'s, P> {
sess: &'s Session,
provider: P,
warn_about_weird_lints: bool,
store: &'s LintStore,
registered_tools: &'s RegisteredTools,
}
Fields
sess: &'s Session
provider: P
warn_about_weird_lints: bool
store: &'s LintStore
registered_tools: &'s RegisteredTools
Implementations
sourceimpl<'tcx> LintLevelsBuilder<'_, QueryMapExpectationsWrapper<'tcx>>
impl<'tcx> LintLevelsBuilder<'_, QueryMapExpectationsWrapper<'tcx>>
sourceimpl<'s> LintLevelsBuilder<'s, TopDown>
impl<'s> LintLevelsBuilder<'s, TopDown>
pub(crate) fn new(
sess: &'s Session,
warn_about_weird_lints: bool,
store: &'s LintStore,
registered_tools: &'s RegisteredTools
) -> Self
fn process_command_line(&mut self)
sourcepub(crate) fn push(
&mut self,
attrs: &[Attribute],
is_crate_node: bool,
source_hir_id: Option<HirId>
) -> BuilderPush
pub(crate) fn push(
&mut self,
attrs: &[Attribute],
is_crate_node: bool,
source_hir_id: Option<HirId>
) -> BuilderPush
Pushes a list of AST lint attributes onto this context.
This function will return a BuilderPush
object which should be passed
to pop
when this scope for the attributes provided is exited.
This function will perform a number of tasks:
- It’ll validate all lint-related attributes in
attrs
- It’ll mark all lint-related attributes as used
- Lint levels will be updated based on the attributes provided
- Lint attributes are validated, e.g., a
#[forbid]
can’t be switched to#[allow]
Don’t forget to call pop
!
sourcepub(crate) fn pop(&mut self, push: BuilderPush)
pub(crate) fn pop(&mut self, push: BuilderPush)
Called after push
when the scope of a set of attributes are exited.
sourceimpl<'s, P: LintLevelsProvider> LintLevelsBuilder<'s, P>
impl<'s, P: LintLevelsProvider> LintLevelsBuilder<'s, P>
pub(crate) fn sess(&self) -> &Session
pub(crate) fn lint_store(&self) -> &LintStore
fn current_specs(&self) -> &FxHashMap<LintId, LevelAndSource>
fn current_specs_mut(&mut self) -> &mut FxHashMap<LintId, LevelAndSource>
fn add_command_line(&mut self)
sourcefn insert_spec(&mut self, id: LintId, (level, src): LevelAndSource)
fn insert_spec(&mut self, id: LintId, (level, src): LevelAndSource)
Attempts to insert the id
to level_src
map entry. If unsuccessful
(e.g. if a forbid was already inserted on the same scope), then emits a
diagnostic with no change to specs
.
fn add(
&mut self,
attrs: &[Attribute],
is_crate_node: bool,
source_hir_id: Option<HirId>
)
sourcefn check_gated_lint(&self, lint_id: LintId, span: Span) -> bool
fn check_gated_lint(&self, lint_id: LintId, span: Span) -> bool
Checks if the lint is gated on a feature that is not enabled.
Returns true
if the lint’s feature is enabled.
sourcepub fn lint_level(&self, lint: &'static Lint) -> LevelAndSource
pub fn lint_level(&self, lint: &'static Lint) -> LevelAndSource
Find the lint level for a lint.
sourcepub(crate) fn struct_lint(
&self,
lint: &'static Lint,
span: Option<MultiSpan>,
decorate: impl for<'a> FnOnce(LintDiagnosticBuilder<'a, ()>)
)
pub(crate) fn struct_lint(
&self,
lint: &'static Lint,
span: Option<MultiSpan>,
decorate: impl for<'a> FnOnce(LintDiagnosticBuilder<'a, ()>)
)
Used to emit a lint-related diagnostic based on the current state of this lint context.
Trait Implementations
sourceimpl<'tcx> Visitor<'tcx> for LintLevelsBuilder<'_, QueryMapExpectationsWrapper<'tcx>>
impl<'tcx> Visitor<'tcx> for LintLevelsBuilder<'_, QueryMapExpectationsWrapper<'tcx>>
type NestedFilter = All
type NestedFilter = All
NestedFilter
for details. If you override this type, you
must also override nested_visit_map
. Read moresourcefn nested_visit_map(&mut self) -> Self::Map
fn nested_visit_map(&mut self) -> Self::Map
type NestedFilter
is set to visit nested items, this method
must also be overridden to provide a map to retrieve nested items. Read morefn visit_param(&mut self, param: &'tcx Param<'tcx>)
sourcefn visit_item(&mut self, it: &'tcx Item<'tcx>)
fn visit_item(&mut self, it: &'tcx Item<'tcx>)
visit_nested_item
for details. Read morefn visit_foreign_item(&mut self, it: &'tcx ForeignItem<'tcx>)
fn visit_stmt(&mut self, e: &'tcx Stmt<'tcx>)
fn visit_expr(&mut self, e: &'tcx Expr<'tcx>)
fn visit_field_def(&mut self, s: &'tcx FieldDef<'tcx>)
fn visit_variant(&mut self, v: &'tcx Variant<'tcx>)
fn visit_local(&mut self, l: &'tcx Local<'tcx>)
fn visit_arm(&mut self, a: &'tcx Arm<'tcx>)
fn visit_trait_item(&mut self, trait_item: &'tcx TraitItem<'tcx>)
fn visit_impl_item(&mut self, impl_item: &'tcx ImplItem<'tcx>)
type Map = <Self::NestedFilter as NestedFilter<'v>>::Map
sourcefn visit_nested_item(&mut self, id: ItemId)
fn visit_nested_item(&mut self, id: ItemId)
Self::NestedFilter
is nested_filter::None
, this method does
nothing. You probably don’t want to override this method –
instead, override Self::NestedFilter
or use the “shallow” or
“deep” visit patterns described on
itemlikevisit::ItemLikeVisitor
. The only reason to override
this method is if you want a nested pattern but cannot supply a
Map
; see nested_visit_map
for advice. Read moresourcefn visit_nested_trait_item(&mut self, id: TraitItemId)
fn visit_nested_trait_item(&mut self, id: TraitItemId)
visit_nested_item()
, but for trait items. See
visit_nested_item()
for advice on when to override this
method. Read moresourcefn visit_nested_impl_item(&mut self, id: ImplItemId)
fn visit_nested_impl_item(&mut self, id: ImplItemId)
visit_nested_item()
, but for impl items. See
visit_nested_item()
for advice on when to override this
method. Read moresourcefn visit_nested_foreign_item(&mut self, id: ForeignItemId)
fn visit_nested_foreign_item(&mut self, id: ForeignItemId)
visit_nested_item()
, but for foreign items. See
visit_nested_item()
for advice on when to override this
method. Read moresourcefn visit_nested_body(&mut self, id: BodyId)
fn visit_nested_body(&mut self, id: BodyId)
visit_nested_item
, does nothing by default unless you override
Self::NestedFilter
. Read morefn visit_body(&mut self, b: &'v Body<'v>)
fn visit_id(&mut self, _hir_id: HirId)
fn visit_name(&mut self, _name: Symbol)
fn visit_ident(&mut self, ident: Ident)
fn visit_mod(&mut self, m: &'v Mod<'v>, _s: Span, n: HirId)
fn visit_block(&mut self, b: &'v Block<'v>)
fn visit_pat(&mut self, p: &'v Pat<'v>)
fn visit_pat_field(&mut self, f: &'v PatField<'v>)
fn visit_array_length(&mut self, len: &'v ArrayLen)
fn visit_anon_const(&mut self, c: &'v AnonConst)
fn visit_let_expr(&mut self, lex: &'v Let<'v>)
fn visit_expr_field(&mut self, field: &'v ExprField<'v>)
fn visit_ty(&mut self, t: &'v Ty<'v>)
fn visit_generic_param(&mut self, p: &'v GenericParam<'v>)
fn visit_const_param_default(&mut self, _param: HirId, ct: &'v AnonConst)
fn visit_generics(&mut self, g: &'v Generics<'v>)
fn visit_where_predicate(&mut self, predicate: &'v WherePredicate<'v>)
fn visit_fn_decl(&mut self, fd: &'v FnDecl<'v>)
fn visit_fn(
&mut self,
fk: FnKind<'v>,
fd: &'v FnDecl<'v>,
b: BodyId,
Span,
id: HirId
)
fn visit_use(&mut self, path: &'v Path<'v>, hir_id: HirId)
fn visit_trait_item_ref(&mut self, ii: &'v TraitItemRef)
fn visit_foreign_item_ref(&mut self, ii: &'v ForeignItemRef)
fn visit_impl_item_ref(&mut self, ii: &'v ImplItemRef)
fn visit_trait_ref(&mut self, t: &'v TraitRef<'v>)
fn visit_param_bound(&mut self, bounds: &'v GenericBound<'v>)
fn visit_poly_trait_ref(&mut self, t: &'v PolyTraitRef<'v>)
fn visit_variant_data(&mut self, s: &'v VariantData<'v>)
fn visit_enum_def(&mut self, enum_definition: &'v EnumDef<'v>, item_id: HirId)
fn visit_label(&mut self, label: &'v Label)
fn visit_infer(&mut self, inf: &'v InferArg)
fn visit_generic_arg(&mut self, generic_arg: &'v GenericArg<'v>)
fn visit_lifetime(&mut self, lifetime: &'v Lifetime)
fn visit_qpath(&mut self, qpath: &'v QPath<'v>, id: HirId, _span: Span)
fn visit_path(&mut self, path: &'v Path<'v>, _id: HirId)
fn visit_path_segment(&mut self, path_segment: &'v PathSegment<'v>)
fn visit_generic_args(&mut self, generic_args: &'v GenericArgs<'v>)
fn visit_assoc_type_binding(&mut self, type_binding: &'v TypeBinding<'v>)
fn visit_attribute(&mut self, _attr: &'v Attribute)
fn visit_associated_item_kind(&mut self, kind: &'v AssocItemKind)
fn visit_defaultness(&mut self, defaultness: &'v Defaultness)
fn visit_inline_asm(&mut self, asm: &'v InlineAsm<'v>, id: HirId)
Auto Trait Implementations
impl<'s, P> !RefUnwindSafe for LintLevelsBuilder<'s, P>
impl<'s, P> !Send for LintLevelsBuilder<'s, P>
impl<'s, P> !Sync for LintLevelsBuilder<'s, P>
impl<'s, P> Unpin for LintLevelsBuilder<'s, P>where
P: Unpin,
impl<'s, P> !UnwindSafe for LintLevelsBuilder<'s, P>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Layout
Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.