Function: withdraw(uint256 tokenId)

This function withdraws principal after maturity.

Inputs

• tokenId

  • Control: Fully controlled by the caller.

  • Constraints: N/A.

  • Impact: ID of position NFT.

Branches and code coverage

Intended branches

• Check if the owner of position NFT is the caller.

  Test coverage

• Check if the position duration has matured.

  Test coverage

• If the position has not matured, call mature to mature the position.

  Test coverage

• Collect any remaining fees and calculate the total amount of principal plus tokenOwed.

  Test coverage

• Burn NFT and transfer the totalAmount to the caller.

  Test coverage

Negative behavior

• If the owner of position NFT is not the caller, the transaction will be reverted.

  Negative test

• If the position duration is immature, the transaction will be reverted.

  Negative test