Polygon MCP Server

{ "_format": "hh-sol-artifact-1", "contractName": "PropertyToken", "sourceName": "contracts/PropertyToken.sol", "abi": [ { "inputs": [ { "internalType": "address", "name": "_propertyNFT", "type": "address" }, { "internalType": "uint256", "name": "_propertyId", "type": "uint256" }, { "internalType": "string", "name": "name", "type": "string" }, { "internalType": "string", "name": "symbol", "type": "string" } ], "stateMutability": "nonpayable", "type": "constructor" }, { "inputs": [ { "internalType": "address", "name": "spender", "type": "address" }, { "internalType": "uint256", "name": "allowance", "type": "uint256" }, { "internalType": "uint256", "name": "needed", "type": "uint256" } ], "name": "ERC20InsufficientAllowance", "type": "error" }, { "inputs": [ { "internalType": "address", "name": "sender", "type": "address" }, { "internalType": "uint256", "name": "balance", "type": "uint256" }, { "internalType": "uint256", "name": "needed", "type": "uint256" } ], "name": "ERC20InsufficientBalance", "type": "error" }, { "inputs": [ { "internalType": "address", "name": "approver", "type": "address" } ], "name": "ERC20InvalidApprover", "type": "error" }, { "inputs": [ { "internalType": "address", "name": "receiver", "type": "address" } ], "name": "ERC20InvalidReceiver", "type": "error" }, { "inputs": [ { "internalType": "address", "name": "sender", "type": "address" } ], "name": "ERC20InvalidSender", "type": "error" }, { "inputs": [ { "internalType": "address", "name": "spender", "type": "address" } ], "name": "ERC20InvalidSpender", "type": "error" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "owner", "type": "address" }, { "indexed": true, "internalType": "address", "name": "spender", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "Approval", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "from", "type": "address" }, { "indexed": true, "internalType": "address", "name": "to", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "Transfer", "type": "event" }, { "inputs": [ { "internalType": "address", "name": "owner", "type": "address" }, { "internalType": "address", "name": "spender", "type": "address" } ], "name": "allowance", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "spender", "type": "address" }, { "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "approve", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "account", "type": "address" } ], "name": "balanceOf", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "decimals", "outputs": [ { "internalType": "uint8", "name": "", "type": "uint8" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "to", "type": "address" }, { "internalType": "uint256", "name": "amount", "type": "uint256" } ], "name": "mintFractions", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "name", "outputs": [ { "internalType": "string", "name": "", "type": "string" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "propertyId", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "propertyNFT", "outputs": [ { "internalType": "contract PropertyNFT", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "symbol", "outputs": [ { "internalType": "string", "name": "", "type": "string" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "totalSupply", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "to", "type": "address" }, { "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "transfer", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "from", "type": "address" }, { "internalType": "address", "name": "to", "type": "address" }, { "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "transferFrom", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" } ], "bytecode": "0x60806040523480156200001157600080fd5b5060405162000b1438038062000b14833981016040819052620000349162000147565b818160036200004483826200026a565b5060046200005382826200026a565b5050600580546001600160a01b0319166001600160a01b03969096169590951790945550506006555062000336565b634e487b7160e01b600052604160045260246000fd5b600082601f830112620000aa57600080fd5b81516001600160401b0380821115620000c757620000c762000082565b604051601f8301601f19908116603f01168101908282118183101715620000f257620000f262000082565b816040528381526020925086838588010111156200010f57600080fd5b600091505b8382101562000133578582018301518183018401529082019062000114565b600093810190920192909252949350505050565b600080600080608085870312156200015e57600080fd5b84516001600160a01b03811681146200017657600080fd5b6020860151604087015191955093506001600160401b03808211156200019b57600080fd5b620001a98883890162000098565b93506060870151915080821115620001c057600080fd5b50620001cf8782880162000098565b91505092959194509250565b600181811c90821680620001f057607f821691505b6020821081036200021157634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156200026557600081815260208120601f850160051c81016020861015620002405750805b601f850160051c820191505b8181101562000261578281556001016200024c565b5050505b505050565b81516001600160401b0381111562000286576200028662000082565b6200029e81620002978454620001db565b8462000217565b602080601f831160018114620002d65760008415620002bd5750858301515b600019600386901b1c1916600185901b17855562000261565b600085815260208120601f198616915b828110156200030757888601518255948401946001909101908401620002e6565b5085821015620003265787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b6107ce80620003466000396000f3fe608060405234801561001057600080fd5b50600436106100b45760003560e01c806337f768381161007157806337f768381461014357806370a082311461016e57806395d89b4114610197578063a9059cbb1461019f578063dd62ed3e146101b2578063ee7a3b8e146101eb57600080fd5b806306fdde03146100b9578063095ea7b3146100d757806318160ddd146100fa57806323b872dd1461010c5780632bc84b7e1461011f578063313ce56714610134575b600080fd5b6100c16101f4565b6040516100ce9190610618565b60405180910390f35b6100ea6100e5366004610682565b610286565b60405190151581526020016100ce565b6002545b6040519081526020016100ce565b6100ea61011a3660046106ac565b6102a0565b61013261012d366004610682565b6102c4565b005b604051601281526020016100ce565b600554610156906001600160a01b031681565b6040516001600160a01b0390911681526020016100ce565b6100fe61017c3660046106e8565b6001600160a01b031660009081526020819052604090205490565b6100c16102d2565b6100ea6101ad366004610682565b6102e1565b6100fe6101c036600461070a565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6100fe60065481565b6060600380546102039061073d565b80601f016020809104026020016040519081016040528092919081815260200182805461022f9061073d565b801561027c5780601f106102515761010080835404028352916020019161027c565b820191906000526020600020905b81548152906001019060200180831161025f57829003601f168201915b5050505050905090565b6000336102948185856102ef565b60019150505b92915050565b6000336102ae858285610301565b6102b9858585610384565b506001949350505050565b6102ce82826103e3565b5050565b6060600480546102039061073d565b600033610294818585610384565b6102fc8383836001610419565b505050565b6001600160a01b03838116600090815260016020908152604080832093861683529290522054600019811461037e578181101561036f57604051637dc7a0d960e11b81526001600160a01b038416600482015260248101829052604481018390526064015b60405180910390fd5b61037e84848484036000610419565b50505050565b6001600160a01b0383166103ae57604051634b637e8f60e11b815260006004820152602401610366565b6001600160a01b0382166103d85760405163ec442f0560e01b815260006004820152602401610366565b6102fc8383836104ee565b6001600160a01b03821661040d5760405163ec442f0560e01b815260006004820152602401610366565b6102ce600083836104ee565b6001600160a01b0384166104435760405163e602df0560e01b815260006004820152602401610366565b6001600160a01b03831661046d57604051634a1406b160e11b815260006004820152602401610366565b6001600160a01b038085166000908152600160209081526040808320938716835292905220829055801561037e57826001600160a01b0316846001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104e091815260200190565b60405180910390a350505050565b6001600160a01b03831661051957806002600082825461050e9190610777565b9091555061058b9050565b6001600160a01b0383166000908152602081905260409020548181101561056c5760405163391434e360e21b81526001600160a01b03851660048201526024810182905260448101839052606401610366565b6001600160a01b03841660009081526020819052604090209082900390555b6001600160a01b0382166105a7576002805482900390556105c6565b6001600160a01b03821660009081526020819052604090208054820190555b816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161060b91815260200190565b60405180910390a3505050565b600060208083528351808285015260005b8181101561064557858101830151858201604001528201610629565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461067d57600080fd5b919050565b6000806040838503121561069557600080fd5b61069e83610666565b946020939093013593505050565b6000806000606084860312156106c157600080fd5b6106ca84610666565b92506106d860208501610666565b9150604084013590509250925092565b6000602082840312156106fa57600080fd5b61070382610666565b9392505050565b6000806040838503121561071d57600080fd5b61072683610666565b915061073460208401610666565b90509250929050565b600181811c9082168061075157607f821691505b60208210810361077157634e487b7160e01b600052602260045260246000fd5b50919050565b8082018082111561029a57634e487b7160e01b600052601160045260246000fdfea26469706673582212208f47d1e7d29f673a5b261f1919bbb499ae034bbbed24401af89ffa7dda772cf764736f6c63430008140033", "deployedBytecode": "0x608060405234801561001057600080fd5b50600436106100b45760003560e01c806337f768381161007157806337f768381461014357806370a082311461016e57806395d89b4114610197578063a9059cbb1461019f578063dd62ed3e146101b2578063ee7a3b8e146101eb57600080fd5b806306fdde03146100b9578063095ea7b3146100d757806318160ddd146100fa57806323b872dd1461010c5780632bc84b7e1461011f578063313ce56714610134575b600080fd5b6100c16101f4565b6040516100ce9190610618565b60405180910390f35b6100ea6100e5366004610682565b610286565b60405190151581526020016100ce565b6002545b6040519081526020016100ce565b6100ea61011a3660046106ac565b6102a0565b61013261012d366004610682565b6102c4565b005b604051601281526020016100ce565b600554610156906001600160a01b031681565b6040516001600160a01b0390911681526020016100ce565b6100fe61017c3660046106e8565b6001600160a01b031660009081526020819052604090205490565b6100c16102d2565b6100ea6101ad366004610682565b6102e1565b6100fe6101c036600461070a565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6100fe60065481565b6060600380546102039061073d565b80601f016020809104026020016040519081016040528092919081815260200182805461022f9061073d565b801561027c5780601f106102515761010080835404028352916020019161027c565b820191906000526020600020905b81548152906001019060200180831161025f57829003601f168201915b5050505050905090565b6000336102948185856102ef565b60019150505b92915050565b6000336102ae858285610301565b6102b9858585610384565b506001949350505050565b6102ce82826103e3565b5050565b6060600480546102039061073d565b600033610294818585610384565b6102fc8383836001610419565b505050565b6001600160a01b03838116600090815260016020908152604080832093861683529290522054600019811461037e578181101561036f57604051637dc7a0d960e11b81526001600160a01b038416600482015260248101829052604481018390526064015b60405180910390fd5b61037e84848484036000610419565b50505050565b6001600160a01b0383166103ae57604051634b637e8f60e11b815260006004820152602401610366565b6001600160a01b0382166103d85760405163ec442f0560e01b815260006004820152602401610366565b6102fc8383836104ee565b6001600160a01b03821661040d5760405163ec442f0560e01b815260006004820152602401610366565b6102ce600083836104ee565b6001600160a01b0384166104435760405163e602df0560e01b815260006004820152602401610366565b6001600160a01b03831661046d57604051634a1406b160e11b815260006004820152602401610366565b6001600160a01b038085166000908152600160209081526040808320938716835292905220829055801561037e57826001600160a01b0316846001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104e091815260200190565b60405180910390a350505050565b6001600160a01b03831661051957806002600082825461050e9190610777565b9091555061058b9050565b6001600160a01b0383166000908152602081905260409020548181101561056c5760405163391434e360e21b81526001600160a01b03851660048201526024810182905260448101839052606401610366565b6001600160a01b03841660009081526020819052604090209082900390555b6001600160a01b0382166105a7576002805482900390556105c6565b6001600160a01b03821660009081526020819052604090208054820190555b816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161060b91815260200190565b60405180910390a3505050565b600060208083528351808285015260005b8181101561064557858101830151858201604001528201610629565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461067d57600080fd5b919050565b6000806040838503121561069557600080fd5b61069e83610666565b946020939093013593505050565b6000806000606084860312156106c157600080fd5b6106ca84610666565b92506106d860208501610666565b9150604084013590509250925092565b6000602082840312156106fa57600080fd5b61070382610666565b9392505050565b6000806040838503121561071d57600080fd5b61072683610666565b915061073460208401610666565b90509250929050565b600181811c9082168061075157607f821691505b60208210810361077157634e487b7160e01b600052602260045260246000fd5b50919050565b8082018082111561029a57634e487b7160e01b600052601160045260246000fdfea26469706673582212208f47d1e7d29f673a5b261f1919bbb499ae034bbbed24401af89ffa7dda772cf764736f6c63430008140033", "linkReferences": {}, "deployedLinkReferences": {} }