Struct cairo_lang_sierra::extensions::lib_func::ParamSignature

pub struct ParamSignature {
    pub ty: ConcreteTypeId,
    pub allow_deferred: bool,
    pub allow_add_const: bool,
    pub allow_const: bool,
}

Information regarding a parameter of the libfunc.

Fields

ty: ConcreteTypeId

The type of the parameter.

allow_deferred: bool

Whether the libfunc argument can be an expression of the form [ap/fp + i] + [ap/fp + j]. For example, store_temp() and store_local().

allow_add_const: bool

Whether the libfunc argument can be an expression of the form [ap + i] + const.

allow_const: bool

Whether the libfunc argument can be a constant.

Implementations

impl ParamSignature

pub fn new(ty: ConcreteTypeId) -> Self

Returns a ParamSignature with default attributes.

pub fn with_allow_deferred(self) -> Self

Returns a modified version of ParamSignature, with the allow_deferred flag set.

pub fn with_allow_add_const(self) -> Self

Returns a modified version of ParamSignature, with the allow_add_const flag set.

pub fn with_allow_const(self) -> Self

Returns a modified version of ParamSignature, with the allow_const flag set.

pub fn with_allow_all(self) -> Self

Returns a modified version of ParamSignature, with all attributes set.

Trait Implementations

impl Clone for ParamSignature

fn clone(&self) -> ParamSignature

Returns a copy of the value.

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

Performs copy-assignment from source.

impl From<ConcreteTypeId> for ParamSignature

fn from(ty: ConcreteTypeId) -> Self

Converts to this type from the input type.