Function: stakeWoo(address _user, uint256 _amount)

This stakes WOO tokens for the given user. Only indirectly callable from, for example, WooStakingController, which is an admin for this contract.

Inputs

• _user

  • Control: Fully controlled by the caller, through the function that stakes on behalf of another address.

  • Constraints: None.

  • Impact: The address credited with the stake.

• _amount

  • Control: Fully controlled by the caller.

  • Constraints: Nonzero.

  • Impact: The amount to stake.

Branches and code coverage

Intended branches

• Caller stakes a nonzero amount.

  Test coverage

Negative behavior

• Caller is not the admin.

  Negative test

• Caller stakes zero tokens.

  Negative test