Function: unstakeForAccount(address _account, address _receiver, uint256 _depositToken, address _amount)

Allows unstaking of tokens on behalf of another account.

Inputs

• _account

  • Control: Fully controlled by the caller (handler).

  • Constraints: Checked that _account can afford to unstake _amount of _depositToken (via depositBalances, stakedAmounts, etc.).

  • Impact: The account that will be unstaked for.

• _receiver

  • Control: Fully controlled by the caller (handler).

  • Constraints: None.

  • Impact: The beneficiary of the deposit tokens resulting from the unstaking.

• _depositToken

  • Control: Fully controlled by the caller (handler).

  • Constraints: Checked that the token is whitelisted (isDepositToken).

  • Impact: The token to be unstaked.

• _amount

  • Control: Fully controlled by the caller (handler).

  • Constraints: Checked that the amount is greater than zero. Also, in safeTransfer call, it is checked that the _account has enough balance.

  • Impact: The amount of tokens to be unstaked.

Branches and code coverage (including function calls)

Intended branches

• Assumes no malicious intent on behalf of the handler.

  Test coverage

• Checks that the token is whitelisted (isDepositToken).

  Test coverage

• Checks that the amount is greater than zero.

  Test coverage

• Checks that the _account has enough balance (safeTransfer) --- also the check in depositBalances.

  Test coverage

• Decreases the total deposit supply for the _depositToken.

  Test coverage

• Decreases the depositBalances for the _account.

  Test coverage

• Decreases the stakedAmounts for the _account.

  Test coverage

• Decreases the balances for the _account (by burning this contract's tokens).

  Test coverage

• Transfers the _amount of deposit tokens back to the _account.

  Test coverage

Negative behavior

• Should not be callable by anyone other than a handler.

  Negative test

• Should not allow withdrawing more than the staked amount.

  Negative test

• Should not be callable if isPrivateStakingMode is true.

  Negative test

• Assumes user cannot unstake a token that they have not staked. That is handled by the depositBalances decrease.

  Negative test

• Should not allow unstaking more tokens than the user has staked.

  Negative test