Function: _swapBaseToBase(address baseToken1, address baseToken2, uint256 base1Amount, uint256 minBase2Amount, address to, address rebateTo)

Allows swapping between two base tokens.

Inputs

• baseToken1

  • Control: Controlled by calling function.

  • Constraints: Checked to be different than zero and quoteToken.

  • Impact: The base token to swap from.

• baseToken2

  • Control: Controlled by calling function.

  • Constraints: Checked to be different than zero and quoteToken.

  • Impact: The base token to swap to.

• base1Amount

  • Control: Controlled by calling function.

  • Constraints: Checks that current balance is above that minus reserve.

  • Impact: The amount of baseToken1 to swap.

• minBase2Amount

  • Control: Controlled by calling function.

  • Constraints: Checked to be above the amount of baseToken2 that has to be received.

  • Impact: The minimum amount of baseToken2 to receive.

• to

  • Control: Controlled by calling function.

  • Constraints: Checked to be different than zero.

  • Impact: The address to send the swapped baseToken2 to.

• rebateTo

  • Control: Controlled by calling function.

  • Constraints: None.

  • Impact: The address to send the rebate to.

Branches and code coverage

Intended branches

• Ensure that the spread changes after each of the swaps. Currently not enforced.

  Test coverage

• Ensure that baseToken1 is not zero or the quoteToken.

  Test coverage

• Ensure that baseToken2 is not zero or the quoteToken.

  Test coverage

• Ensure that to is not zero.

  Test coverage

• Ensure that the current balance minus the reserve is above base1Amount (i.e., that tokens have been transferred beforehand).

  Test coverage

• Should post the new price of baseToken1 after the first swap on the wooOracle.

  Test coverage

• Should calculate the swap fee and account for it in the unclaimedFee.

  Test coverage

• Update the reserves of the quote and base tokens.

  Test coverage

• Should post the new price of the baseToken2 after the second swap on the wooOracle.

  Test coverage

• Should transfer the resulting base2Amount worth of baseToken2 to the to address.

  Test coverage

Negative behavior

• Should not be callable when the contract is paused.

  Negative test

• Should not re-enter.

  Negative test

• Should not allow swapping between the same tokens.

  Negative test

• Should not allow performing the swap if no tokens have been transferred beforehand. Ensured in the require on balance check.

  Negative test

• Should not allow a swap if minBase2Amount is not met.

  Negative test