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: boolCan 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