pub struct Program<'info, T> { /* private fields */ }
Expand description

Type validating that the account is the given Program

The type has a programdata_address function that will return Option::Some if the program is owned by the BPFUpgradeableLoader which will contain the programdata_address property of the Program variant of the UpgradeableLoaderState enum.

§Table of Contents

§Basic Functionality

Checks:

  • account_info.key == expected_program
  • account_info.executable == true

§Example

#[program]
mod my_program {
    fn set_admin_settings(...){...}
}

#[account]
#[derive(Default)]
pub struct AdminSettings {
    ...
}

#[derive(Accounts)]
pub struct SetAdminSettings<'info> {
    #[account(mut, seeds = [b"admin"], bump)]
    pub admin_settings: Account<'info, AdminSettings>,
    #[account(constraint = program.programdata_address()? == Some(program_data.key()))]
    pub program: Program<'info, MyProgram>,
    #[account(constraint = program_data.upgrade_authority_address == Some(authority.key()))]
    pub program_data: Account<'info, ProgramData>,
    pub authority: Signer<'info>,
}

The given program has a function with which the upgrade authority can set admin settings.

The required constraints are as follows:

  • program is the account of the program itself. Its constraint checks that program_data is the account that contains the program’s upgrade authority. Implicitly, this checks that program is a BPFUpgradeable program (program.programdata_address()? will be None if it’s not).
  • program_data’s constraint checks that its upgrade authority is the authority account.
  • Finally, authority needs to sign the transaction.

§Out of the Box Types

Between the anchor_lang and anchor_spl crates, the following Program types are provided out of the box:

Implementations§

§

impl<'a, T> Program<'a, T>

Methods from Deref<Target = AccountInfo<'info>>§

pub fn signer_key(&self) -> Option<&Pubkey>

pub fn unsigned_key(&self) -> &Pubkey

pub fn lamports(&self) -> u64

pub fn try_lamports(&self) -> Result<u64, ProgramError>

pub unsafe fn original_data_len(&self) -> usize

Return the account’s original data length when it was serialized for the current program invocation.

§Safety

This method assumes that the original data length was serialized as a u32 integer in the 4 bytes immediately preceding the serialized account key.

pub fn data_len(&self) -> usize

pub fn try_data_len(&self) -> Result<usize, ProgramError>

pub fn data_is_empty(&self) -> bool

pub fn try_data_is_empty(&self) -> Result<bool, ProgramError>

pub fn try_borrow_lamports(&self) -> Result<Ref<'_, &mut u64>, ProgramError>

pub fn try_borrow_mut_lamports( &self ) -> Result<RefMut<'_, &'a mut u64>, ProgramError>

pub fn try_borrow_data(&self) -> Result<Ref<'_, &mut [u8]>, ProgramError>

pub fn try_borrow_mut_data( &self ) -> Result<RefMut<'_, &'a mut [u8]>, ProgramError>

pub fn realloc( &self, new_len: usize, zero_init: bool ) -> Result<(), ProgramError>

Realloc the account’s data and optionally zero-initialize the new memory.

Note: Account data can be increased within a single call by up to solana_program::entrypoint::MAX_PERMITTED_DATA_INCREASE bytes.

Note: Memory used to grow is already zero-initialized upon program entrypoint and re-zeroing it wastes compute units. If within the same call a program reallocs from larger to smaller and back to larger again the new space could contain stale data. Pass true for zero_init in this case, otherwise compute units will be wasted re-zero-initializing.

§Safety

This method makes assumptions about the layout and location of memory referenced by AccountInfo fields. It should only be called for instances of AccountInfo that were created by the runtime and received in the process_instruction entrypoint of a program.

pub fn assign(&self, new_owner: &Pubkey)

pub fn deserialize_data<T>(&self) -> Result<T, Box<ErrorKind>>

pub fn serialize_data<T>(&self, state: &T) -> Result<(), Box<ErrorKind>>
where T: Serialize,

Trait Implementations§

§

impl<'info, B, T> Accounts<'info, B> for Program<'info, T>
where T: Id,

§

fn try_accounts( _program_id: &Pubkey, accounts: &mut &'info [AccountInfo<'info>], _ix_data: &[u8], _bumps: &mut B, _reallocs: &mut BTreeSet<Pubkey> ) -> Result<Program<'info, T>, Error>

Returns the validated accounts struct. What constitutes “valid” is program dependent. However, users of these types should never have to worry about account substitution attacks. For example, if a program expects a Mint account from the SPL token program in a particular field, then it should be impossible for this method to return Ok if any other account type is given–from the SPL token program or elsewhere. Read more
§

impl<'info, T> AccountsExit<'info> for Program<'info, T>

§

fn exit(&self, _program_id: &Pubkey) -> Result<(), Error>

program_id is the currently executing program.
§

impl<'info, T> AsRef<AccountInfo<'info>> for Program<'info, T>

§

fn as_ref(&self) -> &AccountInfo<'info>

Converts this type into a shared reference of the (usually inferred) input type.
§

impl<'info, T> Clone for Program<'info, T>
where T: Clone,

§

fn clone(&self) -> Program<'info, T>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
§

impl<'info, T> Debug for Program<'info, T>
where T: Debug,

§

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

Formats the value using the given formatter. Read more
§

impl<'info, T> Key for Program<'info, T>

§

fn key(&self) -> Pubkey

§

impl<'info, T> ToAccountInfos<'info> for Program<'info, T>

§

fn to_account_infos(&self) -> Vec<AccountInfo<'info>>

§

impl<'info, T> ToAccountMetas for Program<'info, T>

§

fn to_account_metas(&self, is_signer: Option<bool>) -> Vec<AccountMeta>

is_signer is given as an optional override for the signer meta field. This covers the edge case when a program-derived-address needs to relay a transaction from a client to another program but sign the transaction before the relay. The client cannot mark the field as a signer, and so we have to override the is_signer meta field given by the client.
§

impl<'a, T> TryFrom<&'a AccountInfo<'a>> for Program<'a, T>
where T: Id,

§

fn try_from(info: &'a AccountInfo<'a>) -> Result<Program<'a, T>, Error>

Deserializes the given info into a Program.

§

type Error = Error

The type returned in the event of a conversion error.
§

impl<'info, T> Deref for Program<'info, T>

§

type Target = AccountInfo<'info>

The resulting type after dereferencing.
§

fn deref(&self) -> &<Program<'info, T> as Deref>::Target

Dereferences the value.

Auto Trait Implementations§

§

impl<'info, T> Freeze for Program<'info, T>

§

impl<'info, T> !RefUnwindSafe for Program<'info, T>

§

impl<'info, T> !Send for Program<'info, T>

§

impl<'info, T> !Sync for Program<'info, T>

§

impl<'info, T> Unpin for Program<'info, T>
where T: Unpin,

§

impl<'info, T> !UnwindSafe for Program<'info, T>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<'info, T> Lamports<'info> for T
where T: AsRef<AccountInfo<'info>>,

§

fn get_lamports(&self) -> u64

Get the lamports of the account.
§

fn add_lamports(&self, amount: u64) -> Result<&Self, Error>

Add lamports to the account. Read more
§

fn sub_lamports(&self, amount: u64) -> Result<&Self, Error>

Subtract lamports from the account. Read more
source§

impl<T> Same for T

§

type Output = T

Should always be Self
§

impl<'info, T> ToAccountInfo<'info> for T
where T: AsRef<AccountInfo<'info>>,

§

fn to_account_info(&self) -> AccountInfo<'info>

source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V