{ "contractName": "SafeMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.5.16+commit.9c3226ce\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"details\":\"Unsigned math operations with safety checks that revert on error\",\"methods\":{},\"title\":\"SafeMath\"},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"openzeppelin-solidity/contracts/math/SafeMath.sol\":\"SafeMath\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[]},\"sources\":{\"openzeppelin-solidity/contracts/math/SafeMath.sol\":{\"keccak256\":\"0x965012d27b4262d7a41f5028cbb30c51ebd9ecd4be8fb30380aaa7a3c64fbc8b\",\"urls\":[\"bzz-raw://1eb493553b27efd46c231a836a83ce50d215639feb97b4aac9f301d0fd034ff5\",\"dweb:/ipfs/QmbMdvSXcqGKxeeYvzF3VrWpoHQyVzMXBhzhAokF2Gdymv\"]}},\"version\":1}", "bytecode": "0x60556023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea265627a7a72315820e56d5919c4301738dc9142f57d7a162e37b523b34dac51c60bb82a17b7a090dd64736f6c63430005100032", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea265627a7a72315820e56d5919c4301738dc9142f57d7a162e37b523b34dac51c60bb82a17b7a090dd64736f6c63430005100032", "sourceMap": "125:1726:22:-;;132:2:-1;166:7;155:9;146:7;137:37;255:7;249:14;246:1;241:23;235:4;232:33;222:2;;269:9;222:2;293:9;290:1;283:20;323:4;314:7;306:22;347:7;338;331:24", "deployedSourceMap": "125:1726:22:-;;;;;;;;", "source": "pragma solidity ^0.5.0;\n\n/**\n * @title SafeMath\n * @dev Unsigned math operations with safety checks that revert on error\n */\nlibrary SafeMath {\n /**\n * @dev Multiplies two unsigned integers, 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);\n\n return c;\n }\n\n /**\n * @dev Integer division of two unsigned integers truncating the quotient, reverts on division by zero.\n */\n function div(uint256 a, uint256 b) internal pure returns (uint256) {\n // Solidity only automatically asserts when dividing by 0\n require(b > 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 unsigned integers, 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);\n uint256 c = a - b;\n\n return c;\n }\n\n /**\n * @dev Adds two unsigned integers, reverts on overflow.\n */\n function add(uint256 a, uint256 b) internal pure returns (uint256) {\n uint256 c = a + b;\n require(c >= a);\n\n return c;\n }\n\n /**\n * @dev Divides two unsigned integers 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);\n return a % b;\n }\n}\n", "sourcePath": "openzeppelin-solidity/contracts/math/SafeMath.sol", "ast": { "absolutePath": "openzeppelin-solidity/contracts/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 6089 ] }, "id": 6090, "nodeType": "SourceUnit", "nodes": [ { "id": 5963, "literals": [ "solidity", "^", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "0:23:22" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath\n@dev Unsigned math operations with safety checks that revert on error", "fullyImplemented": true, "id": 6089, "linearizedBaseContracts": [ 6089 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 5995, "nodeType": "Block", "src": "296:354:22", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5974, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5972, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5965, "src": "527:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 5973, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "532:1:22", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "527:6:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 5978, "nodeType": "IfStatement", "src": "523:45:22", "trueBody": { "id": 5977, "nodeType": "Block", "src": "535:33:22", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 5975, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "556:1:22", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 5971, "id": 5976, "nodeType": "Return", "src": "549:8:22" } ] } }, { "assignments": [ 5980 ], "declarations": [ { "constant": false, "id": 5980, "name": "c", "nodeType": "VariableDeclaration", "scope": 5995, "src": "578:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5979, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "578:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 5984, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5983, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5981, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5965, "src": "590:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 5982, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5967, "src": "594:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "590:5:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "578:17:22" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5990, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5988, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5986, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5980, "src": "613:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 5987, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5965, "src": "617:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "613:5:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5989, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5967, "src": "622:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "613:10:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 5985, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 6913, 6914 ], "referencedDeclaration": 6913, "src": "605:7:22", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 5991, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "605:19:22", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5992, "nodeType": "ExpressionStatement", "src": "605:19:22" }, { "expression": { "argumentTypes": null, "id": 5993, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5980, "src": "642:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 5971, "id": 5994, "nodeType": "Return", "src": "635:8:22" } ] }, "documentation": "@dev Multiplies two unsigned integers, reverts on overflow.", "id": 5996, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 5968, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5965, "name": "a", "nodeType": "VariableDeclaration", "scope": 5996, "src": "242:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5964, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "242:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5967, "name": "b", "nodeType": "VariableDeclaration", "scope": 5996, "src": "253:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5966, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "253:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "241:22:22" }, "returnParameters": { "id": 5971, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5970, "name": "", "nodeType": "VariableDeclaration", "scope": 5996, "src": "287:7:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5969, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "287:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "286:9:22" }, "scope": 6089, "src": "229:421:22", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 6019, "nodeType": "Block", "src": "845:229:22", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6008, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6006, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6000, "src": "929:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 6007, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "933:1:22", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "929:5:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 6005, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 6913, 6914 ], "referencedDeclaration": 6913, "src": "921:7:22", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 6009, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "921:14:22", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 6010, "nodeType": "ExpressionStatement", "src": "921:14:22" }, { "assignments": [ 6012 ], "declarations": [ { "constant": false, "id": 6012, "name": "c", "nodeType": "VariableDeclaration", "scope": 6019, "src": "945:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6011, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "945:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 6016, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6015, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6013, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5998, "src": "957:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 6014, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6000, "src": "961:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "957:5:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "945:17:22" }, { "expression": { "argumentTypes": null, "id": 6017, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6012, "src": "1066:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6004, "id": 6018, "nodeType": "Return", "src": "1059:8:22" } ] }, "documentation": "@dev Integer division of two unsigned integers truncating the quotient, reverts on division by zero.", "id": 6020, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 6001, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5998, "name": "a", "nodeType": "VariableDeclaration", "scope": 6020, "src": "791:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5997, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "791:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6000, "name": "b", "nodeType": "VariableDeclaration", "scope": 6020, "src": "802:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5999, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "802:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "790:22:22" }, "returnParameters": { "id": 6004, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6003, "name": "", "nodeType": "VariableDeclaration", "scope": 6020, "src": "836:7:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6002, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "836:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "835:9:22" }, "scope": 6089, "src": "778:296:22", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 6043, "nodeType": "Block", "src": "1272:78:22", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6032, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6030, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6024, "src": "1290:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 6031, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6022, "src": "1295:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1290:6:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 6029, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 6913, 6914 ], "referencedDeclaration": 6913, "src": "1282:7:22", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 6033, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1282:15:22", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 6034, "nodeType": "ExpressionStatement", "src": "1282:15:22" }, { "assignments": [ 6036 ], "declarations": [ { "constant": false, "id": 6036, "name": "c", "nodeType": "VariableDeclaration", "scope": 6043, "src": "1307:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6035, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1307:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 6040, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6039, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6037, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6022, "src": "1319:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 6038, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6024, "src": "1323:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1319:5:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1307:17:22" }, { "expression": { "argumentTypes": null, "id": 6041, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6036, "src": "1342:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6028, "id": 6042, "nodeType": "Return", "src": "1335:8:22" } ] }, "documentation": "@dev Subtracts two unsigned integers, reverts on overflow (i.e. if subtrahend is greater than minuend).", "id": 6044, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 6025, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6022, "name": "a", "nodeType": "VariableDeclaration", "scope": 6044, "src": "1218:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6021, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1218:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6024, "name": "b", "nodeType": "VariableDeclaration", "scope": 6044, "src": "1229:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6023, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1229:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1217:22:22" }, "returnParameters": { "id": 6028, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6027, "name": "", "nodeType": "VariableDeclaration", "scope": 6044, "src": "1263:7:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6026, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1263:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1262:9:22" }, "scope": 6089, "src": "1205:145:22", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 6067, "nodeType": "Block", "src": "1498:78:22", "statements": [ { "assignments": [ 6054 ], "declarations": [ { "constant": false, "id": 6054, "name": "c", "nodeType": "VariableDeclaration", "scope": 6067, "src": "1508:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6053, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1508:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 6058, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6057, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6055, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6046, "src": "1520:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 6056, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6048, "src": "1524:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1520:5:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1508:17:22" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6062, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6060, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6054, "src": "1543:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 6061, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6046, "src": "1548:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1543:6:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 6059, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 6913, 6914 ], "referencedDeclaration": 6913, "src": "1535:7:22", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 6063, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1535:15:22", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 6064, "nodeType": "ExpressionStatement", "src": "1535:15:22" }, { "expression": { "argumentTypes": null, "id": 6065, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6054, "src": "1568:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6052, "id": 6066, "nodeType": "Return", "src": "1561:8:22" } ] }, "documentation": "@dev Adds two unsigned integers, reverts on overflow.", "id": 6068, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 6049, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6046, "name": "a", "nodeType": "VariableDeclaration", "scope": 6068, "src": "1444:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6045, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1444:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6048, "name": "b", "nodeType": "VariableDeclaration", "scope": 6068, "src": "1455:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6047, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1455:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1443:22:22" }, "returnParameters": { "id": 6052, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6051, "name": "", "nodeType": "VariableDeclaration", "scope": 6068, "src": "1489:7:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6050, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1489:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1488:9:22" }, "scope": 6089, "src": "1431:145:22", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 6087, "nodeType": "Block", "src": "1795:54:22", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6080, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6078, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6072, "src": "1813:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 6079, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1818:1:22", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1813:6:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 6077, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 6913, 6914 ], "referencedDeclaration": 6913, "src": "1805:7:22", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 6081, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1805:15:22", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 6082, "nodeType": "ExpressionStatement", "src": "1805:15:22" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6085, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6083, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6070, "src": "1837:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 6084, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6072, "src": "1841:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1837:5:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6076, "id": 6086, "nodeType": "Return", "src": "1830:12:22" } ] }, "documentation": "@dev Divides two unsigned integers and returns the remainder (unsigned integer modulo),\nreverts when dividing by zero.", "id": 6088, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 6073, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6070, "name": "a", "nodeType": "VariableDeclaration", "scope": 6088, "src": "1741:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6069, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1741:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6072, "name": "b", "nodeType": "VariableDeclaration", "scope": 6088, "src": "1752:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6071, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1752:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1740:22:22" }, "returnParameters": { "id": 6076, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6075, "name": "", "nodeType": "VariableDeclaration", "scope": 6088, "src": "1786:7:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6074, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1786:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1785:9:22" }, "scope": 6089, "src": "1728:121:22", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 6090, "src": "125:1726:22" } ], "src": "0:1852:22" }, "legacyAST": { "absolutePath": "openzeppelin-solidity/contracts/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 6089 ] }, "id": 6090, "nodeType": "SourceUnit", "nodes": [ { "id": 5963, "literals": [ "solidity", "^", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "0:23:22" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath\n@dev Unsigned math operations with safety checks that revert on error", "fullyImplemented": true, "id": 6089, "linearizedBaseContracts": [ 6089 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 5995, "nodeType": "Block", "src": "296:354:22", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5974, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5972, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5965, "src": "527:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 5973, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "532:1:22", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "527:6:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 5978, "nodeType": "IfStatement", "src": "523:45:22", "trueBody": { "id": 5977, "nodeType": "Block", "src": "535:33:22", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 5975, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "556:1:22", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 5971, "id": 5976, "nodeType": "Return", "src": "549:8:22" } ] } }, { "assignments": [ 5980 ], "declarations": [ { "constant": false, "id": 5980, "name": "c", "nodeType": "VariableDeclaration", "scope": 5995, "src": "578:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5979, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "578:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 5984, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5983, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5981, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5965, "src": "590:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 5982, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5967, "src": "594:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "590:5:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "578:17:22" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5990, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5988, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5986, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5980, "src": "613:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 5987, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5965, "src": "617:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "613:5:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5989, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5967, "src": "622:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "613:10:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 5985, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 6913, 6914 ], "referencedDeclaration": 6913, "src": "605:7:22", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 5991, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "605:19:22", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5992, "nodeType": "ExpressionStatement", "src": "605:19:22" }, { "expression": { "argumentTypes": null, "id": 5993, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5980, "src": "642:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 5971, "id": 5994, "nodeType": "Return", "src": "635:8:22" } ] }, "documentation": "@dev Multiplies two unsigned integers, reverts on overflow.", "id": 5996, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 5968, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5965, "name": "a", "nodeType": "VariableDeclaration", "scope": 5996, "src": "242:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5964, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "242:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5967, "name": "b", "nodeType": "VariableDeclaration", "scope": 5996, "src": "253:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5966, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "253:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "241:22:22" }, "returnParameters": { "id": 5971, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5970, "name": "", "nodeType": "VariableDeclaration", "scope": 5996, "src": "287:7:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5969, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "287:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "286:9:22" }, "scope": 6089, "src": "229:421:22", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 6019, "nodeType": "Block", "src": "845:229:22", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6008, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6006, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6000, "src": "929:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 6007, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "933:1:22", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "929:5:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 6005, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 6913, 6914 ], "referencedDeclaration": 6913, "src": "921:7:22", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 6009, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "921:14:22", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 6010, "nodeType": "ExpressionStatement", "src": "921:14:22" }, { "assignments": [ 6012 ], "declarations": [ { "constant": false, "id": 6012, "name": "c", "nodeType": "VariableDeclaration", "scope": 6019, "src": "945:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6011, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "945:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 6016, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6015, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6013, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5998, "src": "957:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 6014, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6000, "src": "961:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "957:5:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "945:17:22" }, { "expression": { "argumentTypes": null, "id": 6017, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6012, "src": "1066:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6004, "id": 6018, "nodeType": "Return", "src": "1059:8:22" } ] }, "documentation": "@dev Integer division of two unsigned integers truncating the quotient, reverts on division by zero.", "id": 6020, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 6001, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5998, "name": "a", "nodeType": "VariableDeclaration", "scope": 6020, "src": "791:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5997, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "791:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6000, "name": "b", "nodeType": "VariableDeclaration", "scope": 6020, "src": "802:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5999, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "802:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "790:22:22" }, "returnParameters": { "id": 6004, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6003, "name": "", "nodeType": "VariableDeclaration", "scope": 6020, "src": "836:7:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6002, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "836:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "835:9:22" }, "scope": 6089, "src": "778:296:22", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 6043, "nodeType": "Block", "src": "1272:78:22", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6032, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6030, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6024, "src": "1290:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 6031, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6022, "src": "1295:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1290:6:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 6029, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 6913, 6914 ], "referencedDeclaration": 6913, "src": "1282:7:22", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 6033, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1282:15:22", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 6034, "nodeType": "ExpressionStatement", "src": "1282:15:22" }, { "assignments": [ 6036 ], "declarations": [ { "constant": false, "id": 6036, "name": "c", "nodeType": "VariableDeclaration", "scope": 6043, "src": "1307:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6035, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1307:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 6040, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6039, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6037, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6022, "src": "1319:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 6038, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6024, "src": "1323:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1319:5:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1307:17:22" }, { "expression": { "argumentTypes": null, "id": 6041, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6036, "src": "1342:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6028, "id": 6042, "nodeType": "Return", "src": "1335:8:22" } ] }, "documentation": "@dev Subtracts two unsigned integers, reverts on overflow (i.e. if subtrahend is greater than minuend).", "id": 6044, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 6025, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6022, "name": "a", "nodeType": "VariableDeclaration", "scope": 6044, "src": "1218:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6021, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1218:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6024, "name": "b", "nodeType": "VariableDeclaration", "scope": 6044, "src": "1229:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6023, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1229:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1217:22:22" }, "returnParameters": { "id": 6028, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6027, "name": "", "nodeType": "VariableDeclaration", "scope": 6044, "src": "1263:7:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6026, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1263:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1262:9:22" }, "scope": 6089, "src": "1205:145:22", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 6067, "nodeType": "Block", "src": "1498:78:22", "statements": [ { "assignments": [ 6054 ], "declarations": [ { "constant": false, "id": 6054, "name": "c", "nodeType": "VariableDeclaration", "scope": 6067, "src": "1508:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6053, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1508:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 6058, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6057, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6055, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6046, "src": "1520:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 6056, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6048, "src": "1524:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1520:5:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1508:17:22" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6062, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6060, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6054, "src": "1543:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 6061, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6046, "src": "1548:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1543:6:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 6059, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 6913, 6914 ], "referencedDeclaration": 6913, "src": "1535:7:22", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 6063, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1535:15:22", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 6064, "nodeType": "ExpressionStatement", "src": "1535:15:22" }, { "expression": { "argumentTypes": null, "id": 6065, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6054, "src": "1568:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6052, "id": 6066, "nodeType": "Return", "src": "1561:8:22" } ] }, "documentation": "@dev Adds two unsigned integers, reverts on overflow.", "id": 6068, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 6049, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6046, "name": "a", "nodeType": "VariableDeclaration", "scope": 6068, "src": "1444:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6045, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1444:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6048, "name": "b", "nodeType": "VariableDeclaration", "scope": 6068, "src": "1455:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6047, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1455:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1443:22:22" }, "returnParameters": { "id": 6052, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6051, "name": "", "nodeType": "VariableDeclaration", "scope": 6068, "src": "1489:7:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6050, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1489:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1488:9:22" }, "scope": 6089, "src": "1431:145:22", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 6087, "nodeType": "Block", "src": "1795:54:22", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6080, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6078, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6072, "src": "1813:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 6079, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1818:1:22", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1813:6:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 6077, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 6913, 6914 ], "referencedDeclaration": 6913, "src": "1805:7:22", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 6081, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1805:15:22", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 6082, "nodeType": "ExpressionStatement", "src": "1805:15:22" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6085, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 6083, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6070, "src": "1837:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 6084, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6072, "src": "1841:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1837:5:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6076, "id": 6086, "nodeType": "Return", "src": "1830:12:22" } ] }, "documentation": "@dev Divides two unsigned integers and returns the remainder (unsigned integer modulo),\nreverts when dividing by zero.", "id": 6088, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 6073, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6070, "name": "a", "nodeType": "VariableDeclaration", "scope": 6088, "src": "1741:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6069, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1741:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 6072, "name": "b", "nodeType": "VariableDeclaration", "scope": 6088, "src": "1752:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6071, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1752:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1740:22:22" }, "returnParameters": { "id": 6076, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6075, "name": "", "nodeType": "VariableDeclaration", "scope": 6088, "src": "1786:7:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6074, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1786:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1785:9:22" }, "scope": 6089, "src": "1728:121:22", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 6090, "src": "125:1726:22" } ], "src": "0:1852:22" }, "compiler": { "name": "solc", "version": "0.5.16+commit.9c3226ce.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.0.22", "updatedAt": "2020-01-30T08:26:28.099Z", "devdoc": { "details": "Unsigned math operations with safety checks that revert on error", "methods": {}, "title": "SafeMath" }, "userdoc": { "methods": {} } }