Struct CliOpts

pub struct CliOpts {

    pub ullbc: bool,
    pub lib: bool,
    pub bin: Option<String>,
    pub mir_promoted: bool,
    pub mir_optimized: bool,
    pub input_file: Option<PathBuf>,
    pub read_llbc: Option<PathBuf>,
    pub dest_dir: Option<PathBuf>,
    pub dest_file: Option<PathBuf>,
    pub use_polonius: bool,
    pub skip_borrowck: bool,
    pub no_code_duplication: bool,
    pub monomorphize: bool,
    pub extract_opaque_bodies: bool,
    pub translate_all_methods: bool,
    pub include: Vec<String>,
    pub opaque: Vec<String>,
    pub exclude: Vec<String>,
    pub remove_associated_types: Vec<String>,
    pub hide_marker_traits: bool,
    pub start_from: Vec<String>,
    pub no_cargo: bool,
    pub rustc_args: Vec<String>,
    pub cargo_args: Vec<String>,
    pub abort_on_error: bool,
    pub error_on_warnings: bool,
    pub no_serialize: bool,
    pub print_original_ullbc: bool,
    pub print_ullbc: bool,
    pub print_built_llbc: bool,
    pub print_llbc: bool,
    pub no_merge_goto_chains: bool,
}

Fields

ullbc: bool

Extract the unstructured LLBC (i.e., don’t reconstruct the control-flow)

lib: bool

Compile the package’s library

bin: Option<String>

Compile the specified binary

mir_promoted: bool

Extract the promoted MIR instead of the built MIR

mir_optimized: bool

Extract the optimized MIR instead of the built MIR

input_file: Option<PathBuf>

The input file (the entry point of the crate to extract). This is needed if you want to define a custom entry point (to only extract part of a crate for instance).

read_llbc: Option<PathBuf>

Read an llbc file and pretty-print it. This is a terrible API, we should use subcommands.

dest_dir: Option<PathBuf>

The destination directory. Files will be generated as <dest_dir>/<crate_name>.{u}llbc, unless dest_file is set. dest_dir defaults to the current directory.

dest_file: Option<PathBuf>

The destination file. By default <dest_dir>/<crate_name>.llbc. If this is set we ignore dest_dir.

use_polonius: bool

If activated, use Polonius’ non-lexical lifetimes (NLL) analysis. Otherwise, use the standard borrow checker.

skip_borrowck: bool

If activated, this skips borrow-checking of the crate.

no_code_duplication: bool

monomorphize: bool

Monomorphize the code, replacing generics with their concrete types.

extract_opaque_bodies: bool

Usually we skip the bodies of foreign methods and structs with private fields. When this flag is on, we don’t.

translate_all_methods: bool

Usually we skip the provided methods that aren’t used. When this flag is on, we translate them all.

include: Vec<String>

Whitelist of items to translate. These use the name-matcher syntax.

opaque: Vec<String>

Blacklist of items to keep opaque. These use the name-matcher syntax.

exclude: Vec<String>

Blacklist of items to not translate at all. These use the name-matcher syntax.

remove_associated_types: Vec<String>

List of traits for which we transform associated types to type parameters.

hide_marker_traits: bool

Whether to hide the Sized, Sync, Send and Unpin marker traits anywhere they show up.

start_from: Vec<String>

A list of item paths to use as starting points for the translation. We will translate these items and any items they refer to, according to the opacity rules. When absent, we start from the path crate (which translates the whole crate).

no_cargo: bool

Do not run cargo; instead, run the driver directly.

rustc_args: Vec<String>

Extra flags to pass to rustc.

cargo_args: Vec<String>

Extra flags to pass to cargo. Incompatible with --no-cargo.

abort_on_error: bool

Panic on the first error. This is useful for debugging.

error_on_warnings: bool

Print the errors as warnings

no_serialize: bool

print_original_ullbc: bool

print_ullbc: bool

print_built_llbc: bool

print_llbc: bool

no_merge_goto_chains: bool

Implementations

impl CliOpts

pub fn validate(&self)

Check that the options are meaningful

Trait Implementations

impl Args for CliOpts

fn group_id() -> Option<Id>

Report the [ArgGroup::id][crate::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 Clone for CliOpts

fn clone(&self) -> CliOpts

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CliOpts

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

Formats the value using the given formatter.

impl Default for CliOpts

fn default() -> CliOpts

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for CliOpts

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl FromArgMatches for CliOpts

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 Serialize for CliOpts

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

where __S: Serializer,

Serialize this value into the given Serde serializer.