{ "contractName": "SafeMath", "abi": [], "bytecode": "0x60606040523415600e57600080fd5b603580601b6000396000f3006060604052600080fd00a165627a7a7230582054a94419d8fd31d732687a0198e35848ee900e33e4deef6dfb088a28afe7727b0029", "deployedBytecode": "0x6060604052600080fd00a165627a7a7230582054a94419d8fd31d732687a0198e35848ee900e33e4deef6dfb088a28afe7727b0029", "sourceMap": "117:712:31:-;;;;;;;;;;;;;;;;;", "deployedSourceMap": "117:712:31:-;;;;;", "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": [ 10221 ] } }, "children": [ { "attributes": { "literals": [ "solidity", "^", "0.4", ".18" ] }, "id": 10125, "name": "PragmaDirective", "src": "0:24:31" }, { "attributes": { "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "documentation": "@title SafeMath\n@dev Math operations with safety checks that throw on error", "fullyImplemented": true, "linearizedBaseContracts": [ 10221 ], "name": "SafeMath", "scope": 10222 }, "children": [ { "attributes": { "constant": true, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "mul", "payable": false, "scope": 10221, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 10158, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 10126, "name": "ElementaryTypeName", "src": "151:7:31" } ], "id": 10127, "name": "VariableDeclaration", "src": "151:9:31" }, { "attributes": { "constant": false, "name": "b", "scope": 10158, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 10128, "name": "ElementaryTypeName", "src": "162:7:31" } ], "id": 10129, "name": "VariableDeclaration", "src": "162:9:31" } ], "id": 10130, "name": "ParameterList", "src": "150:22:31" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 10158, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 10131, "name": "ElementaryTypeName", "src": "196:7:31" } ], "id": 10132, "name": "VariableDeclaration", "src": "196:7:31" } ], "id": 10133, "name": "ParameterList", "src": "195:9:31" }, { "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": 10127, "type": "uint256", "value": "a" }, "id": 10134, "name": "Identifier", "src": "215:1:31" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 10135, "name": "Literal", "src": "220:1:31" } ], "id": 10136, "name": "BinaryOperation", "src": "215:6:31" }, { "children": [ { "attributes": { "functionReturnParameters": 10133 }, "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": 10137, "name": "Literal", "src": "238:1:31" } ], "id": 10138, "name": "Return", "src": "231:8:31" } ], "id": 10139, "name": "Block", "src": "223:23:31" } ], "id": 10140, "name": "IfStatement", "src": "211:35:31" }, { "attributes": { "assignments": [ 10142 ] }, "children": [ { "attributes": { "constant": false, "name": "c", "scope": 10158, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 10141, "name": "ElementaryTypeName", "src": "251:7:31" } ], "id": 10142, "name": "VariableDeclaration", "src": "251:9:31" }, { "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": 10127, "type": "uint256", "value": "a" }, "id": 10143, "name": "Identifier", "src": "263:1:31" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 10129, "type": "uint256", "value": "b" }, "id": 10144, "name": "Identifier", "src": "267:1:31" } ], "id": 10145, "name": "BinaryOperation", "src": "263:5:31" } ], "id": 10146, "name": "VariableDeclarationStatement", "src": "251:17:31" }, { "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": 10858, "type": "function (bool) pure", "value": "assert" }, "id": 10147, "name": "Identifier", "src": "274:6:31" }, { "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": 10142, "type": "uint256", "value": "c" }, "id": 10148, "name": "Identifier", "src": "281:1:31" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 10127, "type": "uint256", "value": "a" }, "id": 10149, "name": "Identifier", "src": "285:1:31" } ], "id": 10150, "name": "BinaryOperation", "src": "281:5:31" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 10129, "type": "uint256", "value": "b" }, "id": 10151, "name": "Identifier", "src": "290:1:31" } ], "id": 10152, "name": "BinaryOperation", "src": "281:10:31" } ], "id": 10153, "name": "FunctionCall", "src": "274:18:31" } ], "id": 10154, "name": "ExpressionStatement", "src": "274:18:31" }, { "attributes": { "functionReturnParameters": 10133 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 10142, "type": "uint256", "value": "c" }, "id": 10155, "name": "Identifier", "src": "305:1:31" } ], "id": 10156, "name": "Return", "src": "298:8:31" } ], "id": 10157, "name": "Block", "src": "205:106:31" } ], "id": 10158, "name": "FunctionDefinition", "src": "138:173:31" }, { "attributes": { "constant": true, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "div", "payable": false, "scope": 10221, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 10176, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 10159, "name": "ElementaryTypeName", "src": "328:7:31" } ], "id": 10160, "name": "VariableDeclaration", "src": "328:9:31" }, { "attributes": { "constant": false, "name": "b", "scope": 10176, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 10161, "name": "ElementaryTypeName", "src": "339:7:31" } ], "id": 10162, "name": "VariableDeclaration", "src": "339:9:31" } ], "id": 10163, "name": "ParameterList", "src": "327:22:31" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 10176, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 10164, "name": "ElementaryTypeName", "src": "373:7:31" } ], "id": 10165, "name": "VariableDeclaration", "src": "373:7:31" } ], "id": 10166, "name": "ParameterList", "src": "372:9:31" }, { "children": [ { "attributes": { "assignments": [ 10168 ] }, "children": [ { "attributes": { "constant": false, "name": "c", "scope": 10176, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 10167, "name": "ElementaryTypeName", "src": "462:7:31" } ], "id": 10168, "name": "VariableDeclaration", "src": "462:9:31" }, { "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": 10160, "type": "uint256", "value": "a" }, "id": 10169, "name": "Identifier", "src": "474:1:31" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 10162, "type": "uint256", "value": "b" }, "id": 10170, "name": "Identifier", "src": "478:1:31" } ], "id": 10171, "name": "BinaryOperation", "src": "474:5:31" } ], "id": 10172, "name": "VariableDeclarationStatement", "src": "462:17:31" }, { "attributes": { "functionReturnParameters": 10166 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 10168, "type": "uint256", "value": "c" }, "id": 10173, "name": "Identifier", "src": "574:1:31" } ], "id": 10174, "name": "Return", "src": "567:8:31" } ], "id": 10175, "name": "Block", "src": "382:198:31" } ], "id": 10176, "name": "FunctionDefinition", "src": "315:265:31" }, { "attributes": { "constant": true, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "sub", "payable": false, "scope": 10221, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 10196, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 10177, "name": "ElementaryTypeName", "src": "597:7:31" } ], "id": 10178, "name": "VariableDeclaration", "src": "597:9:31" }, { "attributes": { "constant": false, "name": "b", "scope": 10196, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 10179, "name": "ElementaryTypeName", "src": "608:7:31" } ], "id": 10180, "name": "VariableDeclaration", "src": "608:9:31" } ], "id": 10181, "name": "ParameterList", "src": "596:22:31" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 10196, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 10182, "name": "ElementaryTypeName", "src": "642:7:31" } ], "id": 10183, "name": "VariableDeclaration", "src": "642:7:31" } ], "id": 10184, "name": "ParameterList", "src": "641:9:31" }, { "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": 10858, "type": "function (bool) pure", "value": "assert" }, "id": 10185, "name": "Identifier", "src": "657:6:31" }, { "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": 10180, "type": "uint256", "value": "b" }, "id": 10186, "name": "Identifier", "src": "664:1:31" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 10178, "type": "uint256", "value": "a" }, "id": 10187, "name": "Identifier", "src": "669:1:31" } ], "id": 10188, "name": "BinaryOperation", "src": "664:6:31" } ], "id": 10189, "name": "FunctionCall", "src": "657:14:31" } ], "id": 10190, "name": "ExpressionStatement", "src": "657:14:31" }, { "attributes": { "functionReturnParameters": 10184 }, "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": 10178, "type": "uint256", "value": "a" }, "id": 10191, "name": "Identifier", "src": "684:1:31" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 10180, "type": "uint256", "value": "b" }, "id": 10192, "name": "Identifier", "src": "688:1:31" } ], "id": 10193, "name": "BinaryOperation", "src": "684:5:31" } ], "id": 10194, "name": "Return", "src": "677:12:31" } ], "id": 10195, "name": "Block", "src": "651:43:31" } ], "id": 10196, "name": "FunctionDefinition", "src": "584:110:31" }, { "attributes": { "constant": true, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "add", "payable": false, "scope": 10221, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 10220, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 10197, "name": "ElementaryTypeName", "src": "711:7:31" } ], "id": 10198, "name": "VariableDeclaration", "src": "711:9:31" }, { "attributes": { "constant": false, "name": "b", "scope": 10220, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 10199, "name": "ElementaryTypeName", "src": "722:7:31" } ], "id": 10200, "name": "VariableDeclaration", "src": "722:9:31" } ], "id": 10201, "name": "ParameterList", "src": "710:22:31" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 10220, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 10202, "name": "ElementaryTypeName", "src": "756:7:31" } ], "id": 10203, "name": "VariableDeclaration", "src": "756:7:31" } ], "id": 10204, "name": "ParameterList", "src": "755:9:31" }, { "children": [ { "attributes": { "assignments": [ 10206 ] }, "children": [ { "attributes": { "constant": false, "name": "c", "scope": 10220, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 10205, "name": "ElementaryTypeName", "src": "771:7:31" } ], "id": 10206, "name": "VariableDeclaration", "src": "771:9:31" }, { "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": 10198, "type": "uint256", "value": "a" }, "id": 10207, "name": "Identifier", "src": "783:1:31" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 10200, "type": "uint256", "value": "b" }, "id": 10208, "name": "Identifier", "src": "787:1:31" } ], "id": 10209, "name": "BinaryOperation", "src": "783:5:31" } ], "id": 10210, "name": "VariableDeclarationStatement", "src": "771:17:31" }, { "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": 10858, "type": "function (bool) pure", "value": "assert" }, "id": 10211, "name": "Identifier", "src": "794:6:31" }, { "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": 10206, "type": "uint256", "value": "c" }, "id": 10212, "name": "Identifier", "src": "801:1:31" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 10198, "type": "uint256", "value": "a" }, "id": 10213, "name": "Identifier", "src": "806:1:31" } ], "id": 10214, "name": "BinaryOperation", "src": "801:6:31" } ], "id": 10215, "name": "FunctionCall", "src": "794:14:31" } ], "id": 10216, "name": "ExpressionStatement", "src": "794:14:31" }, { "attributes": { "functionReturnParameters": 10204 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 10206, "type": "uint256", "value": "c" }, "id": 10217, "name": "Identifier", "src": "821:1:31" } ], "id": 10218, "name": "Return", "src": "814:8:31" } ], "id": 10219, "name": "Block", "src": "765:62:31" } ], "id": 10220, "name": "FunctionDefinition", "src": "698:129:31" } ], "id": 10221, "name": "ContractDefinition", "src": "117:712:31" } ], "id": 10222, "name": "SourceUnit", "src": "0:830:31" }, "compiler": { "name": "solc", "version": "0.4.18+commit.9cf6e910.Emscripten.clang" }, "networks": {}, "schemaVersion": "1.0.1", "updatedAt": "2018-01-25T13:14:57.930Z" }