Enum Expression 

pub enum Expression {
    Literal(Literal),
    Var(String),
    StateAccess(String),
    MappingAccess {
        mapping_name: String,
        keys: Vec<Expression>,
        account_name: String,
    },
    MsgSender,
    MsgValue,
    BlockTimestamp,
    ClockSlot,
    ClockEpoch,
    ClockUnixTimestamp,
    RentMinimumBalance {
        data_len: Box<Expression>,
    },
    RentIsExempt {
        lamports: Box<Expression>,
        data_len: Box<Expression>,
    },
    Binary {
        op: BinaryOp,
        left: Box<Expression>,
        right: Box<Expression>,
    },
    Unary {
        op: UnaryOp,
        expr: Box<Expression>,
    },
    Call {
        func: String,
        args: Vec<Expression>,
    },
    MethodCall {
        receiver: Box<Expression>,
        method: String,
        args: Vec<Expression>,
    },
    InterfaceCast {
        interface_name: String,
        program_id: Box<Expression>,
    },
    CpiCall {
        program: Box<Expression>,
        interface_name: String,
        method: String,
        args: Vec<Expression>,
    },
    TokenTransfer {
        from: Box<Expression>,
        to: Box<Expression>,
        authority: Box<Expression>,
        amount: Box<Expression>,
    },
    TokenMint {
        mint: Box<Expression>,
        to: Box<Expression>,
        authority: Box<Expression>,
        amount: Box<Expression>,
    },
    TokenBurn {
        from: Box<Expression>,
        mint: Box<Expression>,
        authority: Box<Expression>,
        amount: Box<Expression>,
    },
    SolTransfer {
        to: Box<Expression>,
        amount: Box<Expression>,
    },
    GetATA {
        owner: Box<Expression>,
        mint: Box<Expression>,
    },
    Index {
        expr: Box<Expression>,
        index: Box<Expression>,
    },
    Field {
        expr: Box<Expression>,
        field: String,
    },
    Ternary {
        condition: Box<Expression>,
        then_expr: Box<Expression>,
        else_expr: Box<Expression>,
    },
    Assert {
        condition: Box<Expression>,
        message: Option<String>,
    },
    AssertEq {
        left: Box<Expression>,
        right: Box<Expression>,
        message: Option<String>,
    },
    AssertNe {
        left: Box<Expression>,
        right: Box<Expression>,
        message: Option<String>,
    },
    AssertGt {
        left: Box<Expression>,
        right: Box<Expression>,
        message: Option<String>,
    },
    AssertGe {
        left: Box<Expression>,
        right: Box<Expression>,
        message: Option<String>,
    },
    AssertLt {
        left: Box<Expression>,
        right: Box<Expression>,
        message: Option<String>,
    },
    AssertLe {
        left: Box<Expression>,
        right: Box<Expression>,
        message: Option<String>,
    },
}

Expressions in IR

Variants

Literal(Literal)

Var(String)

StateAccess(String)

MappingAccess

Mapping access: mapping_name[key1][key2]... → ctx.accounts.{account_name}.value

Fields

mapping_name: String

keys: Vec<Expression>

All keys in order (outer to inner)

account_name: String

Generated account name for this access point

MsgSender

MsgValue

BlockTimestamp

ClockSlot

ClockEpoch

ClockUnixTimestamp

RentMinimumBalance

Fields

data_len: Box<Expression>

RentIsExempt

Fields

lamports: Box<Expression>

data_len: Box<Expression>

Binary

Fields

op: BinaryOp

left: Box<Expression>

right: Box<Expression>

Unary

Fields

op: UnaryOp

expr: Box<Expression>

Call

Fields

func: String

args: Vec<Expression>

MethodCall

Fields

receiver: Box<Expression>

method: String

args: Vec<Expression>

InterfaceCast

Interface cast for CPI: IERC20(programId) -> allows calling methods on external programs

Fields

interface_name: String

The interface name (e.g., “IERC20”)

program_id: Box<Expression>

The program ID to call

CpiCall

Cross-Program Invocation call

Fields

program: Box<Expression>

The program to call (expression evaluating to program ID)

interface_name: String

Interface/program name for generating the right instruction

method: String

Method name to call

args: Vec<Expression>

Arguments to the CPI call

TokenTransfer

SPL Token transfer CPI

Fields

from: Box<Expression>

from account

to: Box<Expression>

to account

authority: Box<Expression>

authority

amount: Box<Expression>

amount

TokenMint

SPL Token mint CPI

Fields

mint: Box<Expression>

mint account

to: Box<Expression>

to account

authority: Box<Expression>

authority

amount: Box<Expression>

amount

TokenBurn

SPL Token burn CPI

Fields

from: Box<Expression>

from account

mint: Box<Expression>

mint account

authority: Box<Expression>

authority

amount: Box<Expression>

amount

SolTransfer

Direct SOL transfer via system_program::transfer

Fields

to: Box<Expression>

to account (Pubkey)

amount: Box<Expression>

amount in lamports

GetATA

Get Associated Token Address

Fields

owner: Box<Expression>

owner/wallet address

mint: Box<Expression>

token mint address

Index

Fields

expr: Box<Expression>

index: Box<Expression>

Field

Fields

expr: Box<Expression>

field: String

Ternary

Fields

condition: Box<Expression>

then_expr: Box<Expression>

else_expr: Box<Expression>

Assert

Assert expression: assert(condition, “message”)

Fields

condition: Box<Expression>

message: Option<String>

AssertEq

Assert equality: assertEq(left, right, “message”)

Fields

left: Box<Expression>

right: Box<Expression>

message: Option<String>

AssertNe

Assert not equal: assertNe(left, right, “message”)

Fields

left: Box<Expression>

right: Box<Expression>

message: Option<String>

AssertGt

Assert greater than: assertGt(left, right, “message”)

Fields

left: Box<Expression>

right: Box<Expression>

message: Option<String>

AssertGe

Assert greater or equal: assertGe(left, right, “message”)

Fields

left: Box<Expression>

right: Box<Expression>

message: Option<String>

AssertLt

Assert less than: assertLt(left, right, “message”)

Fields

left: Box<Expression>

right: Box<Expression>

message: Option<String>

AssertLe

Assert less or equal: assertLe(left, right, “message”)

Fields

left: Box<Expression>

right: Box<Expression>

message: Option<String>

Trait Implementations

impl Clone for Expression

fn clone(&self) -> Expression

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

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

Formats the value using the given formatter.