Struct move_ir_types::ast::Function_

pub struct Function_ {
    pub visibility: FunctionVisibility,
    pub is_entry: bool,
    pub signature: FunctionSignature,
    pub acquires: Vec<StructName>,
    pub specifications: Vec<Condition>,
    pub body: FunctionBody,
}

A Move function/procedure

Fields

visibility: FunctionVisibility

The visibility

is_entry: bool

Is entry function

signature: FunctionSignature

The type signature

acquires: Vec<StructName>

List of nominal resources (declared in this module) that the procedure might access Either through: BorrowGlobal, MoveFrom, or transitively through another procedure This list of acquires grants the borrow checker the ability to statically verify the safety of references into global storage

specifications: Vec<Condition>

List of specifications for the Move prover (experimental)

body: FunctionBody

The code for the procedure

Implementations

impl Function_

pub fn new(
    visibility: FunctionVisibility,
    is_entry: bool,
    formals: Vec<(Var, Type)>,
    return_type: Vec<Type>,
    type_parameters: Vec<(TypeVar, BTreeSet<Ability>)>,
    acquires: Vec<StructName>,
    specifications: Vec<Condition>,
    body: FunctionBody
) -> Self

Creates a new function declaration from the components of the function See the declaration of the struct Function for more details

Trait Implementations

impl Clone for Function_

fn clone(&self) -> Function_

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Function_

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

Formats the value using the given formatter.

impl Display for Function_

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

Formats the value using the given formatter.

impl PartialEq<Function_> for Function_

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralPartialEq for Function_