Struct ResultType 

pub struct ResultType { /* private fields */ }

Result types classify the result of executing instructions or functions, which is a sequence of values, written with brackets.

See https://webassembly.github.io/spec/core/syntax/types.html#result-types

Examples

Empty

use wasm_ast::ResultType;

let result_type = ResultType::empty();

assert_eq!(result_type.len(), 0);
assert!(result_type.is_empty());
assert_eq!(result_type.kinds(), &[]);

Non-Empty

use wasm_ast::{ResultType, IntegerType, FloatType, ReferenceType, ValueType};

let result_type = ResultType::new(vec![
    IntegerType::I32.into(),
    IntegerType::I64.into(),
    FloatType::F32.into(),
    FloatType::F64.into(),
    ReferenceType::Function.into(),
    ReferenceType::External.into(),
]);

assert_eq!(result_type.len(), 6);
assert!(!result_type.is_empty());
assert_eq!(
    result_type.kinds(),
    &[
        ValueType::I32,
        ValueType::I64,
        ValueType::F32,
        ValueType::F64,
        ValueType::FunctionReference,
        ValueType::ExternalReference,
    ]
);
assert_eq!(
    result_type,
    vec![
        ValueType::I32,
        ValueType::I64,
        ValueType::F32,
        ValueType::F64,
        ValueType::FunctionReference,
        ValueType::ExternalReference,
    ].into()
);

Implementations

impl ResultType

pub fn new(kinds: Vec<ValueType>) -> Self

Creates a new ResultType with the given value types.

pub fn empty() -> Self

Creates a new empty ResultType.

pub fn kinds(&self) -> &[ValueType]

A reference to a slice of the ValueTypes.

pub fn len(&self) -> usize

The length of the ValueType vector.

pub fn is_empty(&self) -> bool

Returns true if this ResultType has a length of zero, false otherwise.

Trait Implementations

impl Clone for ResultType

fn clone(&self) -> ResultType

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ResultType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<Vec<ValueType>> for ResultType

fn from(kinds: Vec<ValueType>) -> Self

Converts to this type from the input type.

impl PartialEq for ResultType

fn eq(&self, other: &ResultType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ResultType

impl StructuralPartialEq for ResultType