Function: _transfer(address _sender, address _recipient, uint256 _amount)

This is the internal function for transferring tokens.

Inputs

• _sender

  • Control: Controlled by calling function.

  • Constraints: Checked that _sender is not the zero address and that it has enough balance.

  • Impact: The account that will send the tokens.

• _recipient

  • Control: Controlled by calling function.

  • Constraints: Checked that _recipient is not the zero address.

  • Impact: The account that will receive the tokens.

• _amount

  • Control: Controlled by calling function.

  • Constraints: Checked that _sender has enough balance.

  • Impact: The amount of tokens to be transferred.

Branches and code coverage (including function calls)

Intended branches

• Checks that the _sender has enough balance.

  Test coverage

• Checks that the _sender is not the zero address.

  Test coverage

• Checks that the _recipient is not the zero address.

  Test coverage

• Checks that the _amount is greater than zero.

  Test coverage

• Decreases the balances for the _sender.

  Test coverage

• Increases the balances for the _recipient.

  Test coverage

• Checks that inPrivateTransferMode is true and calls _validateHandler.

  Test coverage

Negative behavior

• Should not allow transferring more tokens than the _sender has.

  Negative test

• Should not allow transferring to the zero address.

  Negative test