neovm-core 0.0.2

Core runtime structures for NeoVM
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71

use super::*;
use crate::heap_types::MarkerData;
use crate::tagged::gc::{TaggedHeap, set_tagged_heap};
use crate::tagged::header::MarkerObj;

fn alloc_marker_for_test(heap: &mut TaggedHeap) -> *mut MarkerObj {
    let tv = heap.alloc_marker(MarkerData {
        buffer: None,
        insertion_type: false,
        marker_id: None,
        bytepos: 0,
        charpos: 0,
        next_marker: std::ptr::null_mut(),
    });
    tv.as_veclike_ptr().unwrap() as *mut MarkerObj
}

#[test]
fn chain_splice_at_head_and_walk() {
    let mut heap = TaggedHeap::new();
    set_tagged_heap(&mut heap);

    let bt = BufferText::new();
    let m1 = alloc_marker_for_test(&mut heap);
    let m2 = alloc_marker_for_test(&mut heap);
    let m3 = alloc_marker_for_test(&mut heap);

    bt.chain_splice_at_head(m1);
    bt.chain_splice_at_head(m2);
    bt.chain_splice_at_head(m3);

    let walked = bt.chain_walk_collect();
    assert_eq!(walked, vec![m3, m2, m1]);
}

#[test]
fn chain_unlink_front_middle_back() {
    let mut heap = TaggedHeap::new();
    set_tagged_heap(&mut heap);

    let bt = BufferText::new();
    let m1 = alloc_marker_for_test(&mut heap);
    let m2 = alloc_marker_for_test(&mut heap);
    let m3 = alloc_marker_for_test(&mut heap);
    bt.chain_splice_at_head(m1);
    bt.chain_splice_at_head(m2);
    bt.chain_splice_at_head(m3);

    bt.chain_unlink(m2);
    assert_eq!(bt.chain_walk_collect(), vec![m3, m1]);

    bt.chain_unlink(m3);
    assert_eq!(bt.chain_walk_collect(), vec![m1]);

    bt.chain_unlink(m1);
    assert_eq!(bt.chain_walk_collect(), vec![]);
}

#[test]
fn chain_unlink_absent_is_noop() {
    let mut heap = TaggedHeap::new();
    set_tagged_heap(&mut heap);

    let bt = BufferText::new();
    let m1 = alloc_marker_for_test(&mut heap);
    let absent = alloc_marker_for_test(&mut heap);
    bt.chain_splice_at_head(m1);

    bt.chain_unlink(absent);
    assert_eq!(bt.chain_walk_collect(), vec![m1]);
}