Function build_interface_substitution_map

src/virtual_members/phpdoc.rs:881–909

Build a substitution map for mixin generic resolution by zipping the parent class's `@template` parameters with the type arguments provided Build a substitution map for a directly implemented interface. Maps the interface's template parameters to the concrete types provided in the class's `@implements` generics.

(
    class: &ClassInfo,
    iface: &ClassInfo,
)

/// Maps the interface's template parameters to the concrete types provided
/// in the class's `@implements` generics.
fn build_interface_substitution_map(
    class: &ClassInfo,
    iface: &ClassInfo,
) -> HashMap<String, PhpType> {
    if iface.template_params.is_empty() {
        return HashMap::new();
    }

    let iface_short = short_name(&iface.name);

    let type_args = class
        .implements_generics
        .iter()
        .find(|(name, _)| short_name(name) == iface_short)
        .map(|(_, args)| args);

    let type_args = match type_args {
        Some(args) => args,
        None => return HashMap::new(),
    };

    let mut map = HashMap::new();
    for (i, param_name) in iface.template_params.iter().enumerate() {
        if let Some(arg) = type_args.get(i) {
            map.insert(param_name.to_string(), arg.clone());
        }
    }
    map
}

/// Build a substitution map for an interface's parent interface (interface extends).
///