{
"storage": [
{
"astId": 79,
"contract": "example/Shop.sol:Shop",
"label": "owner",
"offset": 0,
"slot": "0",
"type": "t_address_payable"
},
{
"astId": 81,
"contract": "example/Shop.sol:Shop",
"label": "pendingOwner",
"offset": 0,
"slot": "1",
"type": "t_address_payable"
},
{
"astId": 86,
"contract": "example/Shop.sol:Shop",
"label": "orders",
"offset": 0,
"slot": "2",
"type": "t_mapping(t_bytes32,t_struct(Order)19_storage)"
},
{
"astId": 90,
"contract": "example/Shop.sol:Shop",
"label": "nonces",
"offset": 0,
"slot": "3",
"type": "t_mapping(t_address,t_uint256)"
},
{
"astId": 94,
"contract": "example/Shop.sol:Shop",
"label": "refunds",
"offset": 0,
"slot": "4",
"type": "t_mapping(t_bytes32,t_bool)"
},
{
"astId": 98,
"contract": "example/Shop.sol:Shop",
"label": "paid",
"offset": 0,
"slot": "5",
"type": "t_mapping(t_bytes32,t_bool)"
},
{
"astId": 100,
"contract": "example/Shop.sol:Shop",
"label": "lastBuy",
"offset": 0,
"slot": "6",
"type": "t_uint256"
},
{
"astId": 102,
"contract": "example/Shop.sol:Shop",
"label": "partialWithdrawal",
"offset": 0,
"slot": "7",
"type": "t_bool"
},
{
"astId": 104,
"contract": "example/Shop.sol:Shop",
"label": "shopClosed",
"offset": 1,
"slot": "7",
"type": "t_bool"
},
{
"astId": 106,
"contract": "example/Shop.sol:Shop",
"label": "totalConfirmedAmount",
"offset": 0,
"slot": "8",
"type": "t_uint256"
}
],
"types": {
"t_address": {
"encoding": "inplace",
"label": "address",
"numberOfBytes": "20"
},
"t_address_payable": {
"encoding": "inplace",
"label": "address payable",
"numberOfBytes": "20"
},
"t_bool": {
"encoding": "inplace",
"label": "bool",
"numberOfBytes": "1"
},
"t_bytes32": {
"encoding": "inplace",
"label": "bytes32",
"numberOfBytes": "32"
},
"t_mapping(t_address,t_uint256)": {
"encoding": "mapping",
"key": "t_address",
"label": "mapping(address => uint256)",
"numberOfBytes": "32",
"value": "t_uint256"
},
"t_mapping(t_bytes32,t_bool)": {
"encoding": "mapping",
"key": "t_bytes32",
"label": "mapping(bytes32 => bool)",
"numberOfBytes": "32",
"value": "t_bool"
},
"t_mapping(t_bytes32,t_struct(Order)19_storage)": {
"encoding": "mapping",
"key": "t_bytes32",
"label": "mapping(bytes32 => struct Transaction.Order)",
"numberOfBytes": "32",
"value": "t_struct(Order)19_storage"
},
"t_struct(Order)19_storage": {
"encoding": "inplace",
"label": "struct Transaction.Order",
"members": [
{
"astId": 10,
"contract": "example/Shop.sol:Shop",
"label": "buyer",
"offset": 0,
"slot": "0",
"type": "t_address"
},
{
"astId": 12,
"contract": "example/Shop.sol:Shop",
"label": "nonce",
"offset": 0,
"slot": "1",
"type": "t_uint256"
},
{
"astId": 14,
"contract": "example/Shop.sol:Shop",
"label": "amount",
"offset": 0,
"slot": "2",
"type": "t_uint256"
},
{
"astId": 16,
"contract": "example/Shop.sol:Shop",
"label": "date",
"offset": 0,
"slot": "3",
"type": "t_uint256"
},
{
"astId": 18,
"contract": "example/Shop.sol:Shop",
"label": "confirmed",
"offset": 0,
"slot": "4",
"type": "t_bool"
}
],
"numberOfBytes": "160"
},
"t_uint256": {
"encoding": "inplace",
"label": "uint256",
"numberOfBytes": "32"
}
}
}