Struct FluxCallbacks

pub struct FluxCallbacks {
    pub full_compilation: bool,
    pub verify: bool,
}

Fields

full_compilation: bool

verify: bool

Implementations

impl FluxCallbacks

fn verify(&self, compiler: &Compiler, tcx: TyCtxt<'_>)

Trait Implementations

impl Callbacks for FluxCallbacks

fn config(&mut self, config: &mut Config)

Called before creating the compiler instance

fn after_analysis( &mut self, compiler: &Compiler, tcx: TyCtxt<'_>, ) -> Compilation

Called after analysis. Return value instructs the compiler whether to continue the compilation afterwards (defaults to Compilation::Continue)

fn after_crate_root_parsing( &mut self, _compiler: &Compiler, _queries: &Crate, ) -> Compilation

Called after parsing the crate root. Submodules are not yet parsed when this callback is called. Return value instructs the compiler whether to continue the compilation afterwards (defaults to Compilation::Continue)

fn after_expansion<'tcx>( &mut self, _compiler: &Compiler, _tcx: TyCtxt<'tcx>, ) -> Compilation

Called after expansion. Return value instructs the compiler whether to continue the compilation afterwards (defaults to Compilation::Continue)

impl Default for FluxCallbacks

fn default() -> FluxCallbacks

Returns the “default value” for a type.