ic-platform 0.28.0

Controlled Candid and IC runtime dependency boundary
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
59
60
61
62
63
64
65
66
67
68
69
70

use super::*;
use crate::candid_codec::arguments::encode_args;
fn limits() -> Limits {
    Limits {
        bytes: 1024,
        header: 512,
        types: 32,
        work: 10000,
        allocation: 10000,
    }
}
#[test]
fn empty_policy_never_chooses_argument_arity() {
    assert!(decode::<()>(&[], limits(), EmptyArgs::Reject, Arity::Exact).is_err());
    assert_eq!(
        decode::<()>(&[], limits(), EmptyArgs::Unit, Arity::Exact),
        Ok(())
    );
    assert_eq!(
        decode::<(Option<u64>,)>(&[], limits(), EmptyArgs::Unit, Arity::Exact),
        Err(decoder::Error::Arity)
    );
    assert_eq!(
        decode::<(Option<u64>,)>(&[], limits(), EmptyArgs::Unit, Arity::Compatible),
        Ok((None,))
    );
    assert!(decode::<(u64,)>(&[], limits(), EmptyArgs::Unit, Arity::Compatible).is_err());
}
#[test]
fn input_limits_and_trailing_values_remain_enforced() {
    let bytes = encode_args(&(42u64, 99u64), 1024).unwrap();
    assert_eq!(
        decode::<(u64,)>(&bytes, limits(), EmptyArgs::Reject, Arity::Exact),
        Err(decoder::Error::Arity)
    );
    assert_eq!(
        decode::<(u64,)>(&bytes, limits(), EmptyArgs::Reject, Arity::Compatible),
        Ok((42,))
    );
    for n in 0..bytes.len() {
        assert!(
            decode::<(u64,)>(&bytes[..n], limits(), EmptyArgs::Reject, Arity::Compatible).is_err()
        );
    }
    assert_eq!(admit_len(1025, limits()), Err(decoder::Error::Limit));
    assert!(
        decode::<()>(
            &[],
            Limits {
                work: 0,
                ..limits()
            },
            EmptyArgs::Unit,
            Arity::Exact
        )
        .is_err()
    );
    assert!(
        decode::<()>(
            &[],
            Limits {
                header: 0,
                ..limits()
            },
            EmptyArgs::Unit,
            Arity::Exact
        )
        .is_err()
    );
}