pub struct AttributeParser<'sess> {
tools: Vec<Symbol>,
sess: &'sess Session,
features: Option<&'sess Features>,
parse_only: Option<Symbol>,
pub(crate) limit_diagnostics: bool,
}
Expand description
Context created once, for example as part of the ast lowering context, through which all attributes can be lowered.
Fields§
§tools: Vec<Symbol>
§sess: &'sess Session
§features: Option<&'sess Features>
§parse_only: Option<Symbol>
only parse attributes with this symbol.
Used in cases where we want the lowering infrastructure for parse just a single attribute.
limit_diagnostics: bool
Can be used to instruct parsers to reduce the number of diagnostics it emits.
Useful when using parse_limited
and you know the attr will be reparsed later.
Implementations§
Source§impl<'sess> AttributeParser<'sess>
impl<'sess> AttributeParser<'sess>
Sourcepub fn parse_limited(
sess: &'sess Session,
attrs: &[Attribute],
sym: Symbol,
target_span: Span,
limit_diagnostics: bool,
) -> Option<Attribute>
pub fn parse_limited( sess: &'sess Session, attrs: &[Attribute], sym: Symbol, target_span: Span, limit_diagnostics: bool, ) -> Option<Attribute>
This method allows you to parse attributes before you have access to features or tools.
One example where this is necessary, is to parse feature
attributes themselves for
example.
Try to use this as little as possible. Attributes should be lowered during rustc_ast_lowering
.
Some attributes require access to features to parse, which would crash if you tried to do so
through parse_limited
.
To make sure use is limited, supply a Symbol
you’d like to parse. Only attributes with
that symbol are picked out of the list of instructions and parsed. Those are returned.
pub fn new( sess: &'sess Session, features: &'sess Features, tools: Vec<Symbol>, ) -> Self
pub(crate) fn sess(&self) -> &'sess Session
pub(crate) fn features(&self) -> &'sess Features
pub(crate) fn dcx(&self) -> DiagCtxtHandle<'sess>
Sourcepub fn parse_attribute_list<'a>(
&'a self,
attrs: &'a [Attribute],
target_span: Span,
omit_doc: OmitDoc,
lower_span: impl Copy + Fn(Span) -> Span,
) -> Vec<Attribute>
pub fn parse_attribute_list<'a>( &'a self, attrs: &'a [Attribute], target_span: Span, omit_doc: OmitDoc, lower_span: impl Copy + Fn(Span) -> Span, ) -> 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 lower_attr_args( &self, args: &AttrArgs, lower_span: impl Fn(Span) -> Span, ) -> AttrArgs
Auto Trait Implementations§
impl<'sess> DynSend for AttributeParser<'sess>
impl<'sess> DynSync for AttributeParser<'sess>
impl<'sess> Freeze for AttributeParser<'sess>
impl<'sess> !RefUnwindSafe for AttributeParser<'sess>
impl<'sess> !Send for AttributeParser<'sess>
impl<'sess> !Sync for AttributeParser<'sess>
impl<'sess> Unpin for AttributeParser<'sess>
impl<'sess> !UnwindSafe for AttributeParser<'sess>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
Source§impl<T> Filterable for T
impl<T> Filterable for T
Source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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 moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
Source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
Source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
Source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
Source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<T> ErasedDestructor for Twhere
T: 'static,
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: 48 bytes