format fix

aptos-labs · Nov 13, 2024 · 2f3708e · 2f3708e
1 parent 81e44f8
commit 2f3708e
Show file tree

Hide file tree

Showing 2 changed files with 105 additions and 1 deletion.
diff --git a/aptos-move/framework/aptos-framework/doc/function_info.md b/aptos-move/framework/aptos-framework/doc/function_info.md
@@ -16,7 +16,12 @@ The <code><a href="function_info.md#0x1_function_info">function_info</a></code>
 -  [Function `is_identifier`](#0x1_function_info_is_identifier)
 -  [Function `load_function_impl`](#0x1_function_info_load_function_impl)
 -  [Specification](#@Specification_1)
+    -  [Function `new_function_info`](#@Specification_1_new_function_info)
+    -  [Function `new_function_info_from_address`](#@Specification_1_new_function_info_from_address)
+    -  [Function `check_dispatch_type_compatibility`](#@Specification_1_check_dispatch_type_compatibility)
+    -  [Function `load_module_from_function`](#@Specification_1_load_module_from_function)
     -  [Function `check_dispatch_type_compatibility_impl`](#@Specification_1_check_dispatch_type_compatibility_impl)
+    -  [Function `is_identifier`](#@Specification_1_is_identifier)
     -  [Function `load_function_impl`](#@Specification_1_load_function_impl)
 
 
@@ -323,7 +328,88 @@ if such module isn't accessed previously in the transaction.
 
 
 
+<a id="0x1_function_info_spec_is_identifier"></a>
+
+
+<pre><code><b>fun</b> <a href="function_info.md#0x1_function_info_spec_is_identifier">spec_is_identifier</a>(s: <a href="../../aptos-stdlib/../move-stdlib/doc/vector.md#0x1_vector">vector</a>&lt;u8&gt;): bool;
+</code></pre>
+
+
+
+<a id="@Specification_1_new_function_info"></a>
+
+### Function `new_function_info`
+
+
+<pre><code><b>public</b> <b>fun</b> <a href="function_info.md#0x1_function_info_new_function_info">new_function_info</a>(module_signer: &<a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">signer</a>, module_name: <a href="../../aptos-stdlib/../move-stdlib/doc/string.md#0x1_string_String">string::String</a>, function_name: <a href="../../aptos-stdlib/../move-stdlib/doc/string.md#0x1_string_String">string::String</a>): <a href="function_info.md#0x1_function_info_FunctionInfo">function_info::FunctionInfo</a>
+</code></pre>
+
+
+
+
+<pre><code><b>aborts_if</b> !<a href="function_info.md#0x1_function_info_spec_is_identifier">spec_is_identifier</a>(<a href="../../aptos-stdlib/../move-stdlib/doc/string.md#0x1_string_bytes">string::bytes</a>(module_name));
+<b>aborts_if</b> !<a href="function_info.md#0x1_function_info_spec_is_identifier">spec_is_identifier</a>(<a href="../../aptos-stdlib/../move-stdlib/doc/string.md#0x1_string_bytes">string::bytes</a>(function_name));
+<b>ensures</b> result == <a href="function_info.md#0x1_function_info_FunctionInfo">FunctionInfo</a> {
+    module_address: <a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer_address_of">signer::address_of</a>(module_signer),
+    module_name,
+    function_name,
+};
+</code></pre>
+
+
+
+<a id="@Specification_1_new_function_info_from_address"></a>
+
+### Function `new_function_info_from_address`
+
+
+<pre><code><b>public</b>(<b>friend</b>) <b>fun</b> <a href="function_info.md#0x1_function_info_new_function_info_from_address">new_function_info_from_address</a>(module_address: <b>address</b>, module_name: <a href="../../aptos-stdlib/../move-stdlib/doc/string.md#0x1_string_String">string::String</a>, function_name: <a href="../../aptos-stdlib/../move-stdlib/doc/string.md#0x1_string_String">string::String</a>): <a href="function_info.md#0x1_function_info_FunctionInfo">function_info::FunctionInfo</a>
+</code></pre>
+
+
+
+
+<pre><code><b>aborts_if</b> !<a href="function_info.md#0x1_function_info_spec_is_identifier">spec_is_identifier</a>(<a href="../../aptos-stdlib/../move-stdlib/doc/string.md#0x1_string_bytes">string::bytes</a>(module_name));
+<b>aborts_if</b> !<a href="function_info.md#0x1_function_info_spec_is_identifier">spec_is_identifier</a>(<a href="../../aptos-stdlib/../move-stdlib/doc/string.md#0x1_string_bytes">string::bytes</a>(function_name));
+<b>ensures</b> result == <a href="function_info.md#0x1_function_info_FunctionInfo">FunctionInfo</a> {
+    module_address,
+    module_name,
+    function_name,
+};
+</code></pre>
+
+
+
+<a id="@Specification_1_check_dispatch_type_compatibility"></a>
+
+### Function `check_dispatch_type_compatibility`
+
+
+<pre><code><b>public</b>(<b>friend</b>) <b>fun</b> <a href="function_info.md#0x1_function_info_check_dispatch_type_compatibility">check_dispatch_type_compatibility</a>(framework_function: &<a href="function_info.md#0x1_function_info_FunctionInfo">function_info::FunctionInfo</a>, dispatch_target: &<a href="function_info.md#0x1_function_info_FunctionInfo">function_info::FunctionInfo</a>): bool
+</code></pre>
+
+
+
+
+<pre><code><b>pragma</b> verify = <b>false</b>;
+<b>pragma</b> opaque;
+</code></pre>
+
+
+
+<a id="@Specification_1_load_module_from_function"></a>
+
+### Function `load_module_from_function`
+
+
+<pre><code><b>public</b>(<b>friend</b>) <b>fun</b> <a href="function_info.md#0x1_function_info_load_module_from_function">load_module_from_function</a>(f: &<a href="function_info.md#0x1_function_info_FunctionInfo">function_info::FunctionInfo</a>)
+</code></pre>
+
+
+
+
 <pre><code><b>pragma</b> verify = <b>false</b>;
+<b>pragma</b> opaque;
 </code></pre>
 
 
@@ -344,6 +430,24 @@ if such module isn't accessed previously in the transaction.
 
 
 
+<a id="@Specification_1_is_identifier"></a>
+
+### Function `is_identifier`
+
+
+<pre><code><b>fun</b> <a href="function_info.md#0x1_function_info_is_identifier">is_identifier</a>(s: &<a href="../../aptos-stdlib/../move-stdlib/doc/vector.md#0x1_vector">vector</a>&lt;u8&gt;): bool
+</code></pre>
+
+
+
+
+<pre><code><b>pragma</b> opaque;
+<b>aborts_if</b> [abstract] <b>false</b>;
+<b>ensures</b> [abstract] result == <a href="function_info.md#0x1_function_info_spec_is_identifier">spec_is_identifier</a>(s);
+</code></pre>
+
+
+
 <a id="@Specification_1_load_function_impl"></a>
 
 ### Function `load_function_impl`

diff --git a/types/src/block_executor/config.rs b/types/src/block_executor/config.rs
@@ -22,7 +22,7 @@ impl Default for BlockExecutorModuleCacheLocalConfig {
     fn default() -> Self {
         Self {
             prefetch_framework_code: true,
-            // Use 1 Gb for now, should be large enough to cache all mainnet modules (at the time
+            // Use 1Gb for now, should be large enough to cache all mainnet modules (at the time
             // of writing this comment, 13.11.24).
             max_module_cache_size_in_bytes: 1024 * 1024 * 1024,
             max_struct_name_index_map_num_entries: 1_000_000,