Struct Program 

pub struct Program {
    pub program: String,
    pub implements: Vec<InterfaceRef>,
    pub structs: Vec<Struct>,
    pub records: Vec<Record>,
    pub mappings: Vec<Mapping>,
    pub storage_variables: Vec<StorageVariable>,
    pub functions: Vec<Function>,
    pub views: Vec<Function>,
}

The complete ABI for a Leo program.

Fields

program: String

The program identifier (e.g., “token.aleo”).

implements: Vec<InterfaceRef>

Interfaces this program implements, by reference.

structs: Vec<Struct>

Struct type definitions.

records: Vec<Record>

Record type definitions.

mappings: Vec<Mapping>

On-chain key-value storage definitions.

storage_variables: Vec<StorageVariable>

Storage variable definitions.

functions: Vec<Function>

Public entry points (program functions only, not internal helpers). Compiled to Aleo transitions.

views: Vec<Function>

Read-only view fn entry points (V15). Compiled to Aleo view blocks. Off-consensus, plaintext-only inputs and outputs, no transactions or fees. Defaults to empty for backwards compatibility with pre-V15 ABI consumers.

Trait Implementations

impl Clone for Program

fn clone(&self) -> Program

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Program

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Program

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Program

fn eq(&self, other: &Program) -> 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 Serialize for Program

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Program

impl StructuralPartialEq for Program