neo-devpack-solidity 0.22.0

Production-focused Solidity-to-NeoVM compilation system
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
55
56
57
58

use neo_devpack_solidity::runtime::execution::ExecutionContext;
use neo_devpack_solidity::runtime::storage::StorageManager;
use neo_devpack_solidity::runtime::types::StackItem;
use neo_devpack_solidity::runtime::RuntimeConfig;

#[test]
fn storage_find_respects_prefix_and_overlay() {
    let mut storage = StorageManager::new(&RuntimeConfig::default()).expect("storage");
    let mut ctx = ExecutionContext::new(&RuntimeConfig::default()).expect("ctx");
    let account = "0x0000000000000000000000000000000000000000";
    storage.set(account, b"aa", b"1").expect("set base storage");
    ctx.bind_storage(account, &mut storage).expect("bind");

    // Overlay change: delete "aa", add "ab"
    // Neo N3 syscall convention: the first argument is at the top of the stack.
    // For storage syscalls this means:
    // - Storage.Delete(context, key): stack order [key, context]
    // - Storage.Put(context, key, value): stack order [value, key, context]
    ctx.initialize(
        &[
            // Delete key "aa"
            0x0C, 0x02, b'a', b'a', // key "aa"
            0x41, 155, 246, 103, 206, // Storage.GetContext
            0x41, 47, 88, 197, 237, // Storage.Delete
            // Put key "ab" = "2"
            0x0C, 0x01, b'2', // value "2"
            0x0C, 0x02, b'a', b'b', // key "ab"
            0x41, 155, 246, 103, 206, // Storage.GetContext
            0x41, 230, 63, 24, 132, // Storage.Put
            // Find with prefix "a"
            0x10, // options = 0 (FindOptions.None)
            0x0C, 0x01, b'a', // prefix "a"
            0x41, 155, 246, 103, 206, // Storage.GetContext
            0x41, 223, 48, 184, 154, // Storage.Find
            // Advance iterator and read first value
            0x4A, // DUP iterator token (Next consumes one)
            0x41, 156, 8, 237, 156,  // Iterator.Next
            0x45, // DROP bool
            0x41, 243, 84, 191, 29,   // Iterator.Value
            0x40, // RET
        ],
        &[],
    )
    .expect("init");

    while !ctx.step().expect("step").halted {}
    let result = ctx.return_data();
    let entry: StackItem = serde_json::from_slice(result).expect("iterator value json");
    let key = match entry {
        StackItem::Array(items) => match items.borrow().first() {
            Some(StackItem::ByteArray(bytes)) => bytes.borrow().clone(),
            _ => Vec::new(),
        },
        _ => Vec::new(),
    };

    assert_eq!(key, b"ab");
}