Struct RubyMethodContract 

pub struct RubyMethodContract {
    pub preconditions: Vec<String>,
    pub postconditions: Vec<String>,
}

Ruby method contract

Fields

preconditions: Vec<String>

postconditions: Vec<String>

Implementations

impl RubyMethodContract

pub fn new() -> Self

pub fn add_pre(&mut self, cond: &str)

pub fn add_post(&mut self, cond: &str)

pub fn emit_assertions(&self) -> String

Trait Implementations

impl Clone for RubyMethodContract

fn clone(&self) -> RubyMethodContract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RubyMethodContract

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

Formats the value using the given formatter.