Function: withdraw(EventTypes.WithdrawData data)

This allows the ledger to withdraw funds.

Inputs

• data

  • Control: Fully controlled by the ledger.

  • Constraints: None.

  • Impact: The data to be used for the withdrawal.

Branches and code coverage

Intended branches

• Assume that the WithdrawData struct has been properly validated before calling this function.

  Test coverage

• Assure that the caller is the ledger.

  Test coverage

• Forward the withdrawal to the crossChainRelay.

  Test coverage

Negative behavior

• Should not allow calling the function if the withdrawal data is not valid. This is currently not enforced at this contract level.

  Negative test

• Should not be callable by anyone other than the ledger.

  Negative test