Skip to main content

emit_exception_handler_facts

plsql_ir::fact_emit

Function emit_exception_handler_facts 

Source 
pub fn emit_exception_handler_facts<I>(
    store: &mut FactStore,
    prov: &FactProvenance,
    sites: I,
) -> usize
where
    I: IntoIterator<Item = ExceptionHandlerSite>,
Expand description

Emit one ExceptionHandler fact per detected handler so QUAL001 / QUAL004 can consume them via by_kind like every other fact-based rule.