Trait kodept_macros::analyzer::Analyzer

pub trait Analyzer {
    type Error: Into<UnrecoverableError>;
    type Node<'n>: TryFrom<&'n GenericASTNode>;

    // Required method
    fn analyze<'n, 'c, C: Context<'c>>(
        &self,
        guard: RefVisitGuard<'_, Self::Node<'n>>,
        context: &mut C
    ) -> TraversingResult<Self::Error>;
}

Required Associated Types

type Error: Into<UnrecoverableError>

type Node<'n>: TryFrom<&'n GenericASTNode>

Required Methods

fn analyze<'n, 'c, C: Context<'c>>( &self, guard: RefVisitGuard<'_, Self::Node<'n>>, context: &mut C ) -> TraversingResult<Self::Error>

Object Safety

This trait is not object safe.

Implementors

impl Analyzer for EnumAnalyzer

type Error = Infallible

type Node<'n> = &'n EnumDeclaration

impl Analyzer for StructAnalyzer

type Error = Infallible

type Node<'n> = &'n StructDeclaration

impl Analyzer for GlobalModuleAnalyzer

type Error = Infallible

type Node<'n> = &'n FileDeclaration

impl Analyzer for ModuleUniquenessAnalyzer

type Error = Infallible

type Node<'n> = &'n FileDeclaration

impl Analyzer for VariableUniquenessAnalyzer

type Error = Infallible

type Node<'n> = &'n ExpressionBlock

impl<W: Write> Analyzer for ASTFormatter<W>

type Error = UnrecoverableError

type Node<'n> = &'n GenericASTNode