{ "abi": [], "bytecode": { "object": "0x602d6023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c6343000706000a", "sourceMap": "310:3883:73:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "linkReferences": {} }, "deployedBytecode": { "object": "0x73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c6343000706000a", "sourceMap": "310:3883:73:-:0;;;;;;;;", "linkReferences": {} }, "methodIdentifiers": {}, "ast": { "absolutePath": "packages/contracts-core/contracts/libs/Message.sol", "id": 45832, "exportedSymbols": { "Message": [ 45831 ], "SafeMath": [ 28151 ], "TypeCasts": [ 46345 ], "TypedMemView": [ 29602 ] }, "nodeType": "SourceUnit", "src": "46:4148:73", "nodes": [ { "id": 45606, "nodeType": "PragmaDirective", "src": "46:22:73", "literals": [ "solidity", "0.7", ".6" ] }, { "id": 45607, "nodeType": "ImportDirective", "src": "70:58:73", "absolutePath": "node_modules/@summa-tx/memview-sol/contracts/TypedMemView.sol", "file": "@summa-tx/memview-sol/contracts/TypedMemView.sol", "scope": 45832, "sourceUnit": 29603, "symbolAliases": [], "unitAlias": "" }, { "id": 45609, "nodeType": "ImportDirective", "src": "130:42:73", "absolutePath": "packages/contracts-core/contracts/libs/TypeCasts.sol", "file": "./TypeCasts.sol", "scope": 45832, "sourceUnit": 46346, "symbolAliases": [ { "foreign": { "id": 45608, "name": "TypeCasts", "nodeType": "Identifier", "overloadedDeclarations": [], "src": "138:9:73", "typeDescriptions": {} } } ], "unitAlias": "" }, { "id": 45831, "nodeType": "ContractDefinition", "src": "310:3883:73", "nodes": [ { "id": 45613, "nodeType": "UsingForDirective", "src": "332:29:73", "libraryName": { "id": 45611, "name": "TypedMemView", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 29602, "src": "338:12:73", "typeDescriptions": { "typeIdentifier": "t_contract$_TypedMemView_$29602", "typeString": "library TypedMemView" } }, "typeName": { "id": 45612, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "355:5:73", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } } }, { "id": 45616, "nodeType": "UsingForDirective", "src": "366:31:73", "libraryName": { "id": 45614, "name": "TypedMemView", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 29602, "src": "372:12:73", "typeDescriptions": { "typeIdentifier": "t_contract$_TypedMemView_$29602", "typeString": "library TypedMemView" } }, "typeName": { "id": 45615, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "389:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } }, { "id": 45619, "nodeType": "VariableDeclaration", "src": "467:44:73", "constant": true, "mutability": "constant", "name": "PREFIX_LENGTH", "scope": 45831, "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 45617, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "467:7:73", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "hexValue": "3736", "id": 45618, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "509:2:73", "typeDescriptions": { "typeIdentifier": "t_rational_76_by_1", "typeString": "int_const 76" }, "value": "76" }, "visibility": "internal" }, { "id": 45648, "nodeType": "FunctionDefinition", "src": "979:482:73", "body": { "id": 45647, "nodeType": "Block", "src": "1221:240:73", "statements": [ { "expression": { "arguments": [ { "id": 45639, "name": "_originDomain", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45622, "src": "1284:13:73", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "id": 45640, "name": "_sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45624, "src": "1315:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "id": 45641, "name": "_nonce", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45626, "src": "1340:6:73", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "id": 45642, "name": "_destinationDomain", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45628, "src": "1364:18:73", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "id": 45643, "name": "_recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45630, "src": "1400:10:73", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "id": 45644, "name": "_messageBody", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45632, "src": "1428:12:73", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint32", "typeString": "uint32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_uint32", "typeString": "uint32" }, { "typeIdentifier": "t_uint32", "typeString": "uint32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "expression": { "id": 45637, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -1, "src": "1250:3:73", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 45638, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "src": "1250:16:73", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 45645, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1250:204:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "functionReturnParameters": 45636, "id": 45646, "nodeType": "Return", "src": "1231:223:73" } ] }, "documentation": { "id": 45620, "nodeType": "StructuredDocumentation", "src": "518:456:73", "text": " @notice Returns formatted (packed) message with provided fields\n @param _originDomain Domain of home chain\n @param _sender Address of sender as bytes32\n @param _nonce Destination-specific nonce\n @param _destinationDomain Domain of destination chain\n @param _recipient Address of recipient on destination chain as bytes32\n @param _messageBody Raw bytes of message body\n @return Formatted message*" }, "implemented": true, "kind": "function", "modifiers": [], "name": "formatMessage", "parameters": { "id": 45633, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45622, "mutability": "mutable", "name": "_originDomain", "nodeType": "VariableDeclaration", "scope": 45648, "src": "1011:20:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 45621, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "1011:6:73", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" }, { "constant": false, "id": 45624, "mutability": "mutable", "name": "_sender", "nodeType": "VariableDeclaration", "scope": 45648, "src": "1041:15:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 45623, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1041:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" }, { "constant": false, "id": 45626, "mutability": "mutable", "name": "_nonce", "nodeType": "VariableDeclaration", "scope": 45648, "src": "1066:13:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 45625, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "1066:6:73", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" }, { "constant": false, "id": 45628, "mutability": "mutable", "name": "_destinationDomain", "nodeType": "VariableDeclaration", "scope": 45648, "src": "1089:25:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 45627, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "1089:6:73", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" }, { "constant": false, "id": 45630, "mutability": "mutable", "name": "_recipient", "nodeType": "VariableDeclaration", "scope": 45648, "src": "1124:18:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 45629, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1124:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" }, { "constant": false, "id": 45632, "mutability": "mutable", "name": "_messageBody", "nodeType": "VariableDeclaration", "scope": 45648, "src": "1152:25:73", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 45631, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "1152:5:73", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "visibility": "internal" } ], "src": "1001:182:73" }, "returnParameters": { "id": 45636, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45635, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 45648, "src": "1207:12:73", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 45634, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "1207:5:73", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "visibility": "internal" } ], "src": "1206:14:73" }, "scope": 45831, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 45678, "nodeType": "FunctionDefinition", "src": "1931:503:73", "body": { "id": 45677, "nodeType": "Block", "src": "2147:287:73", "statements": [ { "expression": { "arguments": [ { "arguments": [ { "id": 45668, "name": "_origin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45651, "src": "2238:7:73", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "id": 45669, "name": "_sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45653, "src": "2267:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "id": 45670, "name": "_nonce", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45655, "src": "2296:6:73", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "id": 45671, "name": "_destination", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45657, "src": "2324:12:73", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "id": 45672, "name": "_recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45659, "src": "2358:10:73", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "id": 45673, "name": "_body", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45661, "src": "2390:5:73", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint32", "typeString": "uint32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_uint32", "typeString": "uint32" }, { "typeIdentifier": "t_uint32", "typeString": "uint32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 45667, "name": "formatMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45648, "src": "2203:13:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint32_$_t_bytes32_$_t_uint32_$_t_uint32_$_t_bytes32_$_t_bytes_memory_ptr_$returns$_t_bytes_memory_ptr_$", "typeString": "function (uint32,bytes32,uint32,uint32,bytes32,bytes memory) pure returns (bytes memory)" } }, "id": 45674, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2203:210:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 45666, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -8, "src": "2176:9:73", "typeDescriptions": { "typeIdentifier": "t_function_keccak256_pure$_t_bytes_memory_ptr_$returns$_t_bytes32_$", "typeString": "function (bytes memory) pure returns (bytes32)" } }, "id": 45675, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2176:251:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 45665, "id": 45676, "nodeType": "Return", "src": "2157:270:73" } ] }, "documentation": { "id": 45649, "nodeType": "StructuredDocumentation", "src": "1467:459:73", "text": " @notice Returns leaf of formatted message with provided fields.\n @param _origin Domain of home chain\n @param _sender Address of sender as bytes32\n @param _nonce Destination-specific nonce number\n @param _destination Domain of destination chain\n @param _recipient Address of recipient on destination chain as bytes32\n @param _body Raw bytes of message body\n @return Leaf (hash) of formatted message*" }, "implemented": true, "kind": "function", "modifiers": [], "name": "messageHash", "parameters": { "id": 45662, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45651, "mutability": "mutable", "name": "_origin", "nodeType": "VariableDeclaration", "scope": 45678, "src": "1961:14:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 45650, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "1961:6:73", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" }, { "constant": false, "id": 45653, "mutability": "mutable", "name": "_sender", "nodeType": "VariableDeclaration", "scope": 45678, "src": "1985:15:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 45652, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1985:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" }, { "constant": false, "id": 45655, "mutability": "mutable", "name": "_nonce", "nodeType": "VariableDeclaration", "scope": 45678, "src": "2010:13:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 45654, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "2010:6:73", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" }, { "constant": false, "id": 45657, "mutability": "mutable", "name": "_destination", "nodeType": "VariableDeclaration", "scope": 45678, "src": "2033:19:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 45656, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "2033:6:73", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" }, { "constant": false, "id": 45659, "mutability": "mutable", "name": "_recipient", "nodeType": "VariableDeclaration", "scope": 45678, "src": "2062:18:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 45658, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "2062:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" }, { "constant": false, "id": 45661, "mutability": "mutable", "name": "_body", "nodeType": "VariableDeclaration", "scope": 45678, "src": "2090:18:73", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 45660, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "2090:5:73", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "visibility": "internal" } ], "src": "1951:163:73" }, "returnParameters": { "id": 45665, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45664, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 45678, "src": "2138:7:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 45663, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "2138:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "2137:9:73" }, "scope": 45831, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 45696, "nodeType": "FunctionDefinition", "src": "2487:121:73", "body": { "id": 45695, "nodeType": "Block", "src": "2552:56:73", "statements": [ { "expression": { "arguments": [ { "arguments": [ { "hexValue": "30", "id": 45690, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2595:1:73", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, { "hexValue": "34", "id": 45691, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2598:1:73", "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "4" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" } ], "expression": { "id": 45688, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45681, "src": "2576:8:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "id": 45689, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "indexUint", "nodeType": "MemberAccess", "referencedDeclaration": 29151, "src": "2576:18:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$_t_uint256_$_t_uint8_$returns$_t_uint256_$bound_to$_t_bytes29_$", "typeString": "function (bytes29,uint256,uint8) pure returns (uint256)" } }, "id": 45692, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2576:24:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 45687, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2569:6:73", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint32_$", "typeString": "type(uint32)" }, "typeName": { "id": 45686, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "2569:6:73", "typeDescriptions": {} } }, "id": 45693, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2569:32:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "functionReturnParameters": 45685, "id": 45694, "nodeType": "Return", "src": "2562:39:73" } ] }, "documentation": { "id": 45679, "nodeType": "StructuredDocumentation", "src": "2440:42:73", "text": "@notice Returns message's origin field" }, "implemented": true, "kind": "function", "modifiers": [], "name": "origin", "parameters": { "id": 45682, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45681, "mutability": "mutable", "name": "_message", "nodeType": "VariableDeclaration", "scope": 45696, "src": "2503:16:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 45680, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "2503:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "2502:18:73" }, "returnParameters": { "id": 45685, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45684, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 45696, "src": "2544:6:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 45683, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "2544:6:73", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" } ], "src": "2543:8:73" }, "scope": 45831, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 45711, "nodeType": "FunctionDefinition", "src": "2661:111:73", "body": { "id": 45710, "nodeType": "Block", "src": "2727:45:73", "statements": [ { "expression": { "arguments": [ { "hexValue": "34", "id": 45706, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2759:1:73", "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "4" }, { "hexValue": "3332", "id": 45707, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2762:2:73", "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" } ], "expression": { "id": 45704, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45699, "src": "2744:8:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "id": 45705, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "index", "nodeType": "MemberAccess", "referencedDeclaration": 29121, "src": "2744:14:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$_t_uint256_$_t_uint8_$returns$_t_bytes32_$bound_to$_t_bytes29_$", "typeString": "function (bytes29,uint256,uint8) pure returns (bytes32)" } }, "id": 45708, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2744:21:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 45703, "id": 45709, "nodeType": "Return", "src": "2737:28:73" } ] }, "documentation": { "id": 45697, "nodeType": "StructuredDocumentation", "src": "2614:42:73", "text": "@notice Returns message's sender field" }, "implemented": true, "kind": "function", "modifiers": [], "name": "sender", "parameters": { "id": 45700, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45699, "mutability": "mutable", "name": "_message", "nodeType": "VariableDeclaration", "scope": 45711, "src": "2677:16:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 45698, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "2677:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "2676:18:73" }, "returnParameters": { "id": 45703, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45702, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 45711, "src": "2718:7:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 45701, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "2718:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "2717:9:73" }, "scope": 45831, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 45729, "nodeType": "FunctionDefinition", "src": "2824:121:73", "body": { "id": 45728, "nodeType": "Block", "src": "2888:57:73", "statements": [ { "expression": { "arguments": [ { "arguments": [ { "hexValue": "3336", "id": 45723, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2931:2:73", "typeDescriptions": { "typeIdentifier": "t_rational_36_by_1", "typeString": "int_const 36" }, "value": "36" }, { "hexValue": "34", "id": 45724, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2935:1:73", "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "4" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_36_by_1", "typeString": "int_const 36" }, { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" } ], "expression": { "id": 45721, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45714, "src": "2912:8:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "id": 45722, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "indexUint", "nodeType": "MemberAccess", "referencedDeclaration": 29151, "src": "2912:18:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$_t_uint256_$_t_uint8_$returns$_t_uint256_$bound_to$_t_bytes29_$", "typeString": "function (bytes29,uint256,uint8) pure returns (uint256)" } }, "id": 45725, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2912:25:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 45720, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2905:6:73", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint32_$", "typeString": "type(uint32)" }, "typeName": { "id": 45719, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "2905:6:73", "typeDescriptions": {} } }, "id": 45726, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2905:33:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "functionReturnParameters": 45718, "id": 45727, "nodeType": "Return", "src": "2898:40:73" } ] }, "documentation": { "id": 45712, "nodeType": "StructuredDocumentation", "src": "2778:41:73", "text": "@notice Returns message's nonce field" }, "implemented": true, "kind": "function", "modifiers": [], "name": "nonce", "parameters": { "id": 45715, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45714, "mutability": "mutable", "name": "_message", "nodeType": "VariableDeclaration", "scope": 45729, "src": "2839:16:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 45713, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "2839:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "2838:18:73" }, "returnParameters": { "id": 45718, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45717, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 45729, "src": "2880:6:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 45716, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "2880:6:73", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" } ], "src": "2879:8:73" }, "scope": 45831, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 45747, "nodeType": "FunctionDefinition", "src": "3003:127:73", "body": { "id": 45746, "nodeType": "Block", "src": "3073:57:73", "statements": [ { "expression": { "arguments": [ { "arguments": [ { "hexValue": "3430", "id": 45741, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3116:2:73", "typeDescriptions": { "typeIdentifier": "t_rational_40_by_1", "typeString": "int_const 40" }, "value": "40" }, { "hexValue": "34", "id": 45742, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3120:1:73", "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "4" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_40_by_1", "typeString": "int_const 40" }, { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" } ], "expression": { "id": 45739, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45732, "src": "3097:8:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "id": 45740, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "indexUint", "nodeType": "MemberAccess", "referencedDeclaration": 29151, "src": "3097:18:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$_t_uint256_$_t_uint8_$returns$_t_uint256_$bound_to$_t_bytes29_$", "typeString": "function (bytes29,uint256,uint8) pure returns (uint256)" } }, "id": 45743, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3097:25:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 45738, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3090:6:73", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint32_$", "typeString": "type(uint32)" }, "typeName": { "id": 45737, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "3090:6:73", "typeDescriptions": {} } }, "id": 45744, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3090:33:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "functionReturnParameters": 45736, "id": 45745, "nodeType": "Return", "src": "3083:40:73" } ] }, "documentation": { "id": 45730, "nodeType": "StructuredDocumentation", "src": "2951:47:73", "text": "@notice Returns message's destination field" }, "implemented": true, "kind": "function", "modifiers": [], "name": "destination", "parameters": { "id": 45733, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45732, "mutability": "mutable", "name": "_message", "nodeType": "VariableDeclaration", "scope": 45747, "src": "3024:16:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 45731, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "3024:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "3023:18:73" }, "returnParameters": { "id": 45736, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45735, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 45747, "src": "3065:6:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 45734, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "3065:6:73", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" } ], "src": "3064:8:73" }, "scope": 45831, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 45762, "nodeType": "FunctionDefinition", "src": "3197:115:73", "body": { "id": 45761, "nodeType": "Block", "src": "3266:46:73", "statements": [ { "expression": { "arguments": [ { "hexValue": "3434", "id": 45757, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3298:2:73", "typeDescriptions": { "typeIdentifier": "t_rational_44_by_1", "typeString": "int_const 44" }, "value": "44" }, { "hexValue": "3332", "id": 45758, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3302:2:73", "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_44_by_1", "typeString": "int_const 44" }, { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" } ], "expression": { "id": 45755, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45750, "src": "3283:8:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "id": 45756, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "index", "nodeType": "MemberAccess", "referencedDeclaration": 29121, "src": "3283:14:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$_t_uint256_$_t_uint8_$returns$_t_bytes32_$bound_to$_t_bytes29_$", "typeString": "function (bytes29,uint256,uint8) pure returns (bytes32)" } }, "id": 45759, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3283:22:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 45754, "id": 45760, "nodeType": "Return", "src": "3276:29:73" } ] }, "documentation": { "id": 45748, "nodeType": "StructuredDocumentation", "src": "3136:56:73", "text": "@notice Returns message's recipient field as bytes32" }, "implemented": true, "kind": "function", "modifiers": [], "name": "recipient", "parameters": { "id": 45751, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45750, "mutability": "mutable", "name": "_message", "nodeType": "VariableDeclaration", "scope": 45762, "src": "3216:16:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 45749, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "3216:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "3215:18:73" }, "returnParameters": { "id": 45754, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45753, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 45762, "src": "3257:7:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 45752, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3257:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "3256:9:73" }, "scope": 45831, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 45778, "nodeType": "FunctionDefinition", "src": "3382:175:73", "body": { "id": 45777, "nodeType": "Block", "src": "3486:71:73", "statements": [ { "expression": { "arguments": [ { "arguments": [ { "id": 45773, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45765, "src": "3540:8:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } ], "id": 45772, "name": "recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45762, "src": "3530:9:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$returns$_t_bytes32_$", "typeString": "function (bytes29) pure returns (bytes32)" } }, "id": 45774, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3530:19:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "id": 45770, "name": "TypeCasts", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 46345, "src": "3503:9:73", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_TypeCasts_$46345_$", "typeString": "type(library TypeCasts)" } }, "id": 45771, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "bytes32ToAddress", "nodeType": "MemberAccess", "referencedDeclaration": 46344, "src": "3503:26:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes32_$returns$_t_address_$", "typeString": "function (bytes32) pure returns (address)" } }, "id": 45775, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3503:47:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "functionReturnParameters": 45769, "id": 45776, "nodeType": "Return", "src": "3496:54:73" } ] }, "documentation": { "id": 45763, "nodeType": "StructuredDocumentation", "src": "3318:59:73", "text": "@notice Returns message's recipient field as an address" }, "implemented": true, "kind": "function", "modifiers": [], "name": "recipientAddress", "parameters": { "id": 45766, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45765, "mutability": "mutable", "name": "_message", "nodeType": "VariableDeclaration", "scope": 45778, "src": "3408:16:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 45764, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "3408:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "3407:18:73" }, "returnParameters": { "id": 45769, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45768, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 45778, "src": "3473:7:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 45767, "name": "address", "nodeType": "ElementaryTypeName", "src": "3473:7:73", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "visibility": "internal" } ], "src": "3472:9:73" }, "scope": 45831, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 45798, "nodeType": "FunctionDefinition", "src": "3679:152:73", "body": { "id": 45797, "nodeType": "Block", "src": "3743:88:73", "statements": [ { "expression": { "arguments": [ { "id": 45788, "name": "PREFIX_LENGTH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45619, "src": "3775:13:73", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 45793, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "arguments": [], "expression": { "argumentTypes": [], "expression": { "id": 45789, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45781, "src": "3790:8:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "id": 45790, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "len", "nodeType": "MemberAccess", "referencedDeclaration": 28863, "src": "3790:12:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$returns$_t_uint96_$bound_to$_t_bytes29_$", "typeString": "function (bytes29) pure returns (uint96)" } }, "id": 45791, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3790:14:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint96", "typeString": "uint96" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 45792, "name": "PREFIX_LENGTH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45619, "src": "3807:13:73", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3790:30:73", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "hexValue": "30", "id": 45794, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3822:1:73", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "expression": { "id": 45786, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45781, "src": "3760:8:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "id": 45787, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "slice", "nodeType": "MemberAccess", "referencedDeclaration": 28929, "src": "3760:14:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$_t_uint256_$_t_uint256_$_t_uint40_$returns$_t_bytes29_$bound_to$_t_bytes29_$", "typeString": "function (bytes29,uint256,uint256,uint40) pure returns (bytes29)" } }, "id": 45795, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3760:64:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "functionReturnParameters": 45785, "id": 45796, "nodeType": "Return", "src": "3753:71:73" } ] }, "documentation": { "id": 45779, "nodeType": "StructuredDocumentation", "src": "3563:111:73", "text": "@notice Returns message's body field as bytes29 (refer to TypedMemView library for details on bytes29 type)" }, "implemented": true, "kind": "function", "modifiers": [], "name": "body", "parameters": { "id": 45782, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45781, "mutability": "mutable", "name": "_message", "nodeType": "VariableDeclaration", "scope": 45798, "src": "3693:16:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 45780, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "3693:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "3692:18:73" }, "returnParameters": { "id": 45785, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45784, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 45798, "src": "3734:7:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 45783, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "3734:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "3733:9:73" }, "scope": 45831, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 45830, "nodeType": "FunctionDefinition", "src": "3837:354:73", "body": { "id": 45829, "nodeType": "Block", "src": "3901:290:73", "statements": [ { "expression": { "arguments": [ { "arguments": [ { "id": 45807, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45800, "src": "3966:8:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } ], "id": 45806, "name": "origin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45696, "src": "3959:6:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$returns$_t_uint32_$", "typeString": "function (bytes29) pure returns (uint32)" } }, "id": 45808, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3959:16:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "arguments": [ { "id": 45810, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45800, "src": "4000:8:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } ], "id": 45809, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45711, "src": "3993:6:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$returns$_t_bytes32_$", "typeString": "function (bytes29) pure returns (bytes32)" } }, "id": 45811, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3993:16:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "arguments": [ { "id": 45813, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45800, "src": "4033:8:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } ], "id": 45812, "name": "nonce", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45729, "src": "4027:5:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$returns$_t_uint32_$", "typeString": "function (bytes29) pure returns (uint32)" } }, "id": 45814, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4027:15:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "arguments": [ { "id": 45816, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45800, "src": "4072:8:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } ], "id": 45815, "name": "destination", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45747, "src": "4060:11:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$returns$_t_uint32_$", "typeString": "function (bytes29) pure returns (uint32)" } }, "id": 45817, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4060:21:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "arguments": [ { "id": 45819, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45800, "src": "4109:8:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } ], "id": 45818, "name": "recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45762, "src": "4099:9:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$returns$_t_bytes32_$", "typeString": "function (bytes29) pure returns (bytes32)" } }, "id": 45820, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4099:19:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "arguments": [ { "arguments": [ { "id": 45824, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45800, "src": "4160:8:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } ], "id": 45823, "name": "body", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45798, "src": "4155:4:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$returns$_t_bytes29_$", "typeString": "function (bytes29) pure returns (bytes29)" } }, "id": 45825, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4155:14:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } ], "expression": { "id": 45821, "name": "TypedMemView", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 29602, "src": "4136:12:73", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_TypedMemView_$29602_$", "typeString": "type(library TypedMemView)" } }, "id": 45822, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "clone", "nodeType": "MemberAccess", "referencedDeclaration": 29466, "src": "4136:18:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_bytes29_$returns$_t_bytes_memory_ptr_$", "typeString": "function (bytes29) view returns (bytes memory)" } }, "id": 45826, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4136:34:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint32", "typeString": "uint32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_uint32", "typeString": "uint32" }, { "typeIdentifier": "t_uint32", "typeString": "uint32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 45805, "name": "messageHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45678, "src": "3930:11:73", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint32_$_t_bytes32_$_t_uint32_$_t_uint32_$_t_bytes32_$_t_bytes_memory_ptr_$returns$_t_bytes32_$", "typeString": "function (uint32,bytes32,uint32,uint32,bytes32,bytes memory) pure returns (bytes32)" } }, "id": 45827, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3930:254:73", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 45804, "id": 45828, "nodeType": "Return", "src": "3911:273:73" } ] }, "implemented": true, "kind": "function", "modifiers": [], "name": "leaf", "parameters": { "id": 45801, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45800, "mutability": "mutable", "name": "_message", "nodeType": "VariableDeclaration", "scope": 45830, "src": "3851:16:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 45799, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "3851:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "3850:18:73" }, "returnParameters": { "id": 45804, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45803, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 45830, "src": "3892:7:73", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 45802, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3892:7:73", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "3891:9:73" }, "scope": 45831, "stateMutability": "view", "virtual": false, "visibility": "internal" } ], "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 45610, "nodeType": "StructuredDocumentation", "src": "174:135:73", "text": " @title Message Library\n @author Illusory Systems Inc.\n @notice Library for formatted messages used by Home and Replica.*" }, "fullyImplemented": true, "linearizedBaseContracts": [ 45831 ], "name": "Message", "scope": 45832 } ], "license": "MIT OR Apache-2.0" }, "id": 73 }