{ "contractName": "SafeMath64", "abi": [], "bytecode": "0x60606040523415600e57600080fd5b603580601b6000396000f3006060604052600080fd00a165627a7a723058203d1d0ddcc80cb103fb01a44a6e5b7669eb7a6b8ad23cf3b3cfeb2176e811e8670029", "deployedBytecode": "0x6060604052600080fd00a165627a7a723058203d1d0ddcc80cb103fb01a44a6e5b7669eb7a6b8ad23cf3b3cfeb2176e811e8670029", "sourceMap": "130:672:54:-;;;;;;;;;;;;;;;;;", "deployedSourceMap": "130:672:54:-;;;;;", "source": "pragma solidity ^0.4.11;\n\n\n/**\n * @title SafeMath64\n * @dev Math operations for uint64 with safety checks that throw on error\n */\nlibrary SafeMath64 {\n function mul(uint64 a, uint64 b) internal pure returns (uint64) {\n uint64 c = a * b;\n require(a == 0 || c / a == b);\n return c;\n }\n\n function div(uint64 a, uint64 b) internal pure returns (uint64) {\n // assert(b > 0); // Solidity automatically throws when dividing by 0\n uint64 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(uint64 a, uint64 b) internal pure returns (uint64) {\n require(b <= a);\n return a - b;\n }\n\n function add(uint64 a, uint64 b) internal pure returns (uint64) {\n uint64 c = a + b;\n require(c >= a);\n return c;\n }\n}\n", "sourcePath": "@aragon/os/contracts/lib/zeppelin/math/SafeMath64.sol", "ast": { "attributes": { "absolutePath": "@aragon/os/contracts/lib/zeppelin/math/SafeMath64.sol", "exportedSymbols": { "SafeMath64": [ 12161 ] } }, "children": [ { "attributes": { "literals": [ "solidity", "^", "0.4", ".11" ] }, "id": 12068, "name": "PragmaDirective", "src": "0:24:54" }, { "attributes": { "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "documentation": "@title SafeMath64\n@dev Math operations for uint64 with safety checks that throw on error", "fullyImplemented": true, "linearizedBaseContracts": [ 12161 ], "name": "SafeMath64", "scope": 12162 }, "children": [ { "attributes": { "constant": true, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "mul", "payable": false, "scope": 12161, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 12098, "stateVariable": false, "storageLocation": "default", "type": "uint64", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint64", "type": "uint64" }, "id": 12069, "name": "ElementaryTypeName", "src": "166:6:54" } ], "id": 12070, "name": "VariableDeclaration", "src": "166:8:54" }, { "attributes": { "constant": false, "name": "b", "scope": 12098, "stateVariable": false, "storageLocation": "default", "type": "uint64", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint64", "type": "uint64" }, "id": 12071, "name": "ElementaryTypeName", "src": "176:6:54" } ], "id": 12072, "name": "VariableDeclaration", "src": "176:8:54" } ], "id": 12073, "name": "ParameterList", "src": "165:20:54" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 12098, "stateVariable": false, "storageLocation": "default", "type": "uint64", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint64", "type": "uint64" }, "id": 12074, "name": "ElementaryTypeName", "src": "209:6:54" } ], "id": 12075, "name": "VariableDeclaration", "src": "209:6:54" } ], "id": 12076, "name": "ParameterList", "src": "208:8:54" }, { "children": [ { "attributes": { "assignments": [ 12078 ] }, "children": [ { "attributes": { "constant": false, "name": "c", "scope": 12098, "stateVariable": false, "storageLocation": "default", "type": "uint64", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint64", "type": "uint64" }, "id": 12077, "name": "ElementaryTypeName", "src": "223:6:54" } ], "id": 12078, "name": "VariableDeclaration", "src": "223:8:54" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint64" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12070, "type": "uint64", "value": "a" }, "id": 12079, "name": "Identifier", "src": "234:1:54" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12072, "type": "uint64", "value": "b" }, "id": 12080, "name": "Identifier", "src": "238:1:54" } ], "id": 12081, "name": "BinaryOperation", "src": "234:5:54" } ], "id": 12082, "name": "VariableDeclarationStatement", "src": "223:16:54" }, { "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": 12083, "name": "Identifier", "src": "245:7:54" }, { "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_uint64", "typeString": "uint64" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12070, "type": "uint64", "value": "a" }, "id": 12084, "name": "Identifier", "src": "253:1:54" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 12085, "name": "Literal", "src": "258:1:54" } ], "id": 12086, "name": "BinaryOperation", "src": "253:6:54" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint64" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12078, "type": "uint64", "value": "c" }, "id": 12087, "name": "Identifier", "src": "263:1:54" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12070, "type": "uint64", "value": "a" }, "id": 12088, "name": "Identifier", "src": "267:1:54" } ], "id": 12089, "name": "BinaryOperation", "src": "263:5:54" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12072, "type": "uint64", "value": "b" }, "id": 12090, "name": "Identifier", "src": "272:1:54" } ], "id": 12091, "name": "BinaryOperation", "src": "263:10:54" } ], "id": 12092, "name": "BinaryOperation", "src": "253:20:54" } ], "id": 12093, "name": "FunctionCall", "src": "245:29:54" } ], "id": 12094, "name": "ExpressionStatement", "src": "245:29:54" }, { "attributes": { "functionReturnParameters": 12076 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12078, "type": "uint64", "value": "c" }, "id": 12095, "name": "Identifier", "src": "287:1:54" } ], "id": 12096, "name": "Return", "src": "280:8:54" } ], "id": 12097, "name": "Block", "src": "217:76:54" } ], "id": 12098, "name": "FunctionDefinition", "src": "153:140:54" }, { "attributes": { "constant": true, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "div", "payable": false, "scope": 12161, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 12116, "stateVariable": false, "storageLocation": "default", "type": "uint64", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint64", "type": "uint64" }, "id": 12099, "name": "ElementaryTypeName", "src": "310:6:54" } ], "id": 12100, "name": "VariableDeclaration", "src": "310:8:54" }, { "attributes": { "constant": false, "name": "b", "scope": 12116, "stateVariable": false, "storageLocation": "default", "type": "uint64", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint64", "type": "uint64" }, "id": 12101, "name": "ElementaryTypeName", "src": "320:6:54" } ], "id": 12102, "name": "VariableDeclaration", "src": "320:8:54" } ], "id": 12103, "name": "ParameterList", "src": "309:20:54" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 12116, "stateVariable": false, "storageLocation": "default", "type": "uint64", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint64", "type": "uint64" }, "id": 12104, "name": "ElementaryTypeName", "src": "353:6:54" } ], "id": 12105, "name": "VariableDeclaration", "src": "353:6:54" } ], "id": 12106, "name": "ParameterList", "src": "352:8:54" }, { "children": [ { "attributes": { "assignments": [ 12108 ] }, "children": [ { "attributes": { "constant": false, "name": "c", "scope": 12116, "stateVariable": false, "storageLocation": "default", "type": "uint64", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint64", "type": "uint64" }, "id": 12107, "name": "ElementaryTypeName", "src": "441:6:54" } ], "id": 12108, "name": "VariableDeclaration", "src": "441:8:54" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint64" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12100, "type": "uint64", "value": "a" }, "id": 12109, "name": "Identifier", "src": "452:1:54" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12102, "type": "uint64", "value": "b" }, "id": 12110, "name": "Identifier", "src": "456:1:54" } ], "id": 12111, "name": "BinaryOperation", "src": "452:5:54" } ], "id": 12112, "name": "VariableDeclarationStatement", "src": "441:16:54" }, { "attributes": { "functionReturnParameters": 12106 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12108, "type": "uint64", "value": "c" }, "id": 12113, "name": "Identifier", "src": "552:1:54" } ], "id": 12114, "name": "Return", "src": "545:8:54" } ], "id": 12115, "name": "Block", "src": "361:197:54" } ], "id": 12116, "name": "FunctionDefinition", "src": "297:261:54" }, { "attributes": { "constant": true, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "sub", "payable": false, "scope": 12161, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 12136, "stateVariable": false, "storageLocation": "default", "type": "uint64", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint64", "type": "uint64" }, "id": 12117, "name": "ElementaryTypeName", "src": "575:6:54" } ], "id": 12118, "name": "VariableDeclaration", "src": "575:8:54" }, { "attributes": { "constant": false, "name": "b", "scope": 12136, "stateVariable": false, "storageLocation": "default", "type": "uint64", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint64", "type": "uint64" }, "id": 12119, "name": "ElementaryTypeName", "src": "585:6:54" } ], "id": 12120, "name": "VariableDeclaration", "src": "585:8:54" } ], "id": 12121, "name": "ParameterList", "src": "574:20:54" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 12136, "stateVariable": false, "storageLocation": "default", "type": "uint64", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint64", "type": "uint64" }, "id": 12122, "name": "ElementaryTypeName", "src": "618:6:54" } ], "id": 12123, "name": "VariableDeclaration", "src": "618:6:54" } ], "id": 12124, "name": "ParameterList", "src": "617:8:54" }, { "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": 12125, "name": "Identifier", "src": "632:7:54" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12120, "type": "uint64", "value": "b" }, "id": 12126, "name": "Identifier", "src": "640:1:54" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12118, "type": "uint64", "value": "a" }, "id": 12127, "name": "Identifier", "src": "645:1:54" } ], "id": 12128, "name": "BinaryOperation", "src": "640:6:54" } ], "id": 12129, "name": "FunctionCall", "src": "632:15:54" } ], "id": 12130, "name": "ExpressionStatement", "src": "632:15:54" }, { "attributes": { "functionReturnParameters": 12124 }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint64" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12118, "type": "uint64", "value": "a" }, "id": 12131, "name": "Identifier", "src": "660:1:54" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12120, "type": "uint64", "value": "b" }, "id": 12132, "name": "Identifier", "src": "664:1:54" } ], "id": 12133, "name": "BinaryOperation", "src": "660:5:54" } ], "id": 12134, "name": "Return", "src": "653:12:54" } ], "id": 12135, "name": "Block", "src": "626:44:54" } ], "id": 12136, "name": "FunctionDefinition", "src": "562:108:54" }, { "attributes": { "constant": true, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "add", "payable": false, "scope": 12161, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 12160, "stateVariable": false, "storageLocation": "default", "type": "uint64", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint64", "type": "uint64" }, "id": 12137, "name": "ElementaryTypeName", "src": "687:6:54" } ], "id": 12138, "name": "VariableDeclaration", "src": "687:8:54" }, { "attributes": { "constant": false, "name": "b", "scope": 12160, "stateVariable": false, "storageLocation": "default", "type": "uint64", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint64", "type": "uint64" }, "id": 12139, "name": "ElementaryTypeName", "src": "697:6:54" } ], "id": 12140, "name": "VariableDeclaration", "src": "697:8:54" } ], "id": 12141, "name": "ParameterList", "src": "686:20:54" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 12160, "stateVariable": false, "storageLocation": "default", "type": "uint64", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint64", "type": "uint64" }, "id": 12142, "name": "ElementaryTypeName", "src": "730:6:54" } ], "id": 12143, "name": "VariableDeclaration", "src": "730:6:54" } ], "id": 12144, "name": "ParameterList", "src": "729:8:54" }, { "children": [ { "attributes": { "assignments": [ 12146 ] }, "children": [ { "attributes": { "constant": false, "name": "c", "scope": 12160, "stateVariable": false, "storageLocation": "default", "type": "uint64", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint64", "type": "uint64" }, "id": 12145, "name": "ElementaryTypeName", "src": "744:6:54" } ], "id": 12146, "name": "VariableDeclaration", "src": "744:8:54" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint64" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12138, "type": "uint64", "value": "a" }, "id": 12147, "name": "Identifier", "src": "755:1:54" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12140, "type": "uint64", "value": "b" }, "id": 12148, "name": "Identifier", "src": "759:1:54" } ], "id": 12149, "name": "BinaryOperation", "src": "755:5:54" } ], "id": 12150, "name": "VariableDeclarationStatement", "src": "744:16:54" }, { "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": 12151, "name": "Identifier", "src": "766:7:54" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12146, "type": "uint64", "value": "c" }, "id": 12152, "name": "Identifier", "src": "774:1:54" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12138, "type": "uint64", "value": "a" }, "id": 12153, "name": "Identifier", "src": "779:1:54" } ], "id": 12154, "name": "BinaryOperation", "src": "774:6:54" } ], "id": 12155, "name": "FunctionCall", "src": "766:15:54" } ], "id": 12156, "name": "ExpressionStatement", "src": "766:15:54" }, { "attributes": { "functionReturnParameters": 12144 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 12146, "type": "uint64", "value": "c" }, "id": 12157, "name": "Identifier", "src": "794:1:54" } ], "id": 12158, "name": "Return", "src": "787:8:54" } ], "id": 12159, "name": "Block", "src": "738:62:54" } ], "id": 12160, "name": "FunctionDefinition", "src": "674:126:54" } ], "id": 12161, "name": "ContractDefinition", "src": "130:672:54" } ], "id": 12162, "name": "SourceUnit", "src": "0:803:54" }, "compiler": { "name": "solc", "version": "0.4.18+commit.9cf6e910.Emscripten.clang" }, "networks": {}, "schemaVersion": "1.0.1", "updatedAt": "2018-03-14T08:41:25.109Z" }