Type Alias ra_ap_hir_expand::files::InFile

pub type InFile<T> = InFileWrapper<HirFileId, T>;

Aliased Type

struct InFile<T> {
    pub file_id: HirFileId,
    pub value: T,
}

Fields

file_id: HirFileId

value: T

Implementations

impl InFile<&SyntaxNode>

pub fn ancestors_with_macros_skip_attr_item( self, db: &dyn ExpandDatabase ) -> impl Iterator<Item = InFile<SyntaxNode>> + '_

Skips the attributed item that caused the macro invocation we are climbing up

pub fn original_file_range_rooted(self, db: &dyn ExpandDatabase) -> FileRange

Falls back to the macro call range if the node cannot be mapped up fully.

For attributes and derives, this will point back to the attribute only. For the entire item use [InFile::original_file_range_full].

pub fn original_file_range_with_macro_call_body( self, db: &dyn ExpandDatabase ) -> FileRange

Falls back to the macro call range if the node cannot be mapped up fully.

pub fn original_file_range_opt( self, db: &dyn ExpandDatabase ) -> Option<(FileRange, SyntaxContextId)>

Attempts to map the syntax node back up its macro calls.

pub fn original_syntax_node_rooted( self, db: &dyn ExpandDatabase ) -> Option<InRealFile<SyntaxNode>>

impl InFile<SyntaxToken>

pub fn original_file_range(self, db: &dyn ExpandDatabase) -> FileRange

Falls back to the macro call range if the node cannot be mapped up fully.

pub fn original_file_range_opt( self, db: &dyn ExpandDatabase ) -> Option<FileRange>

Attempts to map the syntax node back up its macro calls.

impl InFile<TextRange>

pub fn original_node_file_range( self, db: &dyn ExpandDatabase ) -> (FileRange, SyntaxContextId)

pub fn original_node_file_range_rooted( self, db: &dyn ExpandDatabase ) -> FileRange

pub fn original_node_file_range_with_macro_call_body( self, db: &dyn ExpandDatabase ) -> FileRange

pub fn original_node_file_range_opt( self, db: &dyn ExpandDatabase ) -> Option<(FileRange, SyntaxContextId)>

impl<N: AstNode> InFile<N>

pub fn original_ast_node_rooted( self, db: &dyn ExpandDatabase ) -> Option<InRealFile<N>>

Trait Implementations

impl<T> From<InFileWrapper<FileId, T>> for InFile<T>

fn from(_: InRealFile<T>) -> Self

Converts to this type from the input type.

impl<T> From<InFileWrapper<MacroFileId, T>> for InFile<T>

fn from(_: InMacroFile<T>) -> Self

Converts to this type from the input type.