Struct Log 

pub struct Log<'db> {
    db: &'db dyn Db,
    tasks: Vec<Task<'db>>,
    events: Vec<Event>,
    debug_tx: Sender<DebugEvent>,
}

Fields

db: &'db dyn Db

tasks: Vec<Task<'db>>

events: Vec<Event>

debug_tx: Sender<DebugEvent>

Implementations

impl<'db> Log<'db>

fn new( db: &'db dyn Db, compiler_location: &'static Location<'static>, root: RootTaskDescription<'db>, debug_tx: Sender<DebugEvent>, ) -> Self

fn next_task_index(&self) -> TaskIndex

fn next_event_index(&self) -> EventIndex

fn push_task(&mut self, task: Task<'db>)

fn push_event(&mut self, event: Event)

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

fn export(&self) -> Log<'_>

fn export_task(&self, task: &Task<'db>, task_index: usize) -> Task

fn export_infers(&self) -> Vec<Infer>

fn export_nested_event_for_task( &self, task: TaskIndex, events_by_task: &[Vec<usize>], ) -> NestedEvent

fn export_child_nested_events( &self, task_events: &mut &[usize], events_by_task: &[Vec<usize>], ) -> Vec<NestedEvent>