pub struct AttributeParser<'sess, S: Stage = Late> {
pub(crate) tools: Vec<Symbol>,
features: Option<&'sess Features>,
sess: &'sess Session,
stage: PhantomData<S>,
parse_only: Option<Symbol>,
}
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>
§features: Option<&'sess Features>
§sess: &'sess Session
§stage: PhantomData<S>
§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.
Implementations§
Source§impl<'sess> AttributeParser<'sess, Early>
impl<'sess> AttributeParser<'sess, Early>
Sourcepub fn parse_limited(
sess: &'sess Session,
attrs: &[Attribute],
sym: Symbol,
target_span: Span,
target_node_id: NodeId,
) -> Option<Attribute>
pub fn parse_limited( sess: &'sess Session, attrs: &[Attribute], sym: Symbol, target_span: Span, target_node_id: NodeId, ) -> 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.
No diagnostics will be emitted when parsing limited. Lints are not emitted at all, while
errors will be emitted as a delayed bugs. in other words, we expect attributes parsed
with parse_limited
to be reparsed later during ast lowering where we do emit the errors
Source§impl<'sess, S: Stage> AttributeParser<'sess, S>
impl<'sess, S: Stage> AttributeParser<'sess, S>
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(
&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>
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.
fn lower_attr_args( &self, args: &AttrArgs, lower_span: impl Fn(Span) -> Span, ) -> AttrArgs
Auto Trait Implementations§
impl<'sess, S> DynSend for AttributeParser<'sess, S>where
S: DynSend,
impl<'sess, S> DynSync for AttributeParser<'sess, S>where
S: DynSync,
impl<'sess, S> Freeze for AttributeParser<'sess, S>
impl<'sess, S = Late> !RefUnwindSafe for AttributeParser<'sess, S>
impl<'sess, S = Late> !Send for AttributeParser<'sess, S>
impl<'sess, S = Late> !Sync for AttributeParser<'sess, S>
impl<'sess, S> Unpin for AttributeParser<'sess, S>where
S: Unpin,
impl<'sess, S = Late> !UnwindSafe for AttributeParser<'sess, S>
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