Skip to main content

diagnostic_catalog

bock_errors::catalog

Function diagnostic_catalog 

Source 
pub fn diagnostic_catalog() -> Vec<DiagnosticCodeInfo>
Expand description

The full catalog of diagnostic codes.

Codes are grouped by the domain of the violated rule (which usually, but not always, matches the crate of origin):

  • 1xxx — lexer (bock-lexer) and name resolution (bock-air)
  • 2xxx — parser (bock-parser)
  • 4xxx — type checker (bock-types/checker)
  • 5xxx — ownership (bock-types/ownership)
  • 6xxx — effects (bock-types/effects; E6005 is emitted by the bock-air resolver and E6006 by the checker, but both report effect-system rules so they live in this family)
  • 7xxx — capabilities (bock-types/capabilities)
  • 8xxx — context-annotation system (bock-air): @context/@capability interpretation (context.rs), context validation (validate_context.rs), and capability verification / composition / PII flow (verify_capabilities.rs, compose_context.rs)