MCPcopy Create free account

hub / github.com/diem/move / functions

Functions7,036 in github.com/diem/move

⨍ Functions 7,036◇ Types & classes 1,325
↓ 26 callersMethodtry_into
(self)
language/move-core/types/src/value.rs:515
↓ 25 callersMethodbuiltin_qualified_symbol
Returns the symbol for a name in the builtin module.
language/move-model/src/builder/model_builder.rs:364
↓ 25 callersMethodcontains
(&self, x: &T)
language/move-compiler/src/shared/unique_set.rs:36
↓ 25 callersMethodget_name
Returns the name of this module.
language/move-model/src/model.rs:1804
↓ 25 callersMethodget_spec
Gets module specification.
language/move-model/src/model.rs:2306
↓ 25 callersMethodglobal_env
Get the global environment
language/move-model/src/exp_generator.rs:34
↓ 25 callersMethodnew_error_exp
Creates an error expression.
language/move-model/src/builder/exp_translator.rs:300
↓ 25 callersMethodread
(&mut self, buf: &mut [u8])
language/move-binary-format/src/file_format_common.rs:517
↓ 25 callersMethodserialize
(&self, serializer: S)
language/move-vm/types/src/values/values_impl.rs:2418
↓ 25 callersFunctionsubtype
( context: &mut Context, loc: Loc, msg: F, pre_lhs: Type, pre_rhs: Type, )
language/move-compiler/src/typing/translate.rs:866
↓ 24 callersMethodcost_table
Return the `CostTable` behind this `GasStatus`.
language/move-vm/types/src/gas_schedule.rs:69
↓ 24 callersMethodfilter
(&mut self, test_name_slice: &str)
language/tools/move-unit-test/src/test_runner.rs:196
↓ 24 callersMethodget
(&self, key: u32)
language/move-analyzer/src/symbols.rs:520
↓ 24 callersMethodget
(&self)
language/move-vm/runtime/src/native_extensions.rs:28
↓ 24 callersFunctionnative_gas
Return the native gas entry in `CostTable` for the given key. The key is the specific native function index known to `CostTable`.
language/move-vm/types/src/natives/function.rs:109
↓ 24 callersFunctionspanned
(file_hash: FileHash, start: usize, end: usize, value: T)
language/move-ir-compiler/move-ir-to-bytecode/syntax/src/syntax.rs:52
↓ 23 callersMethoddecompose
(self)
language/move-prover/interpreter/src/concrete/value.rs:475
↓ 23 callersMethodget
(&self, key: &K)
language/move-vm/runtime/src/loader.rs:73
↓ 23 callersMethodget_local_type
(&self, idx: TempIndex)
language/move-prover/boogie-backend/src/bytecode_translator.rs:396
↓ 23 callersMethodmodule_handle_at
(&self, idx: ModuleHandleIndex)
language/move-binary-format/src/binary_views.rs:114
↓ 23 callersFunctionparse_identifier
Parse an identifier: Identifier = <IdentifierValue>
language/move-compiler/src/parser/syntax.rs:278
↓ 23 callersMethodprevious_end_loc
(&self)
language/move-ir-compiler/move-ir-to-bytecode/syntax/src/lexer.rs:162
↓ 23 callersMethodspan
(&self)
language/move-model/src/model.rs:108
↓ 23 callersFunctionto_bytes
Helper function required to MultiEd25519 keys to_bytes to add the threshold.
language/documentation/examples/diem-framework/crates/crypto/src/multi_ed25519.rs:563
↓ 22 callersMethodfinish
(self, location: Location)
language/move-binary-format/src/errors.rs:253
↓ 22 callersFunctiongenerate_module_with_struct
(resource: bool)
language/testing-infra/test-generation/tests/struct_instructions.rs:24
↓ 22 callersMethodinsert
(&mut self, key: K, binary: V)
language/move-vm/runtime/src/loader.rs:64
↓ 22 callersMethodis_mutable_reference
Determines whether this is a mutable reference.
language/move-model/src/ty.rs:116
↓ 22 callersMethodis_native
Returns true if this function is native.
language/move-prover/bytecode/src/function_target.rs:155
↓ 22 callersMethodpublish_or_overwrite_module
(&mut self, module_id: ModuleId, blob: Vec<u8>)
language/move-vm/test-utils/src/storage.rs:278
↓ 22 callersMethodsize
(&self)
language/move-vm/types/src/values/values_impl.rs:1834
↓ 22 callersMethodtranslate_exp
Translates an expression, with given expected type, which might be a type variable.
language/move-model/src/builder/exp_translator.rs:708
↓ 21 callersMethodaddress
Accessor for the address at which the module is published
language/move-ir/types/src/ast.rs:787
↓ 21 callersMethodborrow
(&self)
language/move-model/src/ast.rs:426
↓ 21 callersFunctioncheck_bounds_impl
(pool: &[T], idx: I)
language/move-binary-format/src/check_bounds.rs:691
↓ 21 callersMethodclone
(&self)
language/documentation/examples/diem-framework/crates/crypto/src/ed25519.rs:69
↓ 21 callersMethodcore
Returns a reference to the core context.
devtools/x/src/context.rs:52
↓ 21 callersMethodevaluate
The entrypoint to the main evaluation logic. Expression evaluation is done recursively in a bottom-up manner, i.e., for an expression `e`, all its sub
language/move-prover/interpreter/src/concrete/evaluator.rs:184
↓ 21 callersFunctionhas_attr
Check whether an attribute is present in an attribute list.
language/evm/move-to-yul/src/attributes.rs:141
↓ 21 callersMethodlen
(&self)
language/move-binary-format/src/file_format.rs:542
↓ 21 callersFunctionparse_comma_list
Parse a comma-separated list of items, including the specified starting and ending tokens.
language/move-compiler/src/parser/syntax.rs:181
↓ 21 callersMethodqualified_inst
(self, id: Id, inst: Vec<Type>)
language/move-model/src/model.rs:350
↓ 21 callersMethodreplace
A helper function to do replacement of type parameters.
language/move-model/src/ty.rs:284
↓ 21 callersMethodto_loc
Shortcut for translating a Move AST location into ours.
language/move-model/src/builder/exp_translator.rs:143
↓ 20 callersMethodas_ref
(&self)
language/move-command-line-common/src/address.rs:84
↓ 20 callersFunctionexp
(context: &mut Context, e: E::Exp)
language/move-compiler/src/naming/translate.rs:883
↓ 20 callersMethodget_type
Return the type of `self` in `fun`
language/move-prover/bytecode/src/access_path.rs:394
↓ 20 callersMethodinto_int
(self)
language/move-prover/interpreter/src/concrete/value.rs:100
↓ 20 callersMethodis_target
Returns true of this module is target of compilation. A non-target module is a dependency only but not explicitly requested to process.
language/move-model/src/model.rs:1841
↓ 20 callersFunctionmake_module
Make a Module with 2 structs and 2 resources with one field each, and 2 functions. One of the struct/resource and one of the function is generic, the
language/move-bytecode-verifier/bytecode-verifier-tests/src/unit_tests/generic_ops_tests.rs:13
↓ 20 callersMethodtype_size
Calculate the size, in bytes, for the memory layout of this type.
language/evm/move-to-yul/src/context.rs:762
↓ 20 callersMethodvalue_as
(self)
language/move-vm/types/src/values/values_impl.rs:1195
↓ 19 callersMethodadvance
(&mut self, expected_token: Tok)
language/move-command-line-common/src/parser.rs:91
↓ 19 callersMethodconfig
Returns a reference to the config.
devtools/x/src/context.rs:47
↓ 19 callersMethodcreate_contract
Create a contract and return the contract address if successful.
language/evm/exec-utils/src/exec.rs:140
↓ 19 callersMethoddefinition_view
(&'env self)
language/move-model/src/model.rs:3644
↓ 19 callersMethoddisplay
(&'a self, context: &'a TypeDisplayContext<'a>)
language/move-model/src/ty.rs:1153
↓ 19 callersFunctionexp
(context: &mut Context, pe: P::Exp)
language/move-compiler/src/expansion/translate.rs:1752
↓ 19 callersMethodget_full_name_str
Returns full name as a string.
language/move-model/src/model.rs:1825
↓ 19 callersMethodhas_errors
Returns true if diagnostics have error severity or worse.
language/move-model/src/model.rs:892
↓ 19 callersMethodinto_inner
( self, )
language/move-core/types/src/effects.rs:74
↓ 19 callersMethodis_property_true
Returns true if the boolean property is true.
language/move-model/src/model.rs:1451
↓ 19 callersMethoditer
Iterate over all named subsets.
devtools/x-core/src/workspace_subset.rs:84
↓ 19 callersFunctionmatch_token
Check for the specified token and consume it if it matches. Returns true if the token matches.
language/move-compiler/src/parser/syntax.rs:102
↓ 19 callersMethodneed_auxiliary_function
Indicate that an auxiliary function of name is needed. Return the name.
language/evm/move-to-yul/src/generator.rs:642
↓ 19 callersFunctionparse_exp
Parse an expression: Exp = <LambdaBindList> <Exp> spec only | <Quantifier> spec only | "if" "(" <Exp> ")" <Exp> ("else" <Exp>)
language/move-compiler/src/parser/syntax.rs:1109
↓ 19 callersMethodset_extension
Stores extension data in the environment. This can be arbitrary data which is indexed by type. Used by tools which want to store their own data in the
language/move-model/src/model.rs:573
↓ 19 callersMethodsimple_serialize
(&self)
language/move-core/types/src/value.rs:105
↓ 19 callersMethodversion
(&self)
language/move-binary-format/src/binary_views.rs:310
↓ 18 callersMethodas_script
(&self)
language/move-binary-format/src/access.rs:305
↓ 18 callersFunctionbasic_test_module
Create the following module which is convenient in tests: // module <SELF> { // struct Bar { x: u64 } // // foo() { // } // }
language/move-binary-format/src/file_format.rs:1989
↓ 18 callersMethodcheck_type
(&mut self, loc: &Loc, ty: &Type, expected: &Type, context_msg: &str)
language/move-model/src/builder/exp_translator.rs:1885
↓ 18 callersMethodcontainer
(&self)
language/move-vm/types/src/values/values_impl.rs:268
↓ 18 callersFunctioncurrent_token_loc
(tokens: &Lexer)
language/move-ir-compiler/move-ir-to-bytecode/syntax/src/syntax.rs:43
↓ 18 callersMethodemit
Emit a string. The string will be broken down into lines to apply current indentation.
language/move-model/src/code_writer.rs:194
↓ 18 callersMethodemit_traces
Emit traces which are related to the `emitted_exp`.
language/move-prover/bytecode/src/spec_instrumentation.rs:793
↓ 18 callersMethodinto_struct
(self)
language/move-prover/interpreter/src/concrete/value.rs:124
↓ 18 callersMethodlen
Returns the length of `self` in bytes.
language/move-core/types/src/identifier.rs:199
↓ 18 callersMethodnext
(&mut self)
language/move-core/types/src/parser.rs:204
↓ 18 callersMethodprint_exp
(&self, exp: &Exp, ty_params: &[TypeParameter])
language/move-prover/tools/spec-flatten/src/ast_print.rs:113
↓ 18 callersFunctiontype_
(context: &mut Context, ty: &mut Type)
language/move-compiler/src/typing/expand.rs:49
↓ 17 callersMethodargs
Adds a series of arguments to x's target command.
devtools/x/src/cargo.rs:121
↓ 17 callersFunctionas_module
(unit: AnnotatedCompiledUnit)
language/move-vm/integration-tests/src/compiler.rs:56
↓ 17 callersMethodas_ref
(&self)
language/documentation/examples/diem-framework/crates/crypto/src/hash.rs:328
↓ 17 callersFunctionboogie_resource_memory_name
Creates the name of the resource memory for the given struct.
language/move-prover/boogie-backend/src/boogie_helpers.rs:134
↓ 17 callersMethodenter_scope
Enters a new scope in the locals table.
language/move-model/src/builder/exp_translator.rs:307
↓ 17 callersMethoderror
(&self, status: StatusCode, offset: CodeOffset)
language/move-bytecode-verifier/src/reference_safety/abstract_state.rs:119
↓ 17 callersMethodget_parameter_count
Return the number of parameters of this function
language/move-prover/bytecode/src/function_target.rs:209
↓ 17 callersMethodget_parameter_count
(&self)
language/move-model/src/model.rs:3333
↓ 17 callersMethodget_spec_fun
Gets spec fun by id.
language/move-model/src/model.rs:2301
↓ 17 callersMethodinternal_rewrite_exp
(&mut self, exp: &Exp)
language/move-model/src/exp_rewriter.rs:331
↓ 17 callersMethodis_native_or_intrinsic
Returns true if this struct is native or marked as intrinsic.
language/move-model/src/model.rs:2723
↓ 17 callersMethodis_static
Check whether ty is a static type in the sense of serialization
language/evm/move-to-yul/src/solidity_ty.rs:166
↓ 17 callersFunctionparse_name
(tokens: &mut Lexer)
language/move-ir-compiler/move-ir-to-bytecode/syntax/src/syntax.rs:137
↓ 17 callersMethodstack_peek
Get the `AbstractValue` at index `index` on the stack if it exists. Index 0 is the top of the stack.
language/testing-infra/test-generation/src/abstract_state.rs:548
↓ 16 callersMethodadd_diags
(&mut self, additional: Diagnostics)
language/move-compiler/src/cfgir/borrows/mod.rs:55
↓ 16 callersMethodadd_type_id_use_def
Add use of a type identifier
language/move-analyzer/src/symbols.rs:1608
↓ 16 callersFunctioncheck_index_in_binary
Helpers
language/move-binary-format/src/serializer.rs:296
↓ 16 callersFunctiondummy_procedure_module
Create a dummy module to wrap the bytecode program in local@code
language/move-bytecode-verifier/bytecode-verifier-tests/src/support/mod.rs:13
↓ 16 callersMethodeq
(&self, other: &Script)
language/move-ir/types/src/ast.rs:1092
← previousnext →201–300 of 7,036, ranked by callers