{ "contractName": "SafeMath", "abi": [], "bytecode": "0x60606040523415600e57600080fd5b603580601b6000396000f3006060604052600080fd00a165627a7a7230582054a94419d8fd31d732687a0198e35848ee900e33e4deef6dfb088a28afe7727b0029", "deployedBytecode": "0x6060604052600080fd00a165627a7a7230582054a94419d8fd31d732687a0198e35848ee900e33e4deef6dfb088a28afe7727b0029", "sourceMap": "117:712:33:-;;;;;;;;;;;;;;;;;", "deployedSourceMap": "117:712:33:-;;;;;", "source": "pragma solidity ^0.4.18;\n\n\n/**\n * @title SafeMath\n * @dev Math operations with safety checks that throw on error\n */\nlibrary SafeMath {\n function mul(uint256 a, uint256 b) internal pure returns (uint256) {\n if (a == 0) {\n return 0;\n }\n uint256 c = a * b;\n assert(c / a == b);\n return c;\n }\n\n function div(uint256 a, uint256 b) internal pure returns (uint256) {\n // assert(b > 0); // Solidity automatically throws when dividing by 0\n uint256 c = a / b;\n // assert(a == b * c + a % b); // There is no case in which this doesn't hold\n return c;\n }\n\n function sub(uint256 a, uint256 b) internal pure returns (uint256) {\n assert(b <= a);\n return a - b;\n }\n\n function add(uint256 a, uint256 b) internal pure returns (uint256) {\n uint256 c = a + b;\n assert(c >= a);\n return c;\n }\n}\n", "sourcePath": "zeppelin-solidity/contracts/math/SafeMath.sol", "ast": { "attributes": { "absolutePath": "zeppelin-solidity/contracts/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 11365 ] } }, "children": [ { "attributes": { "literals": [ "solidity", "^", "0.4", ".18" ] }, "id": 11269, "name": "PragmaDirective", "src": "0:24:33" }, { "attributes": { "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "documentation": "@title SafeMath\n@dev Math operations with safety checks that throw on error", "fullyImplemented": true, "linearizedBaseContracts": [ 11365 ], "name": "SafeMath", "scope": 11366 }, "children": [ { "attributes": { "constant": true, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "mul", "payable": false, "scope": 11365, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 11302, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11270, "name": "ElementaryTypeName", "src": "151:7:33" } ], "id": 11271, "name": "VariableDeclaration", "src": "151:9:33" }, { "attributes": { "constant": false, "name": "b", "scope": 11302, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11272, "name": "ElementaryTypeName", "src": "162:7:33" } ], "id": 11273, "name": "VariableDeclaration", "src": "162:9:33" } ], "id": 11274, "name": "ParameterList", "src": "150:22:33" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 11302, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11275, "name": "ElementaryTypeName", "src": "196:7:33" } ], "id": 11276, "name": "VariableDeclaration", "src": "196:7:33" } ], "id": 11277, "name": "ParameterList", "src": "195:9:33" }, { "children": [ { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11271, "type": "uint256", "value": "a" }, "id": 11278, "name": "Identifier", "src": "215:1:33" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 11279, "name": "Literal", "src": "220:1:33" } ], "id": 11280, "name": "BinaryOperation", "src": "215:6:33" }, { "children": [ { "attributes": { "functionReturnParameters": 11277 }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 11281, "name": "Literal", "src": "238:1:33" } ], "id": 11282, "name": "Return", "src": "231:8:33" } ], "id": 11283, "name": "Block", "src": "223:23:33" } ], "id": 11284, "name": "IfStatement", "src": "211:35:33" }, { "attributes": { "assignments": [ 11286 ] }, "children": [ { "attributes": { "constant": false, "name": "c", "scope": 11302, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11285, "name": "ElementaryTypeName", "src": "251:7:33" } ], "id": 11286, "name": "VariableDeclaration", "src": "251:9:33" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11271, "type": "uint256", "value": "a" }, "id": 11287, "name": "Identifier", "src": "263:1:33" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11273, "type": "uint256", "value": "b" }, "id": 11288, "name": "Identifier", "src": "267:1:33" } ], "id": 11289, "name": "BinaryOperation", "src": "263:5:33" } ], "id": 11290, "name": "VariableDeclarationStatement", "src": "251:17:33" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 12002, "type": "function (bool) pure", "value": "assert" }, "id": 11291, "name": "Identifier", "src": "274:6:33" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11286, "type": "uint256", "value": "c" }, "id": 11292, "name": "Identifier", "src": "281:1:33" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11271, "type": "uint256", "value": "a" }, "id": 11293, "name": "Identifier", "src": "285:1:33" } ], "id": 11294, "name": "BinaryOperation", "src": "281:5:33" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11273, "type": "uint256", "value": "b" }, "id": 11295, "name": "Identifier", "src": "290:1:33" } ], "id": 11296, "name": "BinaryOperation", "src": "281:10:33" } ], "id": 11297, "name": "FunctionCall", "src": "274:18:33" } ], "id": 11298, "name": "ExpressionStatement", "src": "274:18:33" }, { "attributes": { "functionReturnParameters": 11277 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11286, "type": "uint256", "value": "c" }, "id": 11299, "name": "Identifier", "src": "305:1:33" } ], "id": 11300, "name": "Return", "src": "298:8:33" } ], "id": 11301, "name": "Block", "src": "205:106:33" } ], "id": 11302, "name": "FunctionDefinition", "src": "138:173:33" }, { "attributes": { "constant": true, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "div", "payable": false, "scope": 11365, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 11320, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11303, "name": "ElementaryTypeName", "src": "328:7:33" } ], "id": 11304, "name": "VariableDeclaration", "src": "328:9:33" }, { "attributes": { "constant": false, "name": "b", "scope": 11320, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11305, "name": "ElementaryTypeName", "src": "339:7:33" } ], "id": 11306, "name": "VariableDeclaration", "src": "339:9:33" } ], "id": 11307, "name": "ParameterList", "src": "327:22:33" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 11320, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11308, "name": "ElementaryTypeName", "src": "373:7:33" } ], "id": 11309, "name": "VariableDeclaration", "src": "373:7:33" } ], "id": 11310, "name": "ParameterList", "src": "372:9:33" }, { "children": [ { "attributes": { "assignments": [ 11312 ] }, "children": [ { "attributes": { "constant": false, "name": "c", "scope": 11320, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11311, "name": "ElementaryTypeName", "src": "462:7:33" } ], "id": 11312, "name": "VariableDeclaration", "src": "462:9:33" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11304, "type": "uint256", "value": "a" }, "id": 11313, "name": "Identifier", "src": "474:1:33" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11306, "type": "uint256", "value": "b" }, "id": 11314, "name": "Identifier", "src": "478:1:33" } ], "id": 11315, "name": "BinaryOperation", "src": "474:5:33" } ], "id": 11316, "name": "VariableDeclarationStatement", "src": "462:17:33" }, { "attributes": { "functionReturnParameters": 11310 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11312, "type": "uint256", "value": "c" }, "id": 11317, "name": "Identifier", "src": "574:1:33" } ], "id": 11318, "name": "Return", "src": "567:8:33" } ], "id": 11319, "name": "Block", "src": "382:198:33" } ], "id": 11320, "name": "FunctionDefinition", "src": "315:265:33" }, { "attributes": { "constant": true, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "sub", "payable": false, "scope": 11365, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 11340, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11321, "name": "ElementaryTypeName", "src": "597:7:33" } ], "id": 11322, "name": "VariableDeclaration", "src": "597:9:33" }, { "attributes": { "constant": false, "name": "b", "scope": 11340, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11323, "name": "ElementaryTypeName", "src": "608:7:33" } ], "id": 11324, "name": "VariableDeclaration", "src": "608:9:33" } ], "id": 11325, "name": "ParameterList", "src": "596:22:33" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 11340, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11326, "name": "ElementaryTypeName", "src": "642:7:33" } ], "id": 11327, "name": "VariableDeclaration", "src": "642:7:33" } ], "id": 11328, "name": "ParameterList", "src": "641:9:33" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 12002, "type": "function (bool) pure", "value": "assert" }, "id": 11329, "name": "Identifier", "src": "657:6:33" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11324, "type": "uint256", "value": "b" }, "id": 11330, "name": "Identifier", "src": "664:1:33" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11322, "type": "uint256", "value": "a" }, "id": 11331, "name": "Identifier", "src": "669:1:33" } ], "id": 11332, "name": "BinaryOperation", "src": "664:6:33" } ], "id": 11333, "name": "FunctionCall", "src": "657:14:33" } ], "id": 11334, "name": "ExpressionStatement", "src": "657:14:33" }, { "attributes": { "functionReturnParameters": 11328 }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11322, "type": "uint256", "value": "a" }, "id": 11335, "name": "Identifier", "src": "684:1:33" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11324, "type": "uint256", "value": "b" }, "id": 11336, "name": "Identifier", "src": "688:1:33" } ], "id": 11337, "name": "BinaryOperation", "src": "684:5:33" } ], "id": 11338, "name": "Return", "src": "677:12:33" } ], "id": 11339, "name": "Block", "src": "651:43:33" } ], "id": 11340, "name": "FunctionDefinition", "src": "584:110:33" }, { "attributes": { "constant": true, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "add", "payable": false, "scope": 11365, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 11364, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11341, "name": "ElementaryTypeName", "src": "711:7:33" } ], "id": 11342, "name": "VariableDeclaration", "src": "711:9:33" }, { "attributes": { "constant": false, "name": "b", "scope": 11364, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11343, "name": "ElementaryTypeName", "src": "722:7:33" } ], "id": 11344, "name": "VariableDeclaration", "src": "722:9:33" } ], "id": 11345, "name": "ParameterList", "src": "710:22:33" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 11364, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11346, "name": "ElementaryTypeName", "src": "756:7:33" } ], "id": 11347, "name": "VariableDeclaration", "src": "756:7:33" } ], "id": 11348, "name": "ParameterList", "src": "755:9:33" }, { "children": [ { "attributes": { "assignments": [ 11350 ] }, "children": [ { "attributes": { "constant": false, "name": "c", "scope": 11364, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11349, "name": "ElementaryTypeName", "src": "771:7:33" } ], "id": 11350, "name": "VariableDeclaration", "src": "771:9:33" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11342, "type": "uint256", "value": "a" }, "id": 11351, "name": "Identifier", "src": "783:1:33" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11344, "type": "uint256", "value": "b" }, "id": 11352, "name": "Identifier", "src": "787:1:33" } ], "id": 11353, "name": "BinaryOperation", "src": "783:5:33" } ], "id": 11354, "name": "VariableDeclarationStatement", "src": "771:17:33" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 12002, "type": "function (bool) pure", "value": "assert" }, "id": 11355, "name": "Identifier", "src": "794:6:33" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11350, "type": "uint256", "value": "c" }, "id": 11356, "name": "Identifier", "src": "801:1:33" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11342, "type": "uint256", "value": "a" }, "id": 11357, "name": "Identifier", "src": "806:1:33" } ], "id": 11358, "name": "BinaryOperation", "src": "801:6:33" } ], "id": 11359, "name": "FunctionCall", "src": "794:14:33" } ], "id": 11360, "name": "ExpressionStatement", "src": "794:14:33" }, { "attributes": { "functionReturnParameters": 11348 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11350, "type": "uint256", "value": "c" }, "id": 11361, "name": "Identifier", "src": "821:1:33" } ], "id": 11362, "name": "Return", "src": "814:8:33" } ], "id": 11363, "name": "Block", "src": "765:62:33" } ], "id": 11364, "name": "FunctionDefinition", "src": "698:129:33" } ], "id": 11365, "name": "ContractDefinition", "src": "117:712:33" } ], "id": 11366, "name": "SourceUnit", "src": "0:830:33" }, "compiler": { "name": "solc", "version": "0.4.18+commit.9cf6e910.Emscripten.clang" }, "networks": {}, "schemaVersion": "1.0.1", "updatedAt": "2018-02-04T21:57:39.070Z" }