Struct AcceptContext

Source
pub(crate) struct AcceptContext<'f, 'sess, S: Stage> {
    pub(crate) shared: SharedContext<'f, 'sess, S>,
    pub(crate) attr_span: Span,
    pub(crate) template: &'f AttributeTemplate,
    pub(crate) attr_path: AttrPath,
}
Expand description

Context given to every attribute parser when accepting

Gives AttributeParsers enough information to create errors, for example.

Fields§

§shared: SharedContext<'f, 'sess, S>§attr_span: Span

The span of the attribute currently being parsed

§template: &'f AttributeTemplate

The expected structure of the attribute.

Used in reporting errors to give a hint to users what the attribute should look like.

§attr_path: AttrPath

The name of the attribute we’re currently accepting.

Implementations§

Source§

impl<'f, 'sess: 'f, S: Stage> AcceptContext<'f, 'sess, S>

Source

pub(crate) fn unknown_key( &self, span: Span, found: String, options: &'static [&'static str], ) -> ErrorGuaranteed

Source

pub(crate) fn expected_string_literal( &self, span: Span, actual_literal: Option<&MetaItemLit>, ) -> ErrorGuaranteed

error that a string literal was expected. You can optionally give the literal you did find (which you found not to be a string literal) which can make better errors. For example, if the literal was a byte string it will suggest removing the b prefix.

Source

pub(crate) fn expected_list(&self, span: Span) -> ErrorGuaranteed

Source

pub(crate) fn expected_no_args(&self, args_span: Span) -> ErrorGuaranteed

Source

pub(crate) fn expected_name_value( &self, span: Span, name: Option<Symbol>, ) -> ErrorGuaranteed

emit an error that a name = value pair was expected at this span. The symbol can be given for a nicer error message talking about the specific name that was found lacking a value.

Source

pub(crate) fn duplicate_key(&self, span: Span, key: Symbol) -> ErrorGuaranteed

emit an error that a name = value pair was found where that name was already seen.

Source

pub(crate) fn unexpected_literal(&self, span: Span) -> ErrorGuaranteed

an error that should be emitted when a MetaItemOrLitParser was expected not to be a literal, but instead a meta item.

Source

pub(crate) fn expected_single_argument(&self, span: Span) -> ErrorGuaranteed

Source

pub(crate) fn expected_at_least_one_argument( &self, span: Span, ) -> ErrorGuaranteed

Source

pub(crate) fn expected_specific_argument( &self, span: Span, possibilities: Vec<&'static str>, ) -> ErrorGuaranteed

Source

pub(crate) fn expected_specific_argument_strings( &self, span: Span, possibilities: Vec<&'static str>, ) -> ErrorGuaranteed

Methods from Deref<Target = SharedContext<'f, 'sess, S>>§

Source

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

Source

pub(crate) fn emit_lint(&mut self, lint: AttributeLintKind, span: Span)

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.

Source

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

Source

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

Methods from Deref<Target = AttributeParser<'sess, S>>§

Source

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

Source

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

Source

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

Source

pub fn parse_attribute_list( &mut self, attrs: &[Attribute], target_span: Span, target_id: S::Id, omit_doc: OmitDoc, lower_span: impl Copy + Fn(Span) -> Span, emit_lint: impl FnMut(AttributeLint<S::Id>), ) -> 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.

Source

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

Trait Implementations§

Source§

impl<'f, 'sess, S: Stage> Deref for AcceptContext<'f, 'sess, S>

Source§

type Target = SharedContext<'f, 'sess, S>

The resulting type after dereferencing.
Source§

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

Dereferences the value.
Source§

impl<'f, 'sess, S: Stage> DerefMut for AcceptContext<'f, 'sess, S>

Source§

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

Mutably dereferences the value.

Auto Trait Implementations§

§

impl<'f, 'sess, S> !DynSend for AcceptContext<'f, 'sess, S>

§

impl<'f, 'sess, S> !DynSync for AcceptContext<'f, 'sess, S>

§

impl<'f, 'sess, S> Freeze for AcceptContext<'f, 'sess, S>
where <S as Stage>::Id: Freeze,

§

impl<'f, 'sess, S> !RefUnwindSafe for AcceptContext<'f, 'sess, S>

§

impl<'f, 'sess, S> !Send for AcceptContext<'f, 'sess, S>

§

impl<'f, 'sess, S> !Sync for AcceptContext<'f, 'sess, S>

§

impl<'f, 'sess, S> Unpin for AcceptContext<'f, 'sess, S>
where <S as Stage>::Id: Unpin,

§

impl<'f, 'sess, S> !UnwindSafe for AcceptContext<'f, 'sess, S>

Blanket Implementations§

Source§

impl<T> Aligned for T

Source§

const ALIGN: Alignment

Alignment of Self.
Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T, R> CollectAndApply<T, R> for T

Source§

fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

Equivalent to f(&iter.collect::<Vec<_>>()).

Source§

type Output = R

Source§

impl<T> Filterable for T

Source§

fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(DataRequest<'_>) -> bool>

Creates a filterable data provider with the given name for debugging. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<P, T> Receiver for P
where P: Deref<Target = T> + ?Sized, T: ?Sized,

Source§

type Target = T

🔬This is a nightly-only experimental API. (arbitrary_self_types)
The target type on which the method may be called.
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

Source§

fn upcast(self, interner: I) -> U

Source§

impl<I, T> UpcastFrom<I, T> for T

Source§

fn upcast_from(from: T, _tcx: I) -> T

Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<T> ErasedDestructor for T
where T: 'static,

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.