MCPcopy Create free account

hub / github.com/diem/move / functions

Functions7,036 in github.com/diem/move

⨍ Functions 7,036◇ Types & classes 1,325
↓ 12 callersMethodfield_instantiation_at
( &self, idx: FieldInstantiationIndex, )
language/move-binary-format/src/binary_views.rs:201
↓ 12 callersMethodfinalize
(&self)
language/move-prover/boogie-backend/src/spec_translator.rs:350
↓ 12 callersMethodfunction_def_at
( &self, idx: FunctionDefinitionIndex, )
language/move-binary-format/src/binary_views.rs:236
↓ 12 callersMethodget_called_functions
Get the functions that this one calls
language/move-model/src/model.rs:3563
↓ 12 callersMethodget_return_types
Returns return types of this function.
language/move-model/src/model.rs:3379
↓ 12 callersMethodget_struct_id
If this is a struct type, return the associated QualifiedInstId.
language/move-model/src/ty.rs:229
↓ 12 callersMethodhas_ability_
(&self, a: Ability_)
language/move-compiler/src/expansion/ast.rs:617
↓ 12 callersMethodident_type_def_loc
(&self, ident_type: &IdentType)
language/move-analyzer/src/symbols.rs:1759
↓ 12 callersMethodindent
(&mut self, inc: usize, f: F)
language/move-compiler/src/shared/ast_debug.rs:93
↓ 12 callersMethodinto_ref_type
(self, is_mut: bool)
language/move-prover/interpreter/src/concrete/ty.rs:258
↓ 12 callersMethodinto_u64
(self)
language/move-prover/interpreter/src/concrete/value.rs:82
↓ 12 callersMethodis_empty
(&self)
language/move-compiler/src/expansion/ast.rs:601
↓ 12 callersMethodis_pragma_true
Returns the value of a boolean pragma for this function. This first looks up a pragma in this function, then the enclosing module, and finally uses th
language/move-prover/bytecode/src/function_target.rs:273
↓ 12 callersFunctionname_access_chain
( context: &mut Context, access: Access, sp!(loc, ptn_): P::NameAccessChain, )
language/move-compiler/src/expansion/translate.rs:1576
↓ 12 callersMethodnew_ref
adds and returns new id to borrow graph
language/move-bytecode-verifier/src/reference_safety/abstract_state.rs:139
↓ 12 callersFunctionpack
( verifier: &mut TypeSafetyChecker, offset: CodeOffset, struct_def: &StructDefinition, type_ar
language/move-bytecode-verifier/src/type_safety.rs:231
↓ 12 callersFunctionparse_type_actuals
(tokens: &mut Lexer)
language/move-ir-compiler/move-ir-to-bytecode/syntax/src/syntax.rs:1311
↓ 12 callersFunctionproject_root
Returns the project root. TODO: switch uses to XCoreContext::project_root instead)
devtools/x/src/utils.rs:17
↓ 12 callersMethodqualified_by_module_from_name
Qualifies the given name by the current module.
language/move-model/src/builder/module_builder.rs:180
↓ 12 callersMethodref_id
possibly extracts id from self
language/move-bytecode-verifier/src/reference_safety/abstract_state.rs:43
↓ 12 callersMethodrequire_struct
Require this to be a struct, if so extracts its content.
language/move-model/src/ty.rs:239
↓ 12 callersMethodset_loc_from_attr
Sets the default location from a code attribute id.
language/move-prover/bytecode/src/function_data_builder.rs:110
↓ 12 callersMethodtest_failure
(&mut self, test_failure: TestFailure, test_plan: &ModuleTestPlan)
language/tools/move-unit-test/src/test_reporter.rs:374
↓ 12 callersMethodtranspose
(relevance: &PerFunctionRelevance)
language/move-prover/bytecode/src/global_invariant_instrumentation.rs:53
↓ 12 callersMethodtype_is_struct
Returns true if the type is a proper struct.
language/evm/move-to-yul/src/context.rs:869
↓ 12 callersFunctionunfold_type
(subst: &Subst, sp!(loc, t_): Type)
language/move-compiler/src/typing/core.rs:1076
↓ 12 callersMethodunify
Unify two types, returning the unified type. This currently implements the following notion of type compatibility: - 1) References are dropped (i.e.
language/move-model/src/ty.rs:560
↓ 12 callersFunctionverify_module
(module: &CompiledModule)
language/move-bytecode-verifier/src/friends.rs:12
↓ 11 callersFunctionassert_single_value
(mut values: Values)
language/move-compiler/src/cfgir/borrows/state.rs:57
↓ 11 callersMethodborrow_field
(&self, idx: usize)
language/move-vm/types/src/values/values_impl.rs:836
↓ 11 callersFunctioncompile_script_string
(code: &str)
language/move-ir-compiler/src/unit_tests/testutils.rs:43
↓ 11 callersMethoddifference
Implements set difference, which is not following standard APIs for rust sets in OrdSet
language/move-prover/bytecode/src/dataflow_domains.rs:147
↓ 11 callersMethoddisassemble_sig_tok
These need to be in the context of a function or a struct definition since type parameters can refer to function/struct type parameters.
language/tools/move-disassembler/src/disassembler.rs:381
↓ 11 callersFunctionerror
(type_: SignatureToken, data: Vec<u8>, code: StatusCode)
language/move-bytecode-verifier/bytecode-verifier-tests/src/unit_tests/constants_tests.rs:204
↓ 11 callersFunctionexp
(context: &mut Context, parent_e: &Exp)
language/move-compiler/src/cfgir/eliminate_locals.rs:140
↓ 11 callersFunctionexp
(state: &mut LivenessState, parent_e: &Exp)
language/move-compiler/src/cfgir/liveness/mod.rs:119
↓ 11 callersMethodfail
(&self, fn_name: &str)
language/tools/move-unit-test/src/test_runner.rs:229
↓ 11 callersMethodfields
(&self)
language/move-core/types/src/value.rs:201
↓ 11 callersMethodfinalize_types
Finalizes types in this build, producing errors if some could not be inferred and remained incomplete.
language/move-model/src/builder/exp_translator.rs:216
↓ 11 callersFunctionfind_filenames
- For each directory in `paths`, it will return all files that satisfy the predicate - Any file explicitly passed in `paths`, it will include that fil
language/move-command-line-common/src/files.rs:55
↓ 11 callersMethodget_local_type
Gets the type of the local at index. This must use an index in the range as determined by `get_local_count`.
language/move-model/src/model.rs:3449
↓ 11 callersFunctionget_or_add_item
(m: &mut HashMap<K, TableIndex>, k: K)
language/move-ir-compiler/move-ir-to-bytecode/src/context.rs:56
↓ 11 callersMethodget_struct_qid
Gets a struct by qualified id.
language/move-model/src/model.rs:1387
↓ 11 callersMethodinternal_rewrite_id
(&mut self, id: &NodeId)
language/move-model/src/exp_rewriter.rs:323
↓ 11 callersMethodis_intrinsic
Returns true if this function is marked as intrinsic
language/move-prover/bytecode/src/function_target.rs:160
↓ 11 callersMethodis_script_module
Returns true if this is a module representing a script.
language/move-model/src/model.rs:1835
↓ 11 callersMethodjoin
(&mut self, other: &Self)
language/move-compiler/src/cfgir/locals/state.rs:95
↓ 11 callersFunctionmalformed
(type_: SignatureToken, data: Vec<u8>)
language/move-bytecode-verifier/bytecode-verifier-tests/src/unit_tests/constants_tests.rs:196
↓ 11 callersFunctionmessage
()
language/documentation/examples/diem-framework/crates/crypto/src/unit_tests/multi_ed25519_test.rs:18
↓ 11 callersFunctionparse_type
Parse a Type: Type = <NameAccessChain> ("<" Comma<Type> ">")? | "&" <Type> | "&mut" <Type> | "|" Comma<Type> "|" Type (spec only) | "(" Comma<Type>
language/move-compiler/src/parser/syntax.rs:1588
↓ 11 callersMethodreport_diag
Writes accumulated diagnostics of given or higher severity.
language/move-model/src/model.rs:919
↓ 11 callersFunctionserialize_values
(vals: I)
language/move-core/types/src/value.rs:138
↓ 11 callersMethodtest_only_hash
(&self)
language/documentation/examples/diem-framework/crates/crypto/src/hash.rs:687
↓ 11 callersMethodtoString
A string representation of the configured values, for logging purposes.
language/move-analyzer/editors/code/src/configuration.ts:21
↓ 11 callersMethodtranslate_exp_free
Translates an expression without any known type expectation. This creates a fresh type variable and passes this in as expected type, then returns a pa
language/move-model/src/builder/exp_translator.rs:915
↓ 11 callersMethodtranslate_primitive_call
(&self, fun: &str, args: &[Exp])
language/move-prover/boogie-backend/src/spec_translator.rs:1331
↓ 11 callersFunctiontvec
(s: SignatureToken)
language/move-bytecode-verifier/bytecode-verifier-tests/src/unit_tests/constants_tests.rs:192
↓ 11 callersFunctiontype_
(context: &mut Context, sp!(loc, pt_): P::Type)
language/move-compiler/src/expansion/translate.rs:1526
↓ 10 callersFunctionaddress
Access a top level address as declared, not affected by any aliasing/shadowing
language/move-compiler/src/expansion/translate.rs:258
↓ 10 callersFunctionall_natives
(move_std_addr: AccountAddress)
language/move-stdlib/src/natives/mod.rs:23
↓ 10 callersMethodargs
(&self)
language/move-core/types/src/abi.rs:93
↓ 10 callersMethodas_ref
(&self)
language/move-bytecode-verifier/invalid-mutations/src/bounds.rs:156
↓ 10 callersMethodauto_trace
(&self, loc: &Loc, exp: &Exp)
language/move-model/src/spec_translator.rs:471
↓ 10 callersFunctionboogie_type_suffix
Returns the suffix to specialize a name for the given type instance.
language/move-prover/boogie-backend/src/boogie_helpers.rs:214
↓ 10 callersMethodborrowed_by
Return the references borrowing the `id` reference The borrows are collected by first label in the borrow edge `BTreeMap<RefID, Loc>` represents all o
language/move-borrow-graph/src/graph.rs:48
↓ 10 callersFunctioncheck_errors
( env: &GlobalEnv, options: &Options, error_writer: &mut W, msg: &'static str, )
language/move-prover/src/lib.rs:177
↓ 10 callersMethodcmp
(&self, other: &Self)
language/move-analyzer/src/symbols.rs:494
↓ 10 callersFunctioncompile_expression
( context: &mut Context, function_frame: &mut FunctionFrame, code: &mut Vec<Bytecode>, exp: Ex
language/move-ir-compiler/move-ir-to-bytecode/src/compiler.rs:1065
↓ 10 callersMethodcurrent_dir
(&mut self, dir: P)
devtools/x/src/cargo.rs:96
↓ 10 callersMethoddefine_type_param
Defines a type local with duplication check
language/move-model/src/builder/module_builder.rs:1754
↓ 10 callersMethodextension
Returns the extension of the file. Returns `None` if there's no extension.
devtools/x-lint/src/file_path.rs:45
↓ 10 callersFunctionextension_equals
(path: &Path, target_ext: &str)
language/move-command-line-common/src/files.rs:120
↓ 10 callersMethodfind_module
Finds a module by name and returns an environment for it.
language/move-model/src/model.rs:1259
↓ 10 callersMethodframe_root
returns the frame root id
language/move-bytecode-verifier/src/reference_safety/abstract_state.rs:115
↓ 10 callersMethodget_bytecode
Gets the bytecode.
language/move-prover/bytecode/src/function_target.rs:278
↓ 10 callersMethodget_doc
Get documentation associated with an item at Loc.
language/move-model/src/model.rs:1443
↓ 10 callersMethodget_function_source_map
( &self, fdef_idx: FunctionDefinitionIndex, )
language/move-ir-compiler/move-bytecode-source-map/src/source_map.rs:473
↓ 10 callersMethodget_local
(&self, var: &Var_)
language/move-ir-compiler/move-ir-to-bytecode/src/compiler.rs:160
↓ 10 callersFunctionget_memory_usage
(target: &FunctionTarget<'env>)
language/move-prover/bytecode/src/usage_analysis.rs:24
↓ 10 callersMethodget_node_instantiation
Gets the type parameter instantiation associated with the given node.
language/move-model/src/model.rs:1568
↓ 10 callersMethodget_node_type
Gets the type of the given node.
language/move-model/src/model.rs:1502
↓ 10 callersMethodget_spec
Returns specification associated with this function.
language/move-prover/bytecode/src/function_target.rs:266
↓ 10 callersMethodget_struct_by_def_idx
(&self, idx: StructDefinitionIndex)
language/move-model/src/model.rs:2150
↓ 10 callersMethodget_struct_layout
Get the layout of the instantiated struct in linear memory. The result will be cached for future calls.
language/evm/move-to-yul/src/context.rs:720
↓ 10 callersMethodget_structs
Returns iterator over structs in this module.
language/move-model/src/model.rs:2169
↓ 10 callersMethodget_ty
(&self)
language/move-prover/interpreter/src/concrete/value.rs:466
↓ 10 callersMethodglobalize_signature
Globalizes a signature local to this module.
language/move-model/src/model.rs:2185
↓ 10 callersMethodid
(&self)
language/move-binary-format/src/views.rs:178
↓ 10 callersMethodindex
(&mut self, bound: usize)
language/testing-infra/module-generation/src/generator.rs:88
↓ 10 callersMethodinst_slice
(&self, tys: &[Type])
language/move-prover/boogie-backend/src/bytecode_translator.rs:392
↓ 10 callersFunctioninstantiate
(context: &mut Context, sp!(loc, t_): Type)
language/move-compiler/src/typing/core.rs:1169
↓ 10 callersMethodinto_vm_status
(self)
language/move-binary-format/src/errors.rs:55
↓ 10 callersMethodis_u64
(&self)
language/move-prover/interpreter/src/concrete/ty.rs:274
↓ 10 callersMethodis_verified
(&self)
language/move-prover/bytecode/src/function_target_pipeline.rs:56
↓ 10 callersMethoditer
(&self)
language/move-compiler/src/shared/unique_map.rs:153
↓ 10 callersFunctionjoin
( context: &mut Context, loc: Loc, msg: F, pre_t1: Type, pre_t2: Type, )
language/move-compiler/src/typing/translate.rs:903
↓ 10 callersFunctionload_struct_def_index
( cursor: &mut VersionedCursor, )
language/move-binary-format/src/deserializer.rs:134
↓ 10 callersMethodloader
get the loader
language/move-vm/runtime/src/loader.rs:1344
↓ 10 callersMethodmatches_name
Returns true if either the full name or simple name of this module matches the given string
language/move-model/src/model.rs:1809
↓ 10 callersFunctionmaterialize_type
(struct_handle: StructHandleIndex, type_args: &Signature)
language/move-bytecode-verifier/src/type_safety.rs:807
← previousnext →401–500 of 7,036, ranked by callers