dimensioned 0.1.7

Compile-time type checking of arbitrary unit systems.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

#!/usr/bin/env python3
import matplotlib
matplotlib.use("Agg")
import subprocess, re
from pylab import *

pretext = """
extern crate dimensioned;
use dimensioned::u::*;

fn main() {
    let x = unit;

    let y = """
posttext = """;\n
    println!("y: {}", y);
}"""

n = range(1, 9)
time = zeros(len(n))

for i in n:
    midtext = "*".join(["x"]*i)
    f = open("examples/time_test.rs", "w")
    f.write(pretext + midtext + posttext)
    f.close()
    cmd = "cargo run --example time_test | time".split()
    out = subprocess.check_output("time cargo run --example time_test", stderr=subprocess.STDOUT, shell=True).decode("utf-8")

    print(out)
    sys = re.search("sys\t([0-9]*)m([0-9]*\.[0-9]*)s", out)
    user = re.search("user\t([0-9]*)m([0-9]*\.[0-9]*)s", out)

    time[i-1] = float(sys.group(1) + user.group(1))*60 + float(sys.group(2)) + float(user.group(2))
    print("i:", i, "time:", time[i-1])

figure(figsize=(5,4))
plot(n, time)
xticks(n)
xlabel("Unit Exponent")
ylabel("Time (s)")
tight_layout()
savefig("time-test.svg")