Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/diem/move
/ set_loc
Method
set_loc
language/move-prover/bytecode/src/function_data_builder.rs:44–46 ·
view source on GitHub ↗
(&mut self, loc: Loc)
Source
from the content-addressed store, hash-verified
42
}
43
44
fn set_loc(&mut self, loc: Loc) {
45
self.current_loc = loc;
46
}
47
48
fn add_local(&mut self, ty: Type) -> TempIndex {
49
let idx = self.data.local_types.len();
Callers
12
process
Method · 0.80
instrument
Method · 0.80
emit_updates
Method · 0.80
emit_lets
Method · 0.80
emit_traces
Method · 0.80
generate_abort_block
Method · 0.80
generate_return_block
Method · 0.80
generate_modifies_check
Method · 0.80
process
Method · 0.80
set_loc_and_vc_info
Method · 0.80
process
Method · 0.80
set_loc_from_node
Method · 0.80
Calls
no outgoing calls
Tested by
8
instrument
Method · 0.64
emit_updates
Method · 0.64
emit_lets
Method · 0.64
emit_traces
Method · 0.64
generate_abort_block
Method · 0.64
generate_return_block
Method · 0.64
generate_modifies_check
Method · 0.64
process
Method · 0.64