Struct SourceAnalyzer 

pub(crate) struct SourceAnalyzer<'db> {
    pub(crate) file_id: HirFileId,
    pub(crate) resolver: Resolver<'db>,
    pub(crate) body_or_sig: Option<BodyOrSig<'db>>,
}

SourceAnalyzer is a convenience wrapper which exposes HIR API in terms of original source files. It should not be used inside the HIR itself.

Fields

file_id: HirFileId

resolver: Resolver<'db>

body_or_sig: Option<BodyOrSig<'db>>

Implementations

impl<'db> SourceAnalyzer<'db>

pub(crate) fn new_for_body( db: &'db dyn HirDatabase, def: DefWithBodyId, node: InFile<&SyntaxNode>, offset: Option<TextSize>, ) -> SourceAnalyzer<'db>

pub(crate) fn new_for_body_no_infer( db: &'db dyn HirDatabase, def: DefWithBodyId, node: InFile<&SyntaxNode>, offset: Option<TextSize>, ) -> SourceAnalyzer<'db>

pub(crate) fn new_for_body_( db: &'db dyn HirDatabase, def: DefWithBodyId, node: InFile<&SyntaxNode>, offset: Option<TextSize>, infer: Option<&'db InferenceResult>, ) -> SourceAnalyzer<'db>

pub(crate) fn new_generic_def( db: &'db dyn HirDatabase, def: GenericDefId, _: InFile<&SyntaxNode>, _offset: Option<TextSize>, ) -> SourceAnalyzer<'db>

pub(crate) fn new_variant_body( db: &'db dyn HirDatabase, def: VariantId, _: InFile<&SyntaxNode>, _offset: Option<TextSize>, ) -> SourceAnalyzer<'db>

pub(crate) fn new_for_resolver( resolver: Resolver<'db>, node: InFile<&SyntaxNode>, ) -> SourceAnalyzer<'db>

fn body_( &self, ) -> Option<(DefWithBodyId, &Body, &BodySourceMap, Option<&InferenceResult>)>

fn infer(&self) -> Option<&InferenceResult>

fn body(&self) -> Option<&Body>

pub(crate) fn store(&self) -> Option<&ExpressionStore>

pub(crate) fn store_sm(&self) -> Option<&ExpressionStoreSourceMap>

fn param_and<'a>(&self, param_env: ParamEnv<'a>) -> ParamEnvAndCrate<'a>

fn trait_environment(&self, db: &'db dyn HirDatabase) -> ParamEnvAndCrate<'db>

pub(crate) fn expr_id(&self, expr: Expr) -> Option<ExprOrPatId>

fn pat_id(&self, pat: &Pat) -> Option<ExprOrPatId>

fn type_id(&self, pat: &Type) -> Option<TypeRefId>

fn binding_id_of_pat(&self, pat: &IdentPat) -> Option<BindingId>

pub(crate) fn expr_adjustments(&self, expr: &Expr) -> Option<&[Adjustment]>

pub(crate) fn type_of_type( &self, db: &'db dyn HirDatabase, ty: &Type, ) -> Option<Type<'db>>

pub(crate) fn type_of_expr( &self, db: &'db dyn HirDatabase, expr: &Expr, ) -> Option<(Type<'db>, Option<Type<'db>>)>

pub(crate) fn type_of_pat( &self, db: &'db dyn HirDatabase, pat: &Pat, ) -> Option<(Type<'db>, Option<Type<'db>>)>

pub(crate) fn type_of_binding_in_pat( &self, db: &'db dyn HirDatabase, pat: &IdentPat, ) -> Option<Type<'db>>

pub(crate) fn type_of_self( &self, db: &'db dyn HirDatabase, _param: &SelfParam, ) -> Option<Type<'db>>

pub(crate) fn binding_mode_of_pat( &self, _db: &'db dyn HirDatabase, pat: &IdentPat, ) -> Option<BindingMode>

pub(crate) fn pattern_adjustments( &self, db: &'db dyn HirDatabase, pat: &Pat, ) -> Option<SmallVec<[Type<'db>; 1]>>

pub(crate) fn resolve_method_call_as_callable( &self, db: &'db dyn HirDatabase, call: &MethodCallExpr, ) -> Option<Callable<'db>>

pub(crate) fn resolve_method_call( &self, db: &'db dyn HirDatabase, call: &MethodCallExpr, ) -> Option<Function>

pub(crate) fn resolve_method_call_fallback( &self, db: &'db dyn HirDatabase, call: &MethodCallExpr, ) -> Option<(Either<Function, Field>, Option<GenericSubstitution<'db>>)>

pub(crate) fn resolve_expr_as_callable( &self, db: &'db dyn HirDatabase, call: &Expr, ) -> Option<Callable<'db>>

pub(crate) fn resolve_field( &self, field: &FieldExpr, ) -> Option<Either<Field, TupleField>>

fn field_subst( &self, field_expr: ExprId, infer: &InferenceResult, db: &'db dyn HirDatabase, ) -> Option<GenericSubstitution<'db>>

pub(crate) fn resolve_field_fallback( &self, db: &'db dyn HirDatabase, field: &FieldExpr, ) -> Option<(Either<Either<Field, TupleField>, Function>, Option<GenericSubstitution<'db>>)>

pub(crate) fn resolve_range_pat( &self, db: &'db dyn HirDatabase, range_pat: &RangePat, ) -> Option<StructId>

pub(crate) fn resolve_range_expr( &self, db: &'db dyn HirDatabase, range_expr: &RangeExpr, ) -> Option<StructId>

pub(crate) fn resolve_await_to_poll( &self, db: &'db dyn HirDatabase, await_expr: &AwaitExpr, ) -> Option<Function>

pub(crate) fn resolve_prefix_expr( &self, db: &'db dyn HirDatabase, prefix_expr: &PrefixExpr, ) -> Option<Function>

pub(crate) fn resolve_index_expr( &self, db: &'db dyn HirDatabase, index_expr: &IndexExpr, ) -> Option<Function>

pub(crate) fn resolve_bin_expr( &self, db: &'db dyn HirDatabase, binop_expr: &BinExpr, ) -> Option<Function>

pub(crate) fn resolve_try_expr( &self, db: &'db dyn HirDatabase, try_expr: &TryExpr, ) -> Option<Function>

pub(crate) fn resolve_record_field( &self, db: &'db dyn HirDatabase, field: &RecordExprField, ) -> Option<(Field, Option<Local>, Type<'db>, GenericSubstitution<'db>)>

pub(crate) fn resolve_record_pat_field( &self, db: &'db dyn HirDatabase, field: &RecordPatField, ) -> Option<(Field, Type<'db>, GenericSubstitution<'db>)>

pub(crate) fn resolve_bind_pat_to_const( &self, db: &'db dyn HirDatabase, pat: &IdentPat, ) -> Option<ModuleDef>

pub(crate) fn resolve_use_type_arg(&self, name: &NameRef) -> Option<TypeParam>

pub(crate) fn resolve_offset_of_field( &self, db: &'db dyn HirDatabase, name_ref: &NameRef, ) -> Option<(Either<Variant, Field>, GenericSubstitution<'db>)>

pub(crate) fn resolve_path( &self, db: &'db dyn HirDatabase, path: &Path, ) -> Option<(PathResolution, Option<GenericSubstitution<'db>>)>

pub(crate) fn resolve_hir_path_per_ns( &self, db: &dyn HirDatabase, path: &Path, ) -> Option<PathResolutionPerNs>

pub(crate) fn record_literal_missing_fields( &self, db: &'db dyn HirDatabase, literal: &RecordExpr, ) -> Option<Vec<(Field, Type<'db>)>>

pub(crate) fn record_pattern_missing_fields( &self, db: &'db dyn HirDatabase, pattern: &RecordPat, ) -> Option<Vec<(Field, Type<'db>)>>

fn missing_fields( &self, db: &'db dyn HirDatabase, substs: GenericArgs<'db>, variant: VariantId, missing_fields: Vec<LocalFieldId>, ) -> Vec<(Field, Type<'db>)>

pub(crate) fn resolve_variant( &self, record_lit: RecordExpr, ) -> Option<VariantId>

pub(crate) fn is_unsafe_macro_call_expr( &self, db: &'db dyn HirDatabase, macro_expr: InFile<&MacroExpr>, ) -> bool

pub(crate) fn resolve_offset_in_format_args( &self, db: &'db dyn HirDatabase, format_args: InFile<&FormatArgsExpr>, offset: TextSize, ) -> Option<(TextRange, Option<PathResolution>)>

Returns the range of the implicit template argument and its resolution at the given offset

pub(crate) fn resolve_offset_in_asm_template( &self, asm: InFile<&AsmExpr>, line: usize, offset: TextSize, ) -> Option<(DefWithBodyId, (ExprId, TextRange, usize))>

pub(crate) fn as_format_args_parts<'a>( &'a self, db: &'a dyn HirDatabase, format_args: InFile<&FormatArgsExpr>, ) -> Option<impl Iterator<Item = (TextRange, Option<PathResolution>)> + 'a>

pub(crate) fn as_asm_parts( &self, asm: InFile<&AsmExpr>, ) -> Option<(DefWithBodyId, (ExprId, &[Vec<(TextRange, usize)>]))>

fn resolve_impl_method_or_trait_def( &self, db: &'db dyn HirDatabase, func: FunctionId, substs: GenericArgs<'db>, ) -> Function

fn resolve_impl_method_or_trait_def_with_subst( &self, db: &'db dyn HirDatabase, func: FunctionId, substs: GenericArgs<'db>, ) -> (Function, GenericArgs<'db>)

fn resolve_impl_const_or_trait_def_with_subst( &self, db: &'db dyn HirDatabase, const_id: ConstId, subs: GenericArgs<'db>, ) -> (ConstId, GenericArgs<'db>)

fn lang_items<'a>(&self, db: &'a dyn HirDatabase) -> &'a LangItems

fn lang_trait_fn( &self, db: &'db dyn HirDatabase, lang_trait: Option<TraitId>, method_name: &Name, ) -> Option<(TraitId, FunctionId)>

fn ty_of_expr(&self, expr: Expr) -> Option<Ty<'db>>

Trait Implementations

impl<'db> Debug for SourceAnalyzer<'db>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.