Trait TraceDisplay 

pub trait TraceDisplay {
    // Required methods
    fn line(
        &mut self,
        _: &CheckLog,
        indent: Indent,
    ) -> Result<ControlFlow<()>, Error>;
    fn task(
        &mut self,
        task: CheckingTask<'_>,
        context: &[ComponentVar],
        success: bool,
    ) -> Result;
    fn strategy(
        &mut self,
        name: &str,
        context: &[ComponentVar],
        success: bool,
    ) -> Result;
    fn uri(&mut self, uri: UriRef<'_>, lvl: Option<MessageLevel>) -> Result;
    fn term(&mut self, term: &Term, lvl: Option<MessageLevel>) -> Result;
    fn string(&mut self, s: &str, lvl: Option<MessageLevel>) -> Result;
    fn variable(&mut self, var: &Variable, lvl: Option<MessageLevel>) -> Result;
    fn num(&mut self, num: i128, lvl: Option<MessageLevel>) -> Result;
    fn indent(&mut self, indent: Indent, lvl: Option<MessageLevel>) -> Result;
    fn space(&mut self) -> Result;

    // Provided method
    fn displayable(
        &mut self,
        d: &Displayable,
        lvl: Option<MessageLevel>,
    ) -> Result { ... }
}

Required Methods

fn line( &mut self, _: &CheckLog, indent: Indent, ) -> Result<ControlFlow<()>, Error>

Errors

fn task( &mut self, task: CheckingTask<'_>, context: &[ComponentVar], success: bool, ) -> Result

Errors

fn strategy( &mut self, name: &str, context: &[ComponentVar], success: bool, ) -> Result

Errors

fn uri(&mut self, uri: UriRef<'_>, lvl: Option<MessageLevel>) -> Result

Errors

fn term(&mut self, term: &Term, lvl: Option<MessageLevel>) -> Result

Errors

fn string(&mut self, s: &str, lvl: Option<MessageLevel>) -> Result

Errors

fn variable(&mut self, var: &Variable, lvl: Option<MessageLevel>) -> Result

Errors

fn num(&mut self, num: i128, lvl: Option<MessageLevel>) -> Result

Errors

fn indent(&mut self, indent: Indent, lvl: Option<MessageLevel>) -> Result

Errors

fn space(&mut self) -> Result

Errors

Provided Methods

fn displayable(&mut self, d: &Displayable, lvl: Option<MessageLevel>) -> Result

Errors

Implementations on Foreign Types

impl TraceDisplay for &mut Formatter<'_>

Available on crate feature full only.

fn line( &mut self, _: &CheckLog, indent: Indent, ) -> Result<ControlFlow<()>, Error>

fn space(&mut self) -> Result

fn strategy(&mut self, name: &str, _: &[ComponentVar], _: bool) -> Result

fn task( &mut self, task: CheckingTask<'_>, context: &[ComponentVar], success: bool, ) -> Result

fn uri(&mut self, uri: UriRef<'_>, _: Option<MessageLevel>) -> Result

fn indent(&mut self, indent: Indent, _: Option<MessageLevel>) -> Result

fn term(&mut self, term: &Term, _: Option<MessageLevel>) -> Result

fn string(&mut self, s: &str, _: Option<MessageLevel>) -> Result

fn variable(&mut self, var: &Variable, _: Option<MessageLevel>) -> Result

fn num(&mut self, num: i128, _: Option<MessageLevel>) -> Result

Implementors

impl TraceDisplay for ColorDisplay<'_, '_>

Available on crate feature colors only.