Struct move_ir_types::ast::Function_

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

A Move function/procedure

Fields

visibility: FunctionVisibility

The visibility

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, 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: &Rhs) -> bool

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

impl StructuralPartialEq for Function_