Struct LogHandle 

pub struct LogHandle<'db> {
    log: Option<Rc<Mutex<Log<'db>>>>,
    task_index: TaskIndex,
}

Fields

log: Option<Rc<Mutex<Log<'db>>>>

task_index: TaskIndex

Implementations

impl<'db> LogHandle<'db>

const DISABLED: Self

pub fn root( db: &'db dyn Db, compiler_location: &'static Location<'static>, root: RootTaskDescription<'db>, ) -> Self

pub fn spawn( &self, compiler_location: &'static Location<'static>, task_description: TaskDescription<'db>, ) -> Self

pub fn duplicate_root_handle(&self) -> Self

Duplicate this log handle. We assert that it is the root handle. This is because there is no good reason to duplicate any other handle; when new tasks are created you should use the spawn or other such methods to access them.

pub fn indent( &self, compiler_location: &'static Location<'static>, message: &'static str, values: &[&dyn Serialize], )

Push an “indenting” log, which causes subsequent log messages to be indented until undent is called.

pub fn undent( &self, compiler_location: &'static Location<'static>, message: &'static str, )

Remove one layer of indent

pub fn log( &self, compiler_location: &'static Location<'static>, message: &'static str, values: &[&dyn Serialize], )

Log a message with argument(s).

pub fn infer( &self, compiler_location: &'static Location<'static>, message: &'static str, infer: InferVarIndex, values: &[&dyn Serialize], )

Log a message with argument(s).

fn push_event( &self, compiler_location: &'static Location<'static>, message: &'static str, values: &[&dyn Serialize], kind: impl FnOnce(&'static str, String) -> EventKind, )

pub fn dump(&self, span: Span<'db>)