{ "contractName": "SafeMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.4.24+commit.e67f0147\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"methods\":{},\"title\":\"SafeMath\"},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"@aragon/os/contracts/lib/math/SafeMath.sol\":\"SafeMath\"},\"evmVersion\":\"byzantium\",\"libraries\":{},\"optimizer\":{\"enabled\":true,\"runs\":10000},\"remappings\":[]},\"sources\":{\"@aragon/os/contracts/lib/math/SafeMath.sol\":{\"keccak256\":\"0x2e11c8dcead82c452ef452f4dbced40e20ae105fa4145d920dac6e077b31d846\",\"urls\":[\"bzzr://91dbd0e3335720d4a3d12a90682b8d9834f76e75918c1f646a84debb38089ece\"]}},\"version\":1}", "bytecode": "0x604c602c600b82828239805160001a60731460008114601c57601e565bfe5b5030600052607381538281f30073000000000000000000000000000000000000000030146080604052600080fd00a165627a7a72305820658f4786feb4ea6d904d7a43ca162e69e5a011b8ed4eb37a3e673f930e1f61330029", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fd00a165627a7a72305820658f4786feb4ea6d904d7a43ca162e69e5a011b8ed4eb37a3e673f930e1f61330029", "sourceMap": "316:2063:57:-;;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:57:-;;;;;;;;", "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": [ 9695 ] }, "id": 9696, "nodeType": "SourceUnit", "nodes": [ { "id": 9552, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "198:24:57" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath\n@dev Math operations with safety checks that revert on error", "fullyImplemented": true, "id": 9695, "linearizedBaseContracts": [ 9695 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 9555, "name": "ERROR_ADD_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 9695, "src": "339:64:57", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9553, "name": "string", "nodeType": "ElementaryTypeName", "src": "339:6:57", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4144445f4f564552464c4f57", "id": 9554, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "384:19:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_e2578df285e4eb4fecc3fecd08d2a22ed90362a41b5e72ae4b79db24283d0947", "typeString": "literal_string \"MATH_ADD_OVERFLOW\"" }, "value": "MATH_ADD_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 9558, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "VariableDeclaration", "scope": 9695, "src": "409:66:57", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9556, "name": "string", "nodeType": "ElementaryTypeName", "src": "409:6:57", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f5355425f554e444552464c4f57", "id": 9557, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "455:20:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_70a8dc66a4d49a0e19d93a83f0d406b3daa17bbf4c9467e211561ccc5532682a", "typeString": "literal_string \"MATH_SUB_UNDERFLOW\"" }, "value": "MATH_SUB_UNDERFLOW" }, "visibility": "private" }, { "constant": true, "id": 9561, "name": "ERROR_MUL_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 9695, "src": "481:64:57", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9559, "name": "string", "nodeType": "ElementaryTypeName", "src": "481:6:57", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4d554c5f4f564552464c4f57", "id": 9560, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "526:19:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_35a1199df5bd85b47d1f51a6d26365bd6a6655fc5e9ac66d7034d57d652eefb9", "typeString": "literal_string \"MATH_MUL_OVERFLOW\"" }, "value": "MATH_MUL_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 9564, "name": "ERROR_DIV_ZERO", "nodeType": "VariableDeclaration", "scope": 9695, "src": "551:56:57", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9562, "name": "string", "nodeType": "ElementaryTypeName", "src": "551:6:57", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4449565f5a45524f", "id": 9563, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "592:15:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_8a6d5d58df072a2986be3bd1a658830f4669d9565d8a831e250537aff4d5d289", "typeString": "literal_string \"MATH_DIV_ZERO\"" }, "value": "MATH_DIV_ZERO" }, "visibility": "private" }, { "body": { "id": 9597, "nodeType": "Block", "src": "754:379:57", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9575, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9573, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9566, "src": "985:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 9574, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "991:1:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "985:7:57", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 9579, "nodeType": "IfStatement", "src": "981:46:57", "trueBody": { "id": 9578, "nodeType": "Block", "src": "994:33:57", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 9576, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1015:1:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 9572, "id": 9577, "nodeType": "Return", "src": "1008:8:57" } ] } }, { "assignments": [ 9581 ], "declarations": [ { "constant": false, "id": 9581, "name": "c", "nodeType": "VariableDeclaration", "scope": 9598, "src": "1037:9:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9580, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1037:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9585, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9584, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9582, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9566, "src": "1049:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 9583, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9568, "src": "1054:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1049:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1037:19:57" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9591, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9589, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9587, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9581, "src": "1074:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 9588, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9566, "src": "1078:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1074:6:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 9590, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9568, "src": "1084:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1074:12:57", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9592, "name": "ERROR_MUL_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9561, "src": "1088:18:57", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9586, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "1066:7:57", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9593, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1066:41:57", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9594, "nodeType": "ExpressionStatement", "src": "1066:41:57" }, { "expression": { "argumentTypes": null, "id": 9595, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9581, "src": "1125:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 9572, "id": 9596, "nodeType": "Return", "src": "1118:8:57" } ] }, "documentation": "@dev Multiplies two numbers, reverts on overflow.", "id": 9598, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 9569, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9566, "name": "_a", "nodeType": "VariableDeclaration", "scope": 9598, "src": "698:10:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9565, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "698:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9568, "name": "_b", "nodeType": "VariableDeclaration", "scope": 9598, "src": "710:10:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9567, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "710:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "697:24:57" }, "payable": false, "returnParameters": { "id": 9572, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9571, "name": "", "nodeType": "VariableDeclaration", "scope": 9598, "src": "745:7:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9570, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "745:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "744:9:57" }, "scope": 9695, "src": "685:448:57", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 9622, "nodeType": "Block", "src": "1320:244:57", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9610, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9608, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9602, "src": "1338:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 9609, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1343:1:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1338:6:57", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9611, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9564, "src": "1346:14:57", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9607, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "1330:7:57", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9612, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1330:31:57", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9613, "nodeType": "ExpressionStatement", "src": "1330:31:57" }, { "assignments": [ 9615 ], "declarations": [ { "constant": false, "id": 9615, "name": "c", "nodeType": "VariableDeclaration", "scope": 9623, "src": "1429:9:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9614, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1429:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9619, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9618, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9616, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9600, "src": "1441:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 9617, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9602, "src": "1446:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1441:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1429:19:57" }, { "expression": { "argumentTypes": null, "id": 9620, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9615, "src": "1556:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 9606, "id": 9621, "nodeType": "Return", "src": "1549:8:57" } ] }, "documentation": "@dev Integer division of two numbers truncating the quotient, reverts on division by zero.", "id": 9623, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 9603, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9600, "name": "_a", "nodeType": "VariableDeclaration", "scope": 9623, "src": "1264:10:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9599, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1264:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9602, "name": "_b", "nodeType": "VariableDeclaration", "scope": 9623, "src": "1276:10:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9601, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1276:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1263:24:57" }, "payable": false, "returnParameters": { "id": 9606, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9605, "name": "", "nodeType": "VariableDeclaration", "scope": 9623, "src": "1311:7:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9604, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1311:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1310:9:57" }, "scope": 9695, "src": "1251:313:57", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 9647, "nodeType": "Block", "src": "1754:103:57", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9635, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9633, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9627, "src": "1772:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 9634, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9625, "src": "1778:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1772:8:57", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9636, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9558, "src": "1782:19:57", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9632, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "1764:7:57", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9637, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1764:38:57", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9638, "nodeType": "ExpressionStatement", "src": "1764:38:57" }, { "assignments": [ 9640 ], "declarations": [ { "constant": false, "id": 9640, "name": "c", "nodeType": "VariableDeclaration", "scope": 9648, "src": "1812:9:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9639, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1812:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9644, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9643, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9641, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9625, "src": "1824:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 9642, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9627, "src": "1829:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1824:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1812:19:57" }, { "expression": { "argumentTypes": null, "id": 9645, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9640, "src": "1849:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 9631, "id": 9646, "nodeType": "Return", "src": "1842:8:57" } ] }, "documentation": "@dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).", "id": 9648, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 9628, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9625, "name": "_a", "nodeType": "VariableDeclaration", "scope": 9648, "src": "1698:10:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9624, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1698:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9627, "name": "_b", "nodeType": "VariableDeclaration", "scope": 9648, "src": "1710:10:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9626, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1710:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1697:24:57" }, "payable": false, "returnParameters": { "id": 9631, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9630, "name": "", "nodeType": "VariableDeclaration", "scope": 9648, "src": "1745:7:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9629, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1745:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1744:9:57" }, "scope": 9695, "src": "1685:172:57", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 9672, "nodeType": "Block", "src": "1997:101:57", "statements": [ { "assignments": [ 9658 ], "declarations": [ { "constant": false, "id": 9658, "name": "c", "nodeType": "VariableDeclaration", "scope": 9673, "src": "2007:9:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9657, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2007:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9662, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9661, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9659, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9650, "src": "2019:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 9660, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9652, "src": "2024:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2019:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2007:19:57" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9666, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9664, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9658, "src": "2044:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 9665, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9650, "src": "2049:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2044:7:57", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9667, "name": "ERROR_ADD_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9555, "src": "2053:18:57", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9663, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "2036:7:57", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9668, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2036:36:57", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9669, "nodeType": "ExpressionStatement", "src": "2036:36:57" }, { "expression": { "argumentTypes": null, "id": 9670, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9658, "src": "2090:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 9656, "id": 9671, "nodeType": "Return", "src": "2083:8:57" } ] }, "documentation": "@dev Adds two numbers, reverts on overflow.", "id": 9673, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 9653, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9650, "name": "_a", "nodeType": "VariableDeclaration", "scope": 9673, "src": "1941:10:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9649, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1941:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9652, "name": "_b", "nodeType": "VariableDeclaration", "scope": 9673, "src": "1953:10:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9651, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1953:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1940:24:57" }, "payable": false, "returnParameters": { "id": 9656, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9655, "name": "", "nodeType": "VariableDeclaration", "scope": 9673, "src": "1988:7:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9654, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1988:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1987:9:57" }, "scope": 9695, "src": "1928:170:57", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 9693, "nodeType": "Block", "src": "2307:70:57", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9685, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9683, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9677, "src": "2325:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 9684, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2330:1:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2325:6:57", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9686, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9564, "src": "2333:14:57", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9682, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "2317:7:57", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9687, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2317:31:57", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9688, "nodeType": "ExpressionStatement", "src": "2317:31:57" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9691, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9689, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9675, "src": "2365:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 9690, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9677, "src": "2369:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2365:5:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 9681, "id": 9692, "nodeType": "Return", "src": "2358:12:57" } ] }, "documentation": "@dev Divides two numbers and returns the remainder (unsigned integer modulo),\nreverts when dividing by zero.", "id": 9694, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 9678, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9675, "name": "a", "nodeType": "VariableDeclaration", "scope": 9694, "src": "2253:9:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9674, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2253:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9677, "name": "b", "nodeType": "VariableDeclaration", "scope": 9694, "src": "2264:9:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9676, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2264:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2252:22:57" }, "payable": false, "returnParameters": { "id": 9681, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9680, "name": "", "nodeType": "VariableDeclaration", "scope": 9694, "src": "2298:7:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9679, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2298:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2297:9:57" }, "scope": 9695, "src": "2240:137:57", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 9696, "src": "316:2063:57" } ], "src": "198:2182:57" }, "legacyAST": { "absolutePath": "@aragon/os/contracts/lib/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 9695 ] }, "id": 9696, "nodeType": "SourceUnit", "nodes": [ { "id": 9552, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "198:24:57" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath\n@dev Math operations with safety checks that revert on error", "fullyImplemented": true, "id": 9695, "linearizedBaseContracts": [ 9695 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 9555, "name": "ERROR_ADD_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 9695, "src": "339:64:57", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9553, "name": "string", "nodeType": "ElementaryTypeName", "src": "339:6:57", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4144445f4f564552464c4f57", "id": 9554, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "384:19:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_e2578df285e4eb4fecc3fecd08d2a22ed90362a41b5e72ae4b79db24283d0947", "typeString": "literal_string \"MATH_ADD_OVERFLOW\"" }, "value": "MATH_ADD_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 9558, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "VariableDeclaration", "scope": 9695, "src": "409:66:57", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9556, "name": "string", "nodeType": "ElementaryTypeName", "src": "409:6:57", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f5355425f554e444552464c4f57", "id": 9557, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "455:20:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_70a8dc66a4d49a0e19d93a83f0d406b3daa17bbf4c9467e211561ccc5532682a", "typeString": "literal_string \"MATH_SUB_UNDERFLOW\"" }, "value": "MATH_SUB_UNDERFLOW" }, "visibility": "private" }, { "constant": true, "id": 9561, "name": "ERROR_MUL_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 9695, "src": "481:64:57", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9559, "name": "string", "nodeType": "ElementaryTypeName", "src": "481:6:57", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4d554c5f4f564552464c4f57", "id": 9560, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "526:19:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_35a1199df5bd85b47d1f51a6d26365bd6a6655fc5e9ac66d7034d57d652eefb9", "typeString": "literal_string \"MATH_MUL_OVERFLOW\"" }, "value": "MATH_MUL_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 9564, "name": "ERROR_DIV_ZERO", "nodeType": "VariableDeclaration", "scope": 9695, "src": "551:56:57", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9562, "name": "string", "nodeType": "ElementaryTypeName", "src": "551:6:57", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4449565f5a45524f", "id": 9563, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "592:15:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_8a6d5d58df072a2986be3bd1a658830f4669d9565d8a831e250537aff4d5d289", "typeString": "literal_string \"MATH_DIV_ZERO\"" }, "value": "MATH_DIV_ZERO" }, "visibility": "private" }, { "body": { "id": 9597, "nodeType": "Block", "src": "754:379:57", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9575, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9573, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9566, "src": "985:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 9574, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "991:1:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "985:7:57", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 9579, "nodeType": "IfStatement", "src": "981:46:57", "trueBody": { "id": 9578, "nodeType": "Block", "src": "994:33:57", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 9576, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1015:1:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 9572, "id": 9577, "nodeType": "Return", "src": "1008:8:57" } ] } }, { "assignments": [ 9581 ], "declarations": [ { "constant": false, "id": 9581, "name": "c", "nodeType": "VariableDeclaration", "scope": 9598, "src": "1037:9:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9580, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1037:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9585, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9584, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9582, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9566, "src": "1049:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 9583, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9568, "src": "1054:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1049:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1037:19:57" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9591, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9589, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9587, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9581, "src": "1074:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 9588, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9566, "src": "1078:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1074:6:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 9590, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9568, "src": "1084:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1074:12:57", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9592, "name": "ERROR_MUL_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9561, "src": "1088:18:57", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9586, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "1066:7:57", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9593, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1066:41:57", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9594, "nodeType": "ExpressionStatement", "src": "1066:41:57" }, { "expression": { "argumentTypes": null, "id": 9595, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9581, "src": "1125:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 9572, "id": 9596, "nodeType": "Return", "src": "1118:8:57" } ] }, "documentation": "@dev Multiplies two numbers, reverts on overflow.", "id": 9598, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 9569, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9566, "name": "_a", "nodeType": "VariableDeclaration", "scope": 9598, "src": "698:10:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9565, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "698:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9568, "name": "_b", "nodeType": "VariableDeclaration", "scope": 9598, "src": "710:10:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9567, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "710:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "697:24:57" }, "payable": false, "returnParameters": { "id": 9572, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9571, "name": "", "nodeType": "VariableDeclaration", "scope": 9598, "src": "745:7:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9570, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "745:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "744:9:57" }, "scope": 9695, "src": "685:448:57", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 9622, "nodeType": "Block", "src": "1320:244:57", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9610, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9608, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9602, "src": "1338:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 9609, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1343:1:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1338:6:57", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9611, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9564, "src": "1346:14:57", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9607, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "1330:7:57", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9612, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1330:31:57", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9613, "nodeType": "ExpressionStatement", "src": "1330:31:57" }, { "assignments": [ 9615 ], "declarations": [ { "constant": false, "id": 9615, "name": "c", "nodeType": "VariableDeclaration", "scope": 9623, "src": "1429:9:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9614, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1429:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9619, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9618, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9616, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9600, "src": "1441:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 9617, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9602, "src": "1446:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1441:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1429:19:57" }, { "expression": { "argumentTypes": null, "id": 9620, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9615, "src": "1556:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 9606, "id": 9621, "nodeType": "Return", "src": "1549:8:57" } ] }, "documentation": "@dev Integer division of two numbers truncating the quotient, reverts on division by zero.", "id": 9623, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 9603, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9600, "name": "_a", "nodeType": "VariableDeclaration", "scope": 9623, "src": "1264:10:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9599, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1264:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9602, "name": "_b", "nodeType": "VariableDeclaration", "scope": 9623, "src": "1276:10:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9601, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1276:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1263:24:57" }, "payable": false, "returnParameters": { "id": 9606, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9605, "name": "", "nodeType": "VariableDeclaration", "scope": 9623, "src": "1311:7:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9604, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1311:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1310:9:57" }, "scope": 9695, "src": "1251:313:57", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 9647, "nodeType": "Block", "src": "1754:103:57", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9635, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9633, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9627, "src": "1772:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 9634, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9625, "src": "1778:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1772:8:57", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9636, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9558, "src": "1782:19:57", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9632, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "1764:7:57", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9637, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1764:38:57", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9638, "nodeType": "ExpressionStatement", "src": "1764:38:57" }, { "assignments": [ 9640 ], "declarations": [ { "constant": false, "id": 9640, "name": "c", "nodeType": "VariableDeclaration", "scope": 9648, "src": "1812:9:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9639, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1812:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9644, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9643, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9641, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9625, "src": "1824:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 9642, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9627, "src": "1829:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1824:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1812:19:57" }, { "expression": { "argumentTypes": null, "id": 9645, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9640, "src": "1849:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 9631, "id": 9646, "nodeType": "Return", "src": "1842:8:57" } ] }, "documentation": "@dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).", "id": 9648, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 9628, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9625, "name": "_a", "nodeType": "VariableDeclaration", "scope": 9648, "src": "1698:10:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9624, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1698:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9627, "name": "_b", "nodeType": "VariableDeclaration", "scope": 9648, "src": "1710:10:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9626, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1710:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1697:24:57" }, "payable": false, "returnParameters": { "id": 9631, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9630, "name": "", "nodeType": "VariableDeclaration", "scope": 9648, "src": "1745:7:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9629, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1745:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1744:9:57" }, "scope": 9695, "src": "1685:172:57", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 9672, "nodeType": "Block", "src": "1997:101:57", "statements": [ { "assignments": [ 9658 ], "declarations": [ { "constant": false, "id": 9658, "name": "c", "nodeType": "VariableDeclaration", "scope": 9673, "src": "2007:9:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9657, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2007:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9662, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9661, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9659, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9650, "src": "2019:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 9660, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9652, "src": "2024:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2019:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2007:19:57" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9666, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9664, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9658, "src": "2044:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 9665, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9650, "src": "2049:2:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2044:7:57", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9667, "name": "ERROR_ADD_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9555, "src": "2053:18:57", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9663, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "2036:7:57", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9668, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2036:36:57", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9669, "nodeType": "ExpressionStatement", "src": "2036:36:57" }, { "expression": { "argumentTypes": null, "id": 9670, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9658, "src": "2090:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 9656, "id": 9671, "nodeType": "Return", "src": "2083:8:57" } ] }, "documentation": "@dev Adds two numbers, reverts on overflow.", "id": 9673, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 9653, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9650, "name": "_a", "nodeType": "VariableDeclaration", "scope": 9673, "src": "1941:10:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9649, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1941:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9652, "name": "_b", "nodeType": "VariableDeclaration", "scope": 9673, "src": "1953:10:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9651, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1953:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1940:24:57" }, "payable": false, "returnParameters": { "id": 9656, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9655, "name": "", "nodeType": "VariableDeclaration", "scope": 9673, "src": "1988:7:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9654, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1988:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1987:9:57" }, "scope": 9695, "src": "1928:170:57", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 9693, "nodeType": "Block", "src": "2307:70:57", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9685, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9683, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9677, "src": "2325:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 9684, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2330:1:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2325:6:57", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9686, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9564, "src": "2333:14:57", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9682, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "2317:7:57", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9687, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2317:31:57", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9688, "nodeType": "ExpressionStatement", "src": "2317:31:57" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9691, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9689, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9675, "src": "2365:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 9690, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9677, "src": "2369:1:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2365:5:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 9681, "id": 9692, "nodeType": "Return", "src": "2358:12:57" } ] }, "documentation": "@dev Divides two numbers and returns the remainder (unsigned integer modulo),\nreverts when dividing by zero.", "id": 9694, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 9678, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9675, "name": "a", "nodeType": "VariableDeclaration", "scope": 9694, "src": "2253:9:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9674, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2253:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9677, "name": "b", "nodeType": "VariableDeclaration", "scope": 9694, "src": "2264:9:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9676, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2264:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2252:22:57" }, "payable": false, "returnParameters": { "id": 9681, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9680, "name": "", "nodeType": "VariableDeclaration", "scope": 9694, "src": "2298:7:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9679, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2298:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2297:9:57" }, "scope": 9695, "src": "2240:137:57", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 9696, "src": "316:2063:57" } ], "src": "198:2182:57" }, "compiler": { "name": "solc", "version": "0.4.24+commit.e67f0147.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.2.0", "updatedAt": "2020-06-07T23:27:00.616Z", "devdoc": { "methods": {}, "title": "SafeMath" }, "userdoc": { "methods": {} } }