Method parse_from_args

src/options.rs:82–109

(flags: &[String])

    }

    pub fn parse_from_args(flags: &[String]) -> Result<Self, Box<dyn Error>> {
        let app = make_options_parser();
        let matches = app.try_get_matches_from(flags.iter())?;
        let detector_kind = match matches.value_of("kind") {
            Some("deadlock") => DetectorKind::Deadlock,
            Some("atomicity_violation") => DetectorKind::AtomicityViolation,
            Some("memory") => DetectorKind::Memory,
            Some("all") => DetectorKind::All,
            Some("panic") => DetectorKind::Panic,
            _ => return Err("UnsupportedDetectorKind")?,
        };
        let black = matches.is_present("black");
        let crate_name_list = matches
            .value_of("crates")
            .map(|crates| {
                let crates: Vec<String> = crates.split(',').map(|s| s.into()).collect();
                if black {
                    CrateNameList::Black(crates)
                } else {
                    CrateNameList::White(crates)
                }
            })
            .unwrap_or_default();
        Ok(Options {
            detector_kind,
            crate_name_list,
        })
    }
}

#[cfg(test)]