Struct marker_rustc_driver::context::RustcContext

pub struct RustcContext<'ast, 'tcx> {
    pub rustc_cx: TyCtxt<'tcx>,
    pub lint_store: &'tcx LintStore,
    pub storage: &'ast Storage<'ast>,
    pub marker_converter: MarkerConverter<'ast, 'tcx>,
    pub rustc_converter: RustcConverter<'ast, 'tcx>,
    /* private fields */
}

This is the central context for the rustc driver and the struct providing the callback implementation for MarkerContext.

The struct intentionally only stores the TyCtxt and LintStore and not a LateContext as the late context operates on the assumption that every AST node is only checked in the specific check_ function. This will in contrast convert the entire crate at once and might also jump around inside the AST if a lint crate requests that. This also has the added benefit that we can use the 'tcx lifetime for them.

Fields

rustc_cx: TyCtxt<'tcx>

lint_store: &'tcx LintStore

storage: &'ast Storage<'ast>

marker_converter: MarkerConverter<'ast, 'tcx>

rustc_converter: RustcConverter<'ast, 'tcx>

Implementations

impl<'ast, 'tcx> RustcContext<'ast, 'tcx>

pub fn new( rustc_cx: TyCtxt<'tcx>, lint_store: &'tcx LintStore, storage: &'ast Storage<'ast> ) -> &'ast Self

pub fn ast_cx(&self) -> &'ast MarkerContext<'ast>

Trait Implementations

impl<'ast, 'tcx: 'ast> AstMapDriver<'ast> for RustcContext<'ast, 'tcx>

fn item(&'ast self, id: ItemId) -> Option<ItemKind<'ast>>

fn variant(&'ast self, id: VariantId) -> Option<&'ast EnumVariant<'ast>>

fn field(&'ast self, id: FieldId) -> Option<&'ast ItemField<'ast>>

fn body(&'ast self, id: BodyId) -> &'ast Body<'ast>

fn stmt(&'ast self, id: StmtId) -> StmtKind<'ast>

fn expr(&'ast self, id: ExprId) -> ExprKind<'ast>

fn lint_level_at(&'ast self, api_lint: &'static Lint, node: NodeId) -> Level

impl<'ast, 'tcx: 'ast> MarkerContextDriver<'ast> for RustcContext<'ast, 'tcx>

fn emit_diag(&'ast self, diag: &Diagnostic<'_, 'ast>)

fn resolve_ty_ids(&'ast self, path: &str) -> &'ast [TyDefId]

fn expr_ty(&'ast self, expr: ExprId) -> TyKind<'ast>

fn span(&'ast self, span_id: SpanId) -> &'ast Span<'ast>

fn span_snippet(&self, api_span: &Span<'_>) -> Option<&'ast str>

fn span_source(&'ast self, api_span: &Span<'_>) -> SpanSource<'ast>

fn span_pos_to_file_loc( &'ast self, file: &FileInfo<'ast>, pos: SpanPos ) -> Option<FilePos<'ast>>

fn span_expn_info(&'ast self, expn_id: ExpnId) -> Option<&'ast ExpnInfo<'ast>>

fn symbol_str(&'ast self, api_id: SymbolId) -> &'ast str

fn resolve_method_target(&'ast self, _id: ExprId) -> ItemId