Debuggers

Endpoints to manage debuggers and interact with them.

MethodPathDescriptionParametersPayload

GET

Retrieve open debuggers

-

-

POST

Create a debugger upon an given process (evaluation)

-

evaluation

GET

Retrieve frames of the debugger with a given ID

-

-

GET

Retrieve the i-th frame withing the debugger with a given ID

-

-

GET

Retrieve the bindings of the _i-th frame withing the debugger with a given ID

-

-

POST

Step over the current sentence in the debugger with a given ID

-

-

POST

Step through the current sentence in the debugger with a given ID

-

-

POST

Step into the current sentence in the debugger with a given ID

-

-

POST

Restart the debugger with a given ID

-

-

POST

Resume the process of the debugger with a given ID

-

-

POST

Terminate process being debugged and closesthe debugger with a given ID

-

-

DELETE

Closes the debugger with a given ID (terminating the process being debugged)

-

-

Last updated