{ "abi": [], "bytecode": { "object": "0x602d6023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c6343000706000a", "sourceMap": "310:3883:27:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "linkReferences": {} }, "deployedBytecode": { "object": "0x73000000000000000000000000000000000000000030146080604052600080fdfea164736f6c6343000706000a", "sourceMap": "310:3883:27:-:0;;;;;;;;", "linkReferences": {} }, "methodIdentifiers": {}, "ast": { "absolutePath": "packages/contracts-core/contracts/libs/Message.sol", "id": 28216, "exportedSymbols": { "Message": [ 28215 ], "SafeMath": [ 24170 ], "TypeCasts": [ 28729 ], "TypedMemView": [ 25621 ] }, "nodeType": "SourceUnit", "src": "46:4148:27", "nodes": [ { "id": 27990, "nodeType": "PragmaDirective", "src": "46:22:27", "literals": [ "solidity", "0.7", ".6" ] }, { "id": 27991, "nodeType": "ImportDirective", "src": "70:58:27", "absolutePath": "node_modules/@summa-tx/memview-sol/contracts/TypedMemView.sol", "file": "@summa-tx/memview-sol/contracts/TypedMemView.sol", "scope": 28216, "sourceUnit": 25622, "symbolAliases": [], "unitAlias": "" }, { "id": 27993, "nodeType": "ImportDirective", "src": "130:42:27", "absolutePath": "packages/contracts-core/contracts/libs/TypeCasts.sol", "file": "./TypeCasts.sol", "scope": 28216, "sourceUnit": 28730, "symbolAliases": [ { "foreign": { "id": 27992, "name": "TypeCasts", "nodeType": "Identifier", "overloadedDeclarations": [], "src": "138:9:27", "typeDescriptions": {} } } ], "unitAlias": "" }, { "id": 28215, "nodeType": "ContractDefinition", "src": "310:3883:27", "nodes": [ { "id": 27997, "nodeType": "UsingForDirective", "src": "332:29:27", "libraryName": { "id": 27995, "name": "TypedMemView", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 25621, "src": "338:12:27", "typeDescriptions": { "typeIdentifier": "t_contract$_TypedMemView_$25621", "typeString": "library TypedMemView" } }, "typeName": { "id": 27996, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "355:5:27", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } } }, { "id": 28000, "nodeType": "UsingForDirective", "src": "366:31:27", "libraryName": { "id": 27998, "name": "TypedMemView", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 25621, "src": "372:12:27", "typeDescriptions": { "typeIdentifier": "t_contract$_TypedMemView_$25621", "typeString": "library TypedMemView" } }, "typeName": { "id": 27999, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "389:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } }, { "id": 28003, "nodeType": "VariableDeclaration", "src": "467:44:27", "constant": true, "mutability": "constant", "name": "PREFIX_LENGTH", "scope": 28215, "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 28001, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "467:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "hexValue": "3736", "id": 28002, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "509:2:27", "typeDescriptions": { "typeIdentifier": "t_rational_76_by_1", "typeString": "int_const 76" }, "value": "76" }, "visibility": "internal" }, { "id": 28032, "nodeType": "FunctionDefinition", "src": "979:482:27", "body": { "id": 28031, "nodeType": "Block", "src": "1221:240:27", "statements": [ { "expression": { "arguments": [ { "id": 28023, "name": "_originDomain", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28006, "src": "1284:13:27", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "id": 28024, "name": "_sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28008, "src": "1315:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "id": 28025, "name": "_nonce", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28010, "src": "1340:6:27", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "id": 28026, "name": "_destinationDomain", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28012, "src": "1364:18:27", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "id": 28027, "name": "_recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28014, "src": "1400:10:27", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "id": 28028, "name": "_messageBody", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28016, "src": "1428:12:27", "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": 28021, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -1, "src": "1250:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 28022, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "src": "1250:16:27", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 28029, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1250:204:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "functionReturnParameters": 28020, "id": 28030, "nodeType": "Return", "src": "1231:223:27" } ] }, "documentation": { "id": 28004, "nodeType": "StructuredDocumentation", "src": "518:456:27", "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": 28017, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28006, "mutability": "mutable", "name": "_originDomain", "nodeType": "VariableDeclaration", "scope": 28032, "src": "1011:20:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 28005, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "1011:6:27", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" }, { "constant": false, "id": 28008, "mutability": "mutable", "name": "_sender", "nodeType": "VariableDeclaration", "scope": 28032, "src": "1041:15:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 28007, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1041:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" }, { "constant": false, "id": 28010, "mutability": "mutable", "name": "_nonce", "nodeType": "VariableDeclaration", "scope": 28032, "src": "1066:13:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 28009, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "1066:6:27", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" }, { "constant": false, "id": 28012, "mutability": "mutable", "name": "_destinationDomain", "nodeType": "VariableDeclaration", "scope": 28032, "src": "1089:25:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 28011, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "1089:6:27", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" }, { "constant": false, "id": 28014, "mutability": "mutable", "name": "_recipient", "nodeType": "VariableDeclaration", "scope": 28032, "src": "1124:18:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 28013, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1124:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" }, { "constant": false, "id": 28016, "mutability": "mutable", "name": "_messageBody", "nodeType": "VariableDeclaration", "scope": 28032, "src": "1152:25:27", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 28015, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "1152:5:27", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "visibility": "internal" } ], "src": "1001:182:27" }, "returnParameters": { "id": 28020, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28019, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 28032, "src": "1207:12:27", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 28018, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "1207:5:27", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "visibility": "internal" } ], "src": "1206:14:27" }, "scope": 28215, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 28062, "nodeType": "FunctionDefinition", "src": "1931:503:27", "body": { "id": 28061, "nodeType": "Block", "src": "2147:287:27", "statements": [ { "expression": { "arguments": [ { "arguments": [ { "id": 28052, "name": "_origin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28035, "src": "2238:7:27", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "id": 28053, "name": "_sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28037, "src": "2267:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "id": 28054, "name": "_nonce", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28039, "src": "2296:6:27", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "id": 28055, "name": "_destination", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28041, "src": "2324:12:27", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "id": 28056, "name": "_recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28043, "src": "2358:10:27", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "id": 28057, "name": "_body", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28045, "src": "2390:5:27", "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": 28051, "name": "formatMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28032, "src": "2203:13:27", "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": 28058, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2203:210:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 28050, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -8, "src": "2176:9:27", "typeDescriptions": { "typeIdentifier": "t_function_keccak256_pure$_t_bytes_memory_ptr_$returns$_t_bytes32_$", "typeString": "function (bytes memory) pure returns (bytes32)" } }, "id": 28059, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2176:251:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 28049, "id": 28060, "nodeType": "Return", "src": "2157:270:27" } ] }, "documentation": { "id": 28033, "nodeType": "StructuredDocumentation", "src": "1467:459:27", "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": 28046, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28035, "mutability": "mutable", "name": "_origin", "nodeType": "VariableDeclaration", "scope": 28062, "src": "1961:14:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 28034, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "1961:6:27", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" }, { "constant": false, "id": 28037, "mutability": "mutable", "name": "_sender", "nodeType": "VariableDeclaration", "scope": 28062, "src": "1985:15:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 28036, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1985:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" }, { "constant": false, "id": 28039, "mutability": "mutable", "name": "_nonce", "nodeType": "VariableDeclaration", "scope": 28062, "src": "2010:13:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 28038, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "2010:6:27", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" }, { "constant": false, "id": 28041, "mutability": "mutable", "name": "_destination", "nodeType": "VariableDeclaration", "scope": 28062, "src": "2033:19:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 28040, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "2033:6:27", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" }, { "constant": false, "id": 28043, "mutability": "mutable", "name": "_recipient", "nodeType": "VariableDeclaration", "scope": 28062, "src": "2062:18:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 28042, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "2062:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" }, { "constant": false, "id": 28045, "mutability": "mutable", "name": "_body", "nodeType": "VariableDeclaration", "scope": 28062, "src": "2090:18:27", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 28044, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "2090:5:27", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "visibility": "internal" } ], "src": "1951:163:27" }, "returnParameters": { "id": 28049, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28048, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 28062, "src": "2138:7:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 28047, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "2138:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "2137:9:27" }, "scope": 28215, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 28080, "nodeType": "FunctionDefinition", "src": "2487:121:27", "body": { "id": 28079, "nodeType": "Block", "src": "2552:56:27", "statements": [ { "expression": { "arguments": [ { "arguments": [ { "hexValue": "30", "id": 28074, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2595:1:27", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, { "hexValue": "34", "id": 28075, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2598:1:27", "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": 28072, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28065, "src": "2576:8:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "id": 28073, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "indexUint", "nodeType": "MemberAccess", "referencedDeclaration": 25170, "src": "2576:18:27", "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": 28076, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2576:24:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 28071, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2569:6:27", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint32_$", "typeString": "type(uint32)" }, "typeName": { "id": 28070, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "2569:6:27", "typeDescriptions": {} } }, "id": 28077, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2569:32:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "functionReturnParameters": 28069, "id": 28078, "nodeType": "Return", "src": "2562:39:27" } ] }, "documentation": { "id": 28063, "nodeType": "StructuredDocumentation", "src": "2440:42:27", "text": "@notice Returns message's origin field" }, "implemented": true, "kind": "function", "modifiers": [], "name": "origin", "parameters": { "id": 28066, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28065, "mutability": "mutable", "name": "_message", "nodeType": "VariableDeclaration", "scope": 28080, "src": "2503:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 28064, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "2503:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "2502:18:27" }, "returnParameters": { "id": 28069, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28068, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 28080, "src": "2544:6:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 28067, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "2544:6:27", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" } ], "src": "2543:8:27" }, "scope": 28215, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 28095, "nodeType": "FunctionDefinition", "src": "2661:111:27", "body": { "id": 28094, "nodeType": "Block", "src": "2727:45:27", "statements": [ { "expression": { "arguments": [ { "hexValue": "34", "id": 28090, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2759:1:27", "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "4" }, { "hexValue": "3332", "id": 28091, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2762:2:27", "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": 28088, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28083, "src": "2744:8:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "id": 28089, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "index", "nodeType": "MemberAccess", "referencedDeclaration": 25140, "src": "2744:14:27", "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": 28092, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2744:21:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 28087, "id": 28093, "nodeType": "Return", "src": "2737:28:27" } ] }, "documentation": { "id": 28081, "nodeType": "StructuredDocumentation", "src": "2614:42:27", "text": "@notice Returns message's sender field" }, "implemented": true, "kind": "function", "modifiers": [], "name": "sender", "parameters": { "id": 28084, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28083, "mutability": "mutable", "name": "_message", "nodeType": "VariableDeclaration", "scope": 28095, "src": "2677:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 28082, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "2677:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "2676:18:27" }, "returnParameters": { "id": 28087, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28086, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 28095, "src": "2718:7:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 28085, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "2718:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "2717:9:27" }, "scope": 28215, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 28113, "nodeType": "FunctionDefinition", "src": "2824:121:27", "body": { "id": 28112, "nodeType": "Block", "src": "2888:57:27", "statements": [ { "expression": { "arguments": [ { "arguments": [ { "hexValue": "3336", "id": 28107, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2931:2:27", "typeDescriptions": { "typeIdentifier": "t_rational_36_by_1", "typeString": "int_const 36" }, "value": "36" }, { "hexValue": "34", "id": 28108, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2935:1:27", "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": 28105, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28098, "src": "2912:8:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "id": 28106, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "indexUint", "nodeType": "MemberAccess", "referencedDeclaration": 25170, "src": "2912:18:27", "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": 28109, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2912:25:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 28104, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2905:6:27", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint32_$", "typeString": "type(uint32)" }, "typeName": { "id": 28103, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "2905:6:27", "typeDescriptions": {} } }, "id": 28110, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2905:33:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "functionReturnParameters": 28102, "id": 28111, "nodeType": "Return", "src": "2898:40:27" } ] }, "documentation": { "id": 28096, "nodeType": "StructuredDocumentation", "src": "2778:41:27", "text": "@notice Returns message's nonce field" }, "implemented": true, "kind": "function", "modifiers": [], "name": "nonce", "parameters": { "id": 28099, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28098, "mutability": "mutable", "name": "_message", "nodeType": "VariableDeclaration", "scope": 28113, "src": "2839:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 28097, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "2839:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "2838:18:27" }, "returnParameters": { "id": 28102, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28101, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 28113, "src": "2880:6:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 28100, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "2880:6:27", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" } ], "src": "2879:8:27" }, "scope": 28215, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 28131, "nodeType": "FunctionDefinition", "src": "3003:127:27", "body": { "id": 28130, "nodeType": "Block", "src": "3073:57:27", "statements": [ { "expression": { "arguments": [ { "arguments": [ { "hexValue": "3430", "id": 28125, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3116:2:27", "typeDescriptions": { "typeIdentifier": "t_rational_40_by_1", "typeString": "int_const 40" }, "value": "40" }, { "hexValue": "34", "id": 28126, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3120:1:27", "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": 28123, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28116, "src": "3097:8:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "id": 28124, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "indexUint", "nodeType": "MemberAccess", "referencedDeclaration": 25170, "src": "3097:18:27", "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": 28127, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3097:25:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 28122, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3090:6:27", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint32_$", "typeString": "type(uint32)" }, "typeName": { "id": 28121, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "3090:6:27", "typeDescriptions": {} } }, "id": 28128, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3090:33:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "functionReturnParameters": 28120, "id": 28129, "nodeType": "Return", "src": "3083:40:27" } ] }, "documentation": { "id": 28114, "nodeType": "StructuredDocumentation", "src": "2951:47:27", "text": "@notice Returns message's destination field" }, "implemented": true, "kind": "function", "modifiers": [], "name": "destination", "parameters": { "id": 28117, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28116, "mutability": "mutable", "name": "_message", "nodeType": "VariableDeclaration", "scope": 28131, "src": "3024:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 28115, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "3024:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "3023:18:27" }, "returnParameters": { "id": 28120, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28119, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 28131, "src": "3065:6:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 28118, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "3065:6:27", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "visibility": "internal" } ], "src": "3064:8:27" }, "scope": 28215, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 28146, "nodeType": "FunctionDefinition", "src": "3197:115:27", "body": { "id": 28145, "nodeType": "Block", "src": "3266:46:27", "statements": [ { "expression": { "arguments": [ { "hexValue": "3434", "id": 28141, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3298:2:27", "typeDescriptions": { "typeIdentifier": "t_rational_44_by_1", "typeString": "int_const 44" }, "value": "44" }, { "hexValue": "3332", "id": 28142, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3302:2:27", "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": 28139, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28134, "src": "3283:8:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "id": 28140, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "index", "nodeType": "MemberAccess", "referencedDeclaration": 25140, "src": "3283:14:27", "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": 28143, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3283:22:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 28138, "id": 28144, "nodeType": "Return", "src": "3276:29:27" } ] }, "documentation": { "id": 28132, "nodeType": "StructuredDocumentation", "src": "3136:56:27", "text": "@notice Returns message's recipient field as bytes32" }, "implemented": true, "kind": "function", "modifiers": [], "name": "recipient", "parameters": { "id": 28135, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28134, "mutability": "mutable", "name": "_message", "nodeType": "VariableDeclaration", "scope": 28146, "src": "3216:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 28133, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "3216:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "3215:18:27" }, "returnParameters": { "id": 28138, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28137, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 28146, "src": "3257:7:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 28136, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3257:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "3256:9:27" }, "scope": 28215, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 28162, "nodeType": "FunctionDefinition", "src": "3382:175:27", "body": { "id": 28161, "nodeType": "Block", "src": "3486:71:27", "statements": [ { "expression": { "arguments": [ { "arguments": [ { "id": 28157, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28149, "src": "3540:8:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } ], "id": 28156, "name": "recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28146, "src": "3530:9:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$returns$_t_bytes32_$", "typeString": "function (bytes29) pure returns (bytes32)" } }, "id": 28158, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3530:19:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "id": 28154, "name": "TypeCasts", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28729, "src": "3503:9:27", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_TypeCasts_$28729_$", "typeString": "type(library TypeCasts)" } }, "id": 28155, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "bytes32ToAddress", "nodeType": "MemberAccess", "referencedDeclaration": 28728, "src": "3503:26:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes32_$returns$_t_address_$", "typeString": "function (bytes32) pure returns (address)" } }, "id": 28159, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3503:47:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "functionReturnParameters": 28153, "id": 28160, "nodeType": "Return", "src": "3496:54:27" } ] }, "documentation": { "id": 28147, "nodeType": "StructuredDocumentation", "src": "3318:59:27", "text": "@notice Returns message's recipient field as an address" }, "implemented": true, "kind": "function", "modifiers": [], "name": "recipientAddress", "parameters": { "id": 28150, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28149, "mutability": "mutable", "name": "_message", "nodeType": "VariableDeclaration", "scope": 28162, "src": "3408:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 28148, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "3408:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "3407:18:27" }, "returnParameters": { "id": 28153, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28152, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 28162, "src": "3473:7:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 28151, "name": "address", "nodeType": "ElementaryTypeName", "src": "3473:7:27", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "visibility": "internal" } ], "src": "3472:9:27" }, "scope": 28215, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 28182, "nodeType": "FunctionDefinition", "src": "3679:152:27", "body": { "id": 28181, "nodeType": "Block", "src": "3743:88:27", "statements": [ { "expression": { "arguments": [ { "id": 28172, "name": "PREFIX_LENGTH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28003, "src": "3775:13:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 28177, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "arguments": [], "expression": { "argumentTypes": [], "expression": { "id": 28173, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28165, "src": "3790:8:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "id": 28174, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "len", "nodeType": "MemberAccess", "referencedDeclaration": 24882, "src": "3790:12:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$returns$_t_uint96_$bound_to$_t_bytes29_$", "typeString": "function (bytes29) pure returns (uint96)" } }, "id": 28175, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3790:14:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint96", "typeString": "uint96" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 28176, "name": "PREFIX_LENGTH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28003, "src": "3807:13:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3790:30:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "hexValue": "30", "id": 28178, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3822:1:27", "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": 28170, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28165, "src": "3760:8:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "id": 28171, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "slice", "nodeType": "MemberAccess", "referencedDeclaration": 24948, "src": "3760:14:27", "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": 28179, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3760:64:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "functionReturnParameters": 28169, "id": 28180, "nodeType": "Return", "src": "3753:71:27" } ] }, "documentation": { "id": 28163, "nodeType": "StructuredDocumentation", "src": "3563:111:27", "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": 28166, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28165, "mutability": "mutable", "name": "_message", "nodeType": "VariableDeclaration", "scope": 28182, "src": "3693:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 28164, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "3693:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "3692:18:27" }, "returnParameters": { "id": 28169, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28168, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 28182, "src": "3734:7:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 28167, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "3734:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "3733:9:27" }, "scope": 28215, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "id": 28214, "nodeType": "FunctionDefinition", "src": "3837:354:27", "body": { "id": 28213, "nodeType": "Block", "src": "3901:290:27", "statements": [ { "expression": { "arguments": [ { "arguments": [ { "id": 28191, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28184, "src": "3966:8:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } ], "id": 28190, "name": "origin", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28080, "src": "3959:6:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$returns$_t_uint32_$", "typeString": "function (bytes29) pure returns (uint32)" } }, "id": 28192, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3959:16:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "arguments": [ { "id": 28194, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28184, "src": "4000:8:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } ], "id": 28193, "name": "sender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28095, "src": "3993:6:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$returns$_t_bytes32_$", "typeString": "function (bytes29) pure returns (bytes32)" } }, "id": 28195, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3993:16:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "arguments": [ { "id": 28197, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28184, "src": "4033:8:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } ], "id": 28196, "name": "nonce", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28113, "src": "4027:5:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$returns$_t_uint32_$", "typeString": "function (bytes29) pure returns (uint32)" } }, "id": 28198, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4027:15:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "arguments": [ { "id": 28200, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28184, "src": "4072:8:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } ], "id": 28199, "name": "destination", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28131, "src": "4060:11:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$returns$_t_uint32_$", "typeString": "function (bytes29) pure returns (uint32)" } }, "id": 28201, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4060:21:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, { "arguments": [ { "id": 28203, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28184, "src": "4109:8:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } ], "id": 28202, "name": "recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28146, "src": "4099:9:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$returns$_t_bytes32_$", "typeString": "function (bytes29) pure returns (bytes32)" } }, "id": 28204, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4099:19:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "arguments": [ { "arguments": [ { "id": 28208, "name": "_message", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28184, "src": "4160:8:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } ], "id": 28207, "name": "body", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28182, "src": "4155:4:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes29_$returns$_t_bytes29_$", "typeString": "function (bytes29) pure returns (bytes29)" } }, "id": 28209, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4155:14:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } ], "expression": { "id": 28205, "name": "TypedMemView", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 25621, "src": "4136:12:27", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_TypedMemView_$25621_$", "typeString": "type(library TypedMemView)" } }, "id": 28206, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "clone", "nodeType": "MemberAccess", "referencedDeclaration": 25485, "src": "4136:18:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_bytes29_$returns$_t_bytes_memory_ptr_$", "typeString": "function (bytes29) view returns (bytes memory)" } }, "id": 28210, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4136:34:27", "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": 28189, "name": "messageHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 28062, "src": "3930:11:27", "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": 28211, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3930:254:27", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 28188, "id": 28212, "nodeType": "Return", "src": "3911:273:27" } ] }, "implemented": true, "kind": "function", "modifiers": [], "name": "leaf", "parameters": { "id": 28185, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28184, "mutability": "mutable", "name": "_message", "nodeType": "VariableDeclaration", "scope": 28214, "src": "3851:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" }, "typeName": { "id": 28183, "name": "bytes29", "nodeType": "ElementaryTypeName", "src": "3851:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes29", "typeString": "bytes29" } }, "visibility": "internal" } ], "src": "3850:18:27" }, "returnParameters": { "id": 28188, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 28187, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 28214, "src": "3892:7:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 28186, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3892:7:27", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "3891:9:27" }, "scope": 28215, "stateMutability": "view", "virtual": false, "visibility": "internal" } ], "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 27994, "nodeType": "StructuredDocumentation", "src": "174:135:27", "text": " @title Message Library\n @author Illusory Systems Inc.\n @notice Library for formatted messages used by Home and Replica.*" }, "fullyImplemented": true, "linearizedBaseContracts": [ 28215 ], "name": "Message", "scope": 28216 } ], "license": "MIT OR Apache-2.0" }, "id": 27 }