Struct rustc_mir::dataflow::framework::engine::RustcMirAttrs

struct RustcMirAttrs {
    basename_and_suffix: Option<PathBuf>,
    formatter: Option<Symbol>,
}

Fields

basename_and_suffix: Option<PathBuf>

formatter: Option<Symbol>

Implementations

impl RustcMirAttrs

fn parse<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> Result<Self, ()>

fn set_field<T, 'tcx>(
    field: &mut Option<T>,
    tcx: TyCtxt<'tcx>,
    attr: &NestedMetaItem,
    mapper: impl FnOnce(Symbol) -> Result<T, ()>
) -> Result<(), ()>

fn output_path(&self, analysis_name: &str) -> Option<PathBuf>

Returns the path where dataflow results should be written, or None borrowck_graphviz_postflow was not specified.

This performs the following transformation to the argument of borrowck_graphviz_postflow:

“path/suffix.dot” -> “path/analysis_name_suffix.dot”

Trait Implementations

impl Default for RustcMirAttrs

fn default() -> RustcMirAttrs

Returns the “default value” for a type.