plotnik-bytecode 0.3.2

Bytecode format and runtime types for Plotnik
Documentation 
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
44
45
46
47
48
49
50
51
52
53
54

use super::*;

#[test]
fn nav_standard_roundtrip() {
    for nav in [
        Nav::Epsilon,
        Nav::Stay,
        Nav::StayExact,
        Nav::Next,
        Nav::NextSkip,
        Nav::NextExact,
        Nav::Down,
        Nav::DownSkip,
        Nav::DownExact,
    ] {
        assert_eq!(Nav::from_byte(nav.to_byte()), nav);
    }
}

#[test]
fn nav_up_roundtrip() {
    let nav = Nav::Up(5);
    assert_eq!(Nav::from_byte(nav.to_byte()), nav);

    let nav = Nav::UpSkipTrivia(10);
    assert_eq!(Nav::from_byte(nav.to_byte()), nav);

    let nav = Nav::UpExact(63);
    assert_eq!(Nav::from_byte(nav.to_byte()), nav);
}

#[test]
fn nav_byte_encoding() {
    assert_eq!(Nav::Epsilon.to_byte(), 0b00_000000);
    assert_eq!(Nav::Stay.to_byte(), 0b00_000001);
    assert_eq!(Nav::StayExact.to_byte(), 0b00_000010);
    assert_eq!(Nav::Down.to_byte(), 0b00_000110);
    assert_eq!(Nav::Up(5).to_byte(), 0b01_000101);
    assert_eq!(Nav::UpSkipTrivia(3).to_byte(), 0b10_000011);
    assert_eq!(Nav::UpExact(1).to_byte(), 0b11_000001);
}

#[test]
#[should_panic(expected = "invalid nav standard")]
fn nav_invalid_standard_panics() {
    // 9 and above are invalid (0-8 are valid standard values)
    Nav::from_byte(0b00_001001);
}

#[test]
#[should_panic(expected = "invalid nav up level")]
fn nav_invalid_up_zero_panics() {
    Nav::from_byte(0b01_000000);
}