{ "contractName": "SignedSafeMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.6.11+commit.5ef660b1\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"details\":\"Signed math operations with safety checks that revert on error.\",\"kind\":\"dev\",\"methods\":{},\"title\":\"SignedSafeMath\",\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"openzeppelin-solidity/contracts/math/SignedSafeMath.sol\":\"SignedSafeMath\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"openzeppelin-solidity/contracts/math/SignedSafeMath.sol\":{\"keccak256\":\"0xb2db870ccd849f107e3196d346fc4983eb9a041d117b9ff3a53950df606658b7\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://0add6dbdceb130d5cd140b8106e7884606dce98e817b3547e0967b76921bd473\",\"dweb:/ipfs/QmRUhmQKxoVFhHaQKHPNUYeSty1rw9TDcDPB5PdDUkqvbg\"]}},\"version\":1}", "bytecode": "0x60566023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220aa434b8aef06456a661c4c3f4d82e41396e4d3d9300c9b676435389326bac00564736f6c634300060b0033", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220aa434b8aef06456a661c4c3f4d82e41396e4d3d9300c9b676435389326bac00564736f6c634300060b0033", "immutableReferences": {}, "sourceMap": "163:1700:118:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "deployedSourceMap": "163:1700:118:-:0;;;;;;;;", "source": "// SPDX-License-Identifier: MIT\n\npragma solidity ^0.6.0;\n\n/**\n * @title SignedSafeMath\n * @dev Signed math operations with safety checks that revert on error.\n */\nlibrary SignedSafeMath {\n int256 constant private _INT256_MIN = -2**255;\n\n /**\n * @dev Multiplies two signed integers, reverts on overflow.\n */\n function mul(int256 a, int256 b) internal pure returns (int256) {\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-contracts/pull/522\n if (a == 0) {\n return 0;\n }\n\n require(!(a == -1 && b == _INT256_MIN), \"SignedSafeMath: multiplication overflow\");\n\n int256 c = a * b;\n require(c / a == b, \"SignedSafeMath: multiplication overflow\");\n\n return c;\n }\n\n /**\n * @dev Integer division of two signed integers truncating the quotient, reverts on division by zero.\n */\n function div(int256 a, int256 b) internal pure returns (int256) {\n require(b != 0, \"SignedSafeMath: division by zero\");\n require(!(b == -1 && a == _INT256_MIN), \"SignedSafeMath: division overflow\");\n\n int256 c = a / b;\n\n return c;\n }\n\n /**\n * @dev Subtracts two signed integers, reverts on overflow.\n */\n function sub(int256 a, int256 b) internal pure returns (int256) {\n int256 c = a - b;\n require((b >= 0 && c <= a) || (b < 0 && c > a), \"SignedSafeMath: subtraction overflow\");\n\n return c;\n }\n\n /**\n * @dev Adds two signed integers, reverts on overflow.\n */\n function add(int256 a, int256 b) internal pure returns (int256) {\n int256 c = a + b;\n require((b >= 0 && c >= a) || (b < 0 && c < a), \"SignedSafeMath: addition overflow\");\n\n return c;\n }\n}\n", "sourcePath": "openzeppelin-solidity/contracts/math/SignedSafeMath.sol", "ast": { "absolutePath": "openzeppelin-solidity/contracts/math/SignedSafeMath.sol", "exportedSymbols": { "SignedSafeMath": [ 38860 ] }, "id": 38861, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 38683, "literals": [ "solidity", "^", "0.6", ".0" ], "nodeType": "PragmaDirective", "src": "33:23:118" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 38684, "nodeType": "StructuredDocumentation", "src": "58:104:118", "text": " @title SignedSafeMath\n @dev Signed math operations with safety checks that revert on error." }, "fullyImplemented": true, "id": 38860, "linearizedBaseContracts": [ 38860 ], "name": "SignedSafeMath", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 38690, "mutability": "constant", "name": "_INT256_MIN", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38860, "src": "192:45:118", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38685, "name": "int256", "nodeType": "ElementaryTypeName", "src": "192:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" }, "id": 38689, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38687, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "230:2:118", "subExpression": { "argumentTypes": null, "hexValue": "32", "id": 38686, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "231:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_2_by_1", "typeString": "int_const -2" } }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "hexValue": "323535", "id": 38688, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "234:3:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_255_by_1", "typeString": "int_const 255" }, "value": "255" }, "src": "230:7:118", "typeDescriptions": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" } }, "visibility": "private" }, { "body": { "id": 38738, "nodeType": "Block", "src": "389:490:118", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38702, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38700, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38693, "src": "621:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 38701, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "626:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "621:6:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 38706, "nodeType": "IfStatement", "src": "617:45:118", "trueBody": { "id": 38705, "nodeType": "Block", "src": "629:33:118", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 38703, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "650:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 38699, "id": 38704, "nodeType": "Return", "src": "643:8:118" } ] } }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 38717, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "680:30:118", "subExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38715, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38711, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38708, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38693, "src": "682:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 38710, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "687:2:118", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 38709, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "688:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } }, "src": "682:7:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38714, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38712, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38695, "src": "693:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 38713, "name": "_INT256_MIN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38690, "src": "698:11:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "693:16:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "682:27:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 38716, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "681:29:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77", "id": 38718, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "712:41:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_a608fbdf6cc4ee9c43b141f63e234f4edb26cfb78aba3140cfd865641cb2c954", "typeString": "literal_string \"SignedSafeMath: multiplication overflow\"" }, "value": "SignedSafeMath: multiplication overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_a608fbdf6cc4ee9c43b141f63e234f4edb26cfb78aba3140cfd865641cb2c954", "typeString": "literal_string \"SignedSafeMath: multiplication overflow\"" } ], "id": 38707, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "672:7:118", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 38719, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "672:82:118", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 38720, "nodeType": "ExpressionStatement", "src": "672:82:118" }, { "assignments": [ 38722 ], "declarations": [ { "constant": false, "id": 38722, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38738, "src": "765:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38721, "name": "int256", "nodeType": "ElementaryTypeName", "src": "765:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 38726, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38725, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38723, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38693, "src": "776:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 38724, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38695, "src": "780:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "776:5:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "765:16:118" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38732, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38730, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38728, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38722, "src": "799:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 38729, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38693, "src": "803:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "799:5:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 38731, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38695, "src": "808:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "799:10:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77", "id": 38733, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "811:41:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_a608fbdf6cc4ee9c43b141f63e234f4edb26cfb78aba3140cfd865641cb2c954", "typeString": "literal_string \"SignedSafeMath: multiplication overflow\"" }, "value": "SignedSafeMath: multiplication overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_a608fbdf6cc4ee9c43b141f63e234f4edb26cfb78aba3140cfd865641cb2c954", "typeString": "literal_string \"SignedSafeMath: multiplication overflow\"" } ], "id": 38727, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "791:7:118", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 38734, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "791:62:118", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 38735, "nodeType": "ExpressionStatement", "src": "791:62:118" }, { "expression": { "argumentTypes": null, "id": 38736, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38722, "src": "871:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 38699, "id": 38737, "nodeType": "Return", "src": "864:8:118" } ] }, "documentation": { "id": 38691, "nodeType": "StructuredDocumentation", "src": "244:76:118", "text": " @dev Multiplies two signed integers, reverts on overflow." }, "id": 38739, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 38696, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 38693, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38739, "src": "338:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38692, "name": "int256", "nodeType": "ElementaryTypeName", "src": "338:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 38695, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38739, "src": "348:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38694, "name": "int256", "nodeType": "ElementaryTypeName", "src": "348:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "337:20:118" }, "returnParameters": { "id": 38699, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 38698, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38739, "src": "381:6:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38697, "name": "int256", "nodeType": "ElementaryTypeName", "src": "381:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "380:8:118" }, "scope": 38860, "src": "325:554:118", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 38778, "nodeType": "Block", "src": "1071:200:118", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38752, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38750, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38744, "src": "1089:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 38751, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1094:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1089:6:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a206469766973696f6e206279207a65726f", "id": 38753, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1097:34:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_ebc4d0068c2e029285c70894a725032247a74fcdc822ba305ea67dbddf7750bd", "typeString": "literal_string \"SignedSafeMath: division by zero\"" }, "value": "SignedSafeMath: division by zero" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_ebc4d0068c2e029285c70894a725032247a74fcdc822ba305ea67dbddf7750bd", "typeString": "literal_string \"SignedSafeMath: division by zero\"" } ], "id": 38749, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1081:7:118", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 38754, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1081:51:118", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 38755, "nodeType": "ExpressionStatement", "src": "1081:51:118" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 38766, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "1150:30:118", "subExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38764, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38760, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38757, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38744, "src": "1152:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 38759, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "1157:2:118", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 38758, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1158:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } }, "src": "1152:7:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38763, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38761, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38742, "src": "1163:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 38762, "name": "_INT256_MIN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38690, "src": "1168:11:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1163:16:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1152:27:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 38765, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1151:29:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a206469766973696f6e206f766572666c6f77", "id": 38767, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1182:35:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_7bc0f3df013376568eb9f7cb8999198097051f79bdb4d07d83447767f5224b81", "typeString": "literal_string \"SignedSafeMath: division overflow\"" }, "value": "SignedSafeMath: division overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_7bc0f3df013376568eb9f7cb8999198097051f79bdb4d07d83447767f5224b81", "typeString": "literal_string \"SignedSafeMath: division overflow\"" } ], "id": 38756, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1142:7:118", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 38768, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1142:76:118", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 38769, "nodeType": "ExpressionStatement", "src": "1142:76:118" }, { "assignments": [ 38771 ], "declarations": [ { "constant": false, "id": 38771, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38778, "src": "1229:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38770, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1229:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 38775, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38774, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38772, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38742, "src": "1240:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 38773, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38744, "src": "1244:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1240:5:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "1229:16:118" }, { "expression": { "argumentTypes": null, "id": 38776, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38771, "src": "1263:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 38748, "id": 38777, "nodeType": "Return", "src": "1256:8:118" } ] }, "documentation": { "id": 38740, "nodeType": "StructuredDocumentation", "src": "885:117:118", "text": " @dev Integer division of two signed integers truncating the quotient, reverts on division by zero." }, "id": 38779, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 38745, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 38742, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38779, "src": "1020:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38741, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1020:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 38744, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38779, "src": "1030:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38743, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1030:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1019:20:118" }, "returnParameters": { "id": 38748, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 38747, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38779, "src": "1063:6:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38746, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1063:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1062:8:118" }, "scope": 38860, "src": "1007:264:118", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 38818, "nodeType": "Block", "src": "1421:149:118", "statements": [ { "assignments": [ 38790 ], "declarations": [ { "constant": false, "id": 38790, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38818, "src": "1431:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38789, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1431:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 38794, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38793, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38791, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38782, "src": "1442:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 38792, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38784, "src": "1446:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1442:5:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "1431:16:118" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38812, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38802, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38798, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38796, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38784, "src": "1466:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 38797, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1471:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1466:6:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38801, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38799, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38790, "src": "1476:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 38800, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38782, "src": "1481:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1476:6:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1466:16:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 38803, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1465:18:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38810, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38806, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38804, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38784, "src": "1488:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 38805, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1492:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1488:5:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38809, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38807, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38790, "src": "1497:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 38808, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38782, "src": "1501:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1497:5:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1488:14:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 38811, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1487:16:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1465:38:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a207375627472616374696f6e206f766572666c6f77", "id": 38813, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1505:38:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_dfe37ab0612d67daeef366062296f3ebcaf7e2cc3eb392bf66a6cb5a7bed3bcd", "typeString": "literal_string \"SignedSafeMath: subtraction overflow\"" }, "value": "SignedSafeMath: subtraction overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_dfe37ab0612d67daeef366062296f3ebcaf7e2cc3eb392bf66a6cb5a7bed3bcd", "typeString": "literal_string \"SignedSafeMath: subtraction overflow\"" } ], "id": 38795, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1457:7:118", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 38814, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1457:87:118", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 38815, "nodeType": "ExpressionStatement", "src": "1457:87:118" }, { "expression": { "argumentTypes": null, "id": 38816, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38790, "src": "1562:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 38788, "id": 38817, "nodeType": "Return", "src": "1555:8:118" } ] }, "documentation": { "id": 38780, "nodeType": "StructuredDocumentation", "src": "1277:75:118", "text": " @dev Subtracts two signed integers, reverts on overflow." }, "id": 38819, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 38785, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 38782, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38819, "src": "1370:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38781, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1370:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 38784, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38819, "src": "1380:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38783, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1380:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1369:20:118" }, "returnParameters": { "id": 38788, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 38787, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38819, "src": "1413:6:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38786, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1413:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1412:8:118" }, "scope": 38860, "src": "1357:213:118", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 38858, "nodeType": "Block", "src": "1715:146:118", "statements": [ { "assignments": [ 38830 ], "declarations": [ { "constant": false, "id": 38830, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38858, "src": "1725:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38829, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1725:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 38834, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38833, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38831, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38822, "src": "1736:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 38832, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38824, "src": "1740:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1736:5:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "1725:16:118" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38852, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38842, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38838, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38836, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38824, "src": "1760:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 38837, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1765:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1760:6:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38841, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38839, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38830, "src": "1770:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 38840, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38822, "src": "1775:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1770:6:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1760:16:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 38843, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1759:18:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38850, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38846, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38844, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38824, "src": "1782:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 38845, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1786:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1782:5:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38849, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38847, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38830, "src": "1791:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 38848, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38822, "src": "1795:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1791:5:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1782:14:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 38851, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1781:16:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1759:38:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a206164646974696f6e206f766572666c6f77", "id": 38853, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1799:35:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_47c8d4a3974eee4fcf9925cffefc088ed6ac723b55fb65cf621edb1b7db7b8eb", "typeString": "literal_string \"SignedSafeMath: addition overflow\"" }, "value": "SignedSafeMath: addition overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_47c8d4a3974eee4fcf9925cffefc088ed6ac723b55fb65cf621edb1b7db7b8eb", "typeString": "literal_string \"SignedSafeMath: addition overflow\"" } ], "id": 38835, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1751:7:118", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 38854, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1751:84:118", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 38855, "nodeType": "ExpressionStatement", "src": "1751:84:118" }, { "expression": { "argumentTypes": null, "id": 38856, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38830, "src": "1853:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 38828, "id": 38857, "nodeType": "Return", "src": "1846:8:118" } ] }, "documentation": { "id": 38820, "nodeType": "StructuredDocumentation", "src": "1576:70:118", "text": " @dev Adds two signed integers, reverts on overflow." }, "id": 38859, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 38825, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 38822, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38859, "src": "1664:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38821, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1664:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 38824, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38859, "src": "1674:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38823, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1674:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1663:20:118" }, "returnParameters": { "id": 38828, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 38827, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38859, "src": "1707:6:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38826, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1707:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1706:8:118" }, "scope": 38860, "src": "1651:210:118", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 38861, "src": "163:1700:118" } ], "src": "33:1831:118" }, "legacyAST": { "absolutePath": "openzeppelin-solidity/contracts/math/SignedSafeMath.sol", "exportedSymbols": { "SignedSafeMath": [ 38860 ] }, "id": 38861, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 38683, "literals": [ "solidity", "^", "0.6", ".0" ], "nodeType": "PragmaDirective", "src": "33:23:118" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 38684, "nodeType": "StructuredDocumentation", "src": "58:104:118", "text": " @title SignedSafeMath\n @dev Signed math operations with safety checks that revert on error." }, "fullyImplemented": true, "id": 38860, "linearizedBaseContracts": [ 38860 ], "name": "SignedSafeMath", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 38690, "mutability": "constant", "name": "_INT256_MIN", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38860, "src": "192:45:118", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38685, "name": "int256", "nodeType": "ElementaryTypeName", "src": "192:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" }, "id": 38689, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38687, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "230:2:118", "subExpression": { "argumentTypes": null, "hexValue": "32", "id": 38686, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "231:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_2_by_1", "typeString": "int_const -2" } }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "hexValue": "323535", "id": 38688, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "234:3:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_255_by_1", "typeString": "int_const 255" }, "value": "255" }, "src": "230:7:118", "typeDescriptions": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" } }, "visibility": "private" }, { "body": { "id": 38738, "nodeType": "Block", "src": "389:490:118", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38702, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38700, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38693, "src": "621:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 38701, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "626:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "621:6:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 38706, "nodeType": "IfStatement", "src": "617:45:118", "trueBody": { "id": 38705, "nodeType": "Block", "src": "629:33:118", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 38703, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "650:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 38699, "id": 38704, "nodeType": "Return", "src": "643:8:118" } ] } }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 38717, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "680:30:118", "subExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38715, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38711, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38708, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38693, "src": "682:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 38710, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "687:2:118", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 38709, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "688:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } }, "src": "682:7:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38714, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38712, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38695, "src": "693:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 38713, "name": "_INT256_MIN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38690, "src": "698:11:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "693:16:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "682:27:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 38716, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "681:29:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77", "id": 38718, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "712:41:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_a608fbdf6cc4ee9c43b141f63e234f4edb26cfb78aba3140cfd865641cb2c954", "typeString": "literal_string \"SignedSafeMath: multiplication overflow\"" }, "value": "SignedSafeMath: multiplication overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_a608fbdf6cc4ee9c43b141f63e234f4edb26cfb78aba3140cfd865641cb2c954", "typeString": "literal_string \"SignedSafeMath: multiplication overflow\"" } ], "id": 38707, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "672:7:118", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 38719, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "672:82:118", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 38720, "nodeType": "ExpressionStatement", "src": "672:82:118" }, { "assignments": [ 38722 ], "declarations": [ { "constant": false, "id": 38722, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38738, "src": "765:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38721, "name": "int256", "nodeType": "ElementaryTypeName", "src": "765:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 38726, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38725, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38723, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38693, "src": "776:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 38724, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38695, "src": "780:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "776:5:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "765:16:118" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38732, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38730, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38728, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38722, "src": "799:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 38729, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38693, "src": "803:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "799:5:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 38731, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38695, "src": "808:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "799:10:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77", "id": 38733, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "811:41:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_a608fbdf6cc4ee9c43b141f63e234f4edb26cfb78aba3140cfd865641cb2c954", "typeString": "literal_string \"SignedSafeMath: multiplication overflow\"" }, "value": "SignedSafeMath: multiplication overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_a608fbdf6cc4ee9c43b141f63e234f4edb26cfb78aba3140cfd865641cb2c954", "typeString": "literal_string \"SignedSafeMath: multiplication overflow\"" } ], "id": 38727, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "791:7:118", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 38734, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "791:62:118", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 38735, "nodeType": "ExpressionStatement", "src": "791:62:118" }, { "expression": { "argumentTypes": null, "id": 38736, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38722, "src": "871:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 38699, "id": 38737, "nodeType": "Return", "src": "864:8:118" } ] }, "documentation": { "id": 38691, "nodeType": "StructuredDocumentation", "src": "244:76:118", "text": " @dev Multiplies two signed integers, reverts on overflow." }, "id": 38739, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 38696, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 38693, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38739, "src": "338:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38692, "name": "int256", "nodeType": "ElementaryTypeName", "src": "338:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 38695, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38739, "src": "348:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38694, "name": "int256", "nodeType": "ElementaryTypeName", "src": "348:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "337:20:118" }, "returnParameters": { "id": 38699, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 38698, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38739, "src": "381:6:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38697, "name": "int256", "nodeType": "ElementaryTypeName", "src": "381:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "380:8:118" }, "scope": 38860, "src": "325:554:118", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 38778, "nodeType": "Block", "src": "1071:200:118", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38752, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38750, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38744, "src": "1089:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 38751, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1094:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1089:6:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a206469766973696f6e206279207a65726f", "id": 38753, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1097:34:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_ebc4d0068c2e029285c70894a725032247a74fcdc822ba305ea67dbddf7750bd", "typeString": "literal_string \"SignedSafeMath: division by zero\"" }, "value": "SignedSafeMath: division by zero" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_ebc4d0068c2e029285c70894a725032247a74fcdc822ba305ea67dbddf7750bd", "typeString": "literal_string \"SignedSafeMath: division by zero\"" } ], "id": 38749, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1081:7:118", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 38754, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1081:51:118", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 38755, "nodeType": "ExpressionStatement", "src": "1081:51:118" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 38766, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "1150:30:118", "subExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38764, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38760, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38757, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38744, "src": "1152:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 38759, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "1157:2:118", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 38758, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1158:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } }, "src": "1152:7:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38763, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38761, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38742, "src": "1163:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 38762, "name": "_INT256_MIN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38690, "src": "1168:11:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1163:16:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1152:27:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 38765, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1151:29:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a206469766973696f6e206f766572666c6f77", "id": 38767, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1182:35:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_7bc0f3df013376568eb9f7cb8999198097051f79bdb4d07d83447767f5224b81", "typeString": "literal_string \"SignedSafeMath: division overflow\"" }, "value": "SignedSafeMath: division overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_7bc0f3df013376568eb9f7cb8999198097051f79bdb4d07d83447767f5224b81", "typeString": "literal_string \"SignedSafeMath: division overflow\"" } ], "id": 38756, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1142:7:118", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 38768, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1142:76:118", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 38769, "nodeType": "ExpressionStatement", "src": "1142:76:118" }, { "assignments": [ 38771 ], "declarations": [ { "constant": false, "id": 38771, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38778, "src": "1229:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38770, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1229:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 38775, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38774, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38772, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38742, "src": "1240:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 38773, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38744, "src": "1244:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1240:5:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "1229:16:118" }, { "expression": { "argumentTypes": null, "id": 38776, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38771, "src": "1263:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 38748, "id": 38777, "nodeType": "Return", "src": "1256:8:118" } ] }, "documentation": { "id": 38740, "nodeType": "StructuredDocumentation", "src": "885:117:118", "text": " @dev Integer division of two signed integers truncating the quotient, reverts on division by zero." }, "id": 38779, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 38745, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 38742, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38779, "src": "1020:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38741, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1020:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 38744, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38779, "src": "1030:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38743, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1030:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1019:20:118" }, "returnParameters": { "id": 38748, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 38747, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38779, "src": "1063:6:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38746, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1063:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1062:8:118" }, "scope": 38860, "src": "1007:264:118", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 38818, "nodeType": "Block", "src": "1421:149:118", "statements": [ { "assignments": [ 38790 ], "declarations": [ { "constant": false, "id": 38790, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38818, "src": "1431:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38789, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1431:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 38794, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38793, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38791, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38782, "src": "1442:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 38792, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38784, "src": "1446:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1442:5:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "1431:16:118" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38812, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38802, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38798, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38796, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38784, "src": "1466:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 38797, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1471:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1466:6:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38801, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38799, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38790, "src": "1476:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 38800, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38782, "src": "1481:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1476:6:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1466:16:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 38803, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1465:18:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38810, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38806, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38804, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38784, "src": "1488:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 38805, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1492:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1488:5:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38809, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38807, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38790, "src": "1497:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 38808, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38782, "src": "1501:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1497:5:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1488:14:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 38811, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1487:16:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1465:38:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a207375627472616374696f6e206f766572666c6f77", "id": 38813, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1505:38:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_dfe37ab0612d67daeef366062296f3ebcaf7e2cc3eb392bf66a6cb5a7bed3bcd", "typeString": "literal_string \"SignedSafeMath: subtraction overflow\"" }, "value": "SignedSafeMath: subtraction overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_dfe37ab0612d67daeef366062296f3ebcaf7e2cc3eb392bf66a6cb5a7bed3bcd", "typeString": "literal_string \"SignedSafeMath: subtraction overflow\"" } ], "id": 38795, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1457:7:118", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 38814, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1457:87:118", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 38815, "nodeType": "ExpressionStatement", "src": "1457:87:118" }, { "expression": { "argumentTypes": null, "id": 38816, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38790, "src": "1562:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 38788, "id": 38817, "nodeType": "Return", "src": "1555:8:118" } ] }, "documentation": { "id": 38780, "nodeType": "StructuredDocumentation", "src": "1277:75:118", "text": " @dev Subtracts two signed integers, reverts on overflow." }, "id": 38819, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 38785, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 38782, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38819, "src": "1370:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38781, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1370:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 38784, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38819, "src": "1380:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38783, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1380:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1369:20:118" }, "returnParameters": { "id": 38788, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 38787, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38819, "src": "1413:6:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38786, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1413:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1412:8:118" }, "scope": 38860, "src": "1357:213:118", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 38858, "nodeType": "Block", "src": "1715:146:118", "statements": [ { "assignments": [ 38830 ], "declarations": [ { "constant": false, "id": 38830, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38858, "src": "1725:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38829, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1725:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 38834, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38833, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38831, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38822, "src": "1736:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 38832, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38824, "src": "1740:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1736:5:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "1725:16:118" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38852, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38842, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38838, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38836, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38824, "src": "1760:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 38837, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1765:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1760:6:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38841, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38839, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38830, "src": "1770:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 38840, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38822, "src": "1775:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1770:6:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1760:16:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 38843, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1759:18:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38850, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38846, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38844, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38824, "src": "1782:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 38845, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1786:1:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1782:5:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 38849, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 38847, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38830, "src": "1791:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 38848, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38822, "src": "1795:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1791:5:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1782:14:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 38851, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1781:16:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1759:38:118", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a206164646974696f6e206f766572666c6f77", "id": 38853, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1799:35:118", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_47c8d4a3974eee4fcf9925cffefc088ed6ac723b55fb65cf621edb1b7db7b8eb", "typeString": "literal_string \"SignedSafeMath: addition overflow\"" }, "value": "SignedSafeMath: addition overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_47c8d4a3974eee4fcf9925cffefc088ed6ac723b55fb65cf621edb1b7db7b8eb", "typeString": "literal_string \"SignedSafeMath: addition overflow\"" } ], "id": 38835, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1751:7:118", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 38854, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1751:84:118", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 38855, "nodeType": "ExpressionStatement", "src": "1751:84:118" }, { "expression": { "argumentTypes": null, "id": 38856, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38830, "src": "1853:1:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 38828, "id": 38857, "nodeType": "Return", "src": "1846:8:118" } ] }, "documentation": { "id": 38820, "nodeType": "StructuredDocumentation", "src": "1576:70:118", "text": " @dev Adds two signed integers, reverts on overflow." }, "id": 38859, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 38825, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 38822, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38859, "src": "1664:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38821, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1664:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 38824, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38859, "src": "1674:8:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38823, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1674:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1663:20:118" }, "returnParameters": { "id": 38828, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 38827, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 38859, "src": "1707:6:118", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 38826, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1707:6:118", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1706:8:118" }, "scope": 38860, "src": "1651:210:118", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 38861, "src": "163:1700:118" } ], "src": "33:1831:118" }, "compiler": { "name": "solc", "version": "0.6.11+commit.5ef660b1.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.2.0", "updatedAt": "2020-08-12T09:47:18.538Z", "devdoc": { "details": "Signed math operations with safety checks that revert on error.", "kind": "dev", "methods": {}, "title": "SignedSafeMath", "version": 1 }, "userdoc": { "kind": "user", "methods": {}, "version": 1 } }