Module `0x1::DiemId`

Module managing Diem ID.

Resource DiemIdDomains
Struct DiemIdDomain
Resource DiemIdDomainManager
Struct DiemIdDomainEvent
Constants
Function create_diem_id_domain
Function publish_diem_id_domains
Function has_diem_id_domains
Function publish_diem_id_domain_manager
Function add_diem_id_domain
Function remove_diem_id_domain
Function has_diem_id_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 `DiemIdDomains`

This resource holds an entity's domain names needed to send and receive payments using diem IDs.

<pre><code>struct <a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a> has key </code></pre> <details> <summary>Fields</summary> <dl> <dt> <code>domains: vector<<a href="DiemId.md#0x1_DiemId_DiemIdDomain">DiemId::DiemIdDomain</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="DiemId.md#0x1_DiemId_DiemIdDomain">DiemIdDomain</a></code>s stored in the <code><a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</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="DiemId.md#0x1_DiemId_DOMAIN_LENGTH">DOMAIN_LENGTH</a>; </code></pre>

The list of <code><a href="DiemId.md#0x1_DiemId_DiemIdDomain">DiemIdDomain</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 `DiemIdDomain`

Struct to store the limit on-chain

<pre><code>struct <a href="DiemId.md#0x1_DiemId_DiemIdDomain">DiemIdDomain</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="DiemId.md#0x1_DiemId_DiemIdDomain">DiemIdDomain</a></code>s must be no more than 63 characters long.

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

Resource `DiemIdDomainManager`

<pre><code>struct <a href="DiemId.md#0x1_DiemId_DiemIdDomainManager">DiemIdDomainManager</a> has key </code></pre> <details> <summary>Fields</summary> <dl> <dt> <code>diem_id_domain_events: <a href="../../../../../../move-stdlib/docs/Event.md#0x1_Event_EventHandle">Event::EventHandle</a><<a href="DiemId.md#0x1_DiemId_DiemIdDomainEvent">DiemId::DiemIdDomainEvent</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 `DiemIdDomainEvent`

<pre><code>struct <a href="DiemId.md#0x1_DiemId_DiemIdDomainEvent">DiemIdDomainEvent</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="DiemId.md#0x1_DiemId_DiemIdDomain">DiemId::DiemIdDomain</a></code> </dt> <dd> Diem ID 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="DiemId.md#0x1_DiemId_DOMAIN_LENGTH">DOMAIN_LENGTH</a>: u64 = 63; </code></pre>

DiemIdDomains resource is not or already published.

<pre><code>const <a href="DiemId.md#0x1_DiemId_EDIEM_ID_DOMAIN">EDIEM_ID_DOMAIN</a>: u64 = 0; </code></pre>

DiemIdDomains resource was not published for a VASP account

<pre><code>const <a href="DiemId.md#0x1_DiemId_EDIEM_ID_DOMAINS_NOT_PUBLISHED">EDIEM_ID_DOMAINS_NOT_PUBLISHED</a>: u64 = 4; </code></pre>

DiemIdDomainManager resource is not or already published.

<pre><code>const <a href="DiemId.md#0x1_DiemId_EDIEM_ID_DOMAIN_MANAGER">EDIEM_ID_DOMAIN_MANAGER</a>: u64 = 1; </code></pre>

DiemID domain already exists

<pre><code>const <a href="DiemId.md#0x1_DiemId_EDOMAIN_ALREADY_EXISTS">EDOMAIN_ALREADY_EXISTS</a>: u64 = 3; </code></pre>

DiemID domain was not found

<pre><code>const <a href="DiemId.md#0x1_DiemId_EDOMAIN_NOT_FOUND">EDOMAIN_NOT_FOUND</a>: u64 = 2; </code></pre>

Invalid domain for DiemIdDomain

<pre><code>const <a href="DiemId.md#0x1_DiemId_EINVALID_DIEM_ID_DOMAIN">EINVALID_DIEM_ID_DOMAIN</a>: u64 = 5; </code></pre>

Function `create_diem_id_domain`

<pre><code>fun <a href="DiemId.md#0x1_DiemId_create_diem_id_domain">create_diem_id_domain</a>(domain: vector<u8>): <a href="DiemId.md#0x1_DiemId_DiemIdDomain">DiemId::DiemIdDomain</a> </code></pre> <details> <summary>Implementation</summary> <pre><code>fun <a href="DiemId.md#0x1_DiemId_create_diem_id_domain">create_diem_id_domain</a>(domain: vector<u8>): <a href="DiemId.md#0x1_DiemId_DiemIdDomain">DiemIdDomain</a> { assert(<a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector_length">Vector::length</a>(&domain) <= <a href="DiemId.md#0x1_DiemId_DOMAIN_LENGTH">DOMAIN_LENGTH</a>, <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_invalid_argument">Errors::invalid_argument</a>(<a href="DiemId.md#0x1_DiemId_EINVALID_DIEM_ID_DOMAIN">EINVALID_DIEM_ID_DOMAIN</a>)); <a href="DiemId.md#0x1_DiemId_DiemIdDomain">DiemIdDomain</a>{ domain } } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>include <a href="DiemId.md#0x1_DiemId_CreateDiemIdDomainAbortsIf">CreateDiemIdDomainAbortsIf</a>; ensures result == <a href="DiemId.md#0x1_DiemId_DiemIdDomain">DiemIdDomain</a> { domain }; </code></pre>

<pre><code>schema <a href="DiemId.md#0x1_DiemId_CreateDiemIdDomainAbortsIf">CreateDiemIdDomainAbortsIf</a> { domain: vector<u8>; aborts_if <a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector_length">Vector::length</a>(domain) > <a href="DiemId.md#0x1_DiemId_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_diem_id_domains`

Publish a <code><a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a></code> resource under <code>created</code> with an empty <code>domains</code>. Before sending or receiving any payments using Diem IDs, the Treasury Compliance account must send a transaction that invokes <code>add_domain_id</code> to set the <code>domains</code> field with a valid domain

<pre><code>public fun <a href="DiemId.md#0x1_DiemId_publish_diem_id_domains">publish_diem_id_domains</a>(vasp_account: &signer) </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="DiemId.md#0x1_DiemId_publish_diem_id_domains">publish_diem_id_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="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</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="DiemId.md#0x1_DiemId_EDIEM_ID_DOMAIN">EDIEM_ID_DOMAIN</a>) ); move_to(vasp_account, <a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</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="DiemId.md#0x1_DiemId_PublishDiemIdDomainsAbortsIf">PublishDiemIdDomainsAbortsIf</a>; include <a href="DiemId.md#0x1_DiemId_PublishDiemIdDomainsEnsures">PublishDiemIdDomainsEnsures</a>; </code></pre>

<pre><code>schema <a href="DiemId.md#0x1_DiemId_PublishDiemIdDomainsAbortsIf">PublishDiemIdDomainsAbortsIf</a> { vasp_addr: address; aborts_if <a href="DiemId.md#0x1_DiemId_has_diem_id_domains">has_diem_id_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="DiemId.md#0x1_DiemId_PublishDiemIdDomainsEnsures">PublishDiemIdDomainsEnsures</a> { vasp_addr: address; ensures exists<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(vasp_addr); ensures <a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector_is_empty">Vector::is_empty</a>(global<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(vasp_addr).domains); } </code></pre> </details>

Function `has_diem_id_domains`

<pre><code>public fun <a href="DiemId.md#0x1_DiemId_has_diem_id_domains">has_diem_id_domains</a>(addr: address): bool </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="DiemId.md#0x1_DiemId_has_diem_id_domains">has_diem_id_domains</a>(addr: address): bool { exists<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(addr) } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>aborts_if false; ensures result == exists<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(addr); </code></pre> </details>

Function `publish_diem_id_domain_manager`

Publish a <code><a href="DiemId.md#0x1_DiemId_DiemIdDomainManager">DiemIdDomainManager</a></code> resource under <code>tc_account</code> with an empty <code>diem_id_domain_events</code>. When Treasury Compliance account sends a transaction that invokes either <code>add_diem_id_domain</code> or <code>remove_diem_id_domain</code>, a <code><a href="DiemId.md#0x1_DiemId_DiemIdDomainEvent">DiemIdDomainEvent</a></code> is emitted and added to <code>diem_id_domain_events</code>.

<pre><code>public fun <a href="DiemId.md#0x1_DiemId_publish_diem_id_domain_manager">publish_diem_id_domain_manager</a>(tc_account: &signer) </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="DiemId.md#0x1_DiemId_publish_diem_id_domain_manager">publish_diem_id_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="DiemId.md#0x1_DiemId_DiemIdDomainManager">DiemIdDomainManager</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="DiemId.md#0x1_DiemId_EDIEM_ID_DOMAIN_MANAGER">EDIEM_ID_DOMAIN_MANAGER</a>) ); move_to( tc_account, <a href="DiemId.md#0x1_DiemId_DiemIdDomainManager">DiemIdDomainManager</a> { diem_id_domain_events: <a href="../../../../../../move-stdlib/docs/Event.md#0x1_Event_new_event_handle">Event::new_event_handle</a><<a href="DiemId.md#0x1_DiemId_DiemIdDomainEvent">DiemIdDomainEvent</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="DiemId.md#0x1_DiemId_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="DiemId.md#0x1_DiemId_DiemIdDomainManager">DiemIdDomainManager</a>>(<a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer_spec_address_of">Signer::spec_address_of</a>(tc_account)); modifies global<<a href="DiemId.md#0x1_DiemId_DiemIdDomainManager">DiemIdDomainManager</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_diem_id_domain`

Add a DiemIdDomain to a parent VASP's DiemIdDomains resource. When updating DiemIdDomains, 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="DiemId.md#0x1_DiemId_add_diem_id_domain">add_diem_id_domain</a>(tc_account: &signer, address: address, domain: vector<u8>) </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="DiemId.md#0x1_DiemId_add_diem_id_domain">add_diem_id_domain</a>( tc_account: &signer, address: address, domain: vector<u8>, ) acquires <a href="DiemId.md#0x1_DiemId_DiemIdDomainManager">DiemIdDomainManager</a>, <a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a> { <a href="Roles.md#0x1_Roles_assert_treasury_compliance">Roles::assert_treasury_compliance</a>(tc_account); assert(<a href="DiemId.md#0x1_DiemId_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="DiemId.md#0x1_DiemId_EDIEM_ID_DOMAIN_MANAGER">EDIEM_ID_DOMAIN_MANAGER</a>)); assert( exists<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(address), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_not_published">Errors::not_published</a>(<a href="DiemId.md#0x1_DiemId_EDIEM_ID_DOMAINS_NOT_PUBLISHED">EDIEM_ID_DOMAINS_NOT_PUBLISHED</a>) ); let account_domains = borrow_global_mut<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(address); let diem_id_domain = <a href="DiemId.md#0x1_DiemId_create_diem_id_domain">create_diem_id_domain</a>(domain); assert( !<a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector_contains">Vector::contains</a>(&account_domains.domains, &diem_id_domain), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_invalid_argument">Errors::invalid_argument</a>(<a href="DiemId.md#0x1_DiemId_EDOMAIN_ALREADY_EXISTS">EDOMAIN_ALREADY_EXISTS</a>) ); <a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector_push_back">Vector::push_back</a>(&mut account_domains.domains, copy diem_id_domain); <a href="../../../../../../move-stdlib/docs/Event.md#0x1_Event_emit_event">Event::emit_event</a>( &mut borrow_global_mut<<a href="DiemId.md#0x1_DiemId_DiemIdDomainManager">DiemIdDomainManager</a>>(@TreasuryCompliance).diem_id_domain_events, <a href="DiemId.md#0x1_DiemId_DiemIdDomainEvent">DiemIdDomainEvent</a> { removed: false, domain: diem_id_domain, address, }, ); } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>include <a href="DiemId.md#0x1_DiemId_AddDiemIdDomainAbortsIf">AddDiemIdDomainAbortsIf</a>; include <a href="DiemId.md#0x1_DiemId_AddDiemIdDomainEnsures">AddDiemIdDomainEnsures</a>; include <a href="DiemId.md#0x1_DiemId_AddDiemIdDomainEmits">AddDiemIdDomainEmits</a>; </code></pre>

<pre><code>schema <a href="DiemId.md#0x1_DiemId_AddDiemIdDomainAbortsIf">AddDiemIdDomainAbortsIf</a> { tc_account: signer; address: address; domain: vector<u8>; let domains = global<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(address).domains; include <a href="Roles.md#0x1_Roles_AbortsIfNotTreasuryCompliance">Roles::AbortsIfNotTreasuryCompliance</a>{account: tc_account}; include <a href="DiemId.md#0x1_DiemId_CreateDiemIdDomainAbortsIf">CreateDiemIdDomainAbortsIf</a>; aborts_if !exists<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(address) with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_NOT_PUBLISHED">Errors::NOT_PUBLISHED</a>; aborts_if !<a href="DiemId.md#0x1_DiemId_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="DiemId.md#0x1_DiemId_DiemIdDomain">DiemIdDomain</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="DiemId.md#0x1_DiemId_AddDiemIdDomainEnsures">AddDiemIdDomainEnsures</a> { address: address; domain: vector<u8>; let post domains = global<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(address).domains; ensures contains(domains, <a href="DiemId.md#0x1_DiemId_DiemIdDomain">DiemIdDomain</a> { domain }); } </code></pre>

<pre><code>schema <a href="DiemId.md#0x1_DiemId_AddDiemIdDomainEmits">AddDiemIdDomainEmits</a> { address: address; domain: vector<u8>; let handle = global<<a href="DiemId.md#0x1_DiemId_DiemIdDomainManager">DiemIdDomainManager</a>>(@TreasuryCompliance).diem_id_domain_events; let msg = <a href="DiemId.md#0x1_DiemId_DiemIdDomainEvent">DiemIdDomainEvent</a> { removed: false, domain: <a href="DiemId.md#0x1_DiemId_DiemIdDomain">DiemIdDomain</a> { domain }, address, }; emits msg to handle; } </code></pre> </details>

Function `remove_diem_id_domain`

Remove a DiemIdDomain from a parent VASP's DiemIdDomains resource.

<pre><code>public fun <a href="DiemId.md#0x1_DiemId_remove_diem_id_domain">remove_diem_id_domain</a>(tc_account: &signer, address: address, domain: vector<u8>) </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="DiemId.md#0x1_DiemId_remove_diem_id_domain">remove_diem_id_domain</a>( tc_account: &signer, address: address, domain: vector<u8>, ) acquires <a href="DiemId.md#0x1_DiemId_DiemIdDomainManager">DiemIdDomainManager</a>, <a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a> { <a href="Roles.md#0x1_Roles_assert_treasury_compliance">Roles::assert_treasury_compliance</a>(tc_account); assert(<a href="DiemId.md#0x1_DiemId_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="DiemId.md#0x1_DiemId_EDIEM_ID_DOMAIN_MANAGER">EDIEM_ID_DOMAIN_MANAGER</a>)); assert( exists<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(address), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_not_published">Errors::not_published</a>(<a href="DiemId.md#0x1_DiemId_EDIEM_ID_DOMAINS_NOT_PUBLISHED">EDIEM_ID_DOMAINS_NOT_PUBLISHED</a>) ); let account_domains = borrow_global_mut<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(address); let diem_id_domain = <a href="DiemId.md#0x1_DiemId_create_diem_id_domain">create_diem_id_domain</a>(domain); let (has, index) = <a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector_index_of">Vector::index_of</a>(&account_domains.domains, &diem_id_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="DiemId.md#0x1_DiemId_EDOMAIN_NOT_FOUND">EDOMAIN_NOT_FOUND</a>) }; <a href="../../../../../../move-stdlib/docs/Event.md#0x1_Event_emit_event">Event::emit_event</a>( &mut borrow_global_mut<<a href="DiemId.md#0x1_DiemId_DiemIdDomainManager">DiemIdDomainManager</a>>(@TreasuryCompliance).diem_id_domain_events, <a href="DiemId.md#0x1_DiemId_DiemIdDomainEvent">DiemIdDomainEvent</a> { removed: true, domain: diem_id_domain, address: address, }, ); } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>include <a href="DiemId.md#0x1_DiemId_RemoveDiemIdDomainAbortsIf">RemoveDiemIdDomainAbortsIf</a>; include <a href="DiemId.md#0x1_DiemId_RemoveDiemIdDomainEnsures">RemoveDiemIdDomainEnsures</a>; include <a href="DiemId.md#0x1_DiemId_RemoveDiemIdDomainEmits">RemoveDiemIdDomainEmits</a>; </code></pre>

<pre><code>schema <a href="DiemId.md#0x1_DiemId_RemoveDiemIdDomainAbortsIf">RemoveDiemIdDomainAbortsIf</a> { tc_account: signer; address: address; domain: vector<u8>; let domains = global<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(address).domains; include <a href="Roles.md#0x1_Roles_AbortsIfNotTreasuryCompliance">Roles::AbortsIfNotTreasuryCompliance</a>{account: tc_account}; include <a href="DiemId.md#0x1_DiemId_CreateDiemIdDomainAbortsIf">CreateDiemIdDomainAbortsIf</a>; aborts_if !exists<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(address) with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_NOT_PUBLISHED">Errors::NOT_PUBLISHED</a>; aborts_if !<a href="DiemId.md#0x1_DiemId_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="DiemId.md#0x1_DiemId_DiemIdDomain">DiemIdDomain</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="DiemId.md#0x1_DiemId_RemoveDiemIdDomainEnsures">RemoveDiemIdDomainEnsures</a> { address: address; domain: vector<u8>; let post domains = global<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(address).domains; ensures !contains(domains, <a href="DiemId.md#0x1_DiemId_DiemIdDomain">DiemIdDomain</a> { domain }); } </code></pre>

<pre><code>schema <a href="DiemId.md#0x1_DiemId_RemoveDiemIdDomainEmits">RemoveDiemIdDomainEmits</a> { tc_account: signer; address: address; domain: vector<u8>; let handle = global<<a href="DiemId.md#0x1_DiemId_DiemIdDomainManager">DiemIdDomainManager</a>>(@TreasuryCompliance).diem_id_domain_events; let msg = <a href="DiemId.md#0x1_DiemId_DiemIdDomainEvent">DiemIdDomainEvent</a> { removed: true, domain: <a href="DiemId.md#0x1_DiemId_DiemIdDomain">DiemIdDomain</a> { domain }, address, }; emits msg to handle; } </code></pre> </details>

Function `has_diem_id_domain`

<pre><code>public fun <a href="DiemId.md#0x1_DiemId_has_diem_id_domain">has_diem_id_domain</a>(addr: address, domain: vector<u8>): bool </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="DiemId.md#0x1_DiemId_has_diem_id_domain">has_diem_id_domain</a>(addr: address, domain: vector<u8>): bool acquires <a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a> { assert( exists<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(addr), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_not_published">Errors::not_published</a>(<a href="DiemId.md#0x1_DiemId_EDIEM_ID_DOMAINS_NOT_PUBLISHED">EDIEM_ID_DOMAINS_NOT_PUBLISHED</a>) ); let account_domains = borrow_global<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(addr); let diem_id_domain = <a href="DiemId.md#0x1_DiemId_create_diem_id_domain">create_diem_id_domain</a>(domain); <a href="../../../../../../move-stdlib/docs/Vector.md#0x1_Vector_contains">Vector::contains</a>(&account_domains.domains, &diem_id_domain) } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>include <a href="DiemId.md#0x1_DiemId_HasDiemIdDomainAbortsIf">HasDiemIdDomainAbortsIf</a>; let id_domain = <a href="DiemId.md#0x1_DiemId_DiemIdDomain">DiemIdDomain</a> { domain }; ensures result == contains(global<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</a>>(addr).domains, id_domain); </code></pre>

<pre><code>schema <a href="DiemId.md#0x1_DiemId_HasDiemIdDomainAbortsIf">HasDiemIdDomainAbortsIf</a> { addr: address; domain: vector<u8>; include <a href="DiemId.md#0x1_DiemId_CreateDiemIdDomainAbortsIf">CreateDiemIdDomainAbortsIf</a>; aborts_if !exists<<a href="DiemId.md#0x1_DiemId_DiemIdDomains">DiemIdDomains</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="DiemId.md#0x1_DiemId_tc_domain_manager_exists">tc_domain_manager_exists</a>(): bool </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="DiemId.md#0x1_DiemId_tc_domain_manager_exists">tc_domain_manager_exists</a>(): bool { exists<<a href="DiemId.md#0x1_DiemId_DiemIdDomainManager">DiemIdDomainManager</a>>(@TreasuryCompliance) } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>aborts_if false; ensures result == exists<<a href="DiemId.md#0x1_DiemId_DiemIdDomainManager">DiemIdDomainManager</a>>(@TreasuryCompliance); </code></pre> </details>

Module `0x1::DiemId`

Module 0x1::DiemId

Resource DiemIdDomains

Struct DiemIdDomain

Resource DiemIdDomainManager

Struct DiemIdDomainEvent

Constants

Function create_diem_id_domain

Function publish_diem_id_domains

Function has_diem_id_domains

Function publish_diem_id_domain_manager

Function add_diem_id_domain

Function remove_diem_id_domain

Function has_diem_id_domain

Function tc_domain_manager_exists

Module `0x1::DiemId`

Resource `DiemIdDomains`

Struct `DiemIdDomain`

Resource `DiemIdDomainManager`

Struct `DiemIdDomainEvent`

Function `create_diem_id_domain`

Function `publish_diem_id_domains`

Function `has_diem_id_domains`

Function `publish_diem_id_domain_manager`

Function `add_diem_id_domain`

Function `remove_diem_id_domain`

Function `has_diem_id_domain`

Function `tc_domain_manager_exists`