Skip to main content

emit_dynamic_sql_facts

Function emit_dynamic_sql_facts 

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

Emit one DynamicSqlEvidence fact per recognised dynamic-SQL site. site carries the evidence — typically the logical id of the unit plus a fragment/classification summary from DynamicSqlEvidence.