Add SetVM and GetVM methods to Debugger for TLA and extCode integration#772
Add SetVM and GetVM methods to Debugger for TLA and extCode integration#772vasusheoran wants to merge 1 commit intogoogle:masterfrom
Conversation
|
Thanks for your pull request! It looks like this may be your first contribution to a Google open source project. Before we can look at your pull request, you'll need to sign a Contributor License Agreement (CLA). View this failed invocation of the CLA check for more information. For the most up to date status, view the checks section at the bottom of the pull request. |
|
@sbarzowski Can you please take a look? |
|
Hi @johnbartholomew, Thanks for reading, best regards, |
|
I did a quick change for my own personal use. I think it's a breaking API change, so probably needs a small refactor, but here it is: |
This PR introduces two new methods,
SetVMandGetVM, to theDebuggerstruct indebugger.go. These methods provide access to the underlyingVMinstance associated with the debugger:SetVM(vm *VM): Sets theVMinstance to be used by the debugger. This allows for dynamic configuration or replacement of the VM during the debugging process, enabling the integration of TLA and ext functionality.GetVM() *VM: Returns the currentVMinstance being used by the debugger. This can be useful for inspecting or modifying the VM's state.The addition of these methods enhances the flexibility and control of the go-jsonnet debugger, making it easier to integrate TLA and ext features.