{ "abi": [], "bytecode": { "object": "0x602d6023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c6343000706000a", "sourceMap": "1254:1473:15:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "linkReferences": {} }, "deployedBytecode": { "object": "0x73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c6343000706000a", "sourceMap": "1254:1473:15:-:0;;;;;;;;", "linkReferences": {} }, "methodIdentifiers": {}, "ast": { "absolutePath": "node_modules/@summa-tx/memview-sol/contracts/SafeMath.sol", "id": 24171, "exportedSymbols": { "SafeMath": [ 24170 ] }, "nodeType": "SourceUnit", "src": "32:2696:15", "nodes": [ { "id": 24070, "nodeType": "PragmaDirective", "src": "32:25:15", "literals": [ "solidity", ">=", "0.5", ".10" ] }, { "id": 24170, "nodeType": "ContractDefinition", "src": "1254:1473:15", "nodes": [ { "id": 24106, "nodeType": "FunctionDefinition", "src": "1350:456:15", "body": { "id": 24105, "nodeType": "Block", "src": "1421:385:15", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 24083, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 24081, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24074, "src": "1652:2:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 24082, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1658:1:15", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1652:7:15", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 24087, "nodeType": "IfStatement", "src": "1648:46:15", "trueBody": { "id": 24086, "nodeType": "Block", "src": "1661:33:15", "statements": [ { "expression": { "hexValue": "30", "id": 24084, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1682:1:15", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 24080, "id": 24085, "nodeType": "Return", "src": "1675:8:15" } ] } }, { "expression": { "id": 24092, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 24088, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24079, "src": "1704:1:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 24091, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 24089, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24074, "src": "1708:2:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 24090, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24076, "src": "1713:2:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1708:7:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1704:11:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 24093, "nodeType": "ExpressionStatement", "src": "1704:11:15" }, { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 24099, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 24097, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 24095, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24079, "src": "1733:1:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 24096, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24074, "src": "1737:2:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1733:6:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "id": 24098, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24076, "src": "1743:2:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1733:12:15", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "4f766572666c6f7720647572696e67206d756c7469706c69636174696f6e2e", "id": 24100, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1747:33:15", "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": 24094, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1725:7:15", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24101, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1725:56:15", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24102, "nodeType": "ExpressionStatement", "src": "1725:56:15" }, { "expression": { "id": 24103, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24079, "src": "1798:1:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 24080, "id": 24104, "nodeType": "Return", "src": "1791:8:15" } ] }, "documentation": { "id": 24072, "nodeType": "StructuredDocumentation", "src": "1278:67:15", "text": " @dev Multiplies two numbers, throws on overflow." }, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "parameters": { "id": 24077, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24074, "mutability": "mutable", "name": "_a", "nodeType": "VariableDeclaration", "scope": 24106, "src": "1363:10:15", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 24073, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1363:7:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 24076, "mutability": "mutable", "name": "_b", "nodeType": "VariableDeclaration", "scope": 24106, "src": "1375:10:15", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 24075, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1375:7:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1362:24:15" }, "returnParameters": { "id": 24080, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24079, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 24106, "src": "1410:9:15", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 24078, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1410:7:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1409:11:15" }, "scope": 24170, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 24121, "nodeType": "FunctionDefinition", "src": "1898:301:15", "body": { "id": 24120, "nodeType": "Block", "src": "1967:232:15", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 24118, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 24116, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24109, "src": "2185:2:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 24117, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24111, "src": "2190:2:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2185:7:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 24115, "id": 24119, "nodeType": "Return", "src": "2178:14:15" } ] }, "documentation": { "id": 24107, "nodeType": "StructuredDocumentation", "src": "1812:81:15", "text": " @dev Integer division of two numbers, truncating the quotient." }, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "parameters": { "id": 24112, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24109, "mutability": "mutable", "name": "_a", "nodeType": "VariableDeclaration", "scope": 24121, "src": "1911:10:15", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 24108, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1911:7:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 24111, "mutability": "mutable", "name": "_b", "nodeType": "VariableDeclaration", "scope": 24121, "src": "1923:10:15", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 24110, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1923:7:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1910:24:15" }, "returnParameters": { "id": 24115, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24114, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 24121, "src": "1958:7:15", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 24113, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1958:7:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1957:9:15" }, "scope": 24170, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 24143, "nodeType": "FunctionDefinition", "src": "2321:160:15", "body": { "id": 24142, "nodeType": "Block", "src": "2390:91:15", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 24134, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 24132, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24126, "src": "2408:2:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "id": 24133, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24124, "src": "2414:2:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2408:8:15", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "556e646572666c6f7720647572696e67207375627472616374696f6e2e", "id": 24135, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2418:31:15", "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": 24131, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "2400:7:15", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24136, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2400:50:15", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24137, "nodeType": "ExpressionStatement", "src": "2400:50:15" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 24140, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 24138, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24124, "src": "2467:2:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 24139, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24126, "src": "2472:2:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2467:7:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 24130, "id": 24141, "nodeType": "Return", "src": "2460:14:15" } ] }, "documentation": { "id": 24122, "nodeType": "StructuredDocumentation", "src": "2205:111:15", "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": 24127, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24124, "mutability": "mutable", "name": "_a", "nodeType": "VariableDeclaration", "scope": 24143, "src": "2334:10:15", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 24123, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2334:7:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 24126, "mutability": "mutable", "name": "_b", "nodeType": "VariableDeclaration", "scope": 24143, "src": "2346:10:15", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 24125, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2346:7:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2333:24:15" }, "returnParameters": { "id": 24130, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24129, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 24143, "src": "2381:7:15", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 24128, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2381:7:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2380:9:15" }, "scope": 24170, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 24169, "nodeType": "FunctionDefinition", "src": "2553:172:15", "body": { "id": 24168, "nodeType": "Block", "src": "2624:101:15", "statements": [ { "expression": { "id": 24157, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 24153, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24151, "src": "2634:1:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 24156, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 24154, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24146, "src": "2638:2:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 24155, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24148, "src": "2643:2:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2638:7:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2634:11:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 24158, "nodeType": "ExpressionStatement", "src": "2634:11:15" }, { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 24162, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 24160, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24151, "src": "2663:1:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "id": 24161, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24146, "src": "2668:2:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2663:7:15", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "4f766572666c6f7720647572696e67206164646974696f6e2e", "id": 24163, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2672:27:15", "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": 24159, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "2655:7:15", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24164, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2655:45:15", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24165, "nodeType": "ExpressionStatement", "src": "2655:45:15" }, { "expression": { "id": 24166, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24151, "src": "2717:1:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 24152, "id": 24167, "nodeType": "Return", "src": "2710:8:15" } ] }, "documentation": { "id": 24144, "nodeType": "StructuredDocumentation", "src": "2487:61:15", "text": " @dev Adds two numbers, throws on overflow." }, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "parameters": { "id": 24149, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24146, "mutability": "mutable", "name": "_a", "nodeType": "VariableDeclaration", "scope": 24169, "src": "2566:10:15", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 24145, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2566:7:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 24148, "mutability": "mutable", "name": "_b", "nodeType": "VariableDeclaration", "scope": 24169, "src": "2578:10:15", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 24147, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2578:7:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2565:24:15" }, "returnParameters": { "id": 24152, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24151, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 24169, "src": "2613:9:15", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 24150, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2613:7:15", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2612:11:15" }, "scope": 24170, "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 24071, "nodeType": "StructuredDocumentation", "src": "1164:89:15", "text": " @title SafeMath\n @dev Math operations with safety checks that throw on error" }, "fullyImplemented": true, "linearizedBaseContracts": [ 24170 ], "name": "SafeMath", "scope": 24171 } ], "license": "MIT" }, "id": 15 }