Struct doublecount::ProgramState

pub struct ProgramState {
    pub account_states: HashMap<AccountID, AccountState>,
    pub failed_balance_assertions: Vec<FailedBalanceAssertion>,
    // some fields omitted
}

The state of a Program being executed.

Fields

account_states: HashMap<AccountID, AccountState>

list of states associated with accounts (can only grow)

failed_balance_assertions: Vec<FailedBalanceAssertion>

list of failed assertions, and associated failed balance

Methods

impl ProgramState

pub fn new(
    accounts: &Vec<Rc<Account>>,
    account_status: AccountStatus
) -> ProgramState

Create a new ProgramState.

pub fn execute_program(
    &mut self,
    program: &Program
) -> Result<(), AccountingError>

Execute a given Program to mutate this state.

pub fn get_account_state(&self, account_id: &AccountID) -> Option<&AccountState>

Get a reference to the AccountState associated with a given Account.

pub fn get_account_state_mut(
    &mut self,
    account_id: &AccountID
) -> Option<&mut AccountState>

Get a mutable reference to the AccountState associated with the given Account.

pub fn record_failed_balance_assertion(
    &mut self,
    failed_balance_assertion: FailedBalanceAssertion
)

Record a failed BalanceAssertion using a FailedBalanceAssertion.