git.delta.rocks / unique-network / refs/commits / 36fc5abfd9d0

1// SPDX-License-Identifier: OTHER2// This code is automatically generated34pragma solidity >=0.8.0 <0.9.0;56/// @dev common stubs holder7contract Dummy {8	uint8 dummy;9	string stub_error = "this contract is implemented in native";10}1112contract ERC165 is Dummy {13	function supportsInterface(bytes4 interfaceID) external view returns (bool) {14		require(false, stub_error);15		interfaceID;16		return true;17	}18}1920/// @title A contract that allows to set and delete token properties and change token property permissions.21/// @dev the ERC-165 identifier for this interface is 0x4136937722contract TokenProperties is Dummy, ERC165 {23	/// @notice Set permissions for token property.24	/// @dev Throws error if `msg.sender` is not admin or owner of the collection.25	/// @param key Property key.26	/// @param isMutable Permission to mutate property.27	/// @param collectionAdmin Permission to mutate property by collection admin if property is mutable.28	/// @param tokenOwner Permission to mutate property by token owner if property is mutable.29	/// @dev EVM selector for this function is: 0x222d97fa,30	///  or in textual repr: setTokenPropertyPermission(string,bool,bool,bool)31	function setTokenPropertyPermission(32		string memory key,33		bool isMutable,34		bool collectionAdmin,35		bool tokenOwner36	) public {37		require(false, stub_error);38		key;39		isMutable;40		collectionAdmin;41		tokenOwner;42		dummy = 0;43	}4445	/// @notice Set token property value.46	/// @dev Throws error if `msg.sender` has no permission to edit the property.47	/// @param tokenId ID of the token.48	/// @param key Property key.49	/// @param value Property value.50	/// @dev EVM selector for this function is: 0x1752d67b,51	///  or in textual repr: setProperty(uint256,string,bytes)52	function setProperty(53		uint256 tokenId,54		string memory key,55		bytes memory value56	) public {57		require(false, stub_error);58		tokenId;59		key;60		value;61		dummy = 0;62	}6364	/// @notice Delete token property value.65	/// @dev Throws error if `msg.sender` has no permission to edit the property.66	/// @param tokenId ID of the token.67	/// @param key Property key.68	/// @dev EVM selector for this function is: 0x066111d1,69	///  or in textual repr: deleteProperty(uint256,string)70	function deleteProperty(uint256 tokenId, string memory key) public {71		require(false, stub_error);72		tokenId;73		key;74		dummy = 0;75	}7677	/// @notice Get token property value.78	/// @dev Throws error if key not found79	/// @param tokenId ID of the token.80	/// @param key Property key.81	/// @return Property value bytes82	/// @dev EVM selector for this function is: 0x7228c327,83	///  or in textual repr: property(uint256,string)84	function property(uint256 tokenId, string memory key) public view returns (bytes memory) {85		require(false, stub_error);86		tokenId;87		key;88		dummy;89		return hex"";90	}91}9293/// @title A contract that allows you to work with collections.94/// @dev the ERC-165 identifier for this interface is 0xb3152af395contract Collection is Dummy, ERC165 {96	/// Set collection property.97	///98	/// @param key Property key.99	/// @param value Propery value.100	/// @dev EVM selector for this function is: 0x2f073f66,101	///  or in textual repr: setCollectionProperty(string,bytes)102	function setCollectionProperty(string memory key, bytes memory value) public {103		require(false, stub_error);104		key;105		value;106		dummy = 0;107	}108109	/// Set collection properties.110	///111	/// @param properties Vector of properties key/value pair.112	/// @dev EVM selector for this function is: 0x50b26b2a,113	///  or in textual repr: setCollectionProperties((string,bytes)[])114	function setCollectionProperties(Tuple19[] memory properties) public {115		require(false, stub_error);116		properties;117		dummy = 0;118	}119120	/// Delete collection property.121	///122	/// @param key Property key.123	/// @dev EVM selector for this function is: 0x7b7debce,124	///  or in textual repr: deleteCollectionProperty(string)125	function deleteCollectionProperty(string memory key) public {126		require(false, stub_error);127		key;128		dummy = 0;129	}130131	/// Delete collection properties.132	///133	/// @param keys Properties keys.134	/// @dev EVM selector for this function is: 0xee206ee3,135	///  or in textual repr: deleteCollectionProperties(string[])136	function deleteCollectionProperties(string[] memory keys) public {137		require(false, stub_error);138		keys;139		dummy = 0;140	}141142	/// Get collection property.143	///144	/// @dev Throws error if key not found.145	///146	/// @param key Property key.147	/// @return bytes The property corresponding to the key.148	/// @dev EVM selector for this function is: 0xcf24fd6d,149	///  or in textual repr: collectionProperty(string)150	function collectionProperty(string memory key) public view returns (bytes memory) {151		require(false, stub_error);152		key;153		dummy;154		return hex"";155	}156157	/// Get collection properties.158	///159	/// @param keys Properties keys. Empty keys for all propertyes.160	/// @return Vector of properties key/value pairs.161	/// @dev EVM selector for this function is: 0x285fb8e6,162	///  or in textual repr: collectionProperties(string[])163	function collectionProperties(string[] memory keys) public view returns (Tuple19[] memory) {164		require(false, stub_error);165		keys;166		dummy;167		return new Tuple19[](0);168	}169170	/// Set the sponsor of the collection.171	///172	/// @dev In order for sponsorship to work, it must be confirmed on behalf of the sponsor.173	///174	/// @param sponsor Address of the sponsor from whose account funds will be debited for operations with the contract.175	/// @dev EVM selector for this function is: 0x7623402e,176	///  or in textual repr: setCollectionSponsor(address)177	function setCollectionSponsor(address sponsor) public {178		require(false, stub_error);179		sponsor;180		dummy = 0;181	}182183	/// Set the sponsor of the collection.184	///185	/// @dev In order for sponsorship to work, it must be confirmed on behalf of the sponsor.186	///187	/// @param sponsor Cross account address of the sponsor from whose account funds will be debited for operations with the contract.188	/// @dev EVM selector for this function is: 0x84a1d5a8,189	///  or in textual repr: setCollectionSponsorCross((address,uint256))190	function setCollectionSponsorCross(Tuple6 memory sponsor) public {191		require(false, stub_error);192		sponsor;193		dummy = 0;194	}195196	/// Whether there is a pending sponsor.197	/// @dev EVM selector for this function is: 0x058ac185,198	///  or in textual repr: hasCollectionPendingSponsor()199	function hasCollectionPendingSponsor() public view returns (bool) {200		require(false, stub_error);201		dummy;202		return false;203	}204205	/// Collection sponsorship confirmation.206	///207	/// @dev After setting the sponsor for the collection, it must be confirmed with this function.208	/// @dev EVM selector for this function is: 0x3c50e97a,209	///  or in textual repr: confirmCollectionSponsorship()210	function confirmCollectionSponsorship() public {211		require(false, stub_error);212		dummy = 0;213	}214215	/// Remove collection sponsor.216	/// @dev EVM selector for this function is: 0x6e0326a3,217	///  or in textual repr: removeCollectionSponsor()218	function removeCollectionSponsor() public {219		require(false, stub_error);220		dummy = 0;221	}222223	/// Get current sponsor.224	///225	/// @return Tuble with sponsor address and his substrate mirror. If there is no confirmed sponsor error "Contract has no sponsor" throw.226	/// @dev EVM selector for this function is: 0x6ec0a9f1,227	///  or in textual repr: collectionSponsor()228	function collectionSponsor() public view returns (Tuple6 memory) {229		require(false, stub_error);230		dummy;231		return Tuple6(0x0000000000000000000000000000000000000000, 0);232	}233234	/// Set limits for the collection.235	/// @dev Throws error if limit not found.236	/// @param limit Name of the limit. Valid names:237	/// 	"accountTokenOwnershipLimit",238	/// 	"sponsoredDataSize",239	/// 	"sponsoredDataRateLimit",240	/// 	"tokenLimit",241	/// 	"sponsorTransferTimeout",242	/// 	"sponsorApproveTimeout"243	/// @param value Value of the limit.244	/// @dev EVM selector for this function is: 0x6a3841db,245	///  or in textual repr: setCollectionLimit(string,uint32)246	function setCollectionLimit(string memory limit, uint32 value) public {247		require(false, stub_error);248		limit;249		value;250		dummy = 0;251	}252253	/// Set limits for the collection.254	/// @dev Throws error if limit not found.255	/// @param limit Name of the limit. Valid names:256	/// 	"ownerCanTransfer",257	/// 	"ownerCanDestroy",258	/// 	"transfersEnabled"259	/// @param value Value of the limit.260	/// @dev EVM selector for this function is: 0x993b7fba,261	///  or in textual repr: setCollectionLimit(string,bool)262	function setCollectionLimit(string memory limit, bool value) public {263		require(false, stub_error);264		limit;265		value;266		dummy = 0;267	}268269	/// Get contract address.270	/// @dev EVM selector for this function is: 0xf6b4dfb4,271	///  or in textual repr: contractAddress()272	function contractAddress() public view returns (address) {273		require(false, stub_error);274		dummy;275		return 0x0000000000000000000000000000000000000000;276	}277278	/// Add collection admin.279	/// @param newAdmin Cross account administrator address.280	/// @dev EVM selector for this function is: 0x859aa7d6,281	///  or in textual repr: addCollectionAdminCross((address,uint256))282	function addCollectionAdminCross(Tuple6 memory newAdmin) public {283		require(false, stub_error);284		newAdmin;285		dummy = 0;286	}287288	/// Remove collection admin.289	/// @param admin Cross account administrator address.290	/// @dev EVM selector for this function is: 0x6c0cd173,291	///  or in textual repr: removeCollectionAdminCross((address,uint256))292	function removeCollectionAdminCross(Tuple6 memory admin) public {293		require(false, stub_error);294		admin;295		dummy = 0;296	}297298	/// Add collection admin.299	/// @param newAdmin Address of the added administrator.300	/// @dev EVM selector for this function is: 0x92e462c7,301	///  or in textual repr: addCollectionAdmin(address)302	function addCollectionAdmin(address newAdmin) public {303		require(false, stub_error);304		newAdmin;305		dummy = 0;306	}307308	/// Remove collection admin.309	///310	/// @param admin Address of the removed administrator.311	/// @dev EVM selector for this function is: 0xfafd7b42,312	///  or in textual repr: removeCollectionAdmin(address)313	function removeCollectionAdmin(address admin) public {314		require(false, stub_error);315		admin;316		dummy = 0;317	}318319	/// Toggle accessibility of collection nesting.320	///321	/// @param enable If "true" degenerates to nesting: 'Owner' else to nesting: 'Disabled'322	/// @dev EVM selector for this function is: 0x112d4586,323	///  or in textual repr: setCollectionNesting(bool)324	function setCollectionNesting(bool enable) public {325		require(false, stub_error);326		enable;327		dummy = 0;328	}329330	/// Toggle accessibility of collection nesting.331	///332	/// @param enable If "true" degenerates to nesting: {OwnerRestricted: [1, 2, 3]} else to nesting: 'Disabled'333	/// @param collections Addresses of collections that will be available for nesting.334	/// @dev EVM selector for this function is: 0x64872396,335	///  or in textual repr: setCollectionNesting(bool,address[])336	function setCollectionNesting(bool enable, address[] memory collections) public {337		require(false, stub_error);338		enable;339		collections;340		dummy = 0;341	}342343	/// Set the collection access method.344	/// @param mode Access mode345	/// 	0 for Normal346	/// 	1 for AllowList347	/// @dev EVM selector for this function is: 0x41835d4c,348	///  or in textual repr: setCollectionAccess(uint8)349	function setCollectionAccess(uint8 mode) public {350		require(false, stub_error);351		mode;352		dummy = 0;353	}354355	/// Checks that user allowed to operate with collection.356	///357	/// @param user User address to check.358	/// @dev EVM selector for this function is: 0xd63a8e11,359	///  or in textual repr: allowed(address)360	function allowed(address user) public view returns (bool) {361		require(false, stub_error);362		user;363		dummy;364		return false;365	}366367	/// Add the user to the allowed list.368	///369	/// @param user Address of a trusted user.370	/// @dev EVM selector for this function is: 0x67844fe6,371	///  or in textual repr: addToCollectionAllowList(address)372	function addToCollectionAllowList(address user) public {373		require(false, stub_error);374		user;375		dummy = 0;376	}377378	/// Add user to allowed list.379	///380	/// @param user User cross account address.381	/// @dev EVM selector for this function is: 0xa0184a3a,382	///  or in textual repr: addToCollectionAllowListCross((address,uint256))383	function addToCollectionAllowListCross(Tuple6 memory user) public {384		require(false, stub_error);385		user;386		dummy = 0;387	}388389	/// Remove the user from the allowed list.390	///391	/// @param user Address of a removed user.392	/// @dev EVM selector for this function is: 0x85c51acb,393	///  or in textual repr: removeFromCollectionAllowList(address)394	function removeFromCollectionAllowList(address user) public {395		require(false, stub_error);396		user;397		dummy = 0;398	}399400	/// Remove user from allowed list.401	///402	/// @param user User cross account address.403	/// @dev EVM selector for this function is: 0x09ba452a,404	///  or in textual repr: removeFromCollectionAllowListCross((address,uint256))405	function removeFromCollectionAllowListCross(Tuple6 memory user) public {406		require(false, stub_error);407		user;408		dummy = 0;409	}410411	/// Switch permission for minting.412	///413	/// @param mode Enable if "true".414	/// @dev EVM selector for this function is: 0x00018e84,415	///  or in textual repr: setCollectionMintMode(bool)416	function setCollectionMintMode(bool mode) public {417		require(false, stub_error);418		mode;419		dummy = 0;420	}421422	/// Check that account is the owner or admin of the collection423	///424	/// @param user account to verify425	/// @return "true" if account is the owner or admin426	/// @dev EVM selector for this function is: 0x9811b0c7,427	///  or in textual repr: isOwnerOrAdmin(address)428	function isOwnerOrAdmin(address user) public view returns (bool) {429		require(false, stub_error);430		user;431		dummy;432		return false;433	}434435	/// Check that account is the owner or admin of the collection436	///437	/// @param user User cross account to verify438	/// @return "true" if account is the owner or admin439	/// @dev EVM selector for this function is: 0x3e75a905,440	///  or in textual repr: isOwnerOrAdminCross((address,uint256))441	function isOwnerOrAdminCross(Tuple6 memory user) public view returns (bool) {442		require(false, stub_error);443		user;444		dummy;445		return false;446	}447448	/// Returns collection type449	///450	/// @return `Fungible` or `NFT` or `ReFungible`451	/// @dev EVM selector for this function is: 0xd34b55b8,452	///  or in textual repr: uniqueCollectionType()453	function uniqueCollectionType() public view returns (string memory) {454		require(false, stub_error);455		dummy;456		return "";457	}458459	/// Get collection owner.460	///461	/// @return Tuble with sponsor address and his substrate mirror.462	/// If address is canonical then substrate mirror is zero and vice versa.463	/// @dev EVM selector for this function is: 0xdf727d3b,464	///  or in textual repr: collectionOwner()465	function collectionOwner() public view returns (Tuple6 memory) {466		require(false, stub_error);467		dummy;468		return Tuple6(0x0000000000000000000000000000000000000000, 0);469	}470471	/// Changes collection owner to another account472	///473	/// @dev Owner can be changed only by current owner474	/// @param newOwner new owner account475	/// @dev EVM selector for this function is: 0x4f53e226,476	///  or in textual repr: changeCollectionOwner(address)477	function changeCollectionOwner(address newOwner) public {478		require(false, stub_error);479		newOwner;480		dummy = 0;481	}482483	/// Get collection administrators484	///485	/// @return Vector of tuples with admins address and his substrate mirror.486	/// If address is canonical then substrate mirror is zero and vice versa.487	/// @dev EVM selector for this function is: 0x5813216b,488	///  or in textual repr: collectionAdmins()489	function collectionAdmins() public view returns (Tuple6[] memory) {490		require(false, stub_error);491		dummy;492		return new Tuple6[](0);493	}494495	/// Changes collection owner to another account496	///497	/// @dev Owner can be changed only by current owner498	/// @param newOwner new owner cross account499	/// @dev EVM selector for this function is: 0xe5c9913f,500	///  or in textual repr: setOwnerCross((address,uint256))501	function setOwnerCross(Tuple6 memory newOwner) public {502		require(false, stub_error);503		newOwner;504		dummy = 0;505	}506}507508/// @dev anonymous struct509struct Tuple19 {510	string field_0;511	bytes field_1;512}513514/// @dev the ERC-165 identifier for this interface is 0x5b5e139f515contract ERC721Metadata is Dummy, ERC165 {516	// /// @notice A descriptive name for a collection of NFTs in this contract517	// /// @dev real implementation of this function lies in `ERC721UniqueExtensions`518	// /// @dev EVM selector for this function is: 0x06fdde03,519	// ///  or in textual repr: name()520	// function name() public view returns (string memory) {521	// 	require(false, stub_error);522	// 	dummy;523	// 	return "";524	// }525526	// /// @notice An abbreviated name for NFTs in this contract527	// /// @dev real implementation of this function lies in `ERC721UniqueExtensions`528	// /// @dev EVM selector for this function is: 0x95d89b41,529	// ///  or in textual repr: symbol()530	// function symbol() public view returns (string memory) {531	// 	require(false, stub_error);532	// 	dummy;533	// 	return "";534	// }535536	/// @notice A distinct Uniform Resource Identifier (URI) for a given asset.537	///538	/// @dev If the token has a `url` property and it is not empty, it is returned.539	///  Else If the collection does not have a property with key `schemaName` or its value is not equal to `ERC721Metadata`, it return an error `tokenURI not set`.540	///  If the collection property `baseURI` is empty or absent, return "" (empty string)541	///  otherwise, if token property `suffix` present and is non-empty, return concatenation of baseURI and suffix542	///  otherwise, return concatenation of `baseURI` and stringified token id (decimal stringifying, without paddings).543	///544	/// @return token's const_metadata545	/// @dev EVM selector for this function is: 0xc87b56dd,546	///  or in textual repr: tokenURI(uint256)547	function tokenURI(uint256 tokenId) public view returns (string memory) {548		require(false, stub_error);549		tokenId;550		dummy;551		return "";552	}553}554555/// @title ERC721 Token that can be irreversibly burned (destroyed).556/// @dev the ERC-165 identifier for this interface is 0x42966c68557contract ERC721Burnable is Dummy, ERC165 {558	/// @notice Burns a specific ERC721 token.559	/// @dev Throws unless `msg.sender` is the current RFT owner, or an authorized560	///  operator of the current owner.561	/// @param tokenId The RFT to approve562	/// @dev EVM selector for this function is: 0x42966c68,563	///  or in textual repr: burn(uint256)564	function burn(uint256 tokenId) public {565		require(false, stub_error);566		tokenId;567		dummy = 0;568	}569}570571/// @dev inlined interface572contract ERC721UniqueMintableEvents {573	event MintingFinished();574}575576/// @title ERC721 minting logic.577/// @dev the ERC-165 identifier for this interface is 0x476ff149578contract ERC721UniqueMintable is Dummy, ERC165, ERC721UniqueMintableEvents {579	/// @dev EVM selector for this function is: 0x05d2035b,580	///  or in textual repr: mintingFinished()581	function mintingFinished() public view returns (bool) {582		require(false, stub_error);583		dummy;584		return false;585	}586587	/// @notice Function to mint token.588	/// @param to The new owner589	/// @return uint256 The id of the newly minted token590	/// @dev EVM selector for this function is: 0x6a627842,591	///  or in textual repr: mint(address)592	function mint(address to) public returns (uint256) {593		require(false, stub_error);594		to;595		dummy = 0;596		return 0;597	}598599	// /// @notice Function to mint token.600	// /// @dev `tokenId` should be obtained with `nextTokenId` method,601	// ///  unlike standard, you can't specify it manually602	// /// @param to The new owner603	// /// @param tokenId ID of the minted RFT604	// /// @dev EVM selector for this function is: 0x40c10f19,605	// ///  or in textual repr: mint(address,uint256)606	// function mint(address to, uint256 tokenId) public returns (bool) {607	// 	require(false, stub_error);608	// 	to;609	// 	tokenId;610	// 	dummy = 0;611	// 	return false;612	// }613614	/// @notice Function to mint token with the given tokenUri.615	/// @param to The new owner616	/// @param tokenUri Token URI that would be stored in the NFT properties617	/// @return uint256 The id of the newly minted token618	/// @dev EVM selector for this function is: 0x45c17782,619	///  or in textual repr: mintWithTokenURI(address,string)620	function mintWithTokenURI(address to, string memory tokenUri) public returns (uint256) {621		require(false, stub_error);622		to;623		tokenUri;624		dummy = 0;625		return 0;626	}627628	// /// @notice Function to mint token with the given tokenUri.629	// /// @dev `tokenId` should be obtained with `nextTokenId` method,630	// ///  unlike standard, you can't specify it manually631	// /// @param to The new owner632	// /// @param tokenId ID of the minted RFT633	// /// @param tokenUri Token URI that would be stored in the RFT properties634	// /// @dev EVM selector for this function is: 0x50bb4e7f,635	// ///  or in textual repr: mintWithTokenURI(address,uint256,string)636	// function mintWithTokenURI(address to, uint256 tokenId, string memory tokenUri) public returns (bool) {637	// 	require(false, stub_error);638	// 	to;639	// 	tokenId;640	// 	tokenUri;641	// 	dummy = 0;642	// 	return false;643	// }644645	/// @dev Not implemented646	/// @dev EVM selector for this function is: 0x7d64bcb4,647	///  or in textual repr: finishMinting()648	function finishMinting() public returns (bool) {649		require(false, stub_error);650		dummy = 0;651		return false;652	}653}654655/// @title Unique extensions for ERC721.656/// @dev the ERC-165 identifier for this interface is 0x81feb398657contract ERC721UniqueExtensions is Dummy, ERC165 {658	/// @notice A descriptive name for a collection of NFTs in this contract659	/// @dev EVM selector for this function is: 0x06fdde03,660	///  or in textual repr: name()661	function name() public view returns (string memory) {662		require(false, stub_error);663		dummy;664		return "";665	}666667	/// @notice An abbreviated name for NFTs in this contract668	/// @dev EVM selector for this function is: 0x95d89b41,669	///  or in textual repr: symbol()670	function symbol() public view returns (string memory) {671		require(false, stub_error);672		dummy;673		return "";674	}675676	/// @notice Transfer ownership of an RFT677	/// @dev Throws unless `msg.sender` is the current owner. Throws if `to`678	///  is the zero address. Throws if `tokenId` is not a valid RFT.679	///  Throws if RFT pieces have multiple owners.680	/// @param to The new owner681	/// @param tokenId The RFT to transfer682	/// @dev EVM selector for this function is: 0xa9059cbb,683	///  or in textual repr: transfer(address,uint256)684	function transfer(address to, uint256 tokenId) public {685		require(false, stub_error);686		to;687		tokenId;688		dummy = 0;689	}690691	/// @notice Transfer ownership of an RFT692	/// @dev Throws unless `msg.sender` is the current owner. Throws if `to`693	///  is the zero address. Throws if `tokenId` is not a valid RFT.694	///  Throws if RFT pieces have multiple owners.695	/// @param to The new owner696	/// @param tokenId The RFT to transfer697	/// @dev EVM selector for this function is: 0xd5cf430b,698	///  or in textual repr: transferFromCross((address,uint256),(address,uint256),uint256)699	function transferFromCross(700		Tuple6 memory from,701		Tuple6 memory to,702		uint256 tokenId703	) public {704		require(false, stub_error);705		from;706		to;707		tokenId;708		dummy = 0;709	}710711	/// @notice Burns a specific ERC721 token.712	/// @dev Throws unless `msg.sender` is the current owner or an authorized713	///  operator for this RFT. Throws if `from` is not the current owner. Throws714	///  if `to` is the zero address. Throws if `tokenId` is not a valid RFT.715	///  Throws if RFT pieces have multiple owners.716	/// @param from The current owner of the RFT717	/// @param tokenId The RFT to transfer718	/// @dev EVM selector for this function is: 0x79cc6790,719	///  or in textual repr: burnFrom(address,uint256)720	function burnFrom(address from, uint256 tokenId) public {721		require(false, stub_error);722		from;723		tokenId;724		dummy = 0;725	}726727	/// @notice Burns a specific ERC721 token.728	/// @dev Throws unless `msg.sender` is the current owner or an authorized729	///  operator for this RFT. Throws if `from` is not the current owner. Throws730	///  if `to` is the zero address. Throws if `tokenId` is not a valid RFT.731	///  Throws if RFT pieces have multiple owners.732	/// @param from The current owner of the RFT733	/// @param tokenId The RFT to transfer734	/// @dev EVM selector for this function is: 0xbb2f5a58,735	///  or in textual repr: burnFromCross((address,uint256),uint256)736	function burnFromCross(Tuple6 memory from, uint256 tokenId) public {737		require(false, stub_error);738		from;739		tokenId;740		dummy = 0;741	}742743	/// @notice Returns next free RFT ID.744	/// @dev EVM selector for this function is: 0x75794a3c,745	///  or in textual repr: nextTokenId()746	function nextTokenId() public view returns (uint256) {747		require(false, stub_error);748		dummy;749		return 0;750	}751752	// /// @notice Function to mint multiple tokens.753	// /// @dev `tokenIds` should be an array of consecutive numbers and first number754	// ///  should be obtained with `nextTokenId` method755	// /// @param to The new owner756	// /// @param tokenIds IDs of the minted RFTs757	// /// @dev EVM selector for this function is: 0x44a9945e,758	// ///  or in textual repr: mintBulk(address,uint256[])759	// function mintBulk(address to, uint256[] memory tokenIds) public returns (bool) {760	// 	require(false, stub_error);761	// 	to;762	// 	tokenIds;763	// 	dummy = 0;764	// 	return false;765	// }766767	// /// @notice Function to mint multiple tokens with the given tokenUris.768	// /// @dev `tokenIds` is array of pairs of token ID and token URI. Token IDs should be consecutive769	// ///  numbers and first number should be obtained with `nextTokenId` method770	// /// @param to The new owner771	// /// @param tokens array of pairs of token ID and token URI for minted tokens772	// /// @dev EVM selector for this function is: 0x36543006,773	// ///  or in textual repr: mintBulkWithTokenURI(address,(uint256,string)[])774	// function mintBulkWithTokenURI(address to, Tuple8[] memory tokens) public returns (bool) {775	// 	require(false, stub_error);776	// 	to;777	// 	tokens;778	// 	dummy = 0;779	// 	return false;780	// }781782	/// Returns EVM address for refungible token783	///784	/// @param token ID of the token785	/// @dev EVM selector for this function is: 0xab76fac6,786	///  or in textual repr: tokenContractAddress(uint256)787	function tokenContractAddress(uint256 token) public view returns (address) {788		require(false, stub_error);789		token;790		dummy;791		return 0x0000000000000000000000000000000000000000;792	}793}794795/// @dev anonymous struct796struct Tuple8 {797	uint256 field_0;798	string field_1;799}800801/// @dev anonymous struct802struct Tuple6 {803	address field_0;804	uint256 field_1;805}806807/// @title ERC-721 Non-Fungible Token Standard, optional enumeration extension808/// @dev See https://eips.ethereum.org/EIPS/eip-721809/// @dev the ERC-165 identifier for this interface is 0x780e9d63810contract ERC721Enumerable is Dummy, ERC165 {811	/// @notice Enumerate valid RFTs812	/// @param index A counter less than `totalSupply()`813	/// @return The token identifier for the `index`th NFT,814	///  (sort order not specified)815	/// @dev EVM selector for this function is: 0x4f6ccce7,816	///  or in textual repr: tokenByIndex(uint256)817	function tokenByIndex(uint256 index) public view returns (uint256) {818		require(false, stub_error);819		index;820		dummy;821		return 0;822	}823824	/// Not implemented825	/// @dev EVM selector for this function is: 0x2f745c59,826	///  or in textual repr: tokenOfOwnerByIndex(address,uint256)827	function tokenOfOwnerByIndex(address owner, uint256 index) public view returns (uint256) {828		require(false, stub_error);829		owner;830		index;831		dummy;832		return 0;833	}834835	/// @notice Count RFTs tracked by this contract836	/// @return A count of valid RFTs tracked by this contract, where each one of837	///  them has an assigned and queryable owner not equal to the zero address838	/// @dev EVM selector for this function is: 0x18160ddd,839	///  or in textual repr: totalSupply()840	function totalSupply() public view returns (uint256) {841		require(false, stub_error);842		dummy;843		return 0;844	}845}846847/// @dev inlined interface848contract ERC721Events {849	event Transfer(address indexed from, address indexed to, uint256 indexed tokenId);850	event Approval(address indexed owner, address indexed approved, uint256 indexed tokenId);851	event ApprovalForAll(address indexed owner, address indexed operator, bool approved);852}853854/// @title ERC-721 Non-Fungible Token Standard855/// @dev See https://github.com/ethereum/EIPs/blob/master/EIPS/eip-721.md856/// @dev the ERC-165 identifier for this interface is 0x58800161857contract ERC721 is Dummy, ERC165, ERC721Events {858	/// @notice Count all RFTs assigned to an owner859	/// @dev RFTs assigned to the zero address are considered invalid, and this860	///  function throws for queries about the zero address.861	/// @param owner An address for whom to query the balance862	/// @return The number of RFTs owned by `owner`, possibly zero863	/// @dev EVM selector for this function is: 0x70a08231,864	///  or in textual repr: balanceOf(address)865	function balanceOf(address owner) public view returns (uint256) {866		require(false, stub_error);867		owner;868		dummy;869		return 0;870	}871872	/// @notice Find the owner of an RFT873	/// @dev RFTs assigned to zero address are considered invalid, and queries874	///  about them do throw.875	///  Returns special 0xffffffffffffffffffffffffffffffffffffffff address for876	///  the tokens that are partially owned.877	/// @param tokenId The identifier for an RFT878	/// @return The address of the owner of the RFT879	/// @dev EVM selector for this function is: 0x6352211e,880	///  or in textual repr: ownerOf(uint256)881	function ownerOf(uint256 tokenId) public view returns (address) {882		require(false, stub_error);883		tokenId;884		dummy;885		return 0x0000000000000000000000000000000000000000;886	}887888	/// @dev Not implemented889	/// @dev EVM selector for this function is: 0x60a11672,890	///  or in textual repr: safeTransferFromWithData(address,address,uint256,bytes)891	function safeTransferFromWithData(892		address from,893		address to,894		uint256 tokenId,895		bytes memory data896	) public {897		require(false, stub_error);898		from;899		to;900		tokenId;901		data;902		dummy = 0;903	}904905	/// @dev Not implemented906	/// @dev EVM selector for this function is: 0x42842e0e,907	///  or in textual repr: safeTransferFrom(address,address,uint256)908	function safeTransferFrom(909		address from,910		address to,911		uint256 tokenId912	) public {913		require(false, stub_error);914		from;915		to;916		tokenId;917		dummy = 0;918	}919920	/// @notice Transfer ownership of an RFT -- THE CALLER IS RESPONSIBLE921	///  TO CONFIRM THAT `to` IS CAPABLE OF RECEIVING NFTS OR ELSE922	///  THEY MAY BE PERMANENTLY LOST923	/// @dev Throws unless `msg.sender` is the current owner or an authorized924	///  operator for this RFT. Throws if `from` is not the current owner. Throws925	///  if `to` is the zero address. Throws if `tokenId` is not a valid RFT.926	///  Throws if RFT pieces have multiple owners.927	/// @param from The current owner of the NFT928	/// @param to The new owner929	/// @param tokenId The NFT to transfer930	/// @dev EVM selector for this function is: 0x23b872dd,931	///  or in textual repr: transferFrom(address,address,uint256)932	function transferFrom(933		address from,934		address to,935		uint256 tokenId936	) public {937		require(false, stub_error);938		from;939		to;940		tokenId;941		dummy = 0;942	}943944	/// @dev Not implemented945	/// @dev EVM selector for this function is: 0x095ea7b3,946	///  or in textual repr: approve(address,uint256)947	function approve(address approved, uint256 tokenId) public {948		require(false, stub_error);949		approved;950		tokenId;951		dummy = 0;952	}953954	/// @dev Not implemented955	/// @dev EVM selector for this function is: 0xa22cb465,956	///  or in textual repr: setApprovalForAll(address,bool)957	function setApprovalForAll(address operator, bool approved) public {958		require(false, stub_error);959		operator;960		approved;961		dummy = 0;962	}963964	/// @dev Not implemented965	/// @dev EVM selector for this function is: 0x081812fc,966	///  or in textual repr: getApproved(uint256)967	function getApproved(uint256 tokenId) public view returns (address) {968		require(false, stub_error);969		tokenId;970		dummy;971		return 0x0000000000000000000000000000000000000000;972	}973974	/// @dev Not implemented975	/// @dev EVM selector for this function is: 0xe985e9c5,976	///  or in textual repr: isApprovedForAll(address,address)977	function isApprovedForAll(address owner, address operator) public view returns (address) {978		require(false, stub_error);979		owner;980		operator;981		dummy;982		return 0x0000000000000000000000000000000000000000;983	}984}985986contract UniqueRefungible is987	Dummy,988	ERC165,989	ERC721,990	ERC721Enumerable,991	ERC721UniqueExtensions,992	ERC721UniqueMintable,993	ERC721Burnable,994	ERC721Metadata,995	Collection,996	TokenProperties997{}