Struct ExtensibleOptions 

pub struct ExtensibleOptions<E: Extension> {
    pub cargo_flags: Vec<String>,
    pub command: Command<E>,
    pub force_cargo_build: ForceCargoBuild,
    pub deps: bool,
    pub haxmeta: Option<PathBuf>,
    pub no_custom_target_directory: bool,
    pub message_format: MessageFormat,
    pub extension: E::Options,
}

Fields

cargo_flags: Vec<String>

Semi-colon terminated list of arguments to pass to the cargo build invocation. For example, to apply this program on a package foo, use -C -p foo ;. (make sure to escape ; correctly in your shell)

command: Command<E>

force_cargo_build: ForceCargoBuild

cargo caching is enable by default, this flag disables it.

deps: bool

Apply the command to every local package of the dependency closure. By default, the command is only applied to the primary packages (i.e. the package(s) of the current directory, or the ones selected with cargo options like -C -p <PKG> ;).

haxmeta: Option<PathBuf>

Provide a precomputed haxmeta file explicitly. Setting this option bypasses rustc and the exporter altogether.

no_custom_target_directory: bool

By default, hax uses $CARGO_TARGET_DIR/hax as target folder, to avoid recompilation when working both with cargo hax and cargo build (or, e.g. rust-analyzer). This option disables this behavior.

message_format: MessageFormat

Diagnostic format. Sets cargo’s --message-format as well, if not present.

extension: E::Options

Trait Implementations

impl<E: Extension> Args for ExtensibleOptions<E>

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<E: Clone + Extension> Clone for ExtensibleOptions<E>

where E::Options: Clone,

fn clone(&self) -> ExtensibleOptions<E>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<E: Extension> CommandFactory for ExtensibleOptions<E>

fn command<'b>() -> Command

Build a Command that can instantiate Self.

fn command_for_update<'b>() -> Command

Build a Command that can update self.

impl<E: Debug + Extension> Debug for ExtensibleOptions<E>

where E::Options: Debug,

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

Formats the value using the given formatter.

impl<'de, E> Deserialize<'de> for ExtensibleOptions<E>

where E: Deserialize<'de> + Extension, E::Options: Deserialize<'de>,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&ExtensibleOptions<()>> for ExporterOptions

fn from(options: &Options) -> Self

Converts to this type from the input type.

impl From<ExtensibleOptions<()>> for Options

fn from(_opts: Options) -> Options

Converts to this type from the input type.

impl<E: Extension> FromArgMatches for ExtensibleOptions<E>

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<E: Extension + JsonSchema> JsonSchema for ExtensibleOptions<E>

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl<E: Extension> Parser for ExtensibleOptions<E>

fn parse() -> Self

Parse from std::env::args_os(), exit on error.

fn try_parse() -> Result<Self, Error>

Parse from std::env::args_os(), return Err on error.

fn parse_from<I, T>(itr: I) -> Self

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Parse from iterator, exit on error.

fn try_parse_from<I, T>(itr: I) -> Result<Self, Error>

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Parse from iterator, return Err on error.

fn update_from<I, T>(&mut self, itr: I)

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Update from iterator, exit on error.

fn try_update_from<I, T>(&mut self, itr: I) -> Result<(), Error>

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Update from iterator, return Err on error.

impl<E> Serialize for ExtensibleOptions<E>

where E: Serialize + Extension, E::Options: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.