git.delta.rocks / unique-network / refs/commits / b25659aaac93

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 0xde0695c222contract 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(string memory key, bool isMutable, bool collectionAdmin, bool tokenOwner) public {32	// 	require(false, stub_error);33	// 	key;34	// 	isMutable;35	// 	collectionAdmin;36	// 	tokenOwner;37	// 	dummy = 0;38	// }3940	/// @notice Set permissions for token property.41	/// @dev Throws error if `msg.sender` is not admin or owner of the collection.42	/// @param permissions Permissions for keys.43	/// @dev EVM selector for this function is: 0xbd92983a,44	///  or in textual repr: setTokenPropertyPermissions((string,(uint8,bool)[])[])45	function setTokenPropertyPermissions(TokenPropertyPermission[] memory permissions) public {46		require(false, stub_error);47		permissions;48		dummy = 0;49	}5051	/// @notice Get permissions for token properties.52	/// @dev EVM selector for this function is: 0xf23d7790,53	///  or in textual repr: tokenPropertyPermissions()54	function tokenPropertyPermissions() public view returns (TokenPropertyPermission[] memory) {55		require(false, stub_error);56		dummy;57		return new TokenPropertyPermission[](0);58	}5960	// /// @notice Set token property value.61	// /// @dev Throws error if `msg.sender` has no permission to edit the property.62	// /// @param tokenId ID of the token.63	// /// @param key Property key.64	// /// @param value Property value.65	// /// @dev EVM selector for this function is: 0x1752d67b,66	// ///  or in textual repr: setProperty(uint256,string,bytes)67	// function setProperty(uint256 tokenId, string memory key, bytes memory value) public {68	// 	require(false, stub_error);69	// 	tokenId;70	// 	key;71	// 	value;72	// 	dummy = 0;73	// }7475	/// @notice Set token properties value.76	/// @dev Throws error if `msg.sender` has no permission to edit the property.77	/// @param tokenId ID of the token.78	/// @param properties settable properties79	/// @dev EVM selector for this function is: 0x14ed3a6e,80	///  or in textual repr: setProperties(uint256,(string,bytes)[])81	function setProperties(uint256 tokenId, Property[] memory properties) public {82		require(false, stub_error);83		tokenId;84		properties;85		dummy = 0;86	}8788	// /// @notice Delete token property value.89	// /// @dev Throws error if `msg.sender` has no permission to edit the property.90	// /// @param tokenId ID of the token.91	// /// @param key Property key.92	// /// @dev EVM selector for this function is: 0x066111d1,93	// ///  or in textual repr: deleteProperty(uint256,string)94	// function deleteProperty(uint256 tokenId, string memory key) public {95	// 	require(false, stub_error);96	// 	tokenId;97	// 	key;98	// 	dummy = 0;99	// }100101	/// @notice Delete token properties value.102	/// @dev Throws error if `msg.sender` has no permission to edit the property.103	/// @param tokenId ID of the token.104	/// @param keys Properties key.105	/// @dev EVM selector for this function is: 0xc472d371,106	///  or in textual repr: deleteProperties(uint256,string[])107	function deleteProperties(uint256 tokenId, string[] memory keys) public {108		require(false, stub_error);109		tokenId;110		keys;111		dummy = 0;112	}113114	/// @notice Get token property value.115	/// @dev Throws error if key not found116	/// @param tokenId ID of the token.117	/// @param key Property key.118	/// @return Property value bytes119	/// @dev EVM selector for this function is: 0x7228c327,120	///  or in textual repr: property(uint256,string)121	function property(uint256 tokenId, string memory key) public view returns (bytes memory) {122		require(false, stub_error);123		tokenId;124		key;125		dummy;126		return hex"";127	}128}129130/// @dev Ethereum representation of collection [`PropertyKey`](up_data_structs::PropertyKey) and [`PropertyValue`](up_data_structs::PropertyValue).131struct Property {132	/// @dev Property key.133	string key;134	/// @dev Property value.135	bytes value;136}137138/// @dev Ethereum representation of Token Property Permissions.139struct TokenPropertyPermission {140	/// @dev Token property key.141	string key;142	/// @dev Token property permissions.143	PropertyPermission[] permissions;144}145146/// @dev Ethereum representation of TokenPermissions (see [`up_data_structs::PropertyPermission`]) as an key and value.147struct PropertyPermission {148	/// @dev TokenPermission field.149	TokenPermissionField code;150	/// @dev TokenPermission value.151	bool value;152}153154/// @dev Ethereum representation of TokenPermissions (see [`up_data_structs::PropertyPermission`]) fields as an enumeration.155enum TokenPermissionField {156	/// @dev Permission to change the property and property permission. See [`up_data_structs::PropertyPermission::mutable`]157	Mutable,158	/// @dev Change permission for the collection administrator. See [`up_data_structs::PropertyPermission::token_owner`]159	TokenOwner,160	/// @dev Permission to change the property for the owner of the token. See [`up_data_structs::PropertyPermission::collection_admin`]161	CollectionAdmin162}163164/// @title A contract that allows you to work with collections.165/// @dev the ERC-165 identifier for this interface is 0x2a14cfd1166contract Collection is Dummy, ERC165 {167	// /// Set collection property.168	// ///169	// /// @param key Property key.170	// /// @param value Propery value.171	// /// @dev EVM selector for this function is: 0x2f073f66,172	// ///  or in textual repr: setCollectionProperty(string,bytes)173	// function setCollectionProperty(string memory key, bytes memory value) public {174	// 	require(false, stub_error);175	// 	key;176	// 	value;177	// 	dummy = 0;178	// }179180	/// Set collection properties.181	///182	/// @param properties Vector of properties key/value pair.183	/// @dev EVM selector for this function is: 0x50b26b2a,184	///  or in textual repr: setCollectionProperties((string,bytes)[])185	function setCollectionProperties(Property[] memory properties) public {186		require(false, stub_error);187		properties;188		dummy = 0;189	}190191	// /// Delete collection property.192	// ///193	// /// @param key Property key.194	// /// @dev EVM selector for this function is: 0x7b7debce,195	// ///  or in textual repr: deleteCollectionProperty(string)196	// function deleteCollectionProperty(string memory key) public {197	// 	require(false, stub_error);198	// 	key;199	// 	dummy = 0;200	// }201202	/// Delete collection properties.203	///204	/// @param keys Properties keys.205	/// @dev EVM selector for this function is: 0xee206ee3,206	///  or in textual repr: deleteCollectionProperties(string[])207	function deleteCollectionProperties(string[] memory keys) public {208		require(false, stub_error);209		keys;210		dummy = 0;211	}212213	/// Get collection property.214	///215	/// @dev Throws error if key not found.216	///217	/// @param key Property key.218	/// @return bytes The property corresponding to the key.219	/// @dev EVM selector for this function is: 0xcf24fd6d,220	///  or in textual repr: collectionProperty(string)221	function collectionProperty(string memory key) public view returns (bytes memory) {222		require(false, stub_error);223		key;224		dummy;225		return hex"";226	}227228	/// Get collection properties.229	///230	/// @param keys Properties keys. Empty keys for all propertyes.231	/// @return Vector of properties key/value pairs.232	/// @dev EVM selector for this function is: 0x285fb8e6,233	///  or in textual repr: collectionProperties(string[])234	function collectionProperties(string[] memory keys) public view returns (Property[] memory) {235		require(false, stub_error);236		keys;237		dummy;238		return new Property[](0);239	}240241	// /// Set the sponsor of the collection.242	// ///243	// /// @dev In order for sponsorship to work, it must be confirmed on behalf of the sponsor.244	// ///245	// /// @param sponsor Address of the sponsor from whose account funds will be debited for operations with the contract.246	// /// @dev EVM selector for this function is: 0x7623402e,247	// ///  or in textual repr: setCollectionSponsor(address)248	// function setCollectionSponsor(address sponsor) public {249	// 	require(false, stub_error);250	// 	sponsor;251	// 	dummy = 0;252	// }253254	/// Set the sponsor of the collection.255	///256	/// @dev In order for sponsorship to work, it must be confirmed on behalf of the sponsor.257	///258	/// @param sponsor Cross account address of the sponsor from whose account funds will be debited for operations with the contract.259	/// @dev EVM selector for this function is: 0x84a1d5a8,260	///  or in textual repr: setCollectionSponsorCross((address,uint256))261	function setCollectionSponsorCross(CrossAccount memory sponsor) public {262		require(false, stub_error);263		sponsor;264		dummy = 0;265	}266267	/// Whether there is a pending sponsor.268	/// @dev EVM selector for this function is: 0x058ac185,269	///  or in textual repr: hasCollectionPendingSponsor()270	function hasCollectionPendingSponsor() public view returns (bool) {271		require(false, stub_error);272		dummy;273		return false;274	}275276	/// Collection sponsorship confirmation.277	///278	/// @dev After setting the sponsor for the collection, it must be confirmed with this function.279	/// @dev EVM selector for this function is: 0x3c50e97a,280	///  or in textual repr: confirmCollectionSponsorship()281	function confirmCollectionSponsorship() public {282		require(false, stub_error);283		dummy = 0;284	}285286	/// Remove collection sponsor.287	/// @dev EVM selector for this function is: 0x6e0326a3,288	///  or in textual repr: removeCollectionSponsor()289	function removeCollectionSponsor() public {290		require(false, stub_error);291		dummy = 0;292	}293294	/// Get current sponsor.295	///296	/// @return Tuble with sponsor address and his substrate mirror. If there is no confirmed sponsor error "Contract has no sponsor" throw.297	/// @dev EVM selector for this function is: 0x6ec0a9f1,298	///  or in textual repr: collectionSponsor()299	function collectionSponsor() public view returns (CrossAccount memory) {300		require(false, stub_error);301		dummy;302		return CrossAccount(0x0000000000000000000000000000000000000000, 0);303	}304305	/// Get current collection limits.306	///307	/// @return Array of collection limits308	/// @dev EVM selector for this function is: 0xf63bc572,309	///  or in textual repr: collectionLimits()310	function collectionLimits() public view returns (CollectionLimit[] memory) {311		require(false, stub_error);312		dummy;313		return new CollectionLimit[](0);314	}315316	/// Set limits for the collection.317	/// @dev Throws error if limit not found.318	/// @param limit Some limit.319	/// @dev EVM selector for this function is: 0x2316ee74,320	///  or in textual repr: setCollectionLimit((uint8,(bool,uint256)))321	function setCollectionLimit(CollectionLimit memory limit) public {322		require(false, stub_error);323		limit;324		dummy = 0;325	}326327	/// Get contract address.328	/// @dev EVM selector for this function is: 0xf6b4dfb4,329	///  or in textual repr: contractAddress()330	function contractAddress() public view returns (address) {331		require(false, stub_error);332		dummy;333		return 0x0000000000000000000000000000000000000000;334	}335336	/// Add collection admin.337	/// @param newAdmin Cross account administrator address.338	/// @dev EVM selector for this function is: 0x859aa7d6,339	///  or in textual repr: addCollectionAdminCross((address,uint256))340	function addCollectionAdminCross(CrossAccount memory newAdmin) public {341		require(false, stub_error);342		newAdmin;343		dummy = 0;344	}345346	/// Remove collection admin.347	/// @param admin Cross account administrator address.348	/// @dev EVM selector for this function is: 0x6c0cd173,349	///  or in textual repr: removeCollectionAdminCross((address,uint256))350	function removeCollectionAdminCross(CrossAccount memory admin) public {351		require(false, stub_error);352		admin;353		dummy = 0;354	}355356	// /// Add collection admin.357	// /// @param newAdmin Address of the added administrator.358	// /// @dev EVM selector for this function is: 0x92e462c7,359	// ///  or in textual repr: addCollectionAdmin(address)360	// function addCollectionAdmin(address newAdmin) public {361	// 	require(false, stub_error);362	// 	newAdmin;363	// 	dummy = 0;364	// }365366	// /// Remove collection admin.367	// ///368	// /// @param admin Address of the removed administrator.369	// /// @dev EVM selector for this function is: 0xfafd7b42,370	// ///  or in textual repr: removeCollectionAdmin(address)371	// function removeCollectionAdmin(address admin) public {372	// 	require(false, stub_error);373	// 	admin;374	// 	dummy = 0;375	// }376377	/// Toggle accessibility of collection nesting.378	///379	/// @param enable If "true" degenerates to nesting: 'Owner' else to nesting: 'Disabled'380	/// @dev EVM selector for this function is: 0x112d4586,381	///  or in textual repr: setCollectionNesting(bool)382	function setCollectionNesting(bool enable) public {383		require(false, stub_error);384		enable;385		dummy = 0;386	}387388	/// Toggle accessibility of collection nesting.389	///390	/// @param enable If "true" degenerates to nesting: {OwnerRestricted: [1, 2, 3]} else to nesting: 'Disabled'391	/// @param collections Addresses of collections that will be available for nesting.392	/// @dev EVM selector for this function is: 0x64872396,393	///  or in textual repr: setCollectionNesting(bool,address[])394	function setCollectionNesting(bool enable, address[] memory collections) public {395		require(false, stub_error);396		enable;397		collections;398		dummy = 0;399	}400401	/// Returns nesting for a collection402	/// @dev EVM selector for this function is: 0x22d25bfe,403	///  or in textual repr: collectionNestingRestrictedCollectionIds()404	function collectionNestingRestrictedCollectionIds() public view returns (CollectionNesting memory) {405		require(false, stub_error);406		dummy;407		return CollectionNesting(false, new uint256[](0));408	}409410	/// Returns permissions for a collection411	/// @dev EVM selector for this function is: 0x5b2eaf4b,412	///  or in textual repr: collectionNestingPermissions()413	function collectionNestingPermissions() public view returns (CollectionNestingPermission[] memory) {414		require(false, stub_error);415		dummy;416		return new CollectionNestingPermission[](0);417	}418419	/// Set the collection access method.420	/// @param mode Access mode421	/// 	0 for Normal422	/// 	1 for AllowList423	/// @dev EVM selector for this function is: 0x41835d4c,424	///  or in textual repr: setCollectionAccess(uint8)425	function setCollectionAccess(uint8 mode) public {426		require(false, stub_error);427		mode;428		dummy = 0;429	}430431	/// Checks that user allowed to operate with collection.432	///433	/// @param user User address to check.434	/// @dev EVM selector for this function is: 0x91b6df49,435	///  or in textual repr: allowlistedCross((address,uint256))436	function allowlistedCross(CrossAccount memory user) public view returns (bool) {437		require(false, stub_error);438		user;439		dummy;440		return false;441	}442443	// /// Add the user to the allowed list.444	// ///445	// /// @param user Address of a trusted user.446	// /// @dev EVM selector for this function is: 0x67844fe6,447	// ///  or in textual repr: addToCollectionAllowList(address)448	// function addToCollectionAllowList(address user) public {449	// 	require(false, stub_error);450	// 	user;451	// 	dummy = 0;452	// }453454	/// Add user to allowed list.455	///456	/// @param user User cross account address.457	/// @dev EVM selector for this function is: 0xa0184a3a,458	///  or in textual repr: addToCollectionAllowListCross((address,uint256))459	function addToCollectionAllowListCross(CrossAccount memory user) public {460		require(false, stub_error);461		user;462		dummy = 0;463	}464465	// /// Remove the user from the allowed list.466	// ///467	// /// @param user Address of a removed user.468	// /// @dev EVM selector for this function is: 0x85c51acb,469	// ///  or in textual repr: removeFromCollectionAllowList(address)470	// function removeFromCollectionAllowList(address user) public {471	// 	require(false, stub_error);472	// 	user;473	// 	dummy = 0;474	// }475476	/// Remove user from allowed list.477	///478	/// @param user User cross account address.479	/// @dev EVM selector for this function is: 0x09ba452a,480	///  or in textual repr: removeFromCollectionAllowListCross((address,uint256))481	function removeFromCollectionAllowListCross(CrossAccount memory user) public {482		require(false, stub_error);483		user;484		dummy = 0;485	}486487	/// Switch permission for minting.488	///489	/// @param mode Enable if "true".490	/// @dev EVM selector for this function is: 0x00018e84,491	///  or in textual repr: setCollectionMintMode(bool)492	function setCollectionMintMode(bool mode) public {493		require(false, stub_error);494		mode;495		dummy = 0;496	}497498	// /// Check that account is the owner or admin of the collection499	// ///500	// /// @param user account to verify501	// /// @return "true" if account is the owner or admin502	// /// @dev EVM selector for this function is: 0x9811b0c7,503	// ///  or in textual repr: isOwnerOrAdmin(address)504	// function isOwnerOrAdmin(address user) public view returns (bool) {505	// 	require(false, stub_error);506	// 	user;507	// 	dummy;508	// 	return false;509	// }510511	/// Check that account is the owner or admin of the collection512	///513	/// @param user User cross account to verify514	/// @return "true" if account is the owner or admin515	/// @dev EVM selector for this function is: 0x3e75a905,516	///  or in textual repr: isOwnerOrAdminCross((address,uint256))517	function isOwnerOrAdminCross(CrossAccount memory user) public view returns (bool) {518		require(false, stub_error);519		user;520		dummy;521		return false;522	}523524	/// Returns collection type525	///526	/// @return `Fungible` or `NFT` or `ReFungible`527	/// @dev EVM selector for this function is: 0xd34b55b8,528	///  or in textual repr: uniqueCollectionType()529	function uniqueCollectionType() public view returns (string memory) {530		require(false, stub_error);531		dummy;532		return "";533	}534535	/// Get collection owner.536	///537	/// @return Tuble with sponsor address and his substrate mirror.538	/// If address is canonical then substrate mirror is zero and vice versa.539	/// @dev EVM selector for this function is: 0xdf727d3b,540	///  or in textual repr: collectionOwner()541	function collectionOwner() public view returns (CrossAccount memory) {542		require(false, stub_error);543		dummy;544		return CrossAccount(0x0000000000000000000000000000000000000000, 0);545	}546547	// /// Changes collection owner to another account548	// ///549	// /// @dev Owner can be changed only by current owner550	// /// @param newOwner new owner account551	// /// @dev EVM selector for this function is: 0x4f53e226,552	// ///  or in textual repr: changeCollectionOwner(address)553	// function changeCollectionOwner(address newOwner) public {554	// 	require(false, stub_error);555	// 	newOwner;556	// 	dummy = 0;557	// }558559	/// Get collection administrators560	///561	/// @return Vector of tuples with admins address and his substrate mirror.562	/// If address is canonical then substrate mirror is zero and vice versa.563	/// @dev EVM selector for this function is: 0x5813216b,564	///  or in textual repr: collectionAdmins()565	function collectionAdmins() public view returns (CrossAccount[] memory) {566		require(false, stub_error);567		dummy;568		return new CrossAccount[](0);569	}570571	/// Changes collection owner to another account572	///573	/// @dev Owner can be changed only by current owner574	/// @param newOwner new owner cross account575	/// @dev EVM selector for this function is: 0x6496c497,576	///  or in textual repr: changeCollectionOwnerCross((address,uint256))577	function changeCollectionOwnerCross(CrossAccount memory newOwner) public {578		require(false, stub_error);579		newOwner;580		dummy = 0;581	}582}583584/// @dev Cross account struct585struct CrossAccount {586	address eth;587	uint256 sub;588}589590/// @dev Ethereum representation of `NestingPermissions` (see [`up_data_structs::NestingPermissions`]) field.591struct CollectionNestingPermission {592	CollectionPermissionField field;593	bool value;594}595596/// @dev Ethereum representation of `NestingPermissions` (see [`up_data_structs::NestingPermissions`]) fields as an enumeration.597enum CollectionPermissionField {598	/// @dev Owner of token can nest tokens under it.599	TokenOwner,600	/// @dev Admin of token collection can nest tokens under token.601	CollectionAdmin602}603604/// @dev Nested collections.605struct CollectionNesting {606	bool token_owner;607	uint256[] ids;608}609610/// @dev [`CollectionLimits`](up_data_structs::CollectionLimits) field representation for EVM.611struct CollectionLimit {612	CollectionLimitField field;613	OptionUint value;614}615616/// @dev Ethereum representation of Optional value with uint256.617struct OptionUint {618	bool status;619	uint256 value;620}621622/// @dev [`CollectionLimits`](up_data_structs::CollectionLimits) fields representation for EVM.623enum CollectionLimitField {624	/// @dev How many tokens can a user have on one account.625	AccountTokenOwnership,626	/// @dev How many bytes of data are available for sponsorship.627	SponsoredDataSize,628	/// @dev In any case, chain default: [`SponsoringRateLimit::SponsoringDisabled`]629	SponsoredDataRateLimit,630	/// @dev How many tokens can be mined into this collection.631	TokenLimit,632	/// @dev Timeouts for transfer sponsoring.633	SponsorTransferTimeout,634	/// @dev Timeout for sponsoring an approval in passed blocks.635	SponsorApproveTimeout,636	/// @dev Whether the collection owner of the collection can send tokens (which belong to other users).637	OwnerCanTransfer,638	/// @dev Can the collection owner burn other people's tokens.639	OwnerCanDestroy,640	/// @dev Is it possible to send tokens from this collection between users.641	TransferEnabled642}643644/// @dev the ERC-165 identifier for this interface is 0x5b5e139f645contract ERC721Metadata is Dummy, ERC165 {646	// /// @notice A descriptive name for a collection of NFTs in this contract647	// /// @dev real implementation of this function lies in `ERC721UniqueExtensions`648	// /// @dev EVM selector for this function is: 0x06fdde03,649	// ///  or in textual repr: name()650	// function name() public view returns (string memory) {651	// 	require(false, stub_error);652	// 	dummy;653	// 	return "";654	// }655656	// /// @notice An abbreviated name for NFTs in this contract657	// /// @dev real implementation of this function lies in `ERC721UniqueExtensions`658	// /// @dev EVM selector for this function is: 0x95d89b41,659	// ///  or in textual repr: symbol()660	// function symbol() public view returns (string memory) {661	// 	require(false, stub_error);662	// 	dummy;663	// 	return "";664	// }665666	/// @notice A distinct Uniform Resource Identifier (URI) for a given asset.667	///668	/// @dev If the token has a `url` property and it is not empty, it is returned.669	///  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`.670	///  If the collection property `baseURI` is empty or absent, return "" (empty string)671	///  otherwise, if token property `suffix` present and is non-empty, return concatenation of baseURI and suffix672	///  otherwise, return concatenation of `baseURI` and stringified token id (decimal stringifying, without paddings).673	///674	/// @return token's const_metadata675	/// @dev EVM selector for this function is: 0xc87b56dd,676	///  or in textual repr: tokenURI(uint256)677	function tokenURI(uint256 tokenId) public view returns (string memory) {678		require(false, stub_error);679		tokenId;680		dummy;681		return "";682	}683}684685/// @title ERC721 Token that can be irreversibly burned (destroyed).686/// @dev the ERC-165 identifier for this interface is 0x42966c68687contract ERC721Burnable is Dummy, ERC165 {688	/// @notice Burns a specific ERC721 token.689	/// @dev Throws unless `msg.sender` is the current RFT owner, or an authorized690	///  operator of the current owner.691	/// @param tokenId The RFT to approve692	/// @dev EVM selector for this function is: 0x42966c68,693	///  or in textual repr: burn(uint256)694	function burn(uint256 tokenId) public {695		require(false, stub_error);696		tokenId;697		dummy = 0;698	}699}700701/// @dev inlined interface702contract ERC721UniqueMintableEvents {703	event MintingFinished();704}705706/// @title ERC721 minting logic.707/// @dev the ERC-165 identifier for this interface is 0x476ff149708contract ERC721UniqueMintable is Dummy, ERC165, ERC721UniqueMintableEvents {709	/// @dev EVM selector for this function is: 0x05d2035b,710	///  or in textual repr: mintingFinished()711	function mintingFinished() public view returns (bool) {712		require(false, stub_error);713		dummy;714		return false;715	}716717	/// @notice Function to mint a token.718	/// @param to The new owner719	/// @return uint256 The id of the newly minted token720	/// @dev EVM selector for this function is: 0x6a627842,721	///  or in textual repr: mint(address)722	function mint(address to) public returns (uint256) {723		require(false, stub_error);724		to;725		dummy = 0;726		return 0;727	}728729	// /// @notice Function to mint a token.730	// /// @dev `tokenId` should be obtained with `nextTokenId` method,731	// ///  unlike standard, you can't specify it manually732	// /// @param to The new owner733	// /// @param tokenId ID of the minted RFT734	// /// @dev EVM selector for this function is: 0x40c10f19,735	// ///  or in textual repr: mint(address,uint256)736	// function mint(address to, uint256 tokenId) public returns (bool) {737	// 	require(false, stub_error);738	// 	to;739	// 	tokenId;740	// 	dummy = 0;741	// 	return false;742	// }743744	/// @notice Function to mint token with the given tokenUri.745	/// @param to The new owner746	/// @param tokenUri Token URI that would be stored in the NFT properties747	/// @return uint256 The id of the newly minted token748	/// @dev EVM selector for this function is: 0x45c17782,749	///  or in textual repr: mintWithTokenURI(address,string)750	function mintWithTokenURI(address to, string memory tokenUri) public returns (uint256) {751		require(false, stub_error);752		to;753		tokenUri;754		dummy = 0;755		return 0;756	}757758	// /// @notice Function to mint token with the given tokenUri.759	// /// @dev `tokenId` should be obtained with `nextTokenId` method,760	// ///  unlike standard, you can't specify it manually761	// /// @param to The new owner762	// /// @param tokenId ID of the minted RFT763	// /// @param tokenUri Token URI that would be stored in the RFT properties764	// /// @dev EVM selector for this function is: 0x50bb4e7f,765	// ///  or in textual repr: mintWithTokenURI(address,uint256,string)766	// function mintWithTokenURI(address to, uint256 tokenId, string memory tokenUri) public returns (bool) {767	// 	require(false, stub_error);768	// 	to;769	// 	tokenId;770	// 	tokenUri;771	// 	dummy = 0;772	// 	return false;773	// }774775	/// @dev Not implemented776	/// @dev EVM selector for this function is: 0x7d64bcb4,777	///  or in textual repr: finishMinting()778	function finishMinting() public returns (bool) {779		require(false, stub_error);780		dummy = 0;781		return false;782	}783}784785/// @title Unique extensions for ERC721.786/// @dev the ERC-165 identifier for this interface is 0xabf30dc2787contract ERC721UniqueExtensions is Dummy, ERC165 {788	/// @notice A descriptive name for a collection of NFTs in this contract789	/// @dev EVM selector for this function is: 0x06fdde03,790	///  or in textual repr: name()791	function name() public view returns (string memory) {792		require(false, stub_error);793		dummy;794		return "";795	}796797	/// @notice An abbreviated name for NFTs in this contract798	/// @dev EVM selector for this function is: 0x95d89b41,799	///  or in textual repr: symbol()800	function symbol() public view returns (string memory) {801		require(false, stub_error);802		dummy;803		return "";804	}805806	/// @notice A description for the collection.807	/// @dev EVM selector for this function is: 0x7284e416,808	///  or in textual repr: description()809	function description() public view returns (string memory) {810		require(false, stub_error);811		dummy;812		return "";813	}814815	/// Returns the owner (in cross format) of the token.816	///817	/// @param tokenId Id for the token.818	/// @dev EVM selector for this function is: 0x2b29dace,819	///  or in textual repr: crossOwnerOf(uint256)820	function crossOwnerOf(uint256 tokenId) public view returns (CrossAccount memory) {821		require(false, stub_error);822		tokenId;823		dummy;824		return CrossAccount(0x0000000000000000000000000000000000000000, 0);825	}826827	/// Returns the token properties.828	///829	/// @param tokenId Id for the token.830	/// @param keys Properties keys. Empty keys for all propertyes.831	/// @return Vector of properties key/value pairs.832	/// @dev EVM selector for this function is: 0xe07ede7e,833	///  or in textual repr: properties(uint256,string[])834	function properties(uint256 tokenId, string[] memory keys) public view returns (Property[] memory) {835		require(false, stub_error);836		tokenId;837		keys;838		dummy;839		return new Property[](0);840	}841842	/// @notice Transfer ownership of an RFT843	/// @dev Throws unless `msg.sender` is the current owner. Throws if `to`844	///  is the zero address. Throws if `tokenId` is not a valid RFT.845	///  Throws if RFT pieces have multiple owners.846	/// @param to The new owner847	/// @param tokenId The RFT to transfer848	/// @dev EVM selector for this function is: 0xa9059cbb,849	///  or in textual repr: transfer(address,uint256)850	function transfer(address to, uint256 tokenId) public {851		require(false, stub_error);852		to;853		tokenId;854		dummy = 0;855	}856857	/// @notice Transfer ownership of an RFT858	/// @dev Throws unless `msg.sender` is the current owner. Throws if `to`859	///  is the zero address. Throws if `tokenId` is not a valid RFT.860	///  Throws if RFT pieces have multiple owners.861	/// @param to The new owner862	/// @param tokenId The RFT to transfer863	/// @dev EVM selector for this function is: 0x2ada85ff,864	///  or in textual repr: transferCross((address,uint256),uint256)865	function transferCross(CrossAccount memory to, uint256 tokenId) public {866		require(false, stub_error);867		to;868		tokenId;869		dummy = 0;870	}871872	/// @notice Transfer ownership of an RFT873	/// @dev Throws unless `msg.sender` is the current owner. Throws if `to`874	///  is the zero address. Throws if `tokenId` is not a valid RFT.875	///  Throws if RFT pieces have multiple owners.876	/// @param to The new owner877	/// @param tokenId The RFT to transfer878	/// @dev EVM selector for this function is: 0xd5cf430b,879	///  or in textual repr: transferFromCross((address,uint256),(address,uint256),uint256)880	function transferFromCross(881		CrossAccount memory from,882		CrossAccount memory to,883		uint256 tokenId884	) public {885		require(false, stub_error);886		from;887		to;888		tokenId;889		dummy = 0;890	}891892	// /// @notice Burns a specific ERC721 token.893	// /// @dev Throws unless `msg.sender` is the current owner or an authorized894	// ///  operator for this RFT. Throws if `from` is not the current owner. Throws895	// ///  if `to` is the zero address. Throws if `tokenId` is not a valid RFT.896	// ///  Throws if RFT pieces have multiple owners.897	// /// @param from The current owner of the RFT898	// /// @param tokenId The RFT to transfer899	// /// @dev EVM selector for this function is: 0x79cc6790,900	// ///  or in textual repr: burnFrom(address,uint256)901	// function burnFrom(address from, uint256 tokenId) public {902	// 	require(false, stub_error);903	// 	from;904	// 	tokenId;905	// 	dummy = 0;906	// }907908	/// @notice Burns a specific ERC721 token.909	/// @dev Throws unless `msg.sender` is the current owner or an authorized910	///  operator for this RFT. Throws if `from` is not the current owner. Throws911	///  if `to` is the zero address. Throws if `tokenId` is not a valid RFT.912	///  Throws if RFT pieces have multiple owners.913	/// @param from The current owner of the RFT914	/// @param tokenId The RFT to transfer915	/// @dev EVM selector for this function is: 0xbb2f5a58,916	///  or in textual repr: burnFromCross((address,uint256),uint256)917	function burnFromCross(CrossAccount memory from, uint256 tokenId) public {918		require(false, stub_error);919		from;920		tokenId;921		dummy = 0;922	}923924	/// @notice Returns next free RFT ID.925	/// @dev EVM selector for this function is: 0x75794a3c,926	///  or in textual repr: nextTokenId()927	function nextTokenId() public view returns (uint256) {928		require(false, stub_error);929		dummy;930		return 0;931	}932933	// /// @notice Function to mint multiple tokens.934	// /// @dev `tokenIds` should be an array of consecutive numbers and first number935	// ///  should be obtained with `nextTokenId` method936	// /// @param to The new owner937	// /// @param tokenIds IDs of the minted RFTs938	// /// @dev EVM selector for this function is: 0x44a9945e,939	// ///  or in textual repr: mintBulk(address,uint256[])940	// function mintBulk(address to, uint256[] memory tokenIds) public returns (bool) {941	// 	require(false, stub_error);942	// 	to;943	// 	tokenIds;944	// 	dummy = 0;945	// 	return false;946	// }947948	// /// @notice Function to mint multiple tokens with the given tokenUris.949	// /// @dev `tokenIds` is array of pairs of token ID and token URI. Token IDs should be consecutive950	// ///  numbers and first number should be obtained with `nextTokenId` method951	// /// @param to The new owner952	// /// @param tokens array of pairs of token ID and token URI for minted tokens953	// /// @dev EVM selector for this function is: 0x36543006,954	// ///  or in textual repr: mintBulkWithTokenURI(address,(uint256,string)[])955	// function mintBulkWithTokenURI(address to, Tuple14[] memory tokens) public returns (bool) {956	// 	require(false, stub_error);957	// 	to;958	// 	tokens;959	// 	dummy = 0;960	// 	return false;961	// }962963	/// @notice Function to mint a token.964	/// @param to The new owner crossAccountId965	/// @param properties Properties of minted token966	/// @return uint256 The id of the newly minted token967	/// @dev EVM selector for this function is: 0xb904db03,968	///  or in textual repr: mintCross((address,uint256),(string,bytes)[])969	function mintCross(CrossAccount memory to, Property[] memory properties) public returns (uint256) {970		require(false, stub_error);971		to;972		properties;973		dummy = 0;974		return 0;975	}976977	/// Returns EVM address for refungible token978	///979	/// @param token ID of the token980	/// @dev EVM selector for this function is: 0xab76fac6,981	///  or in textual repr: tokenContractAddress(uint256)982	function tokenContractAddress(uint256 token) public view returns (address) {983		require(false, stub_error);984		token;985		dummy;986		return 0x0000000000000000000000000000000000000000;987	}988}989990/// @dev anonymous struct991struct Tuple14 {992	uint256 field_0;993	string field_1;994}995996/// @title ERC-721 Non-Fungible Token Standard, optional enumeration extension997/// @dev See https://eips.ethereum.org/EIPS/eip-721998/// @dev the ERC-165 identifier for this interface is 0x780e9d63999contract ERC721Enumerable is Dummy, ERC165 {1000	/// @notice Enumerate valid RFTs1001	/// @param index A counter less than `totalSupply()`1002	/// @return The token identifier for the `index`th NFT,1003	///  (sort order not specified)1004	/// @dev EVM selector for this function is: 0x4f6ccce7,1005	///  or in textual repr: tokenByIndex(uint256)1006	function tokenByIndex(uint256 index) public view returns (uint256) {1007		require(false, stub_error);1008		index;1009		dummy;1010		return 0;1011	}10121013	/// Not implemented1014	/// @dev EVM selector for this function is: 0x2f745c59,1015	///  or in textual repr: tokenOfOwnerByIndex(address,uint256)1016	function tokenOfOwnerByIndex(address owner, uint256 index) public view returns (uint256) {1017		require(false, stub_error);1018		owner;1019		index;1020		dummy;1021		return 0;1022	}10231024	/// @notice Count RFTs tracked by this contract1025	/// @return A count of valid RFTs tracked by this contract, where each one of1026	///  them has an assigned and queryable owner not equal to the zero address1027	/// @dev EVM selector for this function is: 0x18160ddd,1028	///  or in textual repr: totalSupply()1029	function totalSupply() public view returns (uint256) {1030		require(false, stub_error);1031		dummy;1032		return 0;1033	}1034}10351036/// @dev inlined interface1037contract ERC721Events {1038	event Transfer(address indexed from, address indexed to, uint256 indexed tokenId);1039	event Approval(address indexed owner, address indexed approved, uint256 indexed tokenId);1040	event ApprovalForAll(address indexed owner, address indexed operator, bool approved);1041}10421043/// @title ERC-721 Non-Fungible Token Standard1044/// @dev See https://github.com/ethereum/EIPs/blob/master/EIPS/eip-721.md1045/// @dev the ERC-165 identifier for this interface is 0x4016cd871046contract ERC721 is Dummy, ERC165, ERC721Events {1047	/// @notice Count all RFTs assigned to an owner1048	/// @dev RFTs assigned to the zero address are considered invalid, and this1049	///  function throws for queries about the zero address.1050	/// @param owner An address for whom to query the balance1051	/// @return The number of RFTs owned by `owner`, possibly zero1052	/// @dev EVM selector for this function is: 0x70a08231,1053	///  or in textual repr: balanceOf(address)1054	function balanceOf(address owner) public view returns (uint256) {1055		require(false, stub_error);1056		owner;1057		dummy;1058		return 0;1059	}10601061	/// @notice Find the owner of an RFT1062	/// @dev RFTs assigned to zero address are considered invalid, and queries1063	///  about them do throw.1064	///  Returns special 0xffffffffffffffffffffffffffffffffffffffff address for1065	///  the tokens that are partially owned.1066	/// @param tokenId The identifier for an RFT1067	/// @return The address of the owner of the RFT1068	/// @dev EVM selector for this function is: 0x6352211e,1069	///  or in textual repr: ownerOf(uint256)1070	function ownerOf(uint256 tokenId) public view returns (address) {1071		require(false, stub_error);1072		tokenId;1073		dummy;1074		return 0x0000000000000000000000000000000000000000;1075	}10761077	/// @dev Not implemented1078	/// @dev EVM selector for this function is: 0x60a11672,1079	///  or in textual repr: safeTransferFromWithData(address,address,uint256,bytes)1080	function safeTransferFromWithData(1081		address from,1082		address to,1083		uint256 tokenId,1084		bytes memory data1085	) public {1086		require(false, stub_error);1087		from;1088		to;1089		tokenId;1090		data;1091		dummy = 0;1092	}10931094	/// @dev Not implemented1095	/// @dev EVM selector for this function is: 0x42842e0e,1096	///  or in textual repr: safeTransferFrom(address,address,uint256)1097	function safeTransferFrom(1098		address from,1099		address to,1100		uint256 tokenId1101	) public {1102		require(false, stub_error);1103		from;1104		to;1105		tokenId;1106		dummy = 0;1107	}11081109	/// @notice Transfer ownership of an RFT -- THE CALLER IS RESPONSIBLE1110	///  TO CONFIRM THAT `to` IS CAPABLE OF RECEIVING NFTS OR ELSE1111	///  THEY MAY BE PERMANENTLY LOST1112	/// @dev Throws unless `msg.sender` is the current owner or an authorized1113	///  operator for this RFT. Throws if `from` is not the current owner. Throws1114	///  if `to` is the zero address. Throws if `tokenId` is not a valid RFT.1115	///  Throws if RFT pieces have multiple owners.1116	/// @param from The current owner of the NFT1117	/// @param to The new owner1118	/// @param tokenId The NFT to transfer1119	/// @dev EVM selector for this function is: 0x23b872dd,1120	///  or in textual repr: transferFrom(address,address,uint256)1121	function transferFrom(1122		address from,1123		address to,1124		uint256 tokenId1125	) public {1126		require(false, stub_error);1127		from;1128		to;1129		tokenId;1130		dummy = 0;1131	}11321133	/// @dev Not implemented1134	/// @dev EVM selector for this function is: 0x095ea7b3,1135	///  or in textual repr: approve(address,uint256)1136	function approve(address approved, uint256 tokenId) public {1137		require(false, stub_error);1138		approved;1139		tokenId;1140		dummy = 0;1141	}11421143	/// @notice Sets or unsets the approval of a given operator.1144	///  The `operator` is allowed to transfer all token pieces of the `caller` on their behalf.1145	/// @param operator Operator1146	/// @param approved Should operator status be granted or revoked?1147	/// @dev EVM selector for this function is: 0xa22cb465,1148	///  or in textual repr: setApprovalForAll(address,bool)1149	function setApprovalForAll(address operator, bool approved) public {1150		require(false, stub_error);1151		operator;1152		approved;1153		dummy = 0;1154	}11551156	/// @dev Not implemented1157	/// @dev EVM selector for this function is: 0x081812fc,1158	///  or in textual repr: getApproved(uint256)1159	function getApproved(uint256 tokenId) public view returns (address) {1160		require(false, stub_error);1161		tokenId;1162		dummy;1163		return 0x0000000000000000000000000000000000000000;1164	}11651166	/// @notice Tells whether the given `owner` approves the `operator`.1167	/// @dev EVM selector for this function is: 0xe985e9c5,1168	///  or in textual repr: isApprovedForAll(address,address)1169	function isApprovedForAll(address owner, address operator) public view returns (bool) {1170		require(false, stub_error);1171		owner;1172		operator;1173		dummy;1174		return false;1175	}11761177	/// @notice Returns collection helper contract address1178	/// @dev EVM selector for this function is: 0x1896cce6,1179	///  or in textual repr: collectionHelperAddress()1180	function collectionHelperAddress() public view returns (address) {1181		require(false, stub_error);1182		dummy;1183		return 0x0000000000000000000000000000000000000000;1184	}1185}11861187contract UniqueRefungible is1188	Dummy,1189	ERC165,1190	ERC721,1191	ERC721Enumerable,1192	ERC721UniqueExtensions,1193	ERC721UniqueMintable,1194	ERC721Burnable,1195	ERC721Metadata,1196	Collection,1197	TokenProperties1198{}