praxis_cli / cli / widths
Module widths
Quick Reference
| Item | Kind | Description |
|---|---|---|
run_widths_only | fn | |
render_widths_xml | fn | |
write_module | fn | |
write_width_element | fn | |
write_simple_text | fn | |
emit_output | fn |
Functions
run_widths_only
rust
fn run_widths_only(cli: &crate::cli::args::Args, fault_tree: &praxis::core::fault_tree::FaultTree, verbose: bool) -> Result<(), Box<dyn std::error::Error>>render_widths_xml
rust
fn render_widths_xml(fault_tree_id: &str, report: &praxis::analysis::width::WidthsReport) -> Result<String, Box<dyn std::error::Error>>write_module
rust
fn write_module(writer: &mut quick_xml::Writer<Vec<u8>>, module: &praxis::analysis::width::ModuleWidthReport) -> Result<(), Box<dyn std::error::Error>>write_width_element
rust
fn write_width_element(writer: &mut quick_xml::Writer<Vec<u8>>, name: &str, width: &praxis::analysis::width::WidthReport) -> Result<(), Box<dyn std::error::Error>>write_simple_text
rust
fn write_simple_text(writer: &mut quick_xml::Writer<Vec<u8>>, name: &str, text: &str) -> Result<(), Box<dyn std::error::Error>>emit_output
rust
fn emit_output(output_file: Option<&std::path::PathBuf>, xml: &str) -> Result<(), Box<dyn std::error::Error>>