{ "contractName": "SafeMath", "abi": [], "bytecode": "0x604c602c600b82828239805160001a60731460008114601c57601e565bfe5b5030600052607381538281f30073000000000000000000000000000000000000000030146080604052600080fd00a165627a7a72305820658f4786feb4ea6d904d7a43ca162e69e5a011b8ed4eb37a3e673f930e1f61330029", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fd00a165627a7a72305820658f4786feb4ea6d904d7a43ca162e69e5a011b8ed4eb37a3e673f930e1f61330029", "sourceMap": "316:2063:59:-;;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:59:-;;;;;;;;", "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": [ 14064 ] }, "id": 14065, "nodeType": "SourceUnit", "nodes": [ { "id": 13921, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "198:24:59" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath\n@dev Math operations with safety checks that revert on error", "fullyImplemented": true, "id": 14064, "linearizedBaseContracts": [ 14064 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 13924, "name": "ERROR_ADD_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 14064, "src": "339:64:59", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 13922, "name": "string", "nodeType": "ElementaryTypeName", "src": "339:6:59", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4144445f4f564552464c4f57", "id": 13923, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "384:19:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_e2578df285e4eb4fecc3fecd08d2a22ed90362a41b5e72ae4b79db24283d0947", "typeString": "literal_string \"MATH_ADD_OVERFLOW\"" }, "value": "MATH_ADD_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 13927, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "VariableDeclaration", "scope": 14064, "src": "409:66:59", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 13925, "name": "string", "nodeType": "ElementaryTypeName", "src": "409:6:59", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f5355425f554e444552464c4f57", "id": 13926, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "455:20:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_70a8dc66a4d49a0e19d93a83f0d406b3daa17bbf4c9467e211561ccc5532682a", "typeString": "literal_string \"MATH_SUB_UNDERFLOW\"" }, "value": "MATH_SUB_UNDERFLOW" }, "visibility": "private" }, { "constant": true, "id": 13930, "name": "ERROR_MUL_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 14064, "src": "481:64:59", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 13928, "name": "string", "nodeType": "ElementaryTypeName", "src": "481:6:59", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4d554c5f4f564552464c4f57", "id": 13929, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "526:19:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_35a1199df5bd85b47d1f51a6d26365bd6a6655fc5e9ac66d7034d57d652eefb9", "typeString": "literal_string \"MATH_MUL_OVERFLOW\"" }, "value": "MATH_MUL_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 13933, "name": "ERROR_DIV_ZERO", "nodeType": "VariableDeclaration", "scope": 14064, "src": "551:56:59", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 13931, "name": "string", "nodeType": "ElementaryTypeName", "src": "551:6:59", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4449565f5a45524f", "id": 13932, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "592:15:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_8a6d5d58df072a2986be3bd1a658830f4669d9565d8a831e250537aff4d5d289", "typeString": "literal_string \"MATH_DIV_ZERO\"" }, "value": "MATH_DIV_ZERO" }, "visibility": "private" }, { "body": { "id": 13966, "nodeType": "Block", "src": "754:379:59", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13944, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 13942, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13935, "src": "985:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 13943, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "991:1:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "985:7:59", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 13948, "nodeType": "IfStatement", "src": "981:46:59", "trueBody": { "id": 13947, "nodeType": "Block", "src": "994:33:59", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 13945, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1015:1:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 13941, "id": 13946, "nodeType": "Return", "src": "1008:8:59" } ] } }, { "assignments": [ 13950 ], "declarations": [ { "constant": false, "id": 13950, "name": "c", "nodeType": "VariableDeclaration", "scope": 13967, "src": "1037:9:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13949, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1037:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 13954, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13953, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 13951, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13935, "src": "1049:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 13952, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13937, "src": "1054:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1049:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1037:19:59" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13960, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13958, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 13956, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13950, "src": "1074:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 13957, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13935, "src": "1078:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1074:6:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 13959, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13937, "src": "1084:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1074:12:59", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 13961, "name": "ERROR_MUL_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13930, "src": "1088:18:59", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 13955, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15157, "src": "1066:7:59", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 13962, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1066:41:59", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 13963, "nodeType": "ExpressionStatement", "src": "1066:41:59" }, { "expression": { "argumentTypes": null, "id": 13964, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13950, "src": "1125:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 13941, "id": 13965, "nodeType": "Return", "src": "1118:8:59" } ] }, "documentation": "@dev Multiplies two numbers, reverts on overflow.", "id": 13967, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 13938, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13935, "name": "_a", "nodeType": "VariableDeclaration", "scope": 13967, "src": "698:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13934, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "698:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 13937, "name": "_b", "nodeType": "VariableDeclaration", "scope": 13967, "src": "710:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13936, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "710:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "697:24:59" }, "payable": false, "returnParameters": { "id": 13941, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13940, "name": "", "nodeType": "VariableDeclaration", "scope": 13967, "src": "745:7:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13939, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "745:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "744:9:59" }, "scope": 14064, "src": "685:448:59", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 13991, "nodeType": "Block", "src": "1320:244:59", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13979, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 13977, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13971, "src": "1338:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 13978, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1343:1:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1338:6:59", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 13980, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13933, "src": "1346:14:59", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 13976, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15157, "src": "1330:7:59", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 13981, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1330:31:59", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 13982, "nodeType": "ExpressionStatement", "src": "1330:31:59" }, { "assignments": [ 13984 ], "declarations": [ { "constant": false, "id": 13984, "name": "c", "nodeType": "VariableDeclaration", "scope": 13992, "src": "1429:9:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13983, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1429:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 13988, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13987, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 13985, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13969, "src": "1441:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 13986, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13971, "src": "1446:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1441:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1429:19:59" }, { "expression": { "argumentTypes": null, "id": 13989, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13984, "src": "1556:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 13975, "id": 13990, "nodeType": "Return", "src": "1549:8:59" } ] }, "documentation": "@dev Integer division of two numbers truncating the quotient, reverts on division by zero.", "id": 13992, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 13972, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13969, "name": "_a", "nodeType": "VariableDeclaration", "scope": 13992, "src": "1264:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13968, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1264:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 13971, "name": "_b", "nodeType": "VariableDeclaration", "scope": 13992, "src": "1276:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13970, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1276:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1263:24:59" }, "payable": false, "returnParameters": { "id": 13975, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13974, "name": "", "nodeType": "VariableDeclaration", "scope": 13992, "src": "1311:7:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13973, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1311:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1310:9:59" }, "scope": 14064, "src": "1251:313:59", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 14016, "nodeType": "Block", "src": "1754:103:59", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 14004, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 14002, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13996, "src": "1772:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 14003, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13994, "src": "1778:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1772:8:59", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 14005, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13927, "src": "1782:19:59", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 14001, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15157, "src": "1764:7:59", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 14006, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1764:38:59", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 14007, "nodeType": "ExpressionStatement", "src": "1764:38:59" }, { "assignments": [ 14009 ], "declarations": [ { "constant": false, "id": 14009, "name": "c", "nodeType": "VariableDeclaration", "scope": 14017, "src": "1812:9:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14008, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1812:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 14013, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 14012, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 14010, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13994, "src": "1824:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 14011, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13996, "src": "1829:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1824:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1812:19:59" }, { "expression": { "argumentTypes": null, "id": 14014, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14009, "src": "1849:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 14000, "id": 14015, "nodeType": "Return", "src": "1842:8:59" } ] }, "documentation": "@dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).", "id": 14017, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 13997, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13994, "name": "_a", "nodeType": "VariableDeclaration", "scope": 14017, "src": "1698:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13993, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1698:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 13996, "name": "_b", "nodeType": "VariableDeclaration", "scope": 14017, "src": "1710:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13995, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1710:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1697:24:59" }, "payable": false, "returnParameters": { "id": 14000, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13999, "name": "", "nodeType": "VariableDeclaration", "scope": 14017, "src": "1745:7:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13998, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1745:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1744:9:59" }, "scope": 14064, "src": "1685:172:59", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 14041, "nodeType": "Block", "src": "1997:101:59", "statements": [ { "assignments": [ 14027 ], "declarations": [ { "constant": false, "id": 14027, "name": "c", "nodeType": "VariableDeclaration", "scope": 14042, "src": "2007:9:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14026, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2007:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 14031, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 14030, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 14028, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14019, "src": "2019:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 14029, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14021, "src": "2024:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2019:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2007:19:59" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 14035, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 14033, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14027, "src": "2044:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 14034, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14019, "src": "2049:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2044:7:59", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 14036, "name": "ERROR_ADD_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13924, "src": "2053:18:59", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 14032, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15157, "src": "2036:7:59", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 14037, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2036:36:59", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 14038, "nodeType": "ExpressionStatement", "src": "2036:36:59" }, { "expression": { "argumentTypes": null, "id": 14039, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14027, "src": "2090:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 14025, "id": 14040, "nodeType": "Return", "src": "2083:8:59" } ] }, "documentation": "@dev Adds two numbers, reverts on overflow.", "id": 14042, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 14022, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 14019, "name": "_a", "nodeType": "VariableDeclaration", "scope": 14042, "src": "1941:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14018, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1941:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 14021, "name": "_b", "nodeType": "VariableDeclaration", "scope": 14042, "src": "1953:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14020, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1953:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1940:24:59" }, "payable": false, "returnParameters": { "id": 14025, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 14024, "name": "", "nodeType": "VariableDeclaration", "scope": 14042, "src": "1988:7:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14023, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1988:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1987:9:59" }, "scope": 14064, "src": "1928:170:59", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 14062, "nodeType": "Block", "src": "2307:70:59", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 14054, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 14052, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14046, "src": "2325:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 14053, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2330:1:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2325:6:59", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 14055, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13933, "src": "2333:14:59", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 14051, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15157, "src": "2317:7:59", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 14056, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2317:31:59", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 14057, "nodeType": "ExpressionStatement", "src": "2317:31:59" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 14060, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 14058, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14044, "src": "2365:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 14059, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14046, "src": "2369:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2365:5:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 14050, "id": 14061, "nodeType": "Return", "src": "2358:12:59" } ] }, "documentation": "@dev Divides two numbers and returns the remainder (unsigned integer modulo),\nreverts when dividing by zero.", "id": 14063, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 14047, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 14044, "name": "a", "nodeType": "VariableDeclaration", "scope": 14063, "src": "2253:9:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14043, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2253:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 14046, "name": "b", "nodeType": "VariableDeclaration", "scope": 14063, "src": "2264:9:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14045, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2264:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2252:22:59" }, "payable": false, "returnParameters": { "id": 14050, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 14049, "name": "", "nodeType": "VariableDeclaration", "scope": 14063, "src": "2298:7:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14048, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2298:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2297:9:59" }, "scope": 14064, "src": "2240:137:59", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 14065, "src": "316:2063:59" } ], "src": "198:2182:59" }, "legacyAST": { "absolutePath": "@aragon/os/contracts/lib/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 14064 ] }, "id": 14065, "nodeType": "SourceUnit", "nodes": [ { "id": 13921, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "198:24:59" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath\n@dev Math operations with safety checks that revert on error", "fullyImplemented": true, "id": 14064, "linearizedBaseContracts": [ 14064 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 13924, "name": "ERROR_ADD_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 14064, "src": "339:64:59", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 13922, "name": "string", "nodeType": "ElementaryTypeName", "src": "339:6:59", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4144445f4f564552464c4f57", "id": 13923, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "384:19:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_e2578df285e4eb4fecc3fecd08d2a22ed90362a41b5e72ae4b79db24283d0947", "typeString": "literal_string \"MATH_ADD_OVERFLOW\"" }, "value": "MATH_ADD_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 13927, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "VariableDeclaration", "scope": 14064, "src": "409:66:59", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 13925, "name": "string", "nodeType": "ElementaryTypeName", "src": "409:6:59", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f5355425f554e444552464c4f57", "id": 13926, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "455:20:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_70a8dc66a4d49a0e19d93a83f0d406b3daa17bbf4c9467e211561ccc5532682a", "typeString": "literal_string \"MATH_SUB_UNDERFLOW\"" }, "value": "MATH_SUB_UNDERFLOW" }, "visibility": "private" }, { "constant": true, "id": 13930, "name": "ERROR_MUL_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 14064, "src": "481:64:59", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 13928, "name": "string", "nodeType": "ElementaryTypeName", "src": "481:6:59", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4d554c5f4f564552464c4f57", "id": 13929, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "526:19:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_35a1199df5bd85b47d1f51a6d26365bd6a6655fc5e9ac66d7034d57d652eefb9", "typeString": "literal_string \"MATH_MUL_OVERFLOW\"" }, "value": "MATH_MUL_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 13933, "name": "ERROR_DIV_ZERO", "nodeType": "VariableDeclaration", "scope": 14064, "src": "551:56:59", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 13931, "name": "string", "nodeType": "ElementaryTypeName", "src": "551:6:59", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4449565f5a45524f", "id": 13932, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "592:15:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_8a6d5d58df072a2986be3bd1a658830f4669d9565d8a831e250537aff4d5d289", "typeString": "literal_string \"MATH_DIV_ZERO\"" }, "value": "MATH_DIV_ZERO" }, "visibility": "private" }, { "body": { "id": 13966, "nodeType": "Block", "src": "754:379:59", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13944, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 13942, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13935, "src": "985:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 13943, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "991:1:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "985:7:59", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 13948, "nodeType": "IfStatement", "src": "981:46:59", "trueBody": { "id": 13947, "nodeType": "Block", "src": "994:33:59", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 13945, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1015:1:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 13941, "id": 13946, "nodeType": "Return", "src": "1008:8:59" } ] } }, { "assignments": [ 13950 ], "declarations": [ { "constant": false, "id": 13950, "name": "c", "nodeType": "VariableDeclaration", "scope": 13967, "src": "1037:9:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13949, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1037:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 13954, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13953, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 13951, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13935, "src": "1049:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 13952, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13937, "src": "1054:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1049:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1037:19:59" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13960, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13958, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 13956, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13950, "src": "1074:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 13957, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13935, "src": "1078:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1074:6:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 13959, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13937, "src": "1084:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1074:12:59", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 13961, "name": "ERROR_MUL_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13930, "src": "1088:18:59", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 13955, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15157, "src": "1066:7:59", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 13962, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1066:41:59", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 13963, "nodeType": "ExpressionStatement", "src": "1066:41:59" }, { "expression": { "argumentTypes": null, "id": 13964, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13950, "src": "1125:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 13941, "id": 13965, "nodeType": "Return", "src": "1118:8:59" } ] }, "documentation": "@dev Multiplies two numbers, reverts on overflow.", "id": 13967, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 13938, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13935, "name": "_a", "nodeType": "VariableDeclaration", "scope": 13967, "src": "698:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13934, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "698:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 13937, "name": "_b", "nodeType": "VariableDeclaration", "scope": 13967, "src": "710:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13936, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "710:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "697:24:59" }, "payable": false, "returnParameters": { "id": 13941, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13940, "name": "", "nodeType": "VariableDeclaration", "scope": 13967, "src": "745:7:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13939, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "745:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "744:9:59" }, "scope": 14064, "src": "685:448:59", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 13991, "nodeType": "Block", "src": "1320:244:59", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13979, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 13977, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13971, "src": "1338:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 13978, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1343:1:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1338:6:59", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 13980, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13933, "src": "1346:14:59", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 13976, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15157, "src": "1330:7:59", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 13981, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1330:31:59", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 13982, "nodeType": "ExpressionStatement", "src": "1330:31:59" }, { "assignments": [ 13984 ], "declarations": [ { "constant": false, "id": 13984, "name": "c", "nodeType": "VariableDeclaration", "scope": 13992, "src": "1429:9:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13983, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1429:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 13988, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13987, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 13985, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13969, "src": "1441:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 13986, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13971, "src": "1446:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1441:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1429:19:59" }, { "expression": { "argumentTypes": null, "id": 13989, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13984, "src": "1556:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 13975, "id": 13990, "nodeType": "Return", "src": "1549:8:59" } ] }, "documentation": "@dev Integer division of two numbers truncating the quotient, reverts on division by zero.", "id": 13992, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 13972, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13969, "name": "_a", "nodeType": "VariableDeclaration", "scope": 13992, "src": "1264:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13968, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1264:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 13971, "name": "_b", "nodeType": "VariableDeclaration", "scope": 13992, "src": "1276:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13970, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1276:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1263:24:59" }, "payable": false, "returnParameters": { "id": 13975, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13974, "name": "", "nodeType": "VariableDeclaration", "scope": 13992, "src": "1311:7:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13973, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1311:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1310:9:59" }, "scope": 14064, "src": "1251:313:59", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 14016, "nodeType": "Block", "src": "1754:103:59", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 14004, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 14002, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13996, "src": "1772:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 14003, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13994, "src": "1778:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1772:8:59", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 14005, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13927, "src": "1782:19:59", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 14001, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15157, "src": "1764:7:59", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 14006, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1764:38:59", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 14007, "nodeType": "ExpressionStatement", "src": "1764:38:59" }, { "assignments": [ 14009 ], "declarations": [ { "constant": false, "id": 14009, "name": "c", "nodeType": "VariableDeclaration", "scope": 14017, "src": "1812:9:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14008, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1812:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 14013, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 14012, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 14010, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13994, "src": "1824:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 14011, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13996, "src": "1829:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1824:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1812:19:59" }, { "expression": { "argumentTypes": null, "id": 14014, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14009, "src": "1849:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 14000, "id": 14015, "nodeType": "Return", "src": "1842:8:59" } ] }, "documentation": "@dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).", "id": 14017, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 13997, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13994, "name": "_a", "nodeType": "VariableDeclaration", "scope": 14017, "src": "1698:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13993, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1698:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 13996, "name": "_b", "nodeType": "VariableDeclaration", "scope": 14017, "src": "1710:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13995, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1710:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1697:24:59" }, "payable": false, "returnParameters": { "id": 14000, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13999, "name": "", "nodeType": "VariableDeclaration", "scope": 14017, "src": "1745:7:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13998, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1745:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1744:9:59" }, "scope": 14064, "src": "1685:172:59", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 14041, "nodeType": "Block", "src": "1997:101:59", "statements": [ { "assignments": [ 14027 ], "declarations": [ { "constant": false, "id": 14027, "name": "c", "nodeType": "VariableDeclaration", "scope": 14042, "src": "2007:9:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14026, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2007:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 14031, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 14030, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 14028, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14019, "src": "2019:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 14029, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14021, "src": "2024:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2019:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2007:19:59" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 14035, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 14033, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14027, "src": "2044:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 14034, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14019, "src": "2049:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2044:7:59", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 14036, "name": "ERROR_ADD_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13924, "src": "2053:18:59", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 14032, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15157, "src": "2036:7:59", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 14037, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2036:36:59", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 14038, "nodeType": "ExpressionStatement", "src": "2036:36:59" }, { "expression": { "argumentTypes": null, "id": 14039, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14027, "src": "2090:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 14025, "id": 14040, "nodeType": "Return", "src": "2083:8:59" } ] }, "documentation": "@dev Adds two numbers, reverts on overflow.", "id": 14042, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 14022, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 14019, "name": "_a", "nodeType": "VariableDeclaration", "scope": 14042, "src": "1941:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14018, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1941:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 14021, "name": "_b", "nodeType": "VariableDeclaration", "scope": 14042, "src": "1953:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14020, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1953:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1940:24:59" }, "payable": false, "returnParameters": { "id": 14025, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 14024, "name": "", "nodeType": "VariableDeclaration", "scope": 14042, "src": "1988:7:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14023, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1988:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1987:9:59" }, "scope": 14064, "src": "1928:170:59", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 14062, "nodeType": "Block", "src": "2307:70:59", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 14054, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 14052, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14046, "src": "2325:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 14053, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2330:1:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2325:6:59", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 14055, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13933, "src": "2333:14:59", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 14051, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15157, "src": "2317:7:59", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 14056, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2317:31:59", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 14057, "nodeType": "ExpressionStatement", "src": "2317:31:59" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 14060, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 14058, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14044, "src": "2365:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 14059, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14046, "src": "2369:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2365:5:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 14050, "id": 14061, "nodeType": "Return", "src": "2358:12:59" } ] }, "documentation": "@dev Divides two numbers and returns the remainder (unsigned integer modulo),\nreverts when dividing by zero.", "id": 14063, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 14047, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 14044, "name": "a", "nodeType": "VariableDeclaration", "scope": 14063, "src": "2253:9:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14043, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2253:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 14046, "name": "b", "nodeType": "VariableDeclaration", "scope": 14063, "src": "2264:9:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14045, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2264:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2252:22:59" }, "payable": false, "returnParameters": { "id": 14050, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 14049, "name": "", "nodeType": "VariableDeclaration", "scope": 14063, "src": "2298:7:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14048, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2298:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2297:9:59" }, "scope": 14064, "src": "2240:137:59", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 14065, "src": "316:2063:59" } ], "src": "198:2182:59" }, "compiler": { "name": "solc", "version": "0.4.24+commit.e67f0147.Emscripten.clang" }, "networks": {}, "schemaVersion": "2.0.1", "updatedAt": "2019-09-04T11:02:55.788Z" }