Skip to main content

any_entry_to_property

rapx::verify::contract::query

Function any_entry_to_property 

Source 
fn any_entry_to_property<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    disjuncts: &[AnyItem],
    param_names: &[String],
    has_names: bool,
) -> Property<'tcx>
Expand description

Parse an any disjunction entry from JSON into a Property::Or property.

Each element of disjuncts is an AnyItem:

  • Single(entry) → one-property disjunct
  • Group(entries) → conjunction group (all entries must hold for this disjunct)