Module `0x1::VASPDomain`

Module managing VASP domains.

Resource VASPDomains
Struct VASPDomain
Resource VASPDomainManager
Struct VASPDomainEvent
Constants
Function create_vasp_domain
Function publish_vasp_domains
Function has_vasp_domains
Function publish_vasp_domain_manager
Function add_vasp_domain
Function remove_vasp_domain
Function has_vasp_domain
Function tc_domain_manager_exists

<pre><code>use <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors">0x1::Errors</a>; use <a href="../../../../../../move-stdlib/docs/Event.md#0x1_Event">0x1::Event</a>; use <a href="Roles.md#0x1_Roles">0x1::Roles</a>; use <a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer">0x1::Signer</a>; use <a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector">0x1::Vector</a>; </code></pre>

Resource `VASPDomains`

This resource holds an entity's domain names.

<pre><code>struct <a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a> has key </code></pre> <details> <summary>Fields</summary> <dl> <dt> <code>domains: vector<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomain">VASPDomain::VASPDomain</a>></code> </dt> <dd> The list of domain names owned by this parent vasp account </dd> </dl> </details> <details> <summary>Specification</summary>

All <code><a href="VASPDomain.md#0x1_VASPDomain">VASPDomain</a></code>s stored in the <code><a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a></code> resource are no more than 63 characters long.

<pre><code>invariant forall i in 0..len(domains): len(domains[i].domain) <= <a href="VASPDomain.md#0x1_VASPDomain_DOMAIN_LENGTH">DOMAIN_LENGTH</a>; </code></pre>

The list of <code><a href="VASPDomain.md#0x1_VASPDomain">VASPDomain</a></code>s are a set

<pre><code>invariant forall i in 0..len(domains): forall j in i + 1..len(domains): domains[i] != domains[j]; </code></pre> </details>

Struct `VASPDomain`

Struct to store the limit on-chain

<pre><code>struct <a href="VASPDomain.md#0x1_VASPDomain">VASPDomain</a> has copy, drop, store </code></pre> <details> <summary>Fields</summary> <dl> <dt> <code>domain: vector<u8></code> </dt> <dd> </dd> </dl> </details> <details> <summary>Specification</summary>

All <code><a href="VASPDomain.md#0x1_VASPDomain">VASPDomain</a></code>s must be no more than 63 characters long.

<pre><code>invariant len(domain) <= <a href="VASPDomain.md#0x1_VASPDomain_DOMAIN_LENGTH">DOMAIN_LENGTH</a>; </code></pre> </details>

Resource `VASPDomainManager`

<pre><code>struct <a href="VASPDomain.md#0x1_VASPDomain_VASPDomainManager">VASPDomainManager</a> has key </code></pre> <details> <summary>Fields</summary> <dl> <dt> <code>vasp_domain_events: <a href="../../../../../../move-stdlib/docs/Event.md#0x1_Event_EventHandle">Event::EventHandle</a><<a href="VASPDomain.md#0x1_VASPDomain_VASPDomainEvent">VASPDomain::VASPDomainEvent</a>></code> </dt> <dd> Event handle for <code>domains</code> added or removed events. Emitted every time a domain is added or removed to <code>domains</code> </dd> </dl> </details>

Struct `VASPDomainEvent`

<pre><code>struct <a href="VASPDomain.md#0x1_VASPDomain_VASPDomainEvent">VASPDomainEvent</a> has drop, store </code></pre> <details> <summary>Fields</summary> <dl> <dt> <code>removed: bool</code> </dt> <dd> Whether a domain was added or removed </dd> <dt> <code>domain: <a href="VASPDomain.md#0x1_VASPDomain_VASPDomain">VASPDomain::VASPDomain</a></code> </dt> <dd> VASP Domain string of the account </dd> <dt> <code>address: address</code> </dt> <dd> On-chain account address </dd> </dl> </details>

Constants

<pre><code>const <a href="VASPDomain.md#0x1_VASPDomain_DOMAIN_LENGTH">DOMAIN_LENGTH</a>: u64 = 63; </code></pre>

Invalid domain for VASPDomain

<pre><code>const <a href="VASPDomain.md#0x1_VASPDomain_EINVALID_VASP_DOMAIN">EINVALID_VASP_DOMAIN</a>: u64 = 5; </code></pre>

VASPDomains resource is not or already published.

<pre><code>const <a href="VASPDomain.md#0x1_VASPDomain_EVASP_DOMAINS">EVASP_DOMAINS</a>: u64 = 0; </code></pre>

VASPDomains resource was not published for a VASP account

<pre><code>const <a href="VASPDomain.md#0x1_VASPDomain_EVASP_DOMAINS_NOT_PUBLISHED">EVASP_DOMAINS_NOT_PUBLISHED</a>: u64 = 4; </code></pre>

VASP domain already exists

<pre><code>const <a href="VASPDomain.md#0x1_VASPDomain_EVASP_DOMAIN_ALREADY_EXISTS">EVASP_DOMAIN_ALREADY_EXISTS</a>: u64 = 3; </code></pre>

VASPDomainManager resource is not or already published.

<pre><code>const <a href="VASPDomain.md#0x1_VASPDomain_EVASP_DOMAIN_MANAGER">EVASP_DOMAIN_MANAGER</a>: u64 = 1; </code></pre>

VASP domain was not found

<pre><code>const <a href="VASPDomain.md#0x1_VASPDomain_EVASP_DOMAIN_NOT_FOUND">EVASP_DOMAIN_NOT_FOUND</a>: u64 = 2; </code></pre>

Function `create_vasp_domain`

<pre><code>fun <a href="VASPDomain.md#0x1_VASPDomain_create_vasp_domain">create_vasp_domain</a>(domain: vector<u8>): <a href="VASPDomain.md#0x1_VASPDomain_VASPDomain">VASPDomain::VASPDomain</a> </code></pre> <details> <summary>Implementation</summary> <pre><code>fun <a href="VASPDomain.md#0x1_VASPDomain_create_vasp_domain">create_vasp_domain</a>(domain: vector<u8>): <a href="VASPDomain.md#0x1_VASPDomain">VASPDomain</a> { assert(<a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector_length">Vector::length</a>(&domain) <= <a href="VASPDomain.md#0x1_VASPDomain_DOMAIN_LENGTH">DOMAIN_LENGTH</a>, <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_invalid_argument">Errors::invalid_argument</a>(<a href="VASPDomain.md#0x1_VASPDomain_EINVALID_VASP_DOMAIN">EINVALID_VASP_DOMAIN</a>)); <a href="VASPDomain.md#0x1_VASPDomain">VASPDomain</a>{ domain } } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>include <a href="VASPDomain.md#0x1_VASPDomain_CreateVASPDomainAbortsIf">CreateVASPDomainAbortsIf</a>; ensures result == <a href="VASPDomain.md#0x1_VASPDomain">VASPDomain</a> { domain }; </code></pre>

<pre><code>schema <a href="VASPDomain.md#0x1_VASPDomain_CreateVASPDomainAbortsIf">CreateVASPDomainAbortsIf</a> { domain: vector<u8>; aborts_if <a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector_length">Vector::length</a>(domain) > <a href="VASPDomain.md#0x1_VASPDomain_DOMAIN_LENGTH">DOMAIN_LENGTH</a> with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_INVALID_ARGUMENT">Errors::INVALID_ARGUMENT</a>; } </code></pre> </details>

Function `publish_vasp_domains`

Publish a <code><a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a></code> resource under <code>created</code> with an empty <code>domains</code>. Before VASP Domains, the Treasury Compliance account must send a transaction that invokes <code>add_vasp_domain</code> to set the <code>domains</code> field with a valid domain

<pre><code>public(friend) fun <a href="VASPDomain.md#0x1_VASPDomain_publish_vasp_domains">publish_vasp_domains</a>(vasp_account: &signer) </code></pre> <details> <summary>Implementation</summary> <pre><code>public(friend) fun <a href="VASPDomain.md#0x1_VASPDomain_publish_vasp_domains">publish_vasp_domains</a>( vasp_account: &signer, ) { <a href="Roles.md#0x1_Roles_assert_parent_vasp_role">Roles::assert_parent_vasp_role</a>(vasp_account); assert( !exists<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(<a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer_address_of">Signer::address_of</a>(vasp_account)), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_already_published">Errors::already_published</a>(<a href="VASPDomain.md#0x1_VASPDomain_EVASP_DOMAINS">EVASP_DOMAINS</a>) ); move_to(vasp_account, <a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a> { domains: <a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector_empty">Vector::empty</a>(), }) } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>let vasp_addr = <a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer_spec_address_of">Signer::spec_address_of</a>(vasp_account); include <a href="Roles.md#0x1_Roles_AbortsIfNotParentVasp">Roles::AbortsIfNotParentVasp</a>{account: vasp_account}; include <a href="VASPDomain.md#0x1_VASPDomain_PublishVASPDomainsAbortsIf">PublishVASPDomainsAbortsIf</a>; include <a href="VASPDomain.md#0x1_VASPDomain_PublishVASPDomainsEnsures">PublishVASPDomainsEnsures</a>; </code></pre>

<pre><code>schema <a href="VASPDomain.md#0x1_VASPDomain_PublishVASPDomainsAbortsIf">PublishVASPDomainsAbortsIf</a> { vasp_addr: address; aborts_if <a href="VASPDomain.md#0x1_VASPDomain_has_vasp_domains">has_vasp_domains</a>(vasp_addr) with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_ALREADY_PUBLISHED">Errors::ALREADY_PUBLISHED</a>; } </code></pre>

<pre><code>schema <a href="VASPDomain.md#0x1_VASPDomain_PublishVASPDomainsEnsures">PublishVASPDomainsEnsures</a> { vasp_addr: address; ensures exists<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(vasp_addr); ensures <a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector_is_empty">Vector::is_empty</a>(global<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(vasp_addr).domains); } </code></pre> </details>

Function `has_vasp_domains`

<pre><code>public fun <a href="VASPDomain.md#0x1_VASPDomain_has_vasp_domains">has_vasp_domains</a>(addr: address): bool </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="VASPDomain.md#0x1_VASPDomain_has_vasp_domains">has_vasp_domains</a>(addr: address): bool { exists<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(addr) } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>aborts_if false; ensures result == exists<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(addr); </code></pre> </details>

Function `publish_vasp_domain_manager`

Publish a <code><a href="VASPDomain.md#0x1_VASPDomain_VASPDomainManager">VASPDomainManager</a></code> resource under <code>tc_account</code> with an empty <code>vasp_domain_events</code>. When Treasury Compliance account sends a transaction that invokes either <code>add_vasp_domain</code> or <code>remove_vasp_domain</code>, a <code><a href="VASPDomain.md#0x1_VASPDomain_VASPDomainEvent">VASPDomainEvent</a></code> is emitted and added to <code>vasp_domain_events</code>.

<pre><code>public(friend) fun <a href="VASPDomain.md#0x1_VASPDomain_publish_vasp_domain_manager">publish_vasp_domain_manager</a>(tc_account: &signer) </code></pre> <details> <summary>Implementation</summary> <pre><code>public(friend) fun <a href="VASPDomain.md#0x1_VASPDomain_publish_vasp_domain_manager">publish_vasp_domain_manager</a>( tc_account : &signer, ) { <a href="Roles.md#0x1_Roles_assert_treasury_compliance">Roles::assert_treasury_compliance</a>(tc_account); assert( !exists<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomainManager">VASPDomainManager</a>>(<a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer_address_of">Signer::address_of</a>(tc_account)), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_already_published">Errors::already_published</a>(<a href="VASPDomain.md#0x1_VASPDomain_EVASP_DOMAIN_MANAGER">EVASP_DOMAIN_MANAGER</a>) ); move_to( tc_account, <a href="VASPDomain.md#0x1_VASPDomain_VASPDomainManager">VASPDomainManager</a> { vasp_domain_events: <a href="../../../../../../move-stdlib/docs/Event.md#0x1_Event_new_event_handle">Event::new_event_handle</a><<a href="VASPDomain.md#0x1_VASPDomain_VASPDomainEvent">VASPDomainEvent</a>>(tc_account), } ); } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>include <a href="Roles.md#0x1_Roles_AbortsIfNotTreasuryCompliance">Roles::AbortsIfNotTreasuryCompliance</a>{account: tc_account}; aborts_if <a href="VASPDomain.md#0x1_VASPDomain_tc_domain_manager_exists">tc_domain_manager_exists</a>() with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_ALREADY_PUBLISHED">Errors::ALREADY_PUBLISHED</a>; ensures exists<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomainManager">VASPDomainManager</a>>(<a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer_spec_address_of">Signer::spec_address_of</a>(tc_account)); modifies global<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomainManager">VASPDomainManager</a>>(<a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer_spec_address_of">Signer::spec_address_of</a>(tc_account)); </code></pre> </details>

Function `add_vasp_domain`

Add a VASPDomain to a parent VASP's VASPDomains resource. When updating VASPDomains, a simple duplicate domain check is done. However, since domains are case insensitive, it is possible by error that two same domains in different lowercase and uppercase format gets added.

<pre><code>public fun <a href="VASPDomain.md#0x1_VASPDomain_add_vasp_domain">add_vasp_domain</a>(tc_account: &signer, address: address, domain: vector<u8>) </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="VASPDomain.md#0x1_VASPDomain_add_vasp_domain">add_vasp_domain</a>( tc_account: &signer, address: address, domain: vector<u8>, ) acquires <a href="VASPDomain.md#0x1_VASPDomain_VASPDomainManager">VASPDomainManager</a>, <a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a> { <a href="Roles.md#0x1_Roles_assert_treasury_compliance">Roles::assert_treasury_compliance</a>(tc_account); assert(<a href="VASPDomain.md#0x1_VASPDomain_tc_domain_manager_exists">tc_domain_manager_exists</a>(), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_not_published">Errors::not_published</a>(<a href="VASPDomain.md#0x1_VASPDomain_EVASP_DOMAIN_MANAGER">EVASP_DOMAIN_MANAGER</a>)); assert( exists<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(address), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_not_published">Errors::not_published</a>(<a href="VASPDomain.md#0x1_VASPDomain_EVASP_DOMAINS_NOT_PUBLISHED">EVASP_DOMAINS_NOT_PUBLISHED</a>) ); let account_domains = borrow_global_mut<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(address); let vasp_domain = <a href="VASPDomain.md#0x1_VASPDomain_create_vasp_domain">create_vasp_domain</a>(domain); assert( !<a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector_contains">Vector::contains</a>(&account_domains.domains, &vasp_domain), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_invalid_argument">Errors::invalid_argument</a>(<a href="VASPDomain.md#0x1_VASPDomain_EVASP_DOMAIN_ALREADY_EXISTS">EVASP_DOMAIN_ALREADY_EXISTS</a>) ); <a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector_push_back">Vector::push_back</a>(&mut account_domains.domains, copy vasp_domain); <a href="../../../../../../move-stdlib/docs/Event.md#0x1_Event_emit_event">Event::emit_event</a>( &mut borrow_global_mut<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomainManager">VASPDomainManager</a>>(@TreasuryCompliance).vasp_domain_events, <a href="VASPDomain.md#0x1_VASPDomain_VASPDomainEvent">VASPDomainEvent</a> { removed: false, domain: vasp_domain, address, }, ); } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>include <a href="VASPDomain.md#0x1_VASPDomain_AddVASPDomainAbortsIf">AddVASPDomainAbortsIf</a>; include <a href="VASPDomain.md#0x1_VASPDomain_AddVASPDomainEnsures">AddVASPDomainEnsures</a>; include <a href="VASPDomain.md#0x1_VASPDomain_AddVASPDomainEmits">AddVASPDomainEmits</a>; </code></pre>

<pre><code>schema <a href="VASPDomain.md#0x1_VASPDomain_AddVASPDomainAbortsIf">AddVASPDomainAbortsIf</a> { tc_account: signer; address: address; domain: vector<u8>; let domains = global<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(address).domains; include <a href="Roles.md#0x1_Roles_AbortsIfNotTreasuryCompliance">Roles::AbortsIfNotTreasuryCompliance</a>{account: tc_account}; include <a href="VASPDomain.md#0x1_VASPDomain_CreateVASPDomainAbortsIf">CreateVASPDomainAbortsIf</a>; aborts_if !exists<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(address) with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_NOT_PUBLISHED">Errors::NOT_PUBLISHED</a>; aborts_if !<a href="VASPDomain.md#0x1_VASPDomain_tc_domain_manager_exists">tc_domain_manager_exists</a>() with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_NOT_PUBLISHED">Errors::NOT_PUBLISHED</a>; aborts_if contains(domains, <a href="VASPDomain.md#0x1_VASPDomain">VASPDomain</a> { domain }) with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_INVALID_ARGUMENT">Errors::INVALID_ARGUMENT</a>; } </code></pre>

<pre><code>schema <a href="VASPDomain.md#0x1_VASPDomain_AddVASPDomainEnsures">AddVASPDomainEnsures</a> { address: address; domain: vector<u8>; let post domains = global<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(address).domains; ensures contains(domains, <a href="VASPDomain.md#0x1_VASPDomain">VASPDomain</a> { domain }); } </code></pre>

<pre><code>schema <a href="VASPDomain.md#0x1_VASPDomain_AddVASPDomainEmits">AddVASPDomainEmits</a> { address: address; domain: vector<u8>; let handle = global<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomainManager">VASPDomainManager</a>>(@TreasuryCompliance).vasp_domain_events; let msg = <a href="VASPDomain.md#0x1_VASPDomain_VASPDomainEvent">VASPDomainEvent</a> { removed: false, domain: <a href="VASPDomain.md#0x1_VASPDomain">VASPDomain</a> { domain }, address, }; emits msg to handle; } </code></pre> </details>

Function `remove_vasp_domain`

Remove a VASPDomain from a parent VASP's VASPDomains resource.

<pre><code>public fun <a href="VASPDomain.md#0x1_VASPDomain_remove_vasp_domain">remove_vasp_domain</a>(tc_account: &signer, address: address, domain: vector<u8>) </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="VASPDomain.md#0x1_VASPDomain_remove_vasp_domain">remove_vasp_domain</a>( tc_account: &signer, address: address, domain: vector<u8>, ) acquires <a href="VASPDomain.md#0x1_VASPDomain_VASPDomainManager">VASPDomainManager</a>, <a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a> { <a href="Roles.md#0x1_Roles_assert_treasury_compliance">Roles::assert_treasury_compliance</a>(tc_account); assert(<a href="VASPDomain.md#0x1_VASPDomain_tc_domain_manager_exists">tc_domain_manager_exists</a>(), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_not_published">Errors::not_published</a>(<a href="VASPDomain.md#0x1_VASPDomain_EVASP_DOMAIN_MANAGER">EVASP_DOMAIN_MANAGER</a>)); assert( exists<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(address), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_not_published">Errors::not_published</a>(<a href="VASPDomain.md#0x1_VASPDomain_EVASP_DOMAINS_NOT_PUBLISHED">EVASP_DOMAINS_NOT_PUBLISHED</a>) ); let account_domains = borrow_global_mut<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(address); let vasp_domain = <a href="VASPDomain.md#0x1_VASPDomain_create_vasp_domain">create_vasp_domain</a>(domain); let (has, index) = <a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector_index_of">Vector::index_of</a>(&account_domains.domains, &vasp_domain); if (has) { <a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector_remove">Vector::remove</a>(&mut account_domains.domains, index); } else { abort <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_invalid_argument">Errors::invalid_argument</a>(<a href="VASPDomain.md#0x1_VASPDomain_EVASP_DOMAIN_NOT_FOUND">EVASP_DOMAIN_NOT_FOUND</a>) }; <a href="../../../../../../move-stdlib/docs/Event.md#0x1_Event_emit_event">Event::emit_event</a>( &mut borrow_global_mut<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomainManager">VASPDomainManager</a>>(@TreasuryCompliance).vasp_domain_events, <a href="VASPDomain.md#0x1_VASPDomain_VASPDomainEvent">VASPDomainEvent</a> { removed: true, domain: vasp_domain, address: address, }, ); } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>include <a href="VASPDomain.md#0x1_VASPDomain_RemoveVASPDomainAbortsIf">RemoveVASPDomainAbortsIf</a>; include <a href="VASPDomain.md#0x1_VASPDomain_RemoveVASPDomainEnsures">RemoveVASPDomainEnsures</a>; include <a href="VASPDomain.md#0x1_VASPDomain_RemoveVASPDomainEmits">RemoveVASPDomainEmits</a>; </code></pre>

<pre><code>schema <a href="VASPDomain.md#0x1_VASPDomain_RemoveVASPDomainAbortsIf">RemoveVASPDomainAbortsIf</a> { tc_account: signer; address: address; domain: vector<u8>; let domains = global<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(address).domains; include <a href="Roles.md#0x1_Roles_AbortsIfNotTreasuryCompliance">Roles::AbortsIfNotTreasuryCompliance</a>{account: tc_account}; include <a href="VASPDomain.md#0x1_VASPDomain_CreateVASPDomainAbortsIf">CreateVASPDomainAbortsIf</a>; aborts_if !exists<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(address) with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_NOT_PUBLISHED">Errors::NOT_PUBLISHED</a>; aborts_if !<a href="VASPDomain.md#0x1_VASPDomain_tc_domain_manager_exists">tc_domain_manager_exists</a>() with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_NOT_PUBLISHED">Errors::NOT_PUBLISHED</a>; aborts_if !contains(domains, <a href="VASPDomain.md#0x1_VASPDomain">VASPDomain</a> { domain }) with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_INVALID_ARGUMENT">Errors::INVALID_ARGUMENT</a>; } </code></pre>

<pre><code>schema <a href="VASPDomain.md#0x1_VASPDomain_RemoveVASPDomainEnsures">RemoveVASPDomainEnsures</a> { address: address; domain: vector<u8>; let post domains = global<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(address).domains; ensures !contains(domains, <a href="VASPDomain.md#0x1_VASPDomain">VASPDomain</a> { domain }); } </code></pre>

<pre><code>schema <a href="VASPDomain.md#0x1_VASPDomain_RemoveVASPDomainEmits">RemoveVASPDomainEmits</a> { tc_account: signer; address: address; domain: vector<u8>; let handle = global<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomainManager">VASPDomainManager</a>>(@TreasuryCompliance).vasp_domain_events; let msg = <a href="VASPDomain.md#0x1_VASPDomain_VASPDomainEvent">VASPDomainEvent</a> { removed: true, domain: <a href="VASPDomain.md#0x1_VASPDomain">VASPDomain</a> { domain }, address, }; emits msg to handle; } </code></pre> </details>

Function `has_vasp_domain`

<pre><code>public fun <a href="VASPDomain.md#0x1_VASPDomain_has_vasp_domain">has_vasp_domain</a>(addr: address, domain: vector<u8>): bool </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="VASPDomain.md#0x1_VASPDomain_has_vasp_domain">has_vasp_domain</a>(addr: address, domain: vector<u8>): bool acquires <a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a> { assert( exists<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(addr), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_not_published">Errors::not_published</a>(<a href="VASPDomain.md#0x1_VASPDomain_EVASP_DOMAINS_NOT_PUBLISHED">EVASP_DOMAINS_NOT_PUBLISHED</a>) ); let account_domains = borrow_global<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(addr); let vasp_domain = <a href="VASPDomain.md#0x1_VASPDomain_create_vasp_domain">create_vasp_domain</a>(domain); <a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector_contains">Vector::contains</a>(&account_domains.domains, &vasp_domain) } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>include <a href="VASPDomain.md#0x1_VASPDomain_HasVASPDomainAbortsIf">HasVASPDomainAbortsIf</a>; let id_domain = <a href="VASPDomain.md#0x1_VASPDomain">VASPDomain</a> { domain }; ensures result == contains(global<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(addr).domains, id_domain); </code></pre>

<pre><code>schema <a href="VASPDomain.md#0x1_VASPDomain_HasVASPDomainAbortsIf">HasVASPDomainAbortsIf</a> { addr: address; domain: vector<u8>; include <a href="VASPDomain.md#0x1_VASPDomain_CreateVASPDomainAbortsIf">CreateVASPDomainAbortsIf</a>; aborts_if !exists<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomains">VASPDomains</a>>(addr) with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_NOT_PUBLISHED">Errors::NOT_PUBLISHED</a>; } </code></pre> </details>

Function `tc_domain_manager_exists`

<pre><code>public fun <a href="VASPDomain.md#0x1_VASPDomain_tc_domain_manager_exists">tc_domain_manager_exists</a>(): bool </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="VASPDomain.md#0x1_VASPDomain_tc_domain_manager_exists">tc_domain_manager_exists</a>(): bool { exists<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomainManager">VASPDomainManager</a>>(@TreasuryCompliance) } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>aborts_if false; ensures result == exists<<a href="VASPDomain.md#0x1_VASPDomain_VASPDomainManager">VASPDomainManager</a>>(@TreasuryCompliance); </code></pre> </details>

Module `0x1::VASPDomain`

Module 0x1::VASPDomain

Resource VASPDomains

Struct VASPDomain

Resource VASPDomainManager

Struct VASPDomainEvent

Constants

Function create_vasp_domain

Function publish_vasp_domains

Function has_vasp_domains

Function publish_vasp_domain_manager

Function add_vasp_domain

Function remove_vasp_domain

Function has_vasp_domain

Function tc_domain_manager_exists

Module `0x1::VASPDomain`

Resource `VASPDomains`

Struct `VASPDomain`

Resource `VASPDomainManager`

Struct `VASPDomainEvent`

Function `create_vasp_domain`

Function `publish_vasp_domains`

Function `has_vasp_domains`

Function `publish_vasp_domain_manager`

Function `add_vasp_domain`

Function `remove_vasp_domain`

Function `has_vasp_domain`

Function `tc_domain_manager_exists`