{ "contractName": "SafeMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.5.10+commit.5a6ea5b1\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"details\":\"Math operations with safety checks that throw on error\",\"methods\":{},\"title\":\"SafeMath\"},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"@summa-tx/bitcoin-spv-sol/contracts/SafeMath.sol\":\"SafeMath\"},\"evmVersion\":\"petersburg\",\"libraries\":{},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"@summa-tx/bitcoin-spv-sol/contracts/SafeMath.sol\":{\"keccak256\":\"0x22d34c04c68c2a77ee83e2ef3756f6e6bad6ad675560d777e612315d7eb83935\",\"urls\":[\"bzzr://a3312aa9977669832679852788efb21430fa70e5779243861ac6400fdc72f3de\",\"dweb:/ipfs/QmWADdVTCSyvtgb76AxFFkAr9h9jbY57Mj5X6xiEqCqmMu\"]}},\"version\":1}", "bytecode": "0x60556023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea265627a7a72305820e13fffe4f4de694c416df894a9c4bd36ce5f7335ade5d30936d843c5e8895d1664736f6c634300050a0032", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea265627a7a72305820e13fffe4f4de694c416df894a9c4bd36ce5f7335ade5d30936d843c5e8895d1664736f6c634300050a0032", "sourceMap": "1221:1473:7:-;;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": "1221:1473:7:-;;;;;;;;", "source": "pragma solidity ^0.5.10;\n\n/*\nThe MIT License (MIT)\n\nCopyright (c) 2016 Smart Contract Solutions, Inc.\n\nPermission is hereby granted, free of charge, to any person obtaining\na copy of this software and associated documentation files (the\n\"Software\"), to deal in the Software without restriction, including\nwithout limitation the rights to use, copy, modify, merge, publish,\ndistribute, sublicense, and/or sell copies of the Software, and to\npermit persons to whom the Software is furnished to do so, subject to\nthe following conditions:\n\nThe above copyright notice and this permission notice shall be included\nin all copies or substantial portions of the Software.\n\nTHE SOFTWARE IS PROVIDED \"AS IS\", WITHOUT WARRANTY OF ANY KIND, EXPRESS\nOR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF\nMERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.\nIN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY\nCLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,\nTORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE\nSOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.\n*/\n\n\n/**\n * @title SafeMath\n * @dev Math operations with safety checks that throw on error\n */\nlibrary SafeMath {\n\n /**\n * @dev Multiplies two numbers, throws on overflow.\n */\n function mul(uint256 _a, uint256 _b) internal pure returns (uint256 c) {\n // Gas optimization: this is cheaper than asserting '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 c = _a * _b;\n require(c / _a == _b, \"Overflow during multiplication.\");\n return c;\n }\n\n /**\n * @dev Integer division of two numbers, truncating the quotient.\n */\n function div(uint256 _a, uint256 _b) internal pure returns (uint256) {\n // assert(_b > 0); // Solidity automatically throws 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 return _a / _b;\n }\n\n /**\n * @dev Subtracts two numbers, throws 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, \"Underflow during subtraction.\");\n return _a - _b;\n }\n\n /**\n * @dev Adds two numbers, throws on overflow.\n */\n function add(uint256 _a, uint256 _b) internal pure returns (uint256 c) {\n c = _a + _b;\n require(c >= _a, \"Overflow during addition.\");\n return c;\n }\n}\n", "sourcePath": "@summa-tx/bitcoin-spv-sol/contracts/SafeMath.sol", "ast": { "absolutePath": "@summa-tx/bitcoin-spv-sol/contracts/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 4366 ] }, "id": 4367, "nodeType": "SourceUnit", "nodes": [ { "id": 4271, "literals": [ "solidity", "^", "0.5", ".10" ], "nodeType": "PragmaDirective", "src": "0:24:7" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath\n@dev Math operations with safety checks that throw on error", "fullyImplemented": true, "id": 4366, "linearizedBaseContracts": [ 4366 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 4304, "nodeType": "Block", "src": "1388:385:7", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4282, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4280, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4273, "src": "1619:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 4281, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1625:1:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1619:7:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 4286, "nodeType": "IfStatement", "src": "1615:46:7", "trueBody": { "id": 4285, "nodeType": "Block", "src": "1628:33:7", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 4283, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1649:1:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 4279, "id": 4284, "nodeType": "Return", "src": "1642:8:7" } ] } }, { "expression": { "argumentTypes": null, "id": 4291, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 4287, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4278, "src": "1671:1:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4290, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4288, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4273, "src": "1675:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 4289, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4275, "src": "1680:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1675:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1671:11:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 4292, "nodeType": "ExpressionStatement", "src": "1671:11:7" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4298, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4296, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4294, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4278, "src": "1700:1:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 4295, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4273, "src": "1704:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1700:6:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 4297, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4275, "src": "1710:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1700:12:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4f766572666c6f7720647572696e67206d756c7469706c69636174696f6e2e", "id": 4299, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1714:33:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_ba0a2bc64fde93da03b25da14ae6ac8bd2ee8b9e52463015842b4eeadd2272fd", "typeString": "literal_string \"Overflow during multiplication.\"" }, "value": "Overflow during multiplication." } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_ba0a2bc64fde93da03b25da14ae6ac8bd2ee8b9e52463015842b4eeadd2272fd", "typeString": "literal_string \"Overflow during multiplication.\"" } ], "id": 4293, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 5026, 5027 ], "referencedDeclaration": 5027, "src": "1692:7:7", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 4300, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1692:56:7", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4301, "nodeType": "ExpressionStatement", "src": "1692:56:7" }, { "expression": { "argumentTypes": null, "id": 4302, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4278, "src": "1765:1:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 4279, "id": 4303, "nodeType": "Return", "src": "1758:8:7" } ] }, "documentation": "@dev Multiplies two numbers, throws on overflow.", "id": 4305, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 4276, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4273, "name": "_a", "nodeType": "VariableDeclaration", "scope": 4305, "src": "1330:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4272, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1330:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 4275, "name": "_b", "nodeType": "VariableDeclaration", "scope": 4305, "src": "1342:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4274, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1342:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1329:24:7" }, "returnParameters": { "id": 4279, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4278, "name": "c", "nodeType": "VariableDeclaration", "scope": 4305, "src": "1377:9:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4277, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1377:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1376:11:7" }, "scope": 4366, "src": "1317:456:7", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 4318, "nodeType": "Block", "src": "1934:232:7", "statements": [ { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4316, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4314, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4307, "src": "2152:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 4315, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4309, "src": "2157:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2152:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 4313, "id": 4317, "nodeType": "Return", "src": "2145:14:7" } ] }, "documentation": "@dev Integer division of two numbers, truncating the quotient.", "id": 4319, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 4310, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4307, "name": "_a", "nodeType": "VariableDeclaration", "scope": 4319, "src": "1878:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4306, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1878:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 4309, "name": "_b", "nodeType": "VariableDeclaration", "scope": 4319, "src": "1890:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4308, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1890:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1877:24:7" }, "returnParameters": { "id": 4313, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4312, "name": "", "nodeType": "VariableDeclaration", "scope": 4319, "src": "1925:7:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4311, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1925:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1924:9:7" }, "scope": 4366, "src": "1865:301:7", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 4339, "nodeType": "Block", "src": "2357:91:7", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4331, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4329, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4323, "src": "2375:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 4330, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4321, "src": "2381:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2375:8:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "556e646572666c6f7720647572696e67207375627472616374696f6e2e", "id": 4332, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2385:31:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_3f07ec8ec696bed525128e54888c3199e6c1842c68393ede0d46ce9e0c636998", "typeString": "literal_string \"Underflow during subtraction.\"" }, "value": "Underflow during subtraction." } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_3f07ec8ec696bed525128e54888c3199e6c1842c68393ede0d46ce9e0c636998", "typeString": "literal_string \"Underflow during subtraction.\"" } ], "id": 4328, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 5026, 5027 ], "referencedDeclaration": 5027, "src": "2367:7:7", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 4333, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2367:50:7", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4334, "nodeType": "ExpressionStatement", "src": "2367:50:7" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4337, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4335, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4321, "src": "2434:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 4336, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4323, "src": "2439:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2434:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 4327, "id": 4338, "nodeType": "Return", "src": "2427:14:7" } ] }, "documentation": "@dev Subtracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend).", "id": 4340, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 4324, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4321, "name": "_a", "nodeType": "VariableDeclaration", "scope": 4340, "src": "2301:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4320, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2301:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 4323, "name": "_b", "nodeType": "VariableDeclaration", "scope": 4340, "src": "2313:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4322, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2313:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2300:24:7" }, "returnParameters": { "id": 4327, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4326, "name": "", "nodeType": "VariableDeclaration", "scope": 4340, "src": "2348:7:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4325, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2348:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2347:9:7" }, "scope": 4366, "src": "2288:160:7", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 4364, "nodeType": "Block", "src": "2591:101:7", "statements": [ { "expression": { "argumentTypes": null, "id": 4353, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 4349, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4347, "src": "2601:1:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4352, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4350, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4342, "src": "2605:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 4351, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4344, "src": "2610:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2605:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2601:11:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 4354, "nodeType": "ExpressionStatement", "src": "2601:11:7" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4358, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4356, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4347, "src": "2630:1:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 4357, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4342, "src": "2635:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2630:7:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4f766572666c6f7720647572696e67206164646974696f6e2e", "id": 4359, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2639:27:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_d421e0463b1281311e0cc27f6e2ed63272137dbcd06f02e8ae9d697a2979f8e3", "typeString": "literal_string \"Overflow during addition.\"" }, "value": "Overflow during addition." } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_d421e0463b1281311e0cc27f6e2ed63272137dbcd06f02e8ae9d697a2979f8e3", "typeString": "literal_string \"Overflow during addition.\"" } ], "id": 4355, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 5026, 5027 ], "referencedDeclaration": 5027, "src": "2622:7:7", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 4360, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2622:45:7", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4361, "nodeType": "ExpressionStatement", "src": "2622:45:7" }, { "expression": { "argumentTypes": null, "id": 4362, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4347, "src": "2684:1:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 4348, "id": 4363, "nodeType": "Return", "src": "2677:8:7" } ] }, "documentation": "@dev Adds two numbers, throws on overflow.", "id": 4365, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 4345, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4342, "name": "_a", "nodeType": "VariableDeclaration", "scope": 4365, "src": "2533:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4341, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2533:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 4344, "name": "_b", "nodeType": "VariableDeclaration", "scope": 4365, "src": "2545:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4343, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2545:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2532:24:7" }, "returnParameters": { "id": 4348, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4347, "name": "c", "nodeType": "VariableDeclaration", "scope": 4365, "src": "2580:9:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4346, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2580:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2579:11:7" }, "scope": 4366, "src": "2520:172:7", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 4367, "src": "1221:1473:7" } ], "src": "0:2695:7" }, "legacyAST": { "absolutePath": "@summa-tx/bitcoin-spv-sol/contracts/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 4366 ] }, "id": 4367, "nodeType": "SourceUnit", "nodes": [ { "id": 4271, "literals": [ "solidity", "^", "0.5", ".10" ], "nodeType": "PragmaDirective", "src": "0:24:7" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath\n@dev Math operations with safety checks that throw on error", "fullyImplemented": true, "id": 4366, "linearizedBaseContracts": [ 4366 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 4304, "nodeType": "Block", "src": "1388:385:7", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4282, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4280, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4273, "src": "1619:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 4281, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1625:1:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1619:7:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 4286, "nodeType": "IfStatement", "src": "1615:46:7", "trueBody": { "id": 4285, "nodeType": "Block", "src": "1628:33:7", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 4283, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1649:1:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 4279, "id": 4284, "nodeType": "Return", "src": "1642:8:7" } ] } }, { "expression": { "argumentTypes": null, "id": 4291, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 4287, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4278, "src": "1671:1:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4290, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4288, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4273, "src": "1675:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 4289, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4275, "src": "1680:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1675:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1671:11:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 4292, "nodeType": "ExpressionStatement", "src": "1671:11:7" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4298, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4296, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4294, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4278, "src": "1700:1:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 4295, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4273, "src": "1704:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1700:6:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 4297, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4275, "src": "1710:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1700:12:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4f766572666c6f7720647572696e67206d756c7469706c69636174696f6e2e", "id": 4299, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1714:33:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_ba0a2bc64fde93da03b25da14ae6ac8bd2ee8b9e52463015842b4eeadd2272fd", "typeString": "literal_string \"Overflow during multiplication.\"" }, "value": "Overflow during multiplication." } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_ba0a2bc64fde93da03b25da14ae6ac8bd2ee8b9e52463015842b4eeadd2272fd", "typeString": "literal_string \"Overflow during multiplication.\"" } ], "id": 4293, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 5026, 5027 ], "referencedDeclaration": 5027, "src": "1692:7:7", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 4300, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1692:56:7", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4301, "nodeType": "ExpressionStatement", "src": "1692:56:7" }, { "expression": { "argumentTypes": null, "id": 4302, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4278, "src": "1765:1:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 4279, "id": 4303, "nodeType": "Return", "src": "1758:8:7" } ] }, "documentation": "@dev Multiplies two numbers, throws on overflow.", "id": 4305, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 4276, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4273, "name": "_a", "nodeType": "VariableDeclaration", "scope": 4305, "src": "1330:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4272, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1330:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 4275, "name": "_b", "nodeType": "VariableDeclaration", "scope": 4305, "src": "1342:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4274, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1342:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1329:24:7" }, "returnParameters": { "id": 4279, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4278, "name": "c", "nodeType": "VariableDeclaration", "scope": 4305, "src": "1377:9:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4277, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1377:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1376:11:7" }, "scope": 4366, "src": "1317:456:7", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 4318, "nodeType": "Block", "src": "1934:232:7", "statements": [ { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4316, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4314, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4307, "src": "2152:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 4315, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4309, "src": "2157:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2152:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 4313, "id": 4317, "nodeType": "Return", "src": "2145:14:7" } ] }, "documentation": "@dev Integer division of two numbers, truncating the quotient.", "id": 4319, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 4310, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4307, "name": "_a", "nodeType": "VariableDeclaration", "scope": 4319, "src": "1878:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4306, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1878:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 4309, "name": "_b", "nodeType": "VariableDeclaration", "scope": 4319, "src": "1890:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4308, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1890:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1877:24:7" }, "returnParameters": { "id": 4313, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4312, "name": "", "nodeType": "VariableDeclaration", "scope": 4319, "src": "1925:7:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4311, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1925:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1924:9:7" }, "scope": 4366, "src": "1865:301:7", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 4339, "nodeType": "Block", "src": "2357:91:7", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4331, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4329, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4323, "src": "2375:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 4330, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4321, "src": "2381:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2375:8:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "556e646572666c6f7720647572696e67207375627472616374696f6e2e", "id": 4332, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2385:31:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_3f07ec8ec696bed525128e54888c3199e6c1842c68393ede0d46ce9e0c636998", "typeString": "literal_string \"Underflow during subtraction.\"" }, "value": "Underflow during subtraction." } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_3f07ec8ec696bed525128e54888c3199e6c1842c68393ede0d46ce9e0c636998", "typeString": "literal_string \"Underflow during subtraction.\"" } ], "id": 4328, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 5026, 5027 ], "referencedDeclaration": 5027, "src": "2367:7:7", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 4333, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2367:50:7", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4334, "nodeType": "ExpressionStatement", "src": "2367:50:7" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4337, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4335, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4321, "src": "2434:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 4336, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4323, "src": "2439:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2434:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 4327, "id": 4338, "nodeType": "Return", "src": "2427:14:7" } ] }, "documentation": "@dev Subtracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend).", "id": 4340, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 4324, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4321, "name": "_a", "nodeType": "VariableDeclaration", "scope": 4340, "src": "2301:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4320, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2301:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 4323, "name": "_b", "nodeType": "VariableDeclaration", "scope": 4340, "src": "2313:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4322, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2313:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2300:24:7" }, "returnParameters": { "id": 4327, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4326, "name": "", "nodeType": "VariableDeclaration", "scope": 4340, "src": "2348:7:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4325, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2348:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2347:9:7" }, "scope": 4366, "src": "2288:160:7", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 4364, "nodeType": "Block", "src": "2591:101:7", "statements": [ { "expression": { "argumentTypes": null, "id": 4353, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 4349, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4347, "src": "2601:1:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4352, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4350, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4342, "src": "2605:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 4351, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4344, "src": "2610:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2605:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2601:11:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 4354, "nodeType": "ExpressionStatement", "src": "2601:11:7" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4358, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4356, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4347, "src": "2630:1:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 4357, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4342, "src": "2635:2:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2630:7:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4f766572666c6f7720647572696e67206164646974696f6e2e", "id": 4359, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2639:27:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_d421e0463b1281311e0cc27f6e2ed63272137dbcd06f02e8ae9d697a2979f8e3", "typeString": "literal_string \"Overflow during addition.\"" }, "value": "Overflow during addition." } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_d421e0463b1281311e0cc27f6e2ed63272137dbcd06f02e8ae9d697a2979f8e3", "typeString": "literal_string \"Overflow during addition.\"" } ], "id": 4355, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 5026, 5027 ], "referencedDeclaration": 5027, "src": "2622:7:7", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 4360, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2622:45:7", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4361, "nodeType": "ExpressionStatement", "src": "2622:45:7" }, { "expression": { "argumentTypes": null, "id": 4362, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4347, "src": "2684:1:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 4348, "id": 4363, "nodeType": "Return", "src": "2677:8:7" } ] }, "documentation": "@dev Adds two numbers, throws on overflow.", "id": 4365, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 4345, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4342, "name": "_a", "nodeType": "VariableDeclaration", "scope": 4365, "src": "2533:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4341, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2533:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 4344, "name": "_b", "nodeType": "VariableDeclaration", "scope": 4365, "src": "2545:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4343, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2545:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2532:24:7" }, "returnParameters": { "id": 4348, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4347, "name": "c", "nodeType": "VariableDeclaration", "scope": 4365, "src": "2580:9:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4346, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2580:7:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2579:11:7" }, "scope": 4366, "src": "2520:172:7", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 4367, "src": "1221:1473:7" } ], "src": "0:2695:7" }, "compiler": { "name": "solc", "version": "0.5.10+commit.5a6ea5b1.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.0.23", "updatedAt": "2020-04-08T00:07:28.201Z", "devdoc": { "details": "Math operations with safety checks that throw on error", "methods": {}, "title": "SafeMath" }, "userdoc": { "methods": {} } }