adhesion 0.5.0

A set of macros for design by contact in Rust. The design of this library was inspired by D's contract programming facilities.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

//! This example is derived from material found [here](https://tour.dlang.org/tour/en/gems/contract-programming).

#[macro_use]
extern crate adhesion;

contract! {
    fn square_root(x: i64) -> i64 {
        pre {
            assert!(x >= 0);
        }
        post(result) {
            assert!((result * result) <= x && (result + 1) * (result + 1) > x);
        }
        body {
            (x as f64).sqrt() as i64
        }
    }
}

fn main() {
    assert!(square_root(0) == 0);
    assert!(square_root(1) == 1);
    assert!(square_root(25) == 5);
}