Struct Config 

pub struct Config {
    pub target: ShellDialect,
    pub verify: VerificationLevel,
    pub emit_proof: bool,
    pub optimize: bool,
    pub validation_level: Option<ValidationLevel>,
    pub strict_mode: bool,
}

Configuration options for transpilation.

Controls the target shell dialect, verification level, optimization, and other transpilation behaviors.

Examples

Default Configuration

use bashrs::Config;

let config = Config::default();
assert_eq!(config.optimize, true);

Custom Configuration

use bashrs::Config;
use bashrs::models::{ShellDialect, VerificationLevel};

let config = Config {
    target: ShellDialect::Bash,
    verify: VerificationLevel::Paranoid,
    optimize: false,
    ..Config::default()
};

Fields

target: ShellDialect

Target shell dialect for generated scripts

verify: VerificationLevel

Level of verification to apply during transpilation

emit_proof: bool

Whether to emit formal verification proofs

optimize: bool

Enable IR optimization passes

validation_level: Option<ValidationLevel>

ShellCheck validation level

strict_mode: bool

Enable strict POSIX mode (no extensions)

Trait Implementations

impl Clone for Config

fn clone(&self) -> Config

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Config

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

Formats the value using the given formatter.

impl Default for Config

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Config

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Config

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.