{ "contractName": "SafeMath", "abi": [], "bytecode": "0x604c602c600b82828239805160001a60731460008114601c57601e565bfe5b5030600052607381538281f30073000000000000000000000000000000000000000030146080604052600080fd00a165627a7a723058209d9befa9508bd7784baaa285772cb32fde4b37a4917cd3507042cd470354a6fc0029", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fd00a165627a7a723058209d9befa9508bd7784baaa285772cb32fde4b37a4917cd3507042cd470354a6fc0029", "sourceMap": "316:2063:51:-;;132:2:-1;166:7;155:9;146:7;137:37;252:7;246:14;243:1;238:23;232:4;229:33;270:1;265:20;;;;222:63;;265:20;274:9;222:63;;298:9;295:1;288:20;328:4;319:7;311:22;352:7;343;336:24", "deployedSourceMap": "316:2063:51:-;;;;;;;;", "source": "// See https://github.com/OpenZeppelin/openzeppelin-solidity/blob/d51e38758e1d985661534534d5c61e27bece5042/contracts/math/SafeMath.sol\n// Adapted to use pragma ^0.4.24 and satisfy our linter rules\n\npragma solidity ^0.4.24;\n\n\n/**\n * @title SafeMath\n * @dev Math operations with safety checks that revert on error\n */\nlibrary SafeMath {\n string private constant ERROR_ADD_OVERFLOW = \"MATH_ADD_OVERFLOW\";\n string private constant ERROR_SUB_UNDERFLOW = \"MATH_SUB_UNDERFLOW\";\n string private constant ERROR_MUL_OVERFLOW = \"MATH_MUL_OVERFLOW\";\n string private constant ERROR_DIV_ZERO = \"MATH_DIV_ZERO\";\n\n /**\n * @dev Multiplies two numbers, reverts on overflow.\n */\n function mul(uint256 _a, uint256 _b) internal pure returns (uint256) {\n // Gas optimization: this is cheaper than requiring 'a' not being zero, but the\n // benefit is lost if 'b' is also tested.\n // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522\n if (_a == 0) {\n return 0;\n }\n\n uint256 c = _a * _b;\n require(c / _a == _b, ERROR_MUL_OVERFLOW);\n\n return c;\n }\n\n /**\n * @dev Integer division of two numbers truncating the quotient, reverts on division by zero.\n */\n function div(uint256 _a, uint256 _b) internal pure returns (uint256) {\n require(_b > 0, ERROR_DIV_ZERO); // Solidity only automatically asserts when dividing by 0\n uint256 c = _a / _b;\n // assert(_a == _b * c + _a % _b); // There is no case in which this doesn't hold\n\n return c;\n }\n\n /**\n * @dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).\n */\n function sub(uint256 _a, uint256 _b) internal pure returns (uint256) {\n require(_b <= _a, ERROR_SUB_UNDERFLOW);\n uint256 c = _a - _b;\n\n return c;\n }\n\n /**\n * @dev Adds two numbers, reverts on overflow.\n */\n function add(uint256 _a, uint256 _b) internal pure returns (uint256) {\n uint256 c = _a + _b;\n require(c >= _a, ERROR_ADD_OVERFLOW);\n\n return c;\n }\n\n /**\n * @dev Divides two numbers and returns the remainder (unsigned integer modulo),\n * reverts when dividing by zero.\n */\n function mod(uint256 a, uint256 b) internal pure returns (uint256) {\n require(b != 0, ERROR_DIV_ZERO);\n return a % b;\n }\n}\n", "sourcePath": "@aragon/os/contracts/lib/math/SafeMath.sol", "ast": { "absolutePath": "@aragon/os/contracts/lib/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 11711 ] }, "id": 11712, "nodeType": "SourceUnit", "nodes": [ { "id": 11568, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "198:24:51" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath\n@dev Math operations with safety checks that revert on error", "fullyImplemented": true, "id": 11711, "linearizedBaseContracts": [ 11711 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 11571, "name": "ERROR_ADD_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 11711, "src": "339:64:51", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 11569, "name": "string", "nodeType": "ElementaryTypeName", "src": "339:6:51", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4144445f4f564552464c4f57", "id": 11570, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "384:19:51", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_e2578df285e4eb4fecc3fecd08d2a22ed90362a41b5e72ae4b79db24283d0947", "typeString": "literal_string \"MATH_ADD_OVERFLOW\"" }, "value": "MATH_ADD_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 11574, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "VariableDeclaration", "scope": 11711, "src": "409:66:51", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 11572, "name": "string", "nodeType": "ElementaryTypeName", "src": "409:6:51", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f5355425f554e444552464c4f57", "id": 11573, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "455:20:51", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_70a8dc66a4d49a0e19d93a83f0d406b3daa17bbf4c9467e211561ccc5532682a", "typeString": "literal_string \"MATH_SUB_UNDERFLOW\"" }, "value": "MATH_SUB_UNDERFLOW" }, "visibility": "private" }, { "constant": true, "id": 11577, "name": "ERROR_MUL_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 11711, "src": "481:64:51", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 11575, "name": "string", "nodeType": "ElementaryTypeName", "src": "481:6:51", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4d554c5f4f564552464c4f57", "id": 11576, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "526:19:51", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_35a1199df5bd85b47d1f51a6d26365bd6a6655fc5e9ac66d7034d57d652eefb9", "typeString": "literal_string \"MATH_MUL_OVERFLOW\"" }, "value": "MATH_MUL_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 11580, "name": "ERROR_DIV_ZERO", "nodeType": "VariableDeclaration", "scope": 11711, "src": "551:56:51", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 11578, "name": "string", "nodeType": "ElementaryTypeName", "src": "551:6:51", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4449565f5a45524f", "id": 11579, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "592:15:51", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_8a6d5d58df072a2986be3bd1a658830f4669d9565d8a831e250537aff4d5d289", "typeString": "literal_string \"MATH_DIV_ZERO\"" }, "value": "MATH_DIV_ZERO" }, "visibility": "private" }, { "body": { "id": 11613, "nodeType": "Block", "src": "754:379:51", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11591, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11589, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11582, "src": "985:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 11590, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "991:1:51", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "985:7:51", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 11595, "nodeType": "IfStatement", "src": "981:46:51", "trueBody": { "id": 11594, "nodeType": "Block", "src": "994:33:51", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 11592, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1015:1:51", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 11588, "id": 11593, "nodeType": "Return", "src": "1008:8:51" } ] } }, { "assignments": [ 11597 ], "declarations": [ { "constant": false, "id": 11597, "name": "c", "nodeType": "VariableDeclaration", "scope": 11614, "src": "1037:9:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11596, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1037:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 11601, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11600, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11598, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11582, "src": "1049:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 11599, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11584, "src": "1054:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1049:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1037:19:51" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11607, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11605, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11603, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11597, "src": "1074:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 11604, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11582, "src": "1078:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1074:6:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 11606, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11584, "src": "1084:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1074:12:51", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11608, "name": "ERROR_MUL_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11577, "src": "1088:18:51", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11602, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "1066:7:51", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11609, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1066:41:51", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11610, "nodeType": "ExpressionStatement", "src": "1066:41:51" }, { "expression": { "argumentTypes": null, "id": 11611, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11597, "src": "1125:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 11588, "id": 11612, "nodeType": "Return", "src": "1118:8:51" } ] }, "documentation": "@dev Multiplies two numbers, reverts on overflow.", "id": 11614, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 11585, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11582, "name": "_a", "nodeType": "VariableDeclaration", "scope": 11614, "src": "698:10:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11581, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "698:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11584, "name": "_b", "nodeType": "VariableDeclaration", "scope": 11614, "src": "710:10:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11583, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "710:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "697:24:51" }, "payable": false, "returnParameters": { "id": 11588, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11587, "name": "", "nodeType": "VariableDeclaration", "scope": 11614, "src": "745:7:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11586, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "745:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "744:9:51" }, "scope": 11711, "src": "685:448:51", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 11638, "nodeType": "Block", "src": "1320:244:51", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11626, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11624, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11618, "src": "1338:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 11625, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1343:1:51", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1338:6:51", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11627, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11580, "src": "1346:14:51", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11623, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "1330:7:51", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11628, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1330:31:51", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11629, "nodeType": "ExpressionStatement", "src": "1330:31:51" }, { "assignments": [ 11631 ], "declarations": [ { "constant": false, "id": 11631, "name": "c", "nodeType": "VariableDeclaration", "scope": 11639, "src": "1429:9:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11630, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1429:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 11635, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11634, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11632, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11616, "src": "1441:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 11633, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11618, "src": "1446:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1441:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1429:19:51" }, { "expression": { "argumentTypes": null, "id": 11636, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11631, "src": "1556:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 11622, "id": 11637, "nodeType": "Return", "src": "1549:8:51" } ] }, "documentation": "@dev Integer division of two numbers truncating the quotient, reverts on division by zero.", "id": 11639, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 11619, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11616, "name": "_a", "nodeType": "VariableDeclaration", "scope": 11639, "src": "1264:10:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11615, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1264:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11618, "name": "_b", "nodeType": "VariableDeclaration", "scope": 11639, "src": "1276:10:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11617, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1276:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1263:24:51" }, "payable": false, "returnParameters": { "id": 11622, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11621, "name": "", "nodeType": "VariableDeclaration", "scope": 11639, "src": "1311:7:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11620, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1311:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1310:9:51" }, "scope": 11711, "src": "1251:313:51", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 11663, "nodeType": "Block", "src": "1754:103:51", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11651, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11649, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11643, "src": "1772:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 11650, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11641, "src": "1778:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1772:8:51", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11652, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11574, "src": "1782:19:51", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11648, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "1764:7:51", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11653, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1764:38:51", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11654, "nodeType": "ExpressionStatement", "src": "1764:38:51" }, { "assignments": [ 11656 ], "declarations": [ { "constant": false, "id": 11656, "name": "c", "nodeType": "VariableDeclaration", "scope": 11664, "src": "1812:9:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11655, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1812:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 11660, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11659, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11657, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11641, "src": "1824:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 11658, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11643, "src": "1829:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1824:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1812:19:51" }, { "expression": { "argumentTypes": null, "id": 11661, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11656, "src": "1849:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 11647, "id": 11662, "nodeType": "Return", "src": "1842:8:51" } ] }, "documentation": "@dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).", "id": 11664, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 11644, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11641, "name": "_a", "nodeType": "VariableDeclaration", "scope": 11664, "src": "1698:10:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11640, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1698:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11643, "name": "_b", "nodeType": "VariableDeclaration", "scope": 11664, "src": "1710:10:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11642, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1710:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1697:24:51" }, "payable": false, "returnParameters": { "id": 11647, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11646, "name": "", "nodeType": "VariableDeclaration", "scope": 11664, "src": "1745:7:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11645, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1745:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1744:9:51" }, "scope": 11711, "src": "1685:172:51", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 11688, "nodeType": "Block", "src": "1997:101:51", "statements": [ { "assignments": [ 11674 ], "declarations": [ { "constant": false, "id": 11674, "name": "c", "nodeType": "VariableDeclaration", "scope": 11689, "src": "2007:9:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11673, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2007:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 11678, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11677, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11675, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11666, "src": "2019:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 11676, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11668, "src": "2024:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2019:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2007:19:51" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11682, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11680, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11674, "src": "2044:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 11681, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11666, "src": "2049:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2044:7:51", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11683, "name": "ERROR_ADD_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11571, "src": "2053:18:51", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11679, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "2036:7:51", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11684, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2036:36:51", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11685, "nodeType": "ExpressionStatement", "src": "2036:36:51" }, { "expression": { "argumentTypes": null, "id": 11686, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11674, "src": "2090:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 11672, "id": 11687, "nodeType": "Return", "src": "2083:8:51" } ] }, "documentation": "@dev Adds two numbers, reverts on overflow.", "id": 11689, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 11669, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11666, "name": "_a", "nodeType": "VariableDeclaration", "scope": 11689, "src": "1941:10:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11665, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1941:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11668, "name": "_b", "nodeType": "VariableDeclaration", "scope": 11689, "src": "1953:10:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11667, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1953:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1940:24:51" }, "payable": false, "returnParameters": { "id": 11672, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11671, "name": "", "nodeType": "VariableDeclaration", "scope": 11689, "src": "1988:7:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11670, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1988:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1987:9:51" }, "scope": 11711, "src": "1928:170:51", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 11709, "nodeType": "Block", "src": "2307:70:51", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11701, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11699, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11693, "src": "2325:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 11700, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2330:1:51", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2325:6:51", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11702, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11580, "src": "2333:14:51", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11698, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "2317:7:51", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11703, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2317:31:51", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11704, "nodeType": "ExpressionStatement", "src": "2317:31:51" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11707, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11705, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11691, "src": "2365:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 11706, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11693, "src": "2369:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2365:5:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 11697, "id": 11708, "nodeType": "Return", "src": "2358:12:51" } ] }, "documentation": "@dev Divides two numbers and returns the remainder (unsigned integer modulo),\nreverts when dividing by zero.", "id": 11710, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 11694, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11691, "name": "a", "nodeType": "VariableDeclaration", "scope": 11710, "src": "2253:9:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11690, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2253:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11693, "name": "b", "nodeType": "VariableDeclaration", "scope": 11710, "src": "2264:9:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11692, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2264:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2252:22:51" }, "payable": false, "returnParameters": { "id": 11697, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11696, "name": "", "nodeType": "VariableDeclaration", "scope": 11710, "src": "2298:7:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11695, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2298:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2297:9:51" }, "scope": 11711, "src": "2240:137:51", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 11712, "src": "316:2063:51" } ], "src": "198:2182:51" }, "legacyAST": { "absolutePath": "@aragon/os/contracts/lib/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 11711 ] }, "id": 11712, "nodeType": "SourceUnit", "nodes": [ { "id": 11568, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "198:24:51" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath\n@dev Math operations with safety checks that revert on error", "fullyImplemented": true, "id": 11711, "linearizedBaseContracts": [ 11711 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 11571, "name": "ERROR_ADD_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 11711, "src": "339:64:51", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 11569, "name": "string", "nodeType": "ElementaryTypeName", "src": "339:6:51", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4144445f4f564552464c4f57", "id": 11570, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "384:19:51", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_e2578df285e4eb4fecc3fecd08d2a22ed90362a41b5e72ae4b79db24283d0947", "typeString": "literal_string \"MATH_ADD_OVERFLOW\"" }, "value": "MATH_ADD_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 11574, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "VariableDeclaration", "scope": 11711, "src": "409:66:51", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 11572, "name": "string", "nodeType": "ElementaryTypeName", "src": "409:6:51", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f5355425f554e444552464c4f57", "id": 11573, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "455:20:51", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_70a8dc66a4d49a0e19d93a83f0d406b3daa17bbf4c9467e211561ccc5532682a", "typeString": "literal_string \"MATH_SUB_UNDERFLOW\"" }, "value": "MATH_SUB_UNDERFLOW" }, "visibility": "private" }, { "constant": true, "id": 11577, "name": "ERROR_MUL_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 11711, "src": "481:64:51", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 11575, "name": "string", "nodeType": "ElementaryTypeName", "src": "481:6:51", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4d554c5f4f564552464c4f57", "id": 11576, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "526:19:51", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_35a1199df5bd85b47d1f51a6d26365bd6a6655fc5e9ac66d7034d57d652eefb9", "typeString": "literal_string \"MATH_MUL_OVERFLOW\"" }, "value": "MATH_MUL_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 11580, "name": "ERROR_DIV_ZERO", "nodeType": "VariableDeclaration", "scope": 11711, "src": "551:56:51", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 11578, "name": "string", "nodeType": "ElementaryTypeName", "src": "551:6:51", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4449565f5a45524f", "id": 11579, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "592:15:51", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_8a6d5d58df072a2986be3bd1a658830f4669d9565d8a831e250537aff4d5d289", "typeString": "literal_string \"MATH_DIV_ZERO\"" }, "value": "MATH_DIV_ZERO" }, "visibility": "private" }, { "body": { "id": 11613, "nodeType": "Block", "src": "754:379:51", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11591, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11589, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11582, "src": "985:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 11590, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "991:1:51", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "985:7:51", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 11595, "nodeType": "IfStatement", "src": "981:46:51", "trueBody": { "id": 11594, "nodeType": "Block", "src": "994:33:51", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 11592, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1015:1:51", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 11588, "id": 11593, "nodeType": "Return", "src": "1008:8:51" } ] } }, { "assignments": [ 11597 ], "declarations": [ { "constant": false, "id": 11597, "name": "c", "nodeType": "VariableDeclaration", "scope": 11614, "src": "1037:9:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11596, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1037:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 11601, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11600, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11598, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11582, "src": "1049:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 11599, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11584, "src": "1054:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1049:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1037:19:51" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11607, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11605, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11603, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11597, "src": "1074:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 11604, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11582, "src": "1078:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1074:6:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 11606, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11584, "src": "1084:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1074:12:51", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11608, "name": "ERROR_MUL_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11577, "src": "1088:18:51", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11602, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "1066:7:51", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11609, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1066:41:51", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11610, "nodeType": "ExpressionStatement", "src": "1066:41:51" }, { "expression": { "argumentTypes": null, "id": 11611, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11597, "src": "1125:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 11588, "id": 11612, "nodeType": "Return", "src": "1118:8:51" } ] }, "documentation": "@dev Multiplies two numbers, reverts on overflow.", "id": 11614, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 11585, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11582, "name": "_a", "nodeType": "VariableDeclaration", "scope": 11614, "src": "698:10:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11581, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "698:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11584, "name": "_b", "nodeType": "VariableDeclaration", "scope": 11614, "src": "710:10:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11583, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "710:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "697:24:51" }, "payable": false, "returnParameters": { "id": 11588, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11587, "name": "", "nodeType": "VariableDeclaration", "scope": 11614, "src": "745:7:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11586, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "745:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "744:9:51" }, "scope": 11711, "src": "685:448:51", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 11638, "nodeType": "Block", "src": "1320:244:51", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11626, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11624, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11618, "src": "1338:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 11625, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1343:1:51", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1338:6:51", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11627, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11580, "src": "1346:14:51", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11623, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "1330:7:51", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11628, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1330:31:51", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11629, "nodeType": "ExpressionStatement", "src": "1330:31:51" }, { "assignments": [ 11631 ], "declarations": [ { "constant": false, "id": 11631, "name": "c", "nodeType": "VariableDeclaration", "scope": 11639, "src": "1429:9:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11630, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1429:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 11635, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11634, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11632, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11616, "src": "1441:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 11633, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11618, "src": "1446:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1441:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1429:19:51" }, { "expression": { "argumentTypes": null, "id": 11636, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11631, "src": "1556:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 11622, "id": 11637, "nodeType": "Return", "src": "1549:8:51" } ] }, "documentation": "@dev Integer division of two numbers truncating the quotient, reverts on division by zero.", "id": 11639, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 11619, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11616, "name": "_a", "nodeType": "VariableDeclaration", "scope": 11639, "src": "1264:10:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11615, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1264:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11618, "name": "_b", "nodeType": "VariableDeclaration", "scope": 11639, "src": "1276:10:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11617, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1276:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1263:24:51" }, "payable": false, "returnParameters": { "id": 11622, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11621, "name": "", "nodeType": "VariableDeclaration", "scope": 11639, "src": "1311:7:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11620, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1311:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1310:9:51" }, "scope": 11711, "src": "1251:313:51", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 11663, "nodeType": "Block", "src": "1754:103:51", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11651, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11649, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11643, "src": "1772:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 11650, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11641, "src": "1778:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1772:8:51", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11652, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11574, "src": "1782:19:51", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11648, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "1764:7:51", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11653, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1764:38:51", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11654, "nodeType": "ExpressionStatement", "src": "1764:38:51" }, { "assignments": [ 11656 ], "declarations": [ { "constant": false, "id": 11656, "name": "c", "nodeType": "VariableDeclaration", "scope": 11664, "src": "1812:9:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11655, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1812:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 11660, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11659, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11657, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11641, "src": "1824:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 11658, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11643, "src": "1829:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1824:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1812:19:51" }, { "expression": { "argumentTypes": null, "id": 11661, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11656, "src": "1849:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 11647, "id": 11662, "nodeType": "Return", "src": "1842:8:51" } ] }, "documentation": "@dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).", "id": 11664, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 11644, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11641, "name": "_a", "nodeType": "VariableDeclaration", "scope": 11664, "src": "1698:10:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11640, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1698:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11643, "name": "_b", "nodeType": "VariableDeclaration", "scope": 11664, "src": "1710:10:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11642, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1710:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1697:24:51" }, "payable": false, "returnParameters": { "id": 11647, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11646, "name": "", "nodeType": "VariableDeclaration", "scope": 11664, "src": "1745:7:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11645, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1745:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1744:9:51" }, "scope": 11711, "src": "1685:172:51", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 11688, "nodeType": "Block", "src": "1997:101:51", "statements": [ { "assignments": [ 11674 ], "declarations": [ { "constant": false, "id": 11674, "name": "c", "nodeType": "VariableDeclaration", "scope": 11689, "src": "2007:9:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11673, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2007:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 11678, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11677, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11675, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11666, "src": "2019:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 11676, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11668, "src": "2024:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2019:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2007:19:51" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11682, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11680, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11674, "src": "2044:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 11681, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11666, "src": "2049:2:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2044:7:51", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11683, "name": "ERROR_ADD_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11571, "src": "2053:18:51", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11679, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "2036:7:51", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11684, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2036:36:51", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11685, "nodeType": "ExpressionStatement", "src": "2036:36:51" }, { "expression": { "argumentTypes": null, "id": 11686, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11674, "src": "2090:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 11672, "id": 11687, "nodeType": "Return", "src": "2083:8:51" } ] }, "documentation": "@dev Adds two numbers, reverts on overflow.", "id": 11689, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 11669, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11666, "name": "_a", "nodeType": "VariableDeclaration", "scope": 11689, "src": "1941:10:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11665, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1941:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11668, "name": "_b", "nodeType": "VariableDeclaration", "scope": 11689, "src": "1953:10:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11667, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1953:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1940:24:51" }, "payable": false, "returnParameters": { "id": 11672, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11671, "name": "", "nodeType": "VariableDeclaration", "scope": 11689, "src": "1988:7:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11670, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1988:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1987:9:51" }, "scope": 11711, "src": "1928:170:51", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 11709, "nodeType": "Block", "src": "2307:70:51", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11701, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11699, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11693, "src": "2325:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 11700, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2330:1:51", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2325:6:51", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11702, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11580, "src": "2333:14:51", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11698, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "2317:7:51", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11703, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2317:31:51", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11704, "nodeType": "ExpressionStatement", "src": "2317:31:51" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11707, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11705, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11691, "src": "2365:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 11706, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11693, "src": "2369:1:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2365:5:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 11697, "id": 11708, "nodeType": "Return", "src": "2358:12:51" } ] }, "documentation": "@dev Divides two numbers and returns the remainder (unsigned integer modulo),\nreverts when dividing by zero.", "id": 11710, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 11694, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11691, "name": "a", "nodeType": "VariableDeclaration", "scope": 11710, "src": "2253:9:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11690, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2253:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11693, "name": "b", "nodeType": "VariableDeclaration", "scope": 11710, "src": "2264:9:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11692, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2264:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2252:22:51" }, "payable": false, "returnParameters": { "id": 11697, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11696, "name": "", "nodeType": "VariableDeclaration", "scope": 11710, "src": "2298:7:51", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11695, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2298:7:51", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2297:9:51" }, "scope": 11711, "src": "2240:137:51", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 11712, "src": "316:2063:51" } ], "src": "198:2182:51" }, "compiler": { "name": "solc", "version": "0.4.24+commit.e67f0147.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.0.1", "updatedAt": "2019-03-29T09:45:33.564Z", "devdoc": { "methods": {}, "title": "SafeMath" }, "userdoc": { "methods": {} } }