Struct thinlinelib::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.

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.

Trait Implementations

impl<T: Debug> Debug for Thinline<T>where
    T: LanguageType,

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

Formats the value using the given formatter.

impl<T: Default> Default for Thinline<T>where
    T: LanguageType,

fn default() -> Thinline<T>

Returns the “default value” for a type.