MCPcopy Create free account

hub / github.com/diem/move / functions

Functions7,036 in github.com/diem/move

⨍ Functions 7,036◇ Types & classes 1,325
↓ 16 callersFunctionexp_
(context: &mut Context, sp!(loc, pe_): P::Exp)
language/move-compiler/src/expansion/translate.rs:1756
↓ 16 callersMethodfunction_handles
( &self, )
language/move-binary-format/src/views.rs:74
↓ 16 callersMethodget_type
Get the type of this local slot
language/move-prover/interpreter/src/concrete/value.rs:927
↓ 16 callersMethodinsert
(&mut self, tvar: TVar, bt: Type)
language/move-compiler/src/typing/core.rs:387
↓ 16 callersMethodinto_iter
(self)
language/move-borrow-graph/src/references.rs:235
↓ 16 callersMethodis_mutable
checks if the given reference is mutable or not
language/move-borrow-graph/src/graph.rs:29
↓ 16 callersMethodis_reference
Determines whether this is a reference.
language/move-model/src/ty.rs:111
↓ 16 callersMethodlock
()
language/tools/move-package/src/package_lock.rs:28
↓ 16 callersMethodpublic_key
Handy getter to access the configuration's public key
language/documentation/examples/diem-framework/crates/crypto/src/noise.rs:257
↓ 16 callersMethodstruct_handles
( &self, )
language/move-binary-format/src/views.rs:64
↓ 16 callersMethodsymbol_pool
Returns a reference to the symbol pool owned by this environment.
language/move-model/src/model.rs:635
↓ 16 callersMethodto_bytes
Serialize an Ed25519PrivateKey.
language/documentation/examples/diem-framework/crates/crypto/src/ed25519.rs:93
↓ 16 callersFunctionunexpected_token_error
(tokens: &Lexer, expected: &str)
language/move-compiler/src/parser/syntax.rs:43
↓ 15 callersMethodcheck_type_op
( &self, offset: usize, struct_def_index: StructDefinitionIndex, generic: bool
language/move-bytecode-verifier/src/instruction_consistency.rs:169
↓ 15 callersFunctionchecked_calculate_table_size
Compute the table size with a check for underflow
language/move-binary-format/src/serializer.rs:938
↓ 15 callersMethodclear
(&mut self)
language/move-binary-format/src/file_format_common.rs:276
↓ 15 callersFunctioncompile_type
( context: &mut Context, type_parameters: &HashMap<TypeVar_, TypeParameterIndex>, ty: &Type, )
language/move-ir-compiler/move-ir-to-bytecode/src/compiler.rs:643
↓ 15 callersFunctioncompile_yul_to_bytecode_bytes
(filename: &str)
language/evm/move-to-yul/tests/dispatcher_testsuite.rs:44
↓ 15 callersMethoddisplay
Return a wrapper of `self` that implements `Display` using `env`
language/move-prover/bytecode/src/access_path.rs:170
↓ 15 callersFunctionexp_
( context: &mut Context<'env>, result: &mut Block, initial_expected_type_opt: Option<&H::Type>,
language/move-compiler/src/hlir/translate.rs:788
↓ 15 callersMethodfile_id
(&self)
language/move-model/src/model.rs:112
↓ 15 callersMethodfunction_instantiation_at
( &self, idx: FunctionInstantiationIndex, )
language/move-binary-format/src/binary_views.rs:142
↓ 15 callersFunctiongenerate_testing_vincinity
()
language/evm/move-to-yul/tests/dispatcher_testsuite.rs:29
↓ 15 callersMethodget_type_parameters
Returns the type parameters associated with this struct.
language/move-model/src/model.rs:2635
↓ 15 callersMethodget_type_params
(&self, type_params_index: SignatureIndex)
language/move-prover/bytecode/src/stackless_bytecode_generator.rs:153
↓ 15 callersFunctionload_signature_index
(cursor: &mut VersionedCursor)
language/move-binary-format/src/deserializer.rs:97
↓ 15 callersMethodnew_node
Creates a new expression node id, using current default location, provided type, and optional instantiation.
language/move-model/src/exp_generator.rs:46
↓ 15 callersFunctionparse_comma_list
( tokens: &mut Lexer, list_end_tokens: &[Tok], parse_list_item: F, allow_trailing_comma: bool,
language/move-ir-compiler/move-ir-to-bytecode/syntax/src/syntax.rs:91
↓ 15 callersMethodpop
Pop a `Value` off the stack or abort execution if the stack is empty.
language/move-vm/runtime/src/interpreter.rs:627
↓ 15 callersFunctionserialize_signature_index
(binary: &mut BinaryData, idx: &SignatureIndex)
language/move-binary-format/src/serializer.rs:75
↓ 15 callersFunctionserialize_table_index
( binary: &mut BinaryData, kind: TableType, offset: u32, count: u32, )
language/move-binary-format/src/serializer.rs:307
↓ 15 callersMethodsys_abort
(&self, status_code: StatusCode)
language/move-prover/interpreter/src/concrete/player.rs:2166
↓ 15 callersMethodto_usize
(self)
language/move-model/src/model.rs:327
↓ 15 callersFunctionvar
(v: Var)
language/move-compiler/src/to_bytecode/translate.rs:717
↓ 14 callersMethodannotate
(&mut self, f: F, annot: &Annot)
language/move-compiler/src/shared/ast_debug.rs:107
↓ 14 callersMethodas_ident_str
Creates a borrowed version of `self`.
language/move-core/types/src/identifier.rs:123
↓ 14 callersMethodas_str
(&self)
devtools/x/src/cargo.rs:345
↓ 14 callersMethodassign
(&self, ctx: &Context, target: &FunctionTarget, dest: TempIndex, src: String)
language/evm/move-to-yul/src/functions.rs:576
↓ 14 callersMethodat_code_offset
(self, function: FunctionDefinitionIndex, offset: CodeOffset)
language/move-binary-format/src/errors.rs:324
↓ 14 callersMethodat_index
(self, kind: IndexKind, index: TableIndex)
language/move-binary-format/src/errors.rs:312
↓ 14 callersMethodcompiled_state
(&mut self)
language/testing-infra/transactional-test-runner/src/vm_test_harness.rs:77
↓ 14 callersMethodcontent
(&self)
language/move-ir-compiler/move-ir-to-bytecode/syntax/src/lexer.rs:150
↓ 14 callersFunctionconvert_model_struct_type
( env: &GlobalEnv, module_id: ModuleId, struct_id: StructId, ty_args: &[MT::Type], subst:
language/move-prover/interpreter/src/concrete/ty.rs:782
↓ 14 callersMethoderror_type
(&mut self, loc: Loc)
language/move-compiler/src/typing/core.rs:153
↓ 14 callersMethodget_annotations
Gets annotations.
language/move-prover/bytecode/src/function_target.rs:283
↓ 14 callersMethodget_global_invariant
Get global invariant by id.
language/move-model/src/model.rs:961
↓ 14 callersMethodget_identifier
Returns the VM identifier for this module
language/move-model/src/model.rs:1830
↓ 14 callersMethodget_node_instantiation
(&self, id: NodeId)
language/move-prover/boogie-backend/src/spec_translator.rs:568
↓ 14 callersMethodinto_bool
(self)
language/move-prover/interpreter/src/concrete/value.rs:70
↓ 14 callersMethodinto_u8
(self)
language/move-prover/interpreter/src/concrete/value.rs:76
↓ 14 callersMethodlocal_exists
Return `true` if there is a value bound to local variable `local_index`
language/move-prover/bytecode/src/access_path_trie.rs:410
↓ 14 callersMethodmodule_id_for_handle
Returns the code key of `module_handle`
language/move-binary-format/src/file_format.rs:1943
↓ 14 callersFunctionmove_stdlib_named_addresses
()
language/move-stdlib/src/lib.rs:72
↓ 14 callersMethodname
(&self)
language/evm/move-to-yul/src/evm_transformation.rs:92
↓ 14 callersMethodnew_node
Allocates a new node id and assigns location and type to it.
language/move-model/src/model.rs:1538
↓ 14 callersMethodrelease
removes `id` from borrow graph
language/move-bytecode-verifier/src/reference_safety/abstract_state.rs:170
↓ 14 callersFunctionrun
(args: Args, xctx: XContext)
devtools/x/src/fmt.rs:25
↓ 14 callersMethodself_handle_idx
(&self)
language/move-binary-format/src/views.rs:50
↓ 14 callersMethodset_loc_and_vc_info
Sets the default location as well as information about the verification condition message associated with the next instruction generated with `emit_wi
language/move-prover/bytecode/src/function_data_builder.rs:104
↓ 14 callersMethodspecialize
Specializes the type, substituting all variables bound in this substitution.
language/move-model/src/ty.rs:522
↓ 14 callersMethodstruct_definition_index
Get the struct definition index, fails if it is not bound.
language/move-ir-compiler/move-ir-to-bytecode/src/context.rs:536
↓ 14 callersMethodstruct_type_info
( &self, struct_idx: StructDefinitionIndex, signature: &Signature, type_param_
language/tools/move-disassembler/src/disassembler.rs:264
↓ 14 callersMethodtranslate_exp
(&mut self, exp: &Exp, in_old: bool)
language/move-model/src/spec_translator.rs:539
↓ 14 callersMethodty_args
(&self)
language/move-vm/runtime/src/interpreter.rs:1240
↓ 13 callersMethodadd_ability_constraint
( &mut self, loc: Loc, msg_opt: Option<impl Into<String>>, ty: Type, a
language/move-compiler/src/typing/core.rs:157
↓ 13 callersMethodaddress_identifier_at
(&self, idx: AddressIdentifierIndex)
language/move-binary-format/src/binary_views.rs:79
↓ 13 callersMethodapply_instruction
Transition an abstract state, `state` to the next state and add the instruction to the bytecode sequence
language/testing-infra/test-generation/src/bytecode_generator.rs:567
↓ 13 callersFunctionbase_type
(context: &Context, sp!(loc, nb_): N::Type)
language/move-compiler/src/hlir/translate.rs:442
↓ 13 callersMethodcode
(&self)
language/move-core/types/src/abi.rs:85
↓ 13 callersFunctioncompile_units
(s: &str)
language/move-vm/integration-tests/src/compiler.rs:10
↓ 13 callersMethodcontains
Checks whether a key is in the table.
language/extensions/move-table-extension/src/lib.rs:286
↓ 13 callersFunctionconvert_model_base_type
(env: &GlobalEnv, ty: &MT::Type, subst: &[BaseType])
language/move-prover/interpreter/src/concrete/ty.rs:764
↓ 13 callersMethoddefine_local
Defines a local in the most inner scope. This produces an error if the name already exists. The operation option is used for names which represent spe
language/move-model/src/builder/exp_translator.rs:368
↓ 13 callersFunctionerror_format
(b: &Type, subst: &Subst)
language/move-compiler/src/typing/core.rs:443
↓ 13 callersFunctionexp
(context: &mut Context, code: &mut IR::BytecodeBlock, e: Box<H::Exp>)
language/move-compiler/src/to_bytecode/translate.rs:944
↓ 13 callersMethodextract_literal
Extract a literal.
language/move-prover/boogie-backend/src/boogie_wrapper.rs:1318
↓ 13 callersMethodfield
(&self, offset: usize)
language/move-binary-format/src/file_format.rs:382
↓ 13 callersMethodget_field_by_offset
Gets a field by its offset.
language/move-model/src/model.rs:2606
↓ 13 callersMethodget_local_count
Gets the number of locals of this function, including parameters.
language/move-prover/bytecode/src/function_target.rs:239
↓ 13 callersMethodget_return_count
Returns the number of return values of this function.
language/move-model/src/model.rs:3394
↓ 13 callersFunctionmix_hash
(h: &mut Vec<u8>, data: &[u8])
language/documentation/examples/diem-framework/crates/crypto/src/noise.rs:196
↓ 13 callersMethodmk_bool_call
Makes a Call expression with boolean result type.
language/move-model/src/exp_generator.rs:102
↓ 13 callersMethodmodule_id
(&self)
language/move-vm/runtime/src/loader.rs:1909
↓ 13 callersMethodnew_cursor
(&self, start: usize, end: usize)
language/move-binary-format/src/file_format_common.rs:438
↓ 13 callersMethodpackage_graph
Returns the package graph for this workspace.
devtools/x-core/src/lib.rs:91
↓ 13 callersMethodprint_sym
(&self, sym: Symbol)
language/move-prover/tools/spec-flatten/src/ast_print.rs:35
↓ 13 callersFunctionread_env_var
(v: &str)
language/move-command-line-common/src/env.rs:16
↓ 13 callersMethodset_loc
(&mut self, loc: Loc)
language/move-prover/bytecode/src/function_data_builder.rs:44
↓ 13 callersMethodsign
(&self, message: &T)
language/documentation/examples/diem-framework/crates/crypto/src/ed25519.rs:237
↓ 13 callersMethodstruct_instantiation_index
Get the struct instantiation index for the alias, adds it if missing.
language/move-ir-compiler/move-ir-to-bytecode/src/context.rs:439
↓ 12 callersMethodabilities
(&self, t: &SignatureToken)
language/move-bytecode-verifier/src/type_safety.rs:66
↓ 12 callersMethodadd
( &mut self, loc: Loc, attributes: Vec<Attribute>, module: CompiledModule,
language/move-model/src/model.rs:1054
↓ 12 callersMethodadd_call
(&mut self, caller: FunctionHandleIndex, callee: FunctionHandleIndex)
language/testing-infra/test-generation/src/abstract_state.rs:134
↓ 12 callersMethodadd_node
(&mut self, node: BorrowNode)
language/move-prover/bytecode/src/borrow_analysis.rs:194
↓ 12 callersMethodas_inner
(&self)
language/move-binary-format/src/file_format_common.rs:230
↓ 12 callersMethodblocks
(&self)
language/move-compiler/src/cfgir/cfg.rs:169
↓ 12 callersMethodcargo_config
(&self)
devtools/x/src/cargo.rs:290
↓ 12 callersMethodcfg
(&self)
language/move-binary-format/src/binary_views.rs:398
↓ 12 callersMethodextend
(&mut self, other: &Self)
language/move-compiler/src/cfgir/liveness/state.rs:23
↓ 12 callersFunctionextract_test_directives
Extracts lines out of some text file where each line starts with `start` which can be a regular expressions. Returns the list of such lines with `star
language/move-prover/test-utils/src/lib.rs:20
← previousnext →301–400 of 7,036, ranked by callers