Struct ErrorFmtSettings 

pub struct ErrorFmtSettings {
    pub level_of_detail: ErrorFmtLoD,
    pub frame_limit: Option<usize>,
    pub enable_color: bool,
    pub link_format: LinkDebugIde,
    pub indentation_style: IndentationStyle,
    pub indentation: usize,
    pub inside_format_string: bool,
    pub skip_first_indentations: usize,
}

Configuration for error formatting output.

Controls the level of detail, coloring, indentation style, and link format.

Example

use charon_error::{ErrorFmtSettings, ErrorFmtLoD, IndentationStyle, LinkDebugIde};

let settings = ErrorFmtSettings {
    level_of_detail: ErrorFmtLoD::Compact,
    enable_color: false,
    link_format: LinkDebugIde::NoLink,
    indentation_style: IndentationStyle::TwoSpaces,
    ..Default::default()
};

Fields

level_of_detail: ErrorFmtLoD

How much detail to include in the output.

frame_limit: Option<usize>

Maximum number of error frames to include (None = unlimited).

enable_color: bool

Whether to include ANSI color codes in output.

link_format: LinkDebugIde

How source locations are formatted (plain text, VSCode link, etc).

indentation_style: IndentationStyle

Indentation style (tabs, 2 spaces, or 4 spaces).

indentation: usize

Current indentation depth (internal use).

inside_format_string: bool

Whether we are currently inside a format string (internal use).

skip_first_indentations: usize

Number of initial indentations to skip (internal use).

Trait Implementations

impl Clone for ErrorFmtSettings

fn clone(&self) -> ErrorFmtSettings

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ErrorFmtSettings

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

Formats the value using the given formatter.

impl Default for ErrorFmtSettings

fn default() -> Self

Returns the “default value” for a type.

impl From<&ERGlobalSettings> for ErrorFmtSettings

fn from(settings: &ERGlobalSettings) -> Self

Converts to this type from the input type.

impl From<ERGlobalSettings> for ErrorFmtSettings

fn from(settings: ERGlobalSettings) -> Self

Converts to this type from the input type.

impl Copy for ErrorFmtSettings