Struct DiagnosticsConfig 

pub struct DiagnosticsConfig {
    pub dump_dir: PathBuf,
    pub format: DumpFormat,
    pub categories: HashMap<DiagCategory, IterSpec>,
}

Static configuration: where to dump, in what format, with what per-category iter filters. Constructed by the CLI, held by the application, frozen for the duration of a solve.

Fields

dump_dir: PathBuf

format: DumpFormat

categories: HashMap<DiagCategory, IterSpec>

Implementations

impl DiagnosticsConfig

pub fn new(dump_dir: PathBuf) -> Self

pub fn with_category(self, cat: DiagCategory, spec: IterSpec) -> Self

pub fn is_empty(&self) -> bool

Trait Implementations

impl Clone for DiagnosticsConfig

fn clone(&self) -> DiagnosticsConfig

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DiagnosticsConfig

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.