Searched refs:FuncWriter (Results 1 – 3 of 3) sorted by relevance
9 use crate::write::{FuncWriter, PlainWriter, decorate_function};19 func_w: Option<Box<dyn FuncWriter + 'a>>, in pretty_verifier_error()44 struct PrettyVerifierError<'a>(Box<dyn FuncWriter + 'a>, &'a mut Vec<VerifierError>);46 impl<'a> FuncWriter for PrettyVerifierError<'a> {85 func_w: &mut dyn FuncWriter, in pretty_block_header_error() argument123 func_w: &mut dyn FuncWriter, in pretty_instruction_error() argument159 func_w: &mut dyn FuncWriter, in pretty_preamble_error() argument
9 use crate::write::{FuncWriter, PlainWriter};
16 pub trait FuncWriter { interface118 impl FuncWriter for PlainWriter {162 pub fn decorate_function<FW: FuncWriter>( in decorate_function()237 fn decorate_block<FW: FuncWriter>( in decorate_block()