Struct DataSpec 

pub struct DataSpec {
    pub maintains: Vec<PreCondition>,
    /* private fields */
}

Specifies the intended behavior of a data type: struct or enum.

Fields

maintains: Vec<PreCondition>

Invariants: conditions that must hold for all instances of the data type.

Implementations

impl DataSpec

pub fn empty() -> Self

Empty spec that contains no elements.

pub fn is_empty(&self) -> bool

Returns true if the spec is empty (specifies nothing), otherwise returns false.

pub fn spec_err(&self, message: &str) -> Error

Construct an error from the whole spec.

Trait Implementations

impl Debug for DataSpec

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

Formats the value using the given formatter.

impl Parse for DataSpec

fn parse(input: ParseStream<'_>) -> Result<Self>