Code Editor : get_diagnostics.result