Last updated
Last updated
Endpoints to manage debuggers and interact with them.
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)
-
-