prodigy.web.diagnostics

Diagnostics for editors: parses and type-checks pGCL source and reports problems with positions, plus an outline of the program (variables, loops with their ids, queries).

Used by the web GUI; a language server can use it as well.

check_source(source)

Diagnostics and outline for source (cached, thread-safe).

Parameters:

source (str)

Return type:

Dict[str, Any]