Struct ExportArgs 

pub struct ExportArgs {
    pub out: Option<PathBuf>,
    pub quiet: bool,
    pub check_budget: bool,
    pub soft: bool,
}

Fields

out: Option<PathBuf>

Output directory for the JSONL files. Defaults to .asd/conclusions/ relative to the database parent directory.

quiet: bool

Emit a one-line summary instead of full per-class counts.

check_budget: bool

Plan K t-008: after export, verify total + per-shard sizes against .asd/config.toml budgets (defaults: 1 MiB total, 200 KiB per shard). Exits non-zero on violation.

soft: bool

Pairs with --check-budget. Warn on violation instead of exiting non-zero — for CI gates that should surface drift without failing the build.

Trait Implementations

impl Args for ExportArgs

fn group_id() -> Option<Id>

Report the ArgGroup::id for this set of arguments

fn augment_args<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate Self via FromArgMatches::from_arg_matches_mut

fn augment_args_for_update<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate self via FromArgMatches::update_from_arg_matches_mut

impl Debug for ExportArgs

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

Formats the value using the given formatter.

impl FromArgMatches for ExportArgs

fn from_arg_matches(__clap_arg_matches: &ArgMatches) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn from_arg_matches_mut( __clap_arg_matches: &mut ArgMatches, ) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn update_from_arg_matches( &mut self, __clap_arg_matches: &ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

fn update_from_arg_matches_mut( &mut self, __clap_arg_matches: &mut ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.