bounded-integer-plugin 0.1.1

Bounded integers compiler plugin
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

#![allow(dead_code)]
#![feature(plugin)]
#![plugin(bounded_integer_plugin)]

#[macro_use]
extern crate bounded_integer;

trait AssertSizeOf<T> {
    fn assert(self) -> T;
}

macro_rules! assert_size_of {
    ($a:ty, $b:ty) => {
        impl AssertSizeOf<$a> for $b {
            fn assert(self) -> $a {
                unsafe { std::mem::transmute(self) }
            }
        }
    }
}

bounded_integer! { enum A: u8 { 0...1 } }
bounded_integer! { enum B: i8 { 0...1 } }
bounded_integer! { enum C: u16 { 0...1 } }
bounded_integer! { enum D: i16 { 0...1 } }
bounded_integer! { enum E: u32 { 0...1 } }
bounded_integer! { enum F: i32 { 0...1 } }
bounded_integer! { enum G: u64 { 0...1 } }
bounded_integer! { enum H: i64 { 0...1 } }

assert_size_of!(u8, A);
assert_size_of!(i8, B);
assert_size_of!(u16, C);
assert_size_of!(i16, D);
assert_size_of!(u32, E);
assert_size_of!(i32, F);
assert_size_of!(u64, G);
assert_size_of!(i64, H);