IERC721.spec 1.3 KB

1234567891011121314151617181920
  1. methods {
  2. // IERC721
  3. balanceOf(address) returns (uint256) envfree => DISPATCHER(true)
  4. ownerOf(uint256) returns (address) envfree => DISPATCHER(true)
  5. getApproved(uint256) returns (address) envfree => DISPATCHER(true)
  6. isApprovedForAll(address,address) returns (bool) envfree => DISPATCHER(true)
  7. safeTransferFrom(address,address,uint256,bytes) => DISPATCHER(true)
  8. safeTransferFrom(address,address,uint256) => DISPATCHER(true)
  9. transferFrom(address,address,uint256) => DISPATCHER(true)
  10. approve(address,uint256) => DISPATCHER(true)
  11. setApprovalForAll(address,bool) => DISPATCHER(true)
  12. // IERC721Metadata
  13. name() returns (string) => DISPATCHER(true)
  14. symbol() returns (string) => DISPATCHER(true)
  15. tokenURI(uint256) returns (string) => DISPATCHER(true)
  16. // IERC721Receiver
  17. onERC721Received(address,address,uint256,bytes) returns (bytes4) => DISPATCHER(true)
  18. }