Function: queueWithdraw(uint256 shares)

This function allows a user to request queuing a specific number of shares for later withdrawal. It updates the queuedShares mapping to reflect the total shares the user has queued. The function records the withdrawal request details in the queuedWithdraw mapping and adds the withdrawal ID to the _withdrawQueue array.

Inputs

• shares

  • Control: Full control.

  • Constraints: Must not exceed balanceOf(msg.sender) - queuedShares[msg.sender]. There is no explicit check to ensure shares > 0.

  • Impact: The amount requested for withdrawal.

Branches and code coverage

Intended branches

• Updates user's queuedShares.

  Test coverage

• Updates data in queuedWithdraw[id].

  Test coverage

• Adds ID to _withdrawQueue.

  Test coverage

• Emits a WithdrawQueued event.

  Test coverage

Negative behavior

• Reverts if the shares exceeds balanceOf(msg.sender) - queuedShares[msg.sender].

  Test coverage