View Source: openzeppelin-solidity/contracts/math/SafeMath.sol
SafeMath
Wrappers over Solidity's arithmetic operations with added overflow checks.
- Arithmetic operations in Solidity wrap on overflow. This can easily result
in bugs, because programmers usually assume that an overflow raises an
error, which is the standard behavior in high level programming languages.
SafeMath
restores this intuition by reverting the transaction when an operation overflows. - Using this library instead of the unchecked operations eliminates an entire class of bugs, so it's recommended to use it always.
- add(uint256 a, uint256 b)
- sub(uint256 a, uint256 b)
- sub(uint256 a, uint256 b, string errorMessage)
- mul(uint256 a, uint256 b)
- div(uint256 a, uint256 b)
- div(uint256 a, uint256 b, string errorMessage)
- mod(uint256 a, uint256 b)
- mod(uint256 a, uint256 b, string errorMessage)
Returns the addition of two unsigned integers, reverting on
overflow.
* Counterpart to Solidity's +
operator.
* Requirements:
- Addition cannot overflow.
function add(uint256 a, uint256 b) internal pure
returns(uint256)
Arguments
Name | Type | Description |
---|---|---|
a | uint256 | |
b | uint256 |
Returns the subtraction of two unsigned integers, reverting on
overflow (when the result is negative).
* Counterpart to Solidity's -
operator.
* Requirements:
- Subtraction cannot overflow.
function sub(uint256 a, uint256 b) internal pure
returns(uint256)
Arguments
Name | Type | Description |
---|---|---|
a | uint256 | |
b | uint256 |
Returns the subtraction of two unsigned integers, reverting with custom message on
overflow (when the result is negative).
* Counterpart to Solidity's -
operator.
* Requirements:
- Subtraction cannot overflow.
- Available since v2.4.0.
function sub(uint256 a, uint256 b, string errorMessage) internal pure
returns(uint256)
Arguments
Name | Type | Description |
---|---|---|
a | uint256 | |
b | uint256 | |
errorMessage | string |
Returns the multiplication of two unsigned integers, reverting on
overflow.
* Counterpart to Solidity's *
operator.
* Requirements:
- Multiplication cannot overflow.
function mul(uint256 a, uint256 b) internal pure
returns(uint256)
Arguments
Name | Type | Description |
---|---|---|
a | uint256 | |
b | uint256 |
Returns the integer division of two unsigned integers. Reverts on
division by zero. The result is rounded towards zero.
* Counterpart to Solidity's /
operator. Note: this function uses a
revert
opcode (which leaves remaining gas untouched) while Solidity
uses an invalid opcode to revert (consuming all remaining gas).
* Requirements:
- The divisor cannot be zero.
function div(uint256 a, uint256 b) internal pure
returns(uint256)
Arguments
Name | Type | Description |
---|---|---|
a | uint256 | |
b | uint256 |
Returns the integer division of two unsigned integers. Reverts with custom message on
division by zero. The result is rounded towards zero.
* Counterpart to Solidity's /
operator. Note: this function uses a
revert
opcode (which leaves remaining gas untouched) while Solidity
uses an invalid opcode to revert (consuming all remaining gas).
* Requirements:
- The divisor cannot be zero.
- Available since v2.4.0.
function div(uint256 a, uint256 b, string errorMessage) internal pure
returns(uint256)
Arguments
Name | Type | Description |
---|---|---|
a | uint256 | |
b | uint256 | |
errorMessage | string |
Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
Reverts when dividing by zero.
* Counterpart to Solidity's %
operator. This function uses a revert
opcode (which leaves remaining gas untouched) while Solidity uses an
invalid opcode to revert (consuming all remaining gas).
* Requirements:
- The divisor cannot be zero.
function mod(uint256 a, uint256 b) internal pure
returns(uint256)
Arguments
Name | Type | Description |
---|---|---|
a | uint256 | |
b | uint256 |
Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
Reverts with custom message when dividing by zero.
* Counterpart to Solidity's %
operator. This function uses a revert
opcode (which leaves remaining gas untouched) while Solidity uses an
invalid opcode to revert (consuming all remaining gas).
* Requirements:
- The divisor cannot be zero.
- Available since v2.4.0.
function mod(uint256 a, uint256 b, string errorMessage) internal pure
returns(uint256)
Arguments
Name | Type | Description |
---|---|---|
a | uint256 | |
b | uint256 | |
errorMessage | string |