Function: claimTokens()

This claims the pending token reward for the caller.

Branches and code coverage

Intended branches

• If the caller has some tokens to claim, transfer these tokens to the caller.

  Test coverage

Negative behavior

• Revert if tokensToClaim for msg.sender is zero.

  Negative test

Function call analysis

• ICallbacks(this.storageT.callbacks()).transferFromVault(msg.sender, tokens)

  • What is controllable? msg.sender and tokens.

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

  • What happens if it reverts, reenters or does other unusual control flow? If it reverts, the entire call will revert — no reentrancy scenarios.