Function: requestDeposit(uint256 assets, address controller, address owner)

This function allows a user to request a deposit of assets to the basket. The assets are immediately transferred to this contract.

Inputs

• assets

  • Control: Fully controlled by the caller.

  • Constraints: Nonzero.

  • Impact: The amount of assets to deposit.

• controller

  • Control: Fully controlled by the caller.

  • Constraints: The controller must not have the last pending and claimable deposit request.

  • Impact: The address of the controller of the deposit request being created.

• owner

  • Control: Fully controlled by the caller.

  • Constraints: None at this level.

  • Impact: The address of the owner of the assets being deposited.

Branches and code coverage

Intended branches

• Check AssetRegistry(assetRegistry).hasPausedAssets(bitFlag).

  Test coverage

• Update depositRequest and lastDepositRequestId mappings.

  Test coverage

• Transfer owner's assets to this contract.

  Test coverage

Negative behavior

• Revert if assets is zero.

  Negative test

• Revert if controller has the last pending deposit request.

  Negative test

• Revert if controller has the last claimable deposit request.

  Negative test

• Revert if any of the assets in the bitFlag are paused.

  Negative test

Function call analysis

• AssetRegistry(this.assetRegistry).hasPausedAssets(this.bitFlag)

  • What is controllable? None.

  • If the return value is controllable, how is it used and how can it go wrong? A user can request a deposit of paused assets.

  • What happens if it reverts, reenters or does other unusual control flow? N/A.

• SafeERC20.safeTransferFrom(IERC20(this.asset()), owner, address(this), assets)

  • What is controllable? owner and assets.

  • If the return value is controllable, how is it used and how can it go wrong? N/A.

  • What happens if it reverts, reenters or does other unusual control flow? N/A.