{ "contractName": "SafeMath", "abi": [], "bytecode": "0x604c602c600b82828239805160001a60731460008114601c57601e565bfe5b5030600052607381538281f30073000000000000000000000000000000000000000030146080604052600080fd00a165627a7a723058205ee74541ef438784560d8963f744b2be75ae6edfa25c4e67c176c2c2e4635e550029", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fd00a165627a7a723058205ee74541ef438784560d8963f744b2be75ae6edfa25c4e67c176c2c2e4635e550029", "sourceMap": "152:1014:11:-;;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": "152:1014:11:-;;;;;;;;", "source": "pragma solidity ^0.4.18;\n\n/**\n @title SafeMath\n @dev Math operations with safety checks that throw on error\n @author Smart Contract Solutions, Inc.\n */\nlibrary SafeMath {\n\n /**\n @dev Multiplies two numbers, throws on overflow.\n */\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 /**\n @dev Integer division of two numbers, truncating the quotient.\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 /**\n @dev Substracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend).\n */\n function sub(uint256 a, uint256 b) internal pure returns (uint256) {\n assert(b <= a);\n return a - b;\n }\n\n /**\n @dev Adds two numbers, throws on overflow.\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}", "sourcePath": "/Users/fanyshu/Documents/Projects/DCLabs/monorepo/packages/dc-sdk-example/dapp/contracts/library/SafeMath.sol", "ast": { "absolutePath": "/Users/fanyshu/Documents/Projects/DCLabs/monorepo/packages/dc-sdk-example/dapp/contracts/library/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 1927 ] }, "id": 1928, "nodeType": "SourceUnit", "nodes": [ { "id": 1831, "literals": [ "solidity", "^", "0.4", ".18" ], "nodeType": "PragmaDirective", "src": "0:24:11" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath\n@dev Math operations with safety checks that throw on error\n@author Smart Contract Solutions, Inc.", "fullyImplemented": true, "id": 1927, "linearizedBaseContracts": [ 1927 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 1863, "nodeType": "Block", "src": "303:106:11", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1842, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1840, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1833, "src": "313:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1841, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "318:1:11", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "313:6:11", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1846, "nodeType": "IfStatement", "src": "309:35:11", "trueBody": { "id": 1845, "nodeType": "Block", "src": "321:23:11", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 1843, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "336:1:11", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 1839, "id": 1844, "nodeType": "Return", "src": "329:8:11" } ] } }, { "assignments": [ 1848 ], "declarations": [ { "constant": false, "id": 1848, "name": "c", "nodeType": "VariableDeclaration", "scope": 1864, "src": "349:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1847, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "349:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1852, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1851, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1849, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1833, "src": "361:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 1850, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1835, "src": "365:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "361:5:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "349:17:11" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1858, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1856, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1854, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1848, "src": "379:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 1855, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1833, "src": "383:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "379:5:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 1857, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1835, "src": "388:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "379:10:11", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 1853, "name": "assert", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3266, "src": "372:6:11", "typeDescriptions": { "typeIdentifier": "t_function_assert_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 1859, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "372:18:11", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1860, "nodeType": "ExpressionStatement", "src": "372:18:11" }, { "expression": { "argumentTypes": null, "id": 1861, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1848, "src": "403:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1839, "id": 1862, "nodeType": "Return", "src": "396:8:11" } ] }, "documentation": "@dev Multiplies two numbers, throws on overflow.", "id": 1864, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 1836, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1833, "name": "a", "nodeType": "VariableDeclaration", "scope": 1864, "src": "249:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1832, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "249:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1835, "name": "b", "nodeType": "VariableDeclaration", "scope": 1864, "src": "260:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1834, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "260:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "248:22:11" }, "payable": false, "returnParameters": { "id": 1839, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1838, "name": "", "nodeType": "VariableDeclaration", "scope": 1864, "src": "294:7:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1837, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "294:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "293:9:11" }, "scope": 1927, "src": "236:173:11", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 1881, "nodeType": "Block", "src": "556:198:11", "statements": [ { "assignments": [ 1874 ], "declarations": [ { "constant": false, "id": 1874, "name": "c", "nodeType": "VariableDeclaration", "scope": 1882, "src": "636:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1873, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "636:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1878, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1877, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1875, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1866, "src": "648:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 1876, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1868, "src": "652:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "648:5:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "636:17:11" }, { "expression": { "argumentTypes": null, "id": 1879, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1874, "src": "748:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1872, "id": 1880, "nodeType": "Return", "src": "741:8:11" } ] }, "documentation": "@dev Integer division of two numbers, truncating the quotient.", "id": 1882, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 1869, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1866, "name": "a", "nodeType": "VariableDeclaration", "scope": 1882, "src": "502:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1865, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "502:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1868, "name": "b", "nodeType": "VariableDeclaration", "scope": 1882, "src": "513:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1867, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "513:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "501:22:11" }, "payable": false, "returnParameters": { "id": 1872, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1871, "name": "", "nodeType": "VariableDeclaration", "scope": 1882, "src": "547:7:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1870, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "547:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "546:9:11" }, "scope": 1927, "src": "489:265:11", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 1901, "nodeType": "Block", "src": "932:43:11", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1894, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1892, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1886, "src": "945:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 1893, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1884, "src": "950:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "945:6:11", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 1891, "name": "assert", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3266, "src": "938:6:11", "typeDescriptions": { "typeIdentifier": "t_function_assert_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 1895, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "938:14:11", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1896, "nodeType": "ExpressionStatement", "src": "938:14:11" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1899, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1897, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1884, "src": "965:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 1898, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1886, "src": "969:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "965:5:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1890, "id": 1900, "nodeType": "Return", "src": "958:12:11" } ] }, "documentation": "@dev Substracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend).", "id": 1902, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 1887, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1884, "name": "a", "nodeType": "VariableDeclaration", "scope": 1902, "src": "878:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1883, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "878:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1886, "name": "b", "nodeType": "VariableDeclaration", "scope": 1902, "src": "889:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1885, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "889:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "877:22:11" }, "payable": false, "returnParameters": { "id": 1890, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1889, "name": "", "nodeType": "VariableDeclaration", "scope": 1902, "src": "923:7:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1888, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "923:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "922:9:11" }, "scope": 1927, "src": "865:110:11", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 1925, "nodeType": "Block", "src": "1102:62:11", "statements": [ { "assignments": [ 1912 ], "declarations": [ { "constant": false, "id": 1912, "name": "c", "nodeType": "VariableDeclaration", "scope": 1926, "src": "1108:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1911, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1108:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1916, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1915, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1913, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1904, "src": "1120:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 1914, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1906, "src": "1124:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1120:5:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1108:17:11" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1920, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1918, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1912, "src": "1138:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 1919, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1904, "src": "1143:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1138:6:11", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 1917, "name": "assert", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3266, "src": "1131:6:11", "typeDescriptions": { "typeIdentifier": "t_function_assert_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 1921, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1131:14:11", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1922, "nodeType": "ExpressionStatement", "src": "1131:14:11" }, { "expression": { "argumentTypes": null, "id": 1923, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1912, "src": "1158:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1910, "id": 1924, "nodeType": "Return", "src": "1151:8:11" } ] }, "documentation": "@dev Adds two numbers, throws on overflow.", "id": 1926, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 1907, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1904, "name": "a", "nodeType": "VariableDeclaration", "scope": 1926, "src": "1048:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1903, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1048:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1906, "name": "b", "nodeType": "VariableDeclaration", "scope": 1926, "src": "1059:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1905, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1059:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1047:22:11" }, "payable": false, "returnParameters": { "id": 1910, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1909, "name": "", "nodeType": "VariableDeclaration", "scope": 1926, "src": "1093:7:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1908, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1093:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1092:9:11" }, "scope": 1927, "src": "1035:129:11", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 1928, "src": "152:1014:11" } ], "src": "0:1166:11" }, "legacyAST": { "absolutePath": "/Users/fanyshu/Documents/Projects/DCLabs/monorepo/packages/dc-sdk-example/dapp/contracts/library/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 1927 ] }, "id": 1928, "nodeType": "SourceUnit", "nodes": [ { "id": 1831, "literals": [ "solidity", "^", "0.4", ".18" ], "nodeType": "PragmaDirective", "src": "0:24:11" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath\n@dev Math operations with safety checks that throw on error\n@author Smart Contract Solutions, Inc.", "fullyImplemented": true, "id": 1927, "linearizedBaseContracts": [ 1927 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 1863, "nodeType": "Block", "src": "303:106:11", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1842, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1840, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1833, "src": "313:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1841, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "318:1:11", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "313:6:11", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1846, "nodeType": "IfStatement", "src": "309:35:11", "trueBody": { "id": 1845, "nodeType": "Block", "src": "321:23:11", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 1843, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "336:1:11", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 1839, "id": 1844, "nodeType": "Return", "src": "329:8:11" } ] } }, { "assignments": [ 1848 ], "declarations": [ { "constant": false, "id": 1848, "name": "c", "nodeType": "VariableDeclaration", "scope": 1864, "src": "349:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1847, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "349:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1852, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1851, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1849, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1833, "src": "361:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 1850, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1835, "src": "365:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "361:5:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "349:17:11" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1858, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1856, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1854, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1848, "src": "379:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 1855, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1833, "src": "383:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "379:5:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 1857, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1835, "src": "388:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "379:10:11", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 1853, "name": "assert", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3266, "src": "372:6:11", "typeDescriptions": { "typeIdentifier": "t_function_assert_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 1859, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "372:18:11", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1860, "nodeType": "ExpressionStatement", "src": "372:18:11" }, { "expression": { "argumentTypes": null, "id": 1861, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1848, "src": "403:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1839, "id": 1862, "nodeType": "Return", "src": "396:8:11" } ] }, "documentation": "@dev Multiplies two numbers, throws on overflow.", "id": 1864, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 1836, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1833, "name": "a", "nodeType": "VariableDeclaration", "scope": 1864, "src": "249:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1832, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "249:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1835, "name": "b", "nodeType": "VariableDeclaration", "scope": 1864, "src": "260:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1834, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "260:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "248:22:11" }, "payable": false, "returnParameters": { "id": 1839, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1838, "name": "", "nodeType": "VariableDeclaration", "scope": 1864, "src": "294:7:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1837, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "294:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "293:9:11" }, "scope": 1927, "src": "236:173:11", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 1881, "nodeType": "Block", "src": "556:198:11", "statements": [ { "assignments": [ 1874 ], "declarations": [ { "constant": false, "id": 1874, "name": "c", "nodeType": "VariableDeclaration", "scope": 1882, "src": "636:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1873, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "636:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1878, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1877, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1875, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1866, "src": "648:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 1876, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1868, "src": "652:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "648:5:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "636:17:11" }, { "expression": { "argumentTypes": null, "id": 1879, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1874, "src": "748:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1872, "id": 1880, "nodeType": "Return", "src": "741:8:11" } ] }, "documentation": "@dev Integer division of two numbers, truncating the quotient.", "id": 1882, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 1869, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1866, "name": "a", "nodeType": "VariableDeclaration", "scope": 1882, "src": "502:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1865, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "502:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1868, "name": "b", "nodeType": "VariableDeclaration", "scope": 1882, "src": "513:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1867, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "513:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "501:22:11" }, "payable": false, "returnParameters": { "id": 1872, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1871, "name": "", "nodeType": "VariableDeclaration", "scope": 1882, "src": "547:7:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1870, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "547:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "546:9:11" }, "scope": 1927, "src": "489:265:11", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 1901, "nodeType": "Block", "src": "932:43:11", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1894, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1892, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1886, "src": "945:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 1893, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1884, "src": "950:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "945:6:11", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 1891, "name": "assert", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3266, "src": "938:6:11", "typeDescriptions": { "typeIdentifier": "t_function_assert_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 1895, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "938:14:11", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1896, "nodeType": "ExpressionStatement", "src": "938:14:11" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1899, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1897, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1884, "src": "965:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 1898, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1886, "src": "969:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "965:5:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1890, "id": 1900, "nodeType": "Return", "src": "958:12:11" } ] }, "documentation": "@dev Substracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend).", "id": 1902, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 1887, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1884, "name": "a", "nodeType": "VariableDeclaration", "scope": 1902, "src": "878:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1883, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "878:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1886, "name": "b", "nodeType": "VariableDeclaration", "scope": 1902, "src": "889:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1885, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "889:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "877:22:11" }, "payable": false, "returnParameters": { "id": 1890, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1889, "name": "", "nodeType": "VariableDeclaration", "scope": 1902, "src": "923:7:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1888, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "923:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "922:9:11" }, "scope": 1927, "src": "865:110:11", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 1925, "nodeType": "Block", "src": "1102:62:11", "statements": [ { "assignments": [ 1912 ], "declarations": [ { "constant": false, "id": 1912, "name": "c", "nodeType": "VariableDeclaration", "scope": 1926, "src": "1108:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1911, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1108:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1916, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1915, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1913, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1904, "src": "1120:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 1914, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1906, "src": "1124:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1120:5:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1108:17:11" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1920, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1918, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1912, "src": "1138:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 1919, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1904, "src": "1143:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1138:6:11", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 1917, "name": "assert", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3266, "src": "1131:6:11", "typeDescriptions": { "typeIdentifier": "t_function_assert_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 1921, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1131:14:11", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1922, "nodeType": "ExpressionStatement", "src": "1131:14:11" }, { "expression": { "argumentTypes": null, "id": 1923, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1912, "src": "1158:1:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1910, "id": 1924, "nodeType": "Return", "src": "1151:8:11" } ] }, "documentation": "@dev Adds two numbers, throws on overflow.", "id": 1926, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 1907, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1904, "name": "a", "nodeType": "VariableDeclaration", "scope": 1926, "src": "1048:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1903, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1048:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1906, "name": "b", "nodeType": "VariableDeclaration", "scope": 1926, "src": "1059:9:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1905, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1059:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1047:22:11" }, "payable": false, "returnParameters": { "id": 1910, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1909, "name": "", "nodeType": "VariableDeclaration", "scope": 1926, "src": "1093:7:11", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1908, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1093:7:11", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1092:9:11" }, "scope": 1927, "src": "1035:129:11", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 1928, "src": "152:1014:11" } ], "src": "0:1166:11" }, "compiler": { "name": "solc", "version": "0.4.25+commit.59dbf8f1.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.0.0-beta.0", "updatedAt": "2018-12-04T11:48:18.073Z" }