Module 0x1::debug

Module providing debug functionality.

• Constants
• Function print
• Function print_stack_trace
• Function format
• Function native_print
• Function native_stack_trace
• Specification
  • Function print
  • Function print_stack_trace
  • Function native_print
  • Function native_stack_trace

use 0x1::string;
use 0x1::string_utils;

Constants

const MSG_1: vector<u8> = [97, 98, 99, 100, 101, 102];

const MSG_2: vector<u8> = [49, 50, 51, 52, 53, 54];

Function print

public fun print<T>(x: &T)

public fun print<T>(x: &T) {
    native_print(format(x));
}

Function print_stack_trace

public fun print_stack_trace()

public fun print_stack_trace() {
    native_print(native_stack_trace());
}

Function format

fun format<T>(x: &T): string::String

inline fun format<T>(x: &T): String {
    aptos_std::string_utils::debug_string(x)
}

Function native_print

fun native_print(x: string::String)

native fun native_print(x: String);

Function native_stack_trace

fun native_stack_trace(): string::String

native fun native_stack_trace(): String;

Specification

Function print

public fun print<T>(x: &T)

aborts_if false;

Function print_stack_trace

public fun print_stack_trace()

aborts_if false;

Function native_print

fun native_print(x: string::String)

pragma opaque;
aborts_if false;

Function native_stack_trace

fun native_stack_trace(): string::String

pragma opaque;
aborts_if false;