Struct Generated 

pub struct Generated {
    pub name: String,
    pub stages: String,
    pub checks: String,
}

The code generated for one predicate.

Fields

name: String

The name of the predicate, and of the files to write.

stages: String

The module of its stages, unformatted.

checks: String

The module of its checks, for its tests, unformatted: exact, the exact sign of the predicate, and bound_edge_cases, inputs on either side of the error bound of the filter. Empty when there are none, in which case no file is written.

Trait Implementations

impl Clone for Generated

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Generated

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

Formats the value using the given formatter.

impl Eq for Generated

impl PartialEq for Generated

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Generated