Struct ClapArgs

pub struct ClapArgs {

    verbose: bool,
    debug: bool,
    trace: bool,
    debug_target: Option<String>,
    result_path: PathBuf,
    relaxed: bool,
    target: Option<String>,
    abort_after_analysis: bool,
    attach_to_debugger: Option<Debugger>,
    anactrl: ClapAnalysisCtrl,
    marker_control: MarkerControl,
    dump: ParseableDumpArgs,
    cargo_args: Vec<String>,
}

Arguments as exposed on the command line.

You should then use try_into to convert this to [Args], the argument structure used internally.

Fields

verbose: bool

Print additional logging output (up to the “info” level)

debug: bool

Print additional logging output (up to the “debug” level).

Passing this flag (or env variable) with no value will enable debug output globally. You may instead pass the name of a specific target function and then only during analysis of that function the debug output is enabled.

trace: bool

debug_target: Option<String>

result_path: PathBuf

Where to write the resulting GraphLocation (defaults to flow-graph.json)

relaxed: bool

Emit warnings instead of aborting the analysis on sanity checks

target: Option<String>

Run paralegal only on this crate

abort_after_analysis: bool

Abort the compilation after finishing the analysis

attach_to_debugger: Option<Debugger>

Attach to a debugger before running the analyses

anactrl: ClapAnalysisCtrl

Additional arguments that control the flow analysis specifically

marker_control: MarkerControl

Additional arguments which control marker assignment and discovery

dump: ParseableDumpArgs

Additional arguments that control debug args specifically

cargo_args: Vec<String>

Pass through for additional cargo arguments (like –features)

Trait Implementations

impl Args for ClapArgs

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 FromArgMatches for ClapArgs

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.

impl TryFrom<ClapArgs> for Args

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: ClapArgs) -> Result<Self, Self::Error>

Performs the conversion.