Function: initialize(IAddressProvider _addressProvider)

This function initializes the WasabiShortPool contract and assigns the first address provider.

Inputs

• _addressProvider

  • Control: None.

  • Constraints: None.

  • Impact: Assigns the first address provider.

Branches and code coverage

Intended branches

• Initializes WasabiShortPool successfully.

  Test coverage

Negative behavior

• Reverts if _addressProvider is not an AddressProvider contract.

  Negative test

• Reverts if msg.sender is not the owner.

  Negative test

• Reverts if hte contract is already initialized.

  Negative test

Function call analysis

• __BaseWasabiPool_init(false, _addressProvider)

  • What is controllable? _addressProvider.

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

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