Struct SharedContext 

pub struct SharedContext<'p, 'sess> {
    pub(crate) cx: &'p mut AttributeParser<'sess>,
    pub(crate) target_span: Span,
    pub(crate) target: Target,
    pub(crate) emit_lint: &'p mut dyn FnMut(LintId, MultiSpan, EmitAttribute),
    pub(crate) has_lint_been_emitted: AtomicBool,
}

Context given to every attribute parser during finalization.

Gives AttributeParsers enough information to create errors, for example.

Fields

cx: &'p mut AttributeParser<'sess>

The parse context, gives access to the session and the diagnostics context.

target_span: Span

The span of the syntactical component this attribute was applied to

target: Target

emit_lint: &'p mut dyn FnMut(LintId, MultiSpan, EmitAttribute)

has_lint_been_emitted: AtomicBool

This atomic bool keeps track of whether any lint has been emitted. This is used for the arguments-used check.

Implementations

impl<'f, 'sess: 'f> SharedContext<'f, 'sess>

pub(crate) fn emit_err( &self, diag: impl for<'x> Diagnostic<'x>, ) -> ErrorGuaranteed

pub(crate) fn emit_lint( &mut self, lint: &'static Lint, diagnostic: impl for<'x> Diagnostic<'x, ()> + DynSend + DynSync + 'static, span: impl Into<MultiSpan>, )

Emit a lint. This method is somewhat special, since lints emitted during attribute parsing must be delayed until after HIR is built. This method will take care of the details of that.

pub(crate) fn emit_lint_with_sess<F: for<'a> FnOnce(DiagCtxtHandle<'a>, Level, &Session) -> Diag<'a, ()> + DynSend + DynSync + 'static>( &mut self, lint: &'static Lint, callback: F, span: impl Into<MultiSpan>, )

fn emit_lint_inner( &mut self, lint: &'static Lint, kind: EmitAttribute, span: impl Into<MultiSpan>, )

pub(crate) fn warn_unused_duplicate( &mut self, used_span: Span, unused_span: Span, )

pub(crate) fn warn_unused_duplicate_future_error( &mut self, used_span: Span, unused_span: Span, )

Methods from Deref<Target = AttributeParser<'sess>>

pub(crate) fn sess(&self) -> &'sess Session

pub(crate) fn features(&self) -> &'sess Features

pub(crate) fn features_option(&self) -> Option<&'sess Features>

pub(crate) fn dcx(&self) -> DiagCtxtHandle<'sess>

pub(crate) fn emit_err( &self, diag: impl for<'x> Diagnostic<'x>, ) -> ErrorGuaranteed

pub fn parse_attribute_list( &mut self, attrs: &[Attribute], target_span: Span, target: Target, omit_doc: OmitDoc, lower_span: impl Copy + Fn(Span) -> Span, emit_lint: impl FnMut(LintId, MultiSpan, EmitAttribute), ) -> Vec<Attribute>

Parse a list of attributes.

target_span is the span of the thing this list of attributes is applied to, and when omit_doc is set, doc attributes are filtered out.

fn check_args_used(&self, attr: &Attribute, args: &ArgParser)

Checks whether all ArgParsers were observed by an attribute parser at least once This check exists because otherwise it is too easy to accidentally ignore the arguments of an attribute

fn lower_attr_args( &self, args: &AttrArgs, lower_span: impl Fn(Span) -> Span, ) -> AttrArgs

pub fn check_attribute_safety( &mut self, attr_path: &AttrPath, attr_span: Span, attr_safety: Safety, expected_safety: AttributeSafety, emit_lint: &mut impl FnMut(LintId, MultiSpan, EmitAttribute), )

pub fn check_attribute_stability( &mut self, attr_path: &AttrPath, attr_span: Span, expected_stability: AttributeStability, )

pub(crate) fn check_invalid_crate_level_attr_item( &self, attr: &AttrItem, inner_span: Span, )

fn first_line_of_next_item(&self, span: Span) -> Option<Span>

pub(crate) fn check_invalid_where_predicate_attrs<'attr>( &self, attrs: impl IntoIterator<Item = &'attr Attribute>, )

Trait Implementations

impl<'p, 'sess: 'p> Deref for SharedContext<'p, 'sess>

type Target = AttributeParser<'sess>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<'p, 'sess: 'p> DerefMut for SharedContext<'p, 'sess>

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 40 bytes