{ "contractName": "SafeMath", "abi": [], "bytecode": "0x60606040523415600e57600080fd5b603580601b6000396000f3006060604052600080fd00a165627a7a723058206938c787c26b544114cac6753e569eadf96c158a4e27b751775d48339b76529f0029", "deployedBytecode": "0x6060604052600080fd00a165627a7a723058206938c787c26b544114cac6753e569eadf96c158a4e27b751775d48339b76529f0029", "sourceMap": "117:685:53:-;;;;;;;;;;;;;;;;;", "deployedSourceMap": "117:685:53:-;;;;;", "source": "pragma solidity ^0.4.11;\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 uint256 c = a * b;\n require(a == 0 || 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 require(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 require(c >= a);\n return c;\n }\n}\n", "sourcePath": "@aragon/os/contracts/lib/zeppelin/math/SafeMath.sol", "ast": { "attributes": { "absolutePath": "@aragon/os/contracts/lib/zeppelin/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 12066 ] } }, "children": [ { "attributes": { "literals": [ "solidity", "^", "0.4", ".11" ] }, "id": 11973, "name": "PragmaDirective", "src": "0:24:53" }, { "attributes": { "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "documentation": "@title SafeMath\n@dev Math operations with safety checks that throw on error", "fullyImplemented": true, "linearizedBaseContracts": [ 12066 ], "name": "SafeMath", "scope": 12067 }, "children": [ { "attributes": { "constant": true, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "mul", "payable": false, "scope": 12066, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 12003, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11974, "name": "ElementaryTypeName", "src": "151:7:53" } ], "id": 11975, "name": "VariableDeclaration", "src": "151:9:53" }, { "attributes": { "constant": false, "name": "b", "scope": 12003, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11976, "name": "ElementaryTypeName", "src": "162:7:53" } ], "id": 11977, "name": "VariableDeclaration", "src": "162:9:53" } ], "id": 11978, "name": "ParameterList", "src": "150:22:53" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 12003, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11979, "name": "ElementaryTypeName", "src": "196:7:53" } ], "id": 11980, "name": "VariableDeclaration", "src": "196:7:53" } ], "id": 11981, "name": "ParameterList", "src": "195:9:53" }, { "children": [ { "attributes": { "assignments": [ 11983 ] }, "children": [ { "attributes": { "constant": false, "name": "c", "scope": 12003, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11982, "name": "ElementaryTypeName", "src": "211:7:53" } ], "id": 11983, "name": "VariableDeclaration", "src": "211:9:53" }, { "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": 11975, "type": "uint256", "value": "a" }, "id": 11984, "name": "Identifier", "src": "223:1:53" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11977, "type": "uint256", "value": "b" }, "id": 11985, "name": "Identifier", "src": "227:1:53" } ], "id": 11986, "name": "BinaryOperation", "src": "223:5:53" } ], "id": 11987, "name": "VariableDeclarationStatement", "src": "211:17:53" }, { "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": 12593, "type": "function (bool) pure", "value": "require" }, "id": 11988, "name": "Identifier", "src": "234:7:53" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "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": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11975, "type": "uint256", "value": "a" }, "id": 11989, "name": "Identifier", "src": "242:1:53" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 11990, "name": "Literal", "src": "247:1:53" } ], "id": 11991, "name": "BinaryOperation", "src": "242:6:53" }, { "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": 11983, "type": "uint256", "value": "c" }, "id": 11992, "name": "Identifier", "src": "252:1:53" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11975, "type": "uint256", "value": "a" }, "id": 11993, "name": "Identifier", "src": "256:1:53" } ], "id": 11994, "name": "BinaryOperation", "src": "252:5:53" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11977, "type": "uint256", "value": "b" }, "id": 11995, "name": "Identifier", "src": "261:1:53" } ], "id": 11996, "name": "BinaryOperation", "src": "252:10:53" } ], "id": 11997, "name": "BinaryOperation", "src": "242:20:53" } ], "id": 11998, "name": "FunctionCall", "src": "234:29:53" } ], "id": 11999, "name": "ExpressionStatement", "src": "234:29:53" }, { "attributes": { "functionReturnParameters": 11981 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 11983, "type": "uint256", "value": "c" }, "id": 12000, "name": "Identifier", "src": "276:1:53" } ], "id": 12001, "name": "Return", "src": "269:8:53" } ], "id": 12002, "name": "Block", "src": "205:77:53" } ], "id": 12003, "name": "FunctionDefinition", "src": "138:144:53" }, { "attributes": { "constant": true, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "div", "payable": false, "scope": 12066, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 12021, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 12004, "name": "ElementaryTypeName", "src": "299:7:53" } ], "id": 12005, "name": "VariableDeclaration", "src": "299:9:53" }, { "attributes": { "constant": false, "name": "b", "scope": 12021, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 12006, "name": "ElementaryTypeName", "src": "310:7:53" } ], "id": 12007, "name": "VariableDeclaration", "src": "310:9:53" } ], "id": 12008, "name": "ParameterList", "src": "298:22:53" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 12021, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 12009, "name": "ElementaryTypeName", "src": "344:7:53" } ], "id": 12010, "name": "VariableDeclaration", "src": "344:7:53" } ], "id": 12011, "name": "ParameterList", "src": "343:9:53" }, { "children": [ { "attributes": { "assignments": [ 12013 ] }, "children": [ { "attributes": { "constant": false, "name": "c", "scope": 12021, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 12012, "name": "ElementaryTypeName", "src": "433:7:53" } ], "id": 12013, "name": "VariableDeclaration", "src": "433:9:53" }, { "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": 12005, "type": "uint256", "value": "a" }, "id": 12014, "name": "Identifier", "src": "445:1:53" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12007, "type": "uint256", "value": "b" }, "id": 12015, "name": "Identifier", "src": "449:1:53" } ], "id": 12016, "name": "BinaryOperation", "src": "445:5:53" } ], "id": 12017, "name": "VariableDeclarationStatement", "src": "433:17:53" }, { "attributes": { "functionReturnParameters": 12011 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12013, "type": "uint256", "value": "c" }, "id": 12018, "name": "Identifier", "src": "545:1:53" } ], "id": 12019, "name": "Return", "src": "538:8:53" } ], "id": 12020, "name": "Block", "src": "353:198:53" } ], "id": 12021, "name": "FunctionDefinition", "src": "286:265:53" }, { "attributes": { "constant": true, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "sub", "payable": false, "scope": 12066, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 12041, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 12022, "name": "ElementaryTypeName", "src": "568:7:53" } ], "id": 12023, "name": "VariableDeclaration", "src": "568:9:53" }, { "attributes": { "constant": false, "name": "b", "scope": 12041, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 12024, "name": "ElementaryTypeName", "src": "579:7:53" } ], "id": 12025, "name": "VariableDeclaration", "src": "579:9:53" } ], "id": 12026, "name": "ParameterList", "src": "567:22:53" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 12041, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 12027, "name": "ElementaryTypeName", "src": "613:7:53" } ], "id": 12028, "name": "VariableDeclaration", "src": "613:7:53" } ], "id": 12029, "name": "ParameterList", "src": "612:9:53" }, { "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": 12593, "type": "function (bool) pure", "value": "require" }, "id": 12030, "name": "Identifier", "src": "628:7:53" }, { "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": 12025, "type": "uint256", "value": "b" }, "id": 12031, "name": "Identifier", "src": "636:1:53" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12023, "type": "uint256", "value": "a" }, "id": 12032, "name": "Identifier", "src": "641:1:53" } ], "id": 12033, "name": "BinaryOperation", "src": "636:6:53" } ], "id": 12034, "name": "FunctionCall", "src": "628:15:53" } ], "id": 12035, "name": "ExpressionStatement", "src": "628:15:53" }, { "attributes": { "functionReturnParameters": 12029 }, "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": 12023, "type": "uint256", "value": "a" }, "id": 12036, "name": "Identifier", "src": "656:1:53" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12025, "type": "uint256", "value": "b" }, "id": 12037, "name": "Identifier", "src": "660:1:53" } ], "id": 12038, "name": "BinaryOperation", "src": "656:5:53" } ], "id": 12039, "name": "Return", "src": "649:12:53" } ], "id": 12040, "name": "Block", "src": "622:44:53" } ], "id": 12041, "name": "FunctionDefinition", "src": "555:111:53" }, { "attributes": { "constant": true, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "add", "payable": false, "scope": 12066, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 12065, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 12042, "name": "ElementaryTypeName", "src": "683:7:53" } ], "id": 12043, "name": "VariableDeclaration", "src": "683:9:53" }, { "attributes": { "constant": false, "name": "b", "scope": 12065, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 12044, "name": "ElementaryTypeName", "src": "694:7:53" } ], "id": 12045, "name": "VariableDeclaration", "src": "694:9:53" } ], "id": 12046, "name": "ParameterList", "src": "682:22:53" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 12065, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 12047, "name": "ElementaryTypeName", "src": "728:7:53" } ], "id": 12048, "name": "VariableDeclaration", "src": "728:7:53" } ], "id": 12049, "name": "ParameterList", "src": "727:9:53" }, { "children": [ { "attributes": { "assignments": [ 12051 ] }, "children": [ { "attributes": { "constant": false, "name": "c", "scope": 12065, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 12050, "name": "ElementaryTypeName", "src": "743:7:53" } ], "id": 12051, "name": "VariableDeclaration", "src": "743:9:53" }, { "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": 12043, "type": "uint256", "value": "a" }, "id": 12052, "name": "Identifier", "src": "755:1:53" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12045, "type": "uint256", "value": "b" }, "id": 12053, "name": "Identifier", "src": "759:1:53" } ], "id": 12054, "name": "BinaryOperation", "src": "755:5:53" } ], "id": 12055, "name": "VariableDeclarationStatement", "src": "743:17:53" }, { "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": 12593, "type": "function (bool) pure", "value": "require" }, "id": 12056, "name": "Identifier", "src": "766:7:53" }, { "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": 12051, "type": "uint256", "value": "c" }, "id": 12057, "name": "Identifier", "src": "774:1:53" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12043, "type": "uint256", "value": "a" }, "id": 12058, "name": "Identifier", "src": "779:1:53" } ], "id": 12059, "name": "BinaryOperation", "src": "774:6:53" } ], "id": 12060, "name": "FunctionCall", "src": "766:15:53" } ], "id": 12061, "name": "ExpressionStatement", "src": "766:15:53" }, { "attributes": { "functionReturnParameters": 12049 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12051, "type": "uint256", "value": "c" }, "id": 12062, "name": "Identifier", "src": "794:1:53" } ], "id": 12063, "name": "Return", "src": "787:8:53" } ], "id": 12064, "name": "Block", "src": "737:63:53" } ], "id": 12065, "name": "FunctionDefinition", "src": "670:130:53" } ], "id": 12066, "name": "ContractDefinition", "src": "117:685:53" } ], "id": 12067, "name": "SourceUnit", "src": "0:803:53" }, "compiler": { "name": "solc", "version": "0.4.18+commit.9cf6e910.Emscripten.clang" }, "networks": {}, "schemaVersion": "1.0.1", "updatedAt": "2018-03-14T08:41:25.109Z" }