Skip to content

Latest commit

 

History

History
17 lines (11 loc) · 608 Bytes

File metadata and controls

17 lines (11 loc) · 608 Bytes

codeql_lsp_diagnostics/semantic_validation

PURPOSE

Tests that codeql_lsp_diagnostics detects semantic errors in QL code that references undefined types (e.g., UndefinedType).

INPUTS

  • ql_code: A QL query fragment referencing UndefinedType which does not exist, triggering a semantic "could not resolve type" diagnostic.

EXPECTED OUTPUTS

  • isValid is false with semantic diagnostics about unresolvable types.
  • The semantic_query.ql file remains unchanged (identical in before/ and after/).
  • Monitoring state updated to record a successful codeql_lsp_diagnostics call.