{ "abi": [], "bytecode": { "object": "0x602d6023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c6343000706000a", "sourceMap": "1254:1473:31:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "linkReferences": {} }, "deployedBytecode": { "object": "0x73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c6343000706000a", "sourceMap": "1254:1473:31:-:0;;;;;;;;", "linkReferences": {} }, "methodIdentifiers": {}, "ast": { "absolutePath": "node_modules/@summa-tx/memview-sol/contracts/SafeMath.sol", "id": 28152, "exportedSymbols": { "SafeMath": [ 28151 ] }, "nodeType": "SourceUnit", "src": "32:2696:31", "nodes": [ { "id": 28051, "nodeType": "PragmaDirective", "src": "32:25:31", "literals": [ "solidity", ">=", "0.5", ".10" ] }, { "id": 28151, "nodeType": "ContractDefinition", "src": "1254:1473:31", "nodes": [ { "id": 28087, "nodeType": "FunctionDefinition", "src": "1350:456:31", "body": { "id": 28086, "nodeType": "Block", "src": "1421:385:31", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 28064, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 28062, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28055, "src": "1652:2:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 28063, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1658:1:31", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1652:7:31", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 28068, "nodeType": "IfStatement", "src": "1648:46:31", "trueBody": { "id": 28067, "nodeType": "Block", "src": "1661:33:31", "statements": [ { "expression": { "hexValue": "30", "id": 28065, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1682:1:31", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 28061, "id": 28066, "nodeType": "Return", "src": "1675:8:31" } ] } }, { "expression": { "id": 28073, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 28069, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28060, "src": "1704:1:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 28072, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 28070, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28055, "src": "1708:2:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 28071, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28057, "src": "1713:2:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1708:7:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1704:11:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 28074, "nodeType": "ExpressionStatement", "src": "1704:11:31" }, { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 28080, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 28078, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 28076, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28060, "src": "1733:1:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 28077, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28055, "src": "1737:2:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1733:6:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "id": 28079, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28057, "src": "1743:2:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1733:12:31", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "4f766572666c6f7720647572696e67206d756c7469706c69636174696f6e2e", "id": 28081, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1747:33:31", "typeDescriptions": { "typeIdentifier": "t_stringliteral_ba0a2bc64fde93da03b25da14ae6ac8bd2ee8b9e52463015842b4eeadd2272fd", "typeString": "literal_string \"Overflow during multiplication.\"" }, "value": "Overflow during multiplication." } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_ba0a2bc64fde93da03b25da14ae6ac8bd2ee8b9e52463015842b4eeadd2272fd", "typeString": "literal_string \"Overflow during multiplication.\"" } ], "id": 28075, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1725:7:31", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 28082, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1725:56:31", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 28083, "nodeType": "ExpressionStatement", "src": "1725:56:31" }, { "expression": { "id": 28084, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28060, "src": "1798:1:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 28061, "id": 28085, "nodeType": "Return", "src": "1791:8:31" } ] }, "documentation": { "id": 28053, "nodeType": "StructuredDocumentation", "src": "1278:67:31", "text": " @dev Multiplies two numbers, throws on overflow." }, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "parameters": { "id": 28058, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28055, "mutability": "mutable", "name": "_a", "nodeType": "VariableDeclaration", "scope": 28087, "src": "1363:10:31", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 28054, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1363:7:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 28057, "mutability": "mutable", "name": "_b", "nodeType": "VariableDeclaration", "scope": 28087, "src": "1375:10:31", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 28056, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1375:7:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1362:24:31" }, "returnParameters": { "id": 28061, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28060, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 28087, "src": "1410:9:31", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 28059, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1410:7:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1409:11:31" }, "scope": 28151, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 28102, "nodeType": "FunctionDefinition", "src": "1898:301:31", "body": { "id": 28101, "nodeType": "Block", "src": "1967:232:31", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 28099, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 28097, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28090, "src": "2185:2:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 28098, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28092, "src": "2190:2:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2185:7:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 28096, "id": 28100, "nodeType": "Return", "src": "2178:14:31" } ] }, "documentation": { "id": 28088, "nodeType": "StructuredDocumentation", "src": "1812:81:31", "text": " @dev Integer division of two numbers, truncating the quotient." }, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "parameters": { "id": 28093, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28090, "mutability": "mutable", "name": "_a", "nodeType": "VariableDeclaration", "scope": 28102, "src": "1911:10:31", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 28089, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1911:7:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 28092, "mutability": "mutable", "name": "_b", "nodeType": "VariableDeclaration", "scope": 28102, "src": "1923:10:31", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 28091, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1923:7:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1910:24:31" }, "returnParameters": { "id": 28096, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28095, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 28102, "src": "1958:7:31", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 28094, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1958:7:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1957:9:31" }, "scope": 28151, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 28124, "nodeType": "FunctionDefinition", "src": "2321:160:31", "body": { "id": 28123, "nodeType": "Block", "src": "2390:91:31", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 28115, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 28113, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28107, "src": "2408:2:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "id": 28114, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28105, "src": "2414:2:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2408:8:31", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "556e646572666c6f7720647572696e67207375627472616374696f6e2e", "id": 28116, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2418:31:31", "typeDescriptions": { "typeIdentifier": "t_stringliteral_3f07ec8ec696bed525128e54888c3199e6c1842c68393ede0d46ce9e0c636998", "typeString": "literal_string \"Underflow during subtraction.\"" }, "value": "Underflow during subtraction." } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_3f07ec8ec696bed525128e54888c3199e6c1842c68393ede0d46ce9e0c636998", "typeString": "literal_string \"Underflow during subtraction.\"" } ], "id": 28112, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "2400:7:31", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 28117, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2400:50:31", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 28118, "nodeType": "ExpressionStatement", "src": "2400:50:31" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 28121, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 28119, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28105, "src": "2467:2:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 28120, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28107, "src": "2472:2:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2467:7:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 28111, "id": 28122, "nodeType": "Return", "src": "2460:14:31" } ] }, "documentation": { "id": 28103, "nodeType": "StructuredDocumentation", "src": "2205:111:31", "text": " @dev Subtracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend)." }, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "parameters": { "id": 28108, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28105, "mutability": "mutable", "name": "_a", "nodeType": "VariableDeclaration", "scope": 28124, "src": "2334:10:31", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 28104, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2334:7:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 28107, "mutability": "mutable", "name": "_b", "nodeType": "VariableDeclaration", "scope": 28124, "src": "2346:10:31", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 28106, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2346:7:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2333:24:31" }, "returnParameters": { "id": 28111, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28110, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 28124, "src": "2381:7:31", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 28109, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2381:7:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2380:9:31" }, "scope": 28151, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 28150, "nodeType": "FunctionDefinition", "src": "2553:172:31", "body": { "id": 28149, "nodeType": "Block", "src": "2624:101:31", "statements": [ { "expression": { "id": 28138, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 28134, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28132, "src": "2634:1:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 28137, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 28135, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28127, "src": "2638:2:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 28136, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28129, "src": "2643:2:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2638:7:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2634:11:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 28139, "nodeType": "ExpressionStatement", "src": "2634:11:31" }, { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 28143, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 28141, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28132, "src": "2663:1:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "id": 28142, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28127, "src": "2668:2:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2663:7:31", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "4f766572666c6f7720647572696e67206164646974696f6e2e", "id": 28144, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2672:27:31", "typeDescriptions": { "typeIdentifier": "t_stringliteral_d421e0463b1281311e0cc27f6e2ed63272137dbcd06f02e8ae9d697a2979f8e3", "typeString": "literal_string \"Overflow during addition.\"" }, "value": "Overflow during addition." } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_d421e0463b1281311e0cc27f6e2ed63272137dbcd06f02e8ae9d697a2979f8e3", "typeString": "literal_string \"Overflow during addition.\"" } ], "id": 28140, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "2655:7:31", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 28145, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2655:45:31", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 28146, "nodeType": "ExpressionStatement", "src": "2655:45:31" }, { "expression": { "id": 28147, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28132, "src": "2717:1:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 28133, "id": 28148, "nodeType": "Return", "src": "2710:8:31" } ] }, "documentation": { "id": 28125, "nodeType": "StructuredDocumentation", "src": "2487:61:31", "text": " @dev Adds two numbers, throws on overflow." }, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "parameters": { "id": 28130, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28127, "mutability": "mutable", "name": "_a", "nodeType": "VariableDeclaration", "scope": 28150, "src": "2566:10:31", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 28126, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2566:7:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 28129, "mutability": "mutable", "name": "_b", "nodeType": "VariableDeclaration", "scope": 28150, "src": "2578:10:31", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 28128, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2578:7:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2565:24:31" }, "returnParameters": { "id": 28133, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28132, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 28150, "src": "2613:9:31", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 28131, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2613:7:31", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2612:11:31" }, "scope": 28151, "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 28052, "nodeType": "StructuredDocumentation", "src": "1164:89:31", "text": " @title SafeMath\n @dev Math operations with safety checks that throw on error" }, "fullyImplemented": true, "linearizedBaseContracts": [ 28151 ], "name": "SafeMath", "scope": 28152 } ], "license": "MIT" }, "id": 31 }