From 2e90bd94de32c739733966bfac96cf35e9a08655 Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Wed, 6 Apr 2011 17:56:44 -0700 Subject: Continued sketching out code for checking states against preconditions. It's still sketchy. I added a typestate annotation field to statements tagged stmt_decl or stmt_expr, because a stmt_decl statement has a typestate that's different from that of its child node. This necessitated trivial changes to a bunch of other files all over to the compiler. I also added a few small standard library functions, some of which I didn't actually end up using but which I thought might be useful anyway. --- src/lib/bitv.rs | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) (limited to 'src/lib/bitv.rs') diff --git a/src/lib/bitv.rs b/src/lib/bitv.rs index 2029ef52952..98e6c0401d6 100644 --- a/src/lib/bitv.rs +++ b/src/lib/bitv.rs @@ -135,6 +135,28 @@ impure fn set(&t v, uint i, bool x) { } } +/* true if all bits are 1 */ +fn is_true(&t v) -> bool { + for(uint i in v.storage) { + if (i != 1u) { + ret false; + } + } + + ret true; +} + +/* true if all bits are non-1 */ +fn is_false(&t v) -> bool { + for(uint i in v.storage) { + if (i == 1u) { + ret false; + } + } + + ret true; +} + fn init_to_vec(t v, uint i) -> uint { if (get(v, i)) { ret 1u; -- cgit 1.4.1-3-g733a5