Function: xtransfer(address _token, address _creditor, uint256 _value)

This is a function to be used by XTransfer role. Transfers tokens from the contract to a creditor.

Inputs

• _token

  • Control: Fully controlled by XTransfer role.

  • Constraints: None.

  • Impact: The token to be transferred.

• _creditor

  • Control: Fully controlled by XTransfer role.

  • Constraints: None.

  • Impact: The address of the creditor.

• _value

  • Control: Fully controlled by XTransfer role.

  • Constraints: None.

  • Impact: The amount of tokens to be transferred.

Branches and code coverage (including function calls)

Intended branches

• Transfer tokens from this contract to the creditor.

  Test coverage

Negative behavior

• Should only be callable by XTransfer role or owner.

  Negative test

• Should not allow transferring address(this) tokens. Currently not checked.

  Negative test