Skip to main content

entry_to_property

rapx::verify::contract::query

Function entry_to_property 

Source 
pub fn entry_to_property<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    entry: &PropertyEntry,
    param_names: &[String],
    has_names: bool,
) -> Vec<Property<'tcx>>
Expand description

Convert a single PropertyEntry from JSON into the properties it denotes.

Resolves named parameter references (e.g. "src" → "Arg_0"), normalizes explicit JSON tokens (arg:, const:, ty:), and delegates to Property::parse_list for tag-based parsing. A single entry may expand to several properties (via a compound def or any), hence the Vec return.