rwasm 0.4.3

ZK-friendly WebAssembly runtime optimized for blockchain and zero-knowledge applications
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

use bincode::{Decode, Encode};
use core::fmt::Formatter;
use num_derive::FromPrimitive;

#[derive(
    Debug, Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, Encode, Decode, FromPrimitive,
)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
#[repr(u8)]
pub enum TrapCode {
    UnreachableCodeReached = 0x00,
    MemoryOutOfBounds = 0x01,
    TableOutOfBounds = 0x02,
    IndirectCallToNull = 0x03,
    IntegerDivisionByZero = 0x04,
    IntegerOverflow = 0x05,
    BadConversionToInteger = 0x06,
    StackOverflow = 0x07,
    BadSignature = 0x08,
    OutOfFuel = 0x09,
    UnknownExternalFunction = 0x0a,
    IllegalOpcode = 0x0b,
    // a special trap code for interrupting an execution,
    // it saves the latest registers for IP and SP in the call stack
    InterruptionCalled = 0x0c,
    // this trap code is only used for external calls to terminate the execution,
    // but this error can't be returned from an execution cycle
    ExecutionHalted = 0xff,
}

impl core::fmt::Display for TrapCode {
    fn fmt(&self, f: &mut Formatter<'_>) -> core::fmt::Result {
        // these error code messages are complained with WebAssembly standards, change them carefully
        match self {
            TrapCode::UnreachableCodeReached => write!(f, "unreachable code reached"),
            TrapCode::MemoryOutOfBounds => write!(f, "out of bounds memory access"),
            TrapCode::TableOutOfBounds => {
                write!(f, "undefined element: out of bounds table access")
            }
            TrapCode::IndirectCallToNull => write!(f, "uninitialized element 2"),
            TrapCode::IntegerDivisionByZero => write!(f, "integer divide by zero"),
            TrapCode::IntegerOverflow => write!(f, "integer overflow"),
            TrapCode::BadConversionToInteger => write!(f, "invalid conversion to integer"),
            TrapCode::StackOverflow => write!(f, "call stack exhausted"),
            TrapCode::BadSignature => write!(f, "indirect call type mismatch"),
            TrapCode::OutOfFuel => write!(f, "out of fuel"),
            TrapCode::UnknownExternalFunction => write!(f, "unknown external function"),
            TrapCode::IllegalOpcode => write!(f, "illegal opcode"),
            TrapCode::InterruptionCalled => write!(f, "interruption called"),
            TrapCode::ExecutionHalted => write!(f, "execution halted"),
        }
    }
}

impl core::error::Error for TrapCode {}