{ "abi": [], "allSourcePaths": { "71": "contracts/examples/strings.sol" }, "ast": { "absolutePath": "contracts/examples/strings.sol", "exportedSymbols": { "strings": [ 3096 ] }, "id": 3097, "license": "Apache2", "nodeType": "SourceUnit", "nodes": [ { "id": 2835, "literals": [ "solidity", "0.8", ".2" ], "nodeType": "PragmaDirective", "src": "2073:22:71" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "fullyImplemented": true, "id": 3096, "linearizedBaseContracts": [ 3096 ], "name": "strings", "nameLocation": "2105:7:71", "nodeType": "ContractDefinition", "nodes": [ { "canonicalName": "strings.slice", "id": 2840, "members": [ { "constant": false, "id": 2837, "mutability": "mutable", "name": "_len", "nameLocation": "2148:4:71", "nodeType": "VariableDeclaration", "scope": 2840, "src": "2143:9:71", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2836, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2143:4:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2839, "mutability": "mutable", "name": "_ptr", "nameLocation": "2167:4:71", "nodeType": "VariableDeclaration", "scope": 2840, "src": "2162:9:71", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2838, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2162:4:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "name": "slice", "nameLocation": "2127:5:71", "nodeType": "StructDefinition", "scope": 3096, "src": "2120:58:71", "visibility": "public" }, { "body": { "id": 2892, "nodeType": "Block", "src": "2245:560:71", "statements": [ { "body": { "id": 2865, "nodeType": "Block", "src": "2335:136:71", "statements": [ { "AST": { "nodeType": "YulBlock", "src": "2358:56:71", "statements": [ { "expression": { "arguments": [ { "name": "dest", "nodeType": "YulIdentifier", "src": "2383:4:71" }, { "arguments": [ { "name": "src", "nodeType": "YulIdentifier", "src": "2395:3:71" } ], "functionName": { "name": "mload", "nodeType": "YulIdentifier", "src": "2389:5:71" }, "nodeType": "YulFunctionCall", "src": "2389:10:71" } ], "functionName": { "name": "mstore", "nodeType": "YulIdentifier", "src": "2376:6:71" }, "nodeType": "YulFunctionCall", "src": "2376:24:71" }, "nodeType": "YulExpressionStatement", "src": "2376:24:71" } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 2842, "isOffset": false, "isSlot": false, "src": "2383:4:71", "valueSize": 1 }, { "declaration": 2844, "isOffset": false, "isSlot": false, "src": "2395:3:71", "valueSize": 1 } ], "id": 2856, "nodeType": "InlineAssembly", "src": "2349:65:71" }, { "expression": { "id": 2859, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 2857, "name": "dest", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2842, "src": "2427:4:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "hexValue": "3332", "id": 2858, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2435:2:71", "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "src": "2427:10:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2860, "nodeType": "ExpressionStatement", "src": "2427:10:71" }, { "expression": { "id": 2863, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 2861, "name": "src", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2844, "src": "2451:3:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "hexValue": "3332", "id": 2862, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2458:2:71", "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "src": "2451:9:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2864, "nodeType": "ExpressionStatement", "src": "2451:9:71" } ] }, "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2851, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2849, "name": "len_", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2846, "src": "2311:4:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "hexValue": "3332", "id": 2850, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2319:2:71", "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "src": "2311:10:71", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2866, "loopExpression": { "expression": { "id": 2854, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 2852, "name": "len_", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2846, "src": "2323:4:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "hexValue": "3332", "id": 2853, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2331:2:71", "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "src": "2323:10:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2855, "nodeType": "ExpressionStatement", "src": "2323:10:71" }, "nodeType": "ForStatement", "src": "2305:166:71" }, { "assignments": [ 2868 ], "declarations": [ { "constant": false, "id": 2868, "mutability": "mutable", "name": "mask", "nameLocation": "2518:4:71", "nodeType": "VariableDeclaration", "scope": 2892, "src": "2513:9:71", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2867, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2513:4:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 2874, "initialValue": { "expression": { "arguments": [ { "id": 2871, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2530:4:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 2870, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2530:4:71", "typeDescriptions": {} } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" } ], "id": 2869, "name": "type", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -27, "src": "2525:4:71", "typeDescriptions": { "typeIdentifier": "t_function_metatype_pure$__$returns$__$", "typeString": "function () pure" } }, "id": 2872, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2525:10:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_magic_meta_type_t_uint256", "typeString": "type(uint256)" } }, "id": 2873, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "max", "nodeType": "MemberAccess", "src": "2525:14:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2513:26:71" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2877, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2875, "name": "len_", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2846, "src": "2553:4:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 2876, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2560:1:71", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2553:8:71", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2890, "nodeType": "IfStatement", "src": "2549:68:71", "trueBody": { "id": 2889, "nodeType": "Block", "src": "2563:54:71", "statements": [ { "expression": { "id": 2887, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 2878, "name": "mask", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2868, "src": "2577:4:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2886, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2884, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "hexValue": "323536", "id": 2879, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2584:3:71", "typeDescriptions": { "typeIdentifier": "t_rational_256_by_1", "typeString": "int_const 256" }, "value": "256" }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "components": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2882, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "hexValue": "3332", "id": 2880, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2592:2:71", "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 2881, "name": "len_", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2846, "src": "2597:4:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2592:9:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 2883, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2591:11:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2584:18:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "hexValue": "31", "id": 2885, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2605:1:71", "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2584:22:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2577:29:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2888, "nodeType": "ExpressionStatement", "src": "2577:29:71" } ] } }, { "AST": { "nodeType": "YulBlock", "src": "2635:164:71", "statements": [ { "nodeType": "YulVariableDeclaration", "src": "2649:41:71", "value": { "arguments": [ { "arguments": [ { "name": "src", "nodeType": "YulIdentifier", "src": "2674:3:71" } ], "functionName": { "name": "mload", "nodeType": "YulIdentifier", "src": "2668:5:71" }, "nodeType": "YulFunctionCall", "src": "2668:10:71" }, { "arguments": [ { "name": "mask", "nodeType": "YulIdentifier", "src": "2684:4:71" } ], "functionName": { "name": "not", "nodeType": "YulIdentifier", "src": "2680:3:71" }, "nodeType": "YulFunctionCall", "src": "2680:9:71" } ], "functionName": { "name": "and", "nodeType": "YulIdentifier", "src": "2664:3:71" }, "nodeType": "YulFunctionCall", "src": "2664:26:71" }, "variables": [ { "name": "srcpart", "nodeType": "YulTypedName", "src": "2653:7:71", "type": "" } ] }, { "nodeType": "YulVariableDeclaration", "src": "2703:38:71", "value": { "arguments": [ { "arguments": [ { "name": "dest", "nodeType": "YulIdentifier", "src": "2729:4:71" } ], "functionName": { "name": "mload", "nodeType": "YulIdentifier", "src": "2723:5:71" }, "nodeType": "YulFunctionCall", "src": "2723:11:71" }, { "name": "mask", "nodeType": "YulIdentifier", "src": "2736:4:71" } ], "functionName": { "name": "and", "nodeType": "YulIdentifier", "src": "2719:3:71" }, "nodeType": "YulFunctionCall", "src": "2719:22:71" }, "variables": [ { "name": "destpart", "nodeType": "YulTypedName", "src": "2707:8:71", "type": "" } ] }, { "expression": { "arguments": [ { "name": "dest", "nodeType": "YulIdentifier", "src": "2761:4:71" }, { "arguments": [ { "name": "destpart", "nodeType": "YulIdentifier", "src": "2770:8:71" }, { "name": "srcpart", "nodeType": "YulIdentifier", "src": "2780:7:71" } ], "functionName": { "name": "or", "nodeType": "YulIdentifier", "src": "2767:2:71" }, "nodeType": "YulFunctionCall", "src": "2767:21:71" } ], "functionName": { "name": "mstore", "nodeType": "YulIdentifier", "src": "2754:6:71" }, "nodeType": "YulFunctionCall", "src": "2754:35:71" }, "nodeType": "YulExpressionStatement", "src": "2754:35:71" } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 2842, "isOffset": false, "isSlot": false, "src": "2729:4:71", "valueSize": 1 }, { "declaration": 2842, "isOffset": false, "isSlot": false, "src": "2761:4:71", "valueSize": 1 }, { "declaration": 2868, "isOffset": false, "isSlot": false, "src": "2684:4:71", "valueSize": 1 }, { "declaration": 2868, "isOffset": false, "isSlot": false, "src": "2736:4:71", "valueSize": 1 }, { "declaration": 2844, "isOffset": false, "isSlot": false, "src": "2674:3:71", "valueSize": 1 } ], "id": 2891, "nodeType": "InlineAssembly", "src": "2626:173:71" } ] }, "id": 2893, "implemented": true, "kind": "function", "modifiers": [], "name": "memcpy", "nameLocation": "2193:6:71", "nodeType": "FunctionDefinition", "parameters": { "id": 2847, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2842, "mutability": "mutable", "name": "dest", "nameLocation": "2205:4:71", "nodeType": "VariableDeclaration", "scope": 2893, "src": "2200:9:71", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2841, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2200:4:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2844, "mutability": "mutable", "name": "src", "nameLocation": "2216:3:71", "nodeType": "VariableDeclaration", "scope": 2893, "src": "2211:8:71", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2843, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2211:4:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2846, "mutability": "mutable", "name": "len_", "nameLocation": "2226:4:71", "nodeType": "VariableDeclaration", "scope": 2893, "src": "2221:9:71", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2845, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2221:4:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2199:32:71" }, "returnParameters": { "id": 2848, "nodeType": "ParameterList", "parameters": [], "src": "2245:0:71" }, "scope": 3096, "src": "2184:621:71", "stateMutability": "pure", "virtual": false, "visibility": "private" }, { "body": { "id": 3051, "nodeType": "Block", "src": "3057:750:71", "statements": [ { "assignments": [ 2901 ], "declarations": [ { "constant": false, "id": 2901, "mutability": "mutable", "name": "ret", "nameLocation": "3072:3:71", "nodeType": "VariableDeclaration", "scope": 3051, "src": "3067:8:71", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2900, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3067:4:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 2902, "nodeType": "VariableDeclarationStatement", "src": "3067:8:71" }, { "condition": { "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 2905, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2903, "name": "self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2895, "src": "3089:4:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 2904, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3097:1:71", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3089:9:71", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2908, "nodeType": "IfStatement", "src": "3085:35:71", "trueBody": { "expression": { "hexValue": "30", "id": 2906, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3119:1:71", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 2899, "id": 2907, "nodeType": "Return", "src": "3112:8:71" } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2920, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2918, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "arguments": [ { "id": 2911, "name": "self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2895, "src": "3139:4:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 2910, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3134:4:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 2909, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3134:4:71", "typeDescriptions": {} } }, "id": 2912, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3134:10:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "expression": { "arguments": [ { "id": 2915, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3152:7:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint128_$", "typeString": "type(uint128)" }, "typeName": { "id": 2914, "name": "uint128", "nodeType": "ElementaryTypeName", "src": "3152:7:71", "typeDescriptions": {} } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint128_$", "typeString": "type(uint128)" } ], "id": 2913, "name": "type", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -27, "src": "3147:4:71", "typeDescriptions": { "typeIdentifier": "t_function_metatype_pure$__$returns$__$", "typeString": "function () pure" } }, "id": 2916, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3147:13:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_magic_meta_type_t_uint128", "typeString": "type(uint128)" } }, "id": 2917, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "max", "nodeType": "MemberAccess", "src": "3147:17:71", "typeDescriptions": { "typeIdentifier": "t_uint128", "typeString": "uint128" } }, "src": "3134:30:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 2919, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3168:1:71", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3134:35:71", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2938, "nodeType": "IfStatement", "src": "3130:153:71", "trueBody": { "id": 2937, "nodeType": "Block", "src": "3171:112:71", "statements": [ { "expression": { "id": 2923, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 2921, "name": "ret", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2901, "src": "3185:3:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "hexValue": "3136", "id": 2922, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3192:2:71", "typeDescriptions": { "typeIdentifier": "t_rational_16_by_1", "typeString": "int_const 16" }, "value": "16" }, "src": "3185:9:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2924, "nodeType": "ExpressionStatement", "src": "3185:9:71" }, { "expression": { "id": 2935, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 2925, "name": "self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2895, "src": "3208:4:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2933, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "arguments": [ { "id": 2930, "name": "self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2895, "src": "3228:4:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 2929, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3223:4:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 2928, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3223:4:71", "typeDescriptions": {} } }, "id": 2931, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3223:10:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "hexValue": "3078313030303030303030303030303030303030303030303030303030303030303030", "id": 2932, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3236:35:71", "typeDescriptions": { "typeIdentifier": "t_rational_340282366920938463463374607431768211456_by_1", "typeString": "int_const 3402...(31 digits omitted)...1456" }, "value": "0x100000000000000000000000000000000" }, "src": "3223:48:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 2927, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3215:7:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_bytes32_$", "typeString": "type(bytes32)" }, "typeName": { "id": 2926, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3215:7:71", "typeDescriptions": {} } }, "id": 2934, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3215:57:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3208:64:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 2936, "nodeType": "ExpressionStatement", "src": "3208:64:71" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2950, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2948, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "arguments": [ { "id": 2941, "name": "self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2895, "src": "3301:4:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 2940, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3296:4:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 2939, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3296:4:71", "typeDescriptions": {} } }, "id": 2942, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3296:10:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "expression": { "arguments": [ { "id": 2945, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3314:6:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint64_$", "typeString": "type(uint64)" }, "typeName": { "id": 2944, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "3314:6:71", "typeDescriptions": {} } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint64_$", "typeString": "type(uint64)" } ], "id": 2943, "name": "type", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -27, "src": "3309:4:71", "typeDescriptions": { "typeIdentifier": "t_function_metatype_pure$__$returns$__$", "typeString": "function () pure" } }, "id": 2946, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3309:12:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_magic_meta_type_t_uint64", "typeString": "type(uint64)" } }, "id": 2947, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "max", "nodeType": "MemberAccess", "src": "3309:16:71", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "3296:29:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 2949, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3329:1:71", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3296:34:71", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2968, "nodeType": "IfStatement", "src": "3292:135:71", "trueBody": { "id": 2967, "nodeType": "Block", "src": "3332:95:71", "statements": [ { "expression": { "id": 2953, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 2951, "name": "ret", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2901, "src": "3346:3:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "hexValue": "38", "id": 2952, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3353:1:71", "typeDescriptions": { "typeIdentifier": "t_rational_8_by_1", "typeString": "int_const 8" }, "value": "8" }, "src": "3346:8:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2954, "nodeType": "ExpressionStatement", "src": "3346:8:71" }, { "expression": { "id": 2965, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 2955, "name": "self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2895, "src": "3368:4:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2963, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "arguments": [ { "id": 2960, "name": "self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2895, "src": "3388:4:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 2959, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3383:4:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 2958, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3383:4:71", "typeDescriptions": {} } }, "id": 2961, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3383:10:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "hexValue": "30783130303030303030303030303030303030", "id": 2962, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3396:19:71", "typeDescriptions": { "typeIdentifier": "t_rational_18446744073709551616_by_1", "typeString": "int_const 18446744073709551616" }, "value": "0x10000000000000000" }, "src": "3383:32:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 2957, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3375:7:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_bytes32_$", "typeString": "type(bytes32)" }, "typeName": { "id": 2956, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3375:7:71", "typeDescriptions": {} } }, "id": 2964, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3375:41:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3368:48:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 2966, "nodeType": "ExpressionStatement", "src": "3368:48:71" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2980, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2978, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "arguments": [ { "id": 2971, "name": "self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2895, "src": "3445:4:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 2970, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3440:4:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 2969, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3440:4:71", "typeDescriptions": {} } }, "id": 2972, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3440:10:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "expression": { "arguments": [ { "id": 2975, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3458:6:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint32_$", "typeString": "type(uint32)" }, "typeName": { "id": 2974, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "3458:6:71", "typeDescriptions": {} } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint32_$", "typeString": "type(uint32)" } ], "id": 2973, "name": "type", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -27, "src": "3453:4:71", "typeDescriptions": { "typeIdentifier": "t_function_metatype_pure$__$returns$__$", "typeString": "function () pure" } }, "id": 2976, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3453:12:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_magic_meta_type_t_uint32", "typeString": "type(uint32)" } }, "id": 2977, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "max", "nodeType": "MemberAccess", "src": "3453:16:71", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "3440:29:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 2979, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3473:1:71", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3440:34:71", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2998, "nodeType": "IfStatement", "src": "3436:127:71", "trueBody": { "id": 2997, "nodeType": "Block", "src": "3476:87:71", "statements": [ { "expression": { "id": 2983, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 2981, "name": "ret", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2901, "src": "3490:3:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "hexValue": "34", "id": 2982, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3497:1:71", "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "4" }, "src": "3490:8:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2984, "nodeType": "ExpressionStatement", "src": "3490:8:71" }, { "expression": { "id": 2995, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 2985, "name": "self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2895, "src": "3512:4:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2993, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "arguments": [ { "id": 2990, "name": "self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2895, "src": "3532:4:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 2989, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3527:4:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 2988, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3527:4:71", "typeDescriptions": {} } }, "id": 2991, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3527:10:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "hexValue": "3078313030303030303030", "id": 2992, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3540:11:71", "typeDescriptions": { "typeIdentifier": "t_rational_4294967296_by_1", "typeString": "int_const 4294967296" }, "value": "0x100000000" }, "src": "3527:24:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 2987, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3519:7:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_bytes32_$", "typeString": "type(bytes32)" }, "typeName": { "id": 2986, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3519:7:71", "typeDescriptions": {} } }, "id": 2994, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3519:33:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3512:40:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 2996, "nodeType": "ExpressionStatement", "src": "3512:40:71" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3010, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3008, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "arguments": [ { "id": 3001, "name": "self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2895, "src": "3581:4:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 3000, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3576:4:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 2999, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3576:4:71", "typeDescriptions": {} } }, "id": 3002, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3576:10:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "expression": { "arguments": [ { "id": 3005, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3594:6:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint16_$", "typeString": "type(uint16)" }, "typeName": { "id": 3004, "name": "uint16", "nodeType": "ElementaryTypeName", "src": "3594:6:71", "typeDescriptions": {} } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint16_$", "typeString": "type(uint16)" } ], "id": 3003, "name": "type", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -27, "src": "3589:4:71", "typeDescriptions": { "typeIdentifier": "t_function_metatype_pure$__$returns$__$", "typeString": "function () pure" } }, "id": 3006, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3589:12:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_magic_meta_type_t_uint16", "typeString": "type(uint16)" } }, "id": 3007, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "max", "nodeType": "MemberAccess", "src": "3589:16:71", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "src": "3576:29:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 3009, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3609:1:71", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3576:34:71", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 3028, "nodeType": "IfStatement", "src": "3572:123:71", "trueBody": { "id": 3027, "nodeType": "Block", "src": "3612:83:71", "statements": [ { "expression": { "id": 3013, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3011, "name": "ret", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2901, "src": "3626:3:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "hexValue": "32", "id": 3012, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3633:1:71", "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "3626:8:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3014, "nodeType": "ExpressionStatement", "src": "3626:8:71" }, { "expression": { "id": 3025, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3015, "name": "self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2895, "src": "3648:4:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3023, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "arguments": [ { "id": 3020, "name": "self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2895, "src": "3668:4:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 3019, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3663:4:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 3018, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3663:4:71", "typeDescriptions": {} } }, "id": 3021, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3663:10:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "hexValue": "30783130303030", "id": 3022, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3676:7:71", "typeDescriptions": { "typeIdentifier": "t_rational_65536_by_1", "typeString": "int_const 65536" }, "value": "0x10000" }, "src": "3663:20:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3017, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3655:7:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_bytes32_$", "typeString": "type(bytes32)" }, "typeName": { "id": 3016, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3655:7:71", "typeDescriptions": {} } }, "id": 3024, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3655:29:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3648:36:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 3026, "nodeType": "ExpressionStatement", "src": "3648:36:71" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3040, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3038, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "arguments": [ { "id": 3031, "name": "self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2895, "src": "3713:4:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 3030, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3708:4:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 3029, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3708:4:71", "typeDescriptions": {} } }, "id": 3032, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3708:10:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "expression": { "arguments": [ { "id": 3035, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3726:5:71", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint8_$", "typeString": "type(uint8)" }, "typeName": { "id": 3034, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "3726:5:71", "typeDescriptions": {} } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint8_$", "typeString": "type(uint8)" } ], "id": 3033, "name": "type", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -27, "src": "3721:4:71", "typeDescriptions": { "typeIdentifier": "t_function_metatype_pure$__$returns$__$", "typeString": "function () pure" } }, "id": 3036, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3721:11:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_magic_meta_type_t_uint8", "typeString": "type(uint8)" } }, "id": 3037, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "max", "nodeType": "MemberAccess", "src": "3721:15:71", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "src": "3708:28:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 3039, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3740:1:71", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3708:33:71", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 3046, "nodeType": "IfStatement", "src": "3704:72:71", "trueBody": { "id": 3045, "nodeType": "Block", "src": "3743:33:71", "statements": [ { "expression": { "id": 3043, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3041, "name": "ret", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2901, "src": "3757:3:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "hexValue": "31", "id": 3042, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3764:1:71", "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "3757:8:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3044, "nodeType": "ExpressionStatement", "src": "3757:8:71" } ] } }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3049, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "hexValue": "3332", "id": 3047, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3792:2:71", "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 3048, "name": "ret", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2901, "src": "3797:3:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3792:8:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 2899, "id": 3050, "nodeType": "Return", "src": "3785:15:71" } ] }, "id": 3052, "implemented": true, "kind": "function", "modifiers": [], "name": "len", "nameLocation": "3010:3:71", "nodeType": "FunctionDefinition", "parameters": { "id": 2896, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2895, "mutability": "mutable", "name": "self", "nameLocation": "3022:4:71", "nodeType": "VariableDeclaration", "scope": 3052, "src": "3014:12:71", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 2894, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3014:7:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "3013:14:71" }, "returnParameters": { "id": 2899, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2898, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 3052, "src": "3051:4:71", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2897, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3051:4:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3050:6:71" }, "scope": 3096, "src": "3001:806:71", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 3094, "nodeType": "Block", "src": "3945:418:71", "statements": [ { "assignments": [ 3061 ], "declarations": [ { "constant": false, "id": 3061, "mutability": "mutable", "name": "slc", "nameLocation": "3968:3:71", "nodeType": "VariableDeclaration", "scope": 3094, "src": "3955:16:71", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_struct$_slice_$2840_memory_ptr", "typeString": "struct strings.slice" }, "typeName": { "id": 3060, "nodeType": "UserDefinedTypeName", "pathNode": { "id": 3059, "name": "slice", "nodeType": "IdentifierPath", "referencedDeclaration": 2840, "src": "3955:5:71" }, "referencedDeclaration": 2840, "src": "3955:5:71", "typeDescriptions": { "typeIdentifier": "t_struct$_slice_$2840_storage_ptr", "typeString": "struct strings.slice" } }, "visibility": "internal" } ], "id": 3062, "nodeType": "VariableDeclarationStatement", "src": "3955:16:71" }, { "AST": { "nodeType": "YulBlock", "src": "3990:157:71", "statements": [ { "nodeType": "YulVariableDeclaration", "src": "4004:22:71", "value": { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "4021:4:71", "type": "", "value": "0x40" } ], "functionName": { "name": "mload", "nodeType": "YulIdentifier", "src": "4015:5:71" }, "nodeType": "YulFunctionCall", "src": "4015:11:71" }, "variables": [ { "name": "ptr", "nodeType": "YulTypedName", "src": "4008:3:71", "type": "" } ] }, { "expression": { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "4046:4:71", "type": "", "value": "0x40" }, { "arguments": [ { "name": "ptr", "nodeType": "YulIdentifier", "src": "4056:3:71" }, { "kind": "number", "nodeType": "YulLiteral", "src": "4061:4:71", "type": "", "value": "0x20" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "4052:3:71" }, "nodeType": "YulFunctionCall", "src": "4052:14:71" } ], "functionName": { "name": "mstore", "nodeType": "YulIdentifier", "src": "4039:6:71" }, "nodeType": "YulFunctionCall", "src": "4039:28:71" }, "nodeType": "YulExpressionStatement", "src": "4039:28:71" }, { "expression": { "arguments": [ { "name": "ptr", "nodeType": "YulIdentifier", "src": "4087:3:71" }, { "name": "self", "nodeType": "YulIdentifier", "src": "4092:4:71" } ], "functionName": { "name": "mstore", "nodeType": "YulIdentifier", "src": "4080:6:71" }, "nodeType": "YulFunctionCall", "src": "4080:17:71" }, "nodeType": "YulExpressionStatement", "src": "4080:17:71" }, { "expression": { "arguments": [ { "arguments": [ { "name": "slc", "nodeType": "YulIdentifier", "src": "4121:3:71" }, { "kind": "number", "nodeType": "YulLiteral", "src": "4126:4:71", "type": "", "value": "0x20" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "4117:3:71" }, "nodeType": "YulFunctionCall", "src": "4117:14:71" }, { "name": "ptr", "nodeType": "YulIdentifier", "src": "4133:3:71" } ], "functionName": { "name": "mstore", "nodeType": "YulIdentifier", "src": "4110:6:71" }, "nodeType": "YulFunctionCall", "src": "4110:27:71" }, "nodeType": "YulExpressionStatement", "src": "4110:27:71" } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 3054, "isOffset": false, "isSlot": false, "src": "4092:4:71", "valueSize": 1 }, { "declaration": 3061, "isOffset": false, "isSlot": false, "src": "4121:3:71", "valueSize": 1 } ], "id": 3063, "nodeType": "InlineAssembly", "src": "3981:166:71" }, { "expression": { "id": 3070, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "expression": { "id": 3064, "name": "slc", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3061, "src": "4156:3:71", "typeDescriptions": { "typeIdentifier": "t_struct$_slice_$2840_memory_ptr", "typeString": "struct strings.slice memory" } }, "id": 3066, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "memberName": "_len", "nodeType": "MemberAccess", "referencedDeclaration": 2837, "src": "4156:8:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "arguments": [ { "id": 3068, "name": "self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3054, "src": "4171:4:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 3067, "name": "len", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3052, "src": "4167:3:71", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes32_$returns$_t_uint256_$", "typeString": "function (bytes32) pure returns (uint256)" } }, "id": 3069, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4167:9:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4156:20:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3071, "nodeType": "ExpressionStatement", "src": "4156:20:71" }, { "assignments": [ 3073 ], "declarations": [ { "constant": false, "id": 3073, "mutability": "mutable", "name": "ret", "nameLocation": "4201:3:71", "nodeType": "VariableDeclaration", "scope": 3094, "src": "4187:17:71", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 3072, "name": "string", "nodeType": "ElementaryTypeName", "src": "4187:6:71", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "id": 3079, "initialValue": { "arguments": [ { "expression": { "id": 3076, "name": "slc", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3061, "src": "4218:3:71", "typeDescriptions": { "typeIdentifier": "t_struct$_slice_$2840_memory_ptr", "typeString": "struct strings.slice memory" } }, "id": 3077, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "_len", "nodeType": "MemberAccess", "referencedDeclaration": 2837, "src": "4218:8:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3075, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "NewExpression", "src": "4207:10:71", "typeDescriptions": { "typeIdentifier": "t_function_objectcreation_pure$_t_uint256_$returns$_t_string_memory_ptr_$", "typeString": "function (uint256) pure returns (string memory)" }, "typeName": { "id": 3074, "name": "string", "nodeType": "ElementaryTypeName", "src": "4211:6:71", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } } }, "id": 3078, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4207:20:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } }, "nodeType": "VariableDeclarationStatement", "src": "4187:40:71" }, { "assignments": [ 3081 ], "declarations": [ { "constant": false, "id": 3081, "mutability": "mutable", "name": "retptr", "nameLocation": "4242:6:71", "nodeType": "VariableDeclaration", "scope": 3094, "src": "4237:11:71", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3080, "name": "uint", "nodeType": "ElementaryTypeName", "src": "4237:4:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 3082, "nodeType": "VariableDeclarationStatement", "src": "4237:11:71" }, { "AST": { "nodeType": "YulBlock", "src": "4267:26:71", "statements": [ { "nodeType": "YulAssignment", "src": "4269:22:71", "value": { "arguments": [ { "name": "ret", "nodeType": "YulIdentifier", "src": "4283:3:71" }, { "kind": "number", "nodeType": "YulLiteral", "src": "4288:2:71", "type": "", "value": "32" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "4279:3:71" }, "nodeType": "YulFunctionCall", "src": "4279:12:71" }, "variableNames": [ { "name": "retptr", "nodeType": "YulIdentifier", "src": "4269:6:71" } ] } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 3073, "isOffset": false, "isSlot": false, "src": "4283:3:71", "valueSize": 1 }, { "declaration": 3081, "isOffset": false, "isSlot": false, "src": "4269:6:71", "valueSize": 1 } ], "id": 3083, "nodeType": "InlineAssembly", "src": "4258:35:71" }, { "expression": { "arguments": [ { "id": 3085, "name": "retptr", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3081, "src": "4309:6:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "expression": { "id": 3086, "name": "slc", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3061, "src": "4317:3:71", "typeDescriptions": { "typeIdentifier": "t_struct$_slice_$2840_memory_ptr", "typeString": "struct strings.slice memory" } }, "id": 3087, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "_ptr", "nodeType": "MemberAccess", "referencedDeclaration": 2839, "src": "4317:8:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "expression": { "id": 3088, "name": "slc", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3061, "src": "4327:3:71", "typeDescriptions": { "typeIdentifier": "t_struct$_slice_$2840_memory_ptr", "typeString": "struct strings.slice memory" } }, "id": 3089, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "_len", "nodeType": "MemberAccess", "referencedDeclaration": 2837, "src": "4327:8:71", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3084, "name": "memcpy", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2893, "src": "4302:6:71", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$__$", "typeString": "function (uint256,uint256,uint256) pure" } }, "id": 3090, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4302:34:71", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3091, "nodeType": "ExpressionStatement", "src": "4302:34:71" }, { "expression": { "id": 3092, "name": "ret", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3073, "src": "4353:3:71", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } }, "functionReturnParameters": 3058, "id": 3093, "nodeType": "Return", "src": "4346:10:71" } ] }, "id": 3095, "implemented": true, "kind": "function", "modifiers": [], "name": "toB32String", "nameLocation": "3881:11:71", "nodeType": "FunctionDefinition", "parameters": { "id": 3055, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3054, "mutability": "mutable", "name": "self", "nameLocation": "3901:4:71", "nodeType": "VariableDeclaration", "scope": 3095, "src": "3893:12:71", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 3053, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3893:7:71", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "3892:14:71" }, "returnParameters": { "id": 3058, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3057, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 3095, "src": "3930:13:71", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 3056, "name": "string", "nodeType": "ElementaryTypeName", "src": "3930:6:71", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "3929:15:71" }, "scope": 3096, "src": "3872:491:71", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 3097, "src": "2097:2268:71" } ], "src": "2073:2292:71" }, "bytecode": "60566037600b82828239805160001a607314602a57634e487b7160e01b600052600060045260246000fd5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea264697066735822122006782a1f832b8ad736e0bc8372d432a370e44090a013594c9275b30c9d57c4b864736f6c63430008020033", "bytecodeSha1": "1ce946f6a4eaa185320328620ccf999b9e86db7c", "compiler": { "evm_version": "istanbul", "optimizer": { "enabled": true, "runs": 200 }, "version": "0.8.2+commit.661d1103" }, "contractName": "strings", "coverageMap": { "branches": { "71": {} }, "statements": { "71": {} } }, "dependencies": [], "deployedBytecode": "73000000000000000000000000000000000000000030146080604052600080fdfea264697066735822122006782a1f832b8ad736e0bc8372d432a370e44090a013594c9275b30c9d57c4b864736f6c63430008020033", "deployedSourceMap": "2097:2268:71:-:0;;;;;;;;", "language": "Solidity", "natspec": { "kind": "dev", "methods": {}, "version": 1 }, "offset": [ 2097, 4365 ], "opcodes": "PUSH20 0x0 ADDRESS EQ PUSH1 0x80 PUSH1 0x40 MSTORE PUSH1 0x0 DUP1 REVERT INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 MOD PUSH25 0x2A1F832B8AD736E0BC8372D432A370E44090A013594C9275B3 0xC SWAP14 JUMPI 0xC4 0xB8 PUSH5 0x736F6C6343 STOP ADDMOD MUL STOP CALLER ", "pcMap": { "0": { "offset": [ 2097, 4365 ], "op": "PUSH20", "path": "71", "value": "0x0" }, "21": { "fn": null, "offset": [ 2097, 4365 ], "op": "ADDRESS", "path": "71" }, "22": { "fn": null, "offset": [ 2097, 4365 ], "op": "EQ", "path": "71" }, "23": { "fn": null, "offset": [ 2097, 4365 ], "op": "PUSH1", "path": "71", "value": "0x80" }, "25": { "fn": null, "offset": [ 2097, 4365 ], "op": "PUSH1", "path": "71", "value": "0x40" }, "27": { "fn": null, "offset": [ 2097, 4365 ], "op": "MSTORE", "path": "71" }, "28": { "fn": null, "offset": [ 2097, 4365 ], "op": "PUSH1", "path": "71", "value": "0x0" }, "30": { "fn": null, "offset": [ 2097, 4365 ], "op": "DUP1", "path": "71" }, "31": { "fn": null, "offset": [ 2097, 4365 ], "op": "REVERT", "path": "71" } }, "sha1": "316ebd984c1885106672186f6015bb1787596e19", "source": "// SPDX-License-Identifier: Apache2\n\n// source: https://github.com/Arachnid/solidity-stringutils\n/*\n * @title String & slice utility library for Solidity contracts.\n * @author Nick Johnson \n *\n * @dev Functionality in this library is largely implemented using an\n * abstraction called a 'slice'. A slice represents a part of a string -\n * anything from the entire string to a single character, or even no\n * characters at all (a 0-length slice). Since a slice only has to specify\n * an offset and a length, copying and manipulating slices is a lot less\n * expensive than copying and manipulating the strings they reference.\n *\n * To further reduce gas costs, most functions on slice that need to return\n * a slice modify the original one instead of allocating a new one; for\n * instance, `s.split(\".\")` will return the text up to the first '.',\n * modifying s to only contain the remainder of the string after the '.'.\n * In situations where you do not want to modify the original slice, you\n * can make a copy first with `.copy()`, for example:\n * `s.copy().split(\".\")`. Try and avoid using this idiom in loops; since\n * Solidity has no memory management, it will result in allocating many\n * short-lived slices that are later discarded.\n *\n * Functions that return two slices come in two versions: a non-allocating\n * version that takes the second slice as an argument, modifying it in\n * place, and an allocating version that allocates and returns the second\n * slice; see `nextRune` for example.\n *\n * Functions that have to copy string data will return strings rather than\n * slices; these can be cast back to slices for further processing if\n * required.\n *\n * For convenience, some functions are provided with non-modifying\n * variants that create a new slice and return both; for instance,\n * `s.splitNew('.')` leaves s unmodified, and returns two values\n * corresponding to the left and right parts of the string.\n */\npragma solidity 0.8.2;\n\nlibrary strings {\n\n struct slice {\n uint _len;\n uint _ptr;\n }\n\n function memcpy(uint dest, uint src, uint len_) private pure {\n // Copy word-length chunks while possible\n for(; len_ >= 32; len_ -= 32) {\n assembly {\n mstore(dest, mload(src))\n }\n dest += 32;\n src += 32;\n }\n\n // Copy remaining bytes\n uint mask = type(uint).max;\n if (len_ > 0) {\n mask = 256 ** (32 - len_) - 1;\n }\n assembly {\n let srcpart := and(mload(src), not(mask))\n let destpart := and(mload(dest), mask)\n mstore(dest, or(destpart, srcpart))\n }\n }\n\n /*\n * @dev Returns the length of a null-terminated bytes32 string.\n * @param self The value to find the length of.\n * @return The length of the string, from 0 to 32.\n */\n function len(bytes32 self) internal pure returns (uint) {\n uint ret;\n if (self == 0)\n return 0;\n if (uint(self) & type(uint128).max == 0) {\n ret += 16;\n self = bytes32(uint(self) / 0x100000000000000000000000000000000);\n }\n if (uint(self) & type(uint64).max == 0) {\n ret += 8;\n self = bytes32(uint(self) / 0x10000000000000000);\n }\n if (uint(self) & type(uint32).max == 0) {\n ret += 4;\n self = bytes32(uint(self) / 0x100000000);\n }\n if (uint(self) & type(uint16).max == 0) {\n ret += 2;\n self = bytes32(uint(self) / 0x10000);\n }\n if (uint(self) & type(uint8).max == 0) {\n ret += 1;\n }\n return 32 - ret;\n }\n\n // merge of toSliceB32 and toString of strings library\n function toB32String(bytes32 self) internal pure returns (string memory) {\n slice memory slc;\n assembly {\n let ptr := mload(0x40)\n mstore(0x40, add(ptr, 0x20))\n mstore(ptr, self)\n mstore(add(slc, 0x20), ptr)\n }\n slc._len = len(self);\n\n string memory ret = new string(slc._len);\n uint retptr;\n assembly { retptr := add(ret, 32) }\n memcpy(retptr, slc._ptr, slc._len);\n return ret;\n }\n}", "sourceMap": "2097:2268:71:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;2097:2268:71;;;;;;;;;;;;;;;;;", "sourcePath": "contracts/examples/strings.sol", "type": "library" }