(tool_id: i32, name: &str, vm: &VirtualMachine)
| 538 | } |
| 539 | |
| 540 | fn use_tool_id(tool_id: i32, name: &str, vm: &VirtualMachine) -> PyResult<()> { |
| 541 | let tool = check_valid_tool(tool_id, vm)?; |
| 542 | let mut state = vm.state.monitoring.lock(); |
| 543 | if state.tool_names[tool].is_some() { |
| 544 | return Err(vm.new_value_error(format!("tool {tool_id} is already in use"))); |
| 545 | } |
| 546 | state.tool_names[tool] = Some(name.to_owned()); |
| 547 | Ok(()) |
| 548 | } |
| 549 | |
| 550 | fn clear_tool_id(tool_id: i32, vm: &VirtualMachine) -> PyResult<()> { |
| 551 | let tool = check_valid_tool(tool_id, vm)?; |