@aragon/apps-payroll

{ "contractName": "SafeMath", "abi": [], "bytecode": "0x604c602c600b82828239805160001a60731460008114601c57601e565bfe5b5030600052607381538281f30073000000000000000000000000000000000000000030146080604052600080fd00a165627a7a72305820658f4786feb4ea6d904d7a43ca162e69e5a011b8ed4eb37a3e673f930e1f61330029", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fd00a165627a7a72305820658f4786feb4ea6d904d7a43ca162e69e5a011b8ed4eb37a3e673f930e1f61330029", "sourceMap": "316:2063:59:-;;132:2:-1;166:7;155:9;146:7;137:37;252:7;246:14;243:1;238:23;232:4;229:33;270:1;265:20;;;;222:63;;265:20;274:9;222:63;;298:9;295:1;288:20;328:4;319:7;311:22;352:7;343;336:24", "deployedSourceMap": "316:2063:59:-;;;;;;;;", "source": "// See https://github.com/OpenZeppelin/openzeppelin-solidity/blob/d51e38758e1d985661534534d5c61e27bece5042/contracts/math/SafeMath.sol\n// Adapted to use pragma ^0.4.24 and satisfy our linter rules\n\npragma solidity ^0.4.24;\n\n\n/**\n * @title SafeMath\n * @dev Math operations with safety checks that revert on error\n */\nlibrary SafeMath {\n string private constant ERROR_ADD_OVERFLOW = \"MATH_ADD_OVERFLOW\";\n string private constant ERROR_SUB_UNDERFLOW = \"MATH_SUB_UNDERFLOW\";\n string private constant ERROR_MUL_OVERFLOW = \"MATH_MUL_OVERFLOW\";\n string private constant ERROR_DIV_ZERO = \"MATH_DIV_ZERO\";\n\n /**\n * @dev Multiplies two numbers, reverts on overflow.\n */\n function mul(uint256 _a, uint256 _b) internal pure returns (uint256) {\n // Gas optimization: this is cheaper than requiring 'a' not being zero, but the\n // benefit is lost if 'b' is also tested.\n // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522\n if (_a == 0) {\n return 0;\n }\n\n uint256 c = _a * _b;\n require(c / _a == _b, ERROR_MUL_OVERFLOW);\n\n return c;\n }\n\n /**\n * @dev Integer division of two numbers truncating the quotient, reverts on division by zero.\n */\n function div(uint256 _a, uint256 _b) internal pure returns (uint256) {\n require(_b > 0, ERROR_DIV_ZERO); // Solidity only automatically asserts when dividing by 0\n uint256 c = _a / _b;\n // assert(_a == _b * c + _a % _b); // There is no case in which this doesn't hold\n\n return c;\n }\n\n /**\n * @dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).\n */\n function sub(uint256 _a, uint256 _b) internal pure returns (uint256) {\n require(_b <= _a, ERROR_SUB_UNDERFLOW);\n uint256 c = _a - _b;\n\n return c;\n }\n\n /**\n * @dev Adds two numbers, reverts on overflow.\n */\n function add(uint256 _a, uint256 _b) internal pure returns (uint256) {\n uint256 c = _a + _b;\n require(c >= _a, ERROR_ADD_OVERFLOW);\n\n return c;\n }\n\n /**\n * @dev Divides two numbers and returns the remainder (unsigned integer modulo),\n * reverts when dividing by zero.\n */\n function mod(uint256 a, uint256 b) internal pure returns (uint256) {\n require(b != 0, ERROR_DIV_ZERO);\n return a % b;\n }\n}\n", "sourcePath": "@aragon/os/contracts/lib/math/SafeMath.sol", "ast": { "absolutePath": "@aragon/os/contracts/lib/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 14064 ] }, "id": 14065, "nodeType": "SourceUnit", "nodes": [ { "id": 13921, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "198:24:59" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath\n@dev Math operations with safety checks that revert on error", "fullyImplemented": true, "id": 14064, "linearizedBaseContracts": [ 14064 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 13924, "name": "ERROR_ADD_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 14064, "src": "339:64:59", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 13922, "name": "string", "nodeType": "ElementaryTypeName", "src": "339:6:59", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4144445f4f564552464c4f57", "id": 13923, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "384:19:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_e2578df285e4eb4fecc3fecd08d2a22ed90362a41b5e72ae4b79db24283d0947", "typeString": "literal_string \"MATH_ADD_OVERFLOW\"" }, "value": "MATH_ADD_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 13927, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "VariableDeclaration", "scope": 14064, "src": "409:66:59", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 13925, "name": "string", "nodeType": "ElementaryTypeName", "src": "409:6:59", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f5355425f554e444552464c4f57", "id": 13926, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "455:20:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_70a8dc66a4d49a0e19d93a83f0d406b3daa17bbf4c9467e211561ccc5532682a", "typeString": "literal_string \"MATH_SUB_UNDERFLOW\"" }, "value": "MATH_SUB_UNDERFLOW" }, "visibility": "private" }, { "constant": true, "id": 13930, "name": "ERROR_MUL_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 14064, "src": "481:64:59", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 13928, "name": "string", "nodeType": "ElementaryTypeName", "src": "481:6:59", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4d554c5f4f564552464c4f57", "id": 13929, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "526:19:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_35a1199df5bd85b47d1f51a6d26365bd6a6655fc5e9ac66d7034d57d652eefb9", "typeString": "literal_string \"MATH_MUL_OVERFLOW\"" }, "value": "MATH_MUL_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 13933, "name": "ERROR_DIV_ZERO", "nodeType": "VariableDeclaration", "scope": 14064, "src": "551:56:59", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 13931, "name": "string", "nodeType": "ElementaryTypeName", "src": "551:6:59", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d4154485f4449565f5a45524f", "id": 13932, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "592:15:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_8a6d5d58df072a2986be3bd1a658830f4669d9565d8a831e250537aff4d5d289", "typeString": "literal_string \"MATH_DIV_ZERO\"" }, "value": "MATH_DIV_ZERO" }, "visibility": "private" }, { "body": { "id": 13966, "nodeType": "Block", "src": "754:379:59", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13944, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 13942, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13935, "src": "985:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 13943, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "991:1:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "985:7:59", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 13948, "nodeType": "IfStatement", "src": "981:46:59", "trueBody": { "id": 13947, "nodeType": "Block", "src": "994:33:59", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 13945, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1015:1:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 13941, "id": 13946, "nodeType": "Return", "src": "1008:8:59" } ] } }, { "assignments": [ 13950 ], "declarations": [ { "constant": false, "id": 13950, "name": "c", "nodeType": "VariableDeclaration", "scope": 13967, "src": "1037:9:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13949, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1037:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 13954, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13953, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 13951, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13935, "src": "1049:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 13952, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13937, "src": "1054:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1049:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1037:19:59" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13960, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13958, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 13956, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13950, "src": "1074:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 13957, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13935, "src": "1078:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1074:6:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 13959, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13937, "src": "1084:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1074:12:59", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 13961, "name": "ERROR_MUL_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13930, "src": "1088:18:59", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 13955, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15157, "src": "1066:7:59", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 13962, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1066:41:59", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 13963, "nodeType": "ExpressionStatement", "src": "1066:41:59" }, { "expression": { "argumentTypes": null, "id": 13964, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13950, "src": "1125:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 13941, "id": 13965, "nodeType": "Return", "src": "1118:8:59" } ] }, "documentation": "@dev Multiplies two numbers, reverts on overflow.", "id": 13967, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 13938, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13935, "name": "_a", "nodeType": "VariableDeclaration", "scope": 13967, "src": "698:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13934, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "698:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 13937, "name": "_b", "nodeType": "VariableDeclaration", "scope": 13967, "src": "710:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13936, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "710:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "697:24:59" }, "payable": false, "returnParameters": { "id": 13941, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13940, "name": "", "nodeType": "VariableDeclaration", "scope": 13967, "src": "745:7:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13939, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "745:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "744:9:59" }, "scope": 14064, "src": "685:448:59", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 13991, "nodeType": "Block", "src": "1320:244:59", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13979, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 13977, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13971, "src": "1338:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 13978, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1343:1:59", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1338:6:59", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 13980, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13933, "src": "1346:14:59", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 13976, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15157, "src": "1330:7:59", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 13981, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1330:31:59", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 13982, "nodeType": "ExpressionStatement", "src": "1330:31:59" }, { "assignments": [ 13984 ], "declarations": [ { "constant": false, "id": 13984, "name": "c", "nodeType": "VariableDeclaration", "scope": 13992, "src": "1429:9:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13983, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1429:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 13988, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 13987, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 13985, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13969, "src": "1441:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 13986, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13971, "src": "1446:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1441:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1429:19:59" }, { "expression": { "argumentTypes": null, "id": 13989, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13984, "src": "1556:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 13975, "id": 13990, "nodeType": "Return", "src": "1549:8:59" } ] }, "documentation": "@dev Integer division of two numbers truncating the quotient, reverts on division by zero.", "id": 13992, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 13972, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13969, "name": "_a", "nodeType": "VariableDeclaration", "scope": 13992, "src": "1264:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13968, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1264:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 13971, "name": "_b", "nodeType": "VariableDeclaration", "scope": 13992, "src": "1276:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13970, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1276:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1263:24:59" }, "payable": false, "returnParameters": { "id": 13975, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13974, "name": "", "nodeType": "VariableDeclaration", "scope": 13992, "src": "1311:7:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13973, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1311:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1310:9:59" }, "scope": 14064, "src": "1251:313:59", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 14016, "nodeType": "Block", "src": "1754:103:59", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 14004, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 14002, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13996, "src": "1772:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 14003, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13994, "src": "1778:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1772:8:59", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 14005, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13927, "src": "1782:19:59", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 14001, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 15156, 15157 ], "referencedDeclaration": 15157, "src": "1764:7:59", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 14006, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1764:38:59", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 14007, "nodeType": "ExpressionStatement", "src": "1764:38:59" }, { "assignments": [ 14009 ], "declarations": [ { "constant": false, "id": 14009, "name": "c", "nodeType": "VariableDeclaration", "scope": 14017, "src": "1812:9:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14008, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1812:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 14013, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 14012, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 14010, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13994, "src": "1824:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 14011, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13996, "src": "1829:2:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1824:7:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1812:19:59" }, { "expression": { "argumentTypes": null, "id": 14014, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 14009, "src": "1849:1:59", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 14000, "id": 14015, "nodeType": "Return", "src": "1842:8:59" } ] }, "documentation": "@dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).", "id": 14017, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 13997, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 13994, "name": "_a", "nodeType": "VariableDeclaration", "scope": 14017, "src": "1698:10:59", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 13993,