pub struct TranspilerConfig {Show 42 fields
pub dump_untyped_context: bool,
pub dump_typed_context: bool,
pub pretty_typed_context: bool,
pub dump_function_cfgs: bool,
pub json_function_cfgs: bool,
pub dump_cfg_liveness: bool,
pub dump_structures: bool,
pub verbose: bool,
pub debug_ast_exporter: bool,
pub emit_c_decl_map: bool,
pub incremental_relooper: bool,
pub fail_on_multiple: bool,
pub filter: Option<Regex>,
pub debug_relooper_labels: bool,
pub cross_checks: bool,
pub cross_check_backend: String,
pub cross_check_configs: Vec<String>,
pub prefix_function_names: Option<String>,
pub translate_asm: bool,
pub use_c_loop_info: bool,
pub use_c_multiple_info: bool,
pub simplify_structures: bool,
pub panic_on_translator_failure: bool,
pub emit_modules: bool,
pub fail_on_error: bool,
pub replace_unsupported_decls: ReplaceMode,
pub translate_valist: bool,
pub overwrite_existing: bool,
pub reduce_type_annotations: bool,
pub reorganize_definitions: bool,
pub enabled_warnings: HashSet<Diagnostic>,
pub emit_no_std: bool,
pub output_dir: Option<PathBuf>,
pub translate_const_macros: TranslateMacros,
pub translate_fn_macros: TranslateMacros,
pub disable_rustfmt: bool,
pub disable_refactoring: bool,
pub preserve_unused_functions: bool,
pub log_level: LevelFilter,
pub emit_build_files: bool,
pub binaries: Vec<String>,
pub c2rust_dir: Option<PathBuf>,
}Expand description
Configuration settings for the translation process
Fields§
§dump_untyped_context: bool§dump_typed_context: bool§pretty_typed_context: bool§dump_function_cfgs: bool§json_function_cfgs: bool§dump_cfg_liveness: bool§dump_structures: bool§verbose: bool§debug_ast_exporter: bool§emit_c_decl_map: bool§incremental_relooper: bool§fail_on_multiple: bool§filter: Option<Regex>§debug_relooper_labels: bool§cross_checks: bool§cross_check_backend: String§cross_check_configs: Vec<String>§prefix_function_names: Option<String>§translate_asm: bool§use_c_loop_info: bool§use_c_multiple_info: bool§simplify_structures: bool§panic_on_translator_failure: bool§emit_modules: bool§fail_on_error: bool§replace_unsupported_decls: ReplaceMode§translate_valist: bool§overwrite_existing: bool§reduce_type_annotations: bool§reorganize_definitions: bool§enabled_warnings: HashSet<Diagnostic>§emit_no_std: bool§output_dir: Option<PathBuf>§translate_const_macros: TranslateMacros§translate_fn_macros: TranslateMacros§disable_rustfmt: bool§disable_refactoring: bool§preserve_unused_functions: bool§log_level: LevelFilter§emit_build_files: boolEmit Cargo.toml and lib.rs
binaries: Vec<String>Names of translation units containing main functions that we should make into binaries
c2rust_dir: Option<PathBuf>Trait Implementations§
Auto Trait Implementations§
impl Freeze for TranspilerConfig
impl RefUnwindSafe for TranspilerConfig
impl Send for TranspilerConfig
impl Sync for TranspilerConfig
impl Unpin for TranspilerConfig
impl UnsafeUnpin for TranspilerConfig
impl UnwindSafe for TranspilerConfig
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more