Struct Thinline

pub struct Thinline<T>
where
    T: LanguageType,
{
    pub project_parameters: ProjectParameters,
    pub analysis: Analysis<T>,
    pub synthesis: Synthesis,
}

Global structure representing the Thinline lib.

Fields

project_parameters: ProjectParameters

The parsed project parameters.

analysis: Analysis<T>

The structure holding the analysis_c data.

synthesis: Synthesis

The structure holding the synthesized testdata.

Implementations

impl<T> Thinline<T>

where T: LanguageType,

pub fn new() -> Self

Creates an instance of the lib containing Thinlines functionality.

Examples found in repository

examples/collect_files.rs (line 7)

fn main() {
    let mut tl: Thinline<C> = Thinline::new();
    match tl.analyze_project("examples/c_project") {
        Ok(_) => {
            println!("Analyzed project successfully.");
        }
        Err(e) => println!("{}", e.to_string()),
    }
}

pub fn parse_project_config<P: Into<PathBuf>>( &mut self, project_dir: P, config_name: &str, ) -> Fallible<()>

Parses configuration from the given config yaml.

pub fn analyze_project<P: Into<PathBuf>>( &mut self, project_path: P, ) -> Fallible<()>

Analyzes the project which should be tested.

Examples found in repository

examples/collect_files.rs (line 8)

fn main() {
    let mut tl: Thinline<C> = Thinline::new();
    match tl.analyze_project("examples/c_project") {
        Ok(_) => {
            println!("Analyzed project successfully.");
        }
        Err(e) => println!("{}", e.to_string()),
    }
}

Trait Implementations

impl<T> Debug for Thinline<T>

where T: LanguageType + Debug,

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

Formats the value using the given formatter.

impl<T> Default for Thinline<T>

where T: LanguageType + Default,

fn default() -> Thinline<T>

Returns the “default value” for a type.