422681 - gcc-dehydra: expose template paramater types

Status: RESOLVED FIXED

(Developer Infrastructure :: Source Code Analysis, enhancement)

Description

[Benjamin Smedberg]

If I have a templated type nsCOMPtr<nsIFoo> in dehydra-gcc, I want to be able to get to the nsIFoo type object. I originally thought of type.parameters, but I think that conflicts with function parameters, right?

type.instantiation = [{kind: 'class', name: 'nsIFoo', ...}]

For numeric/enum instantiations:

template<int Count>
class AutoFoo { };

for AutoFoo<40>;

type.instantiation = [{value: "40"}]

(Need this to assert things like "for any nsCOMPtr<T>, T must be a GC object")

Comment 1

[(dormant account)]

Added template:{name:"template's base name", arguments:[constants and/or types go here]} to template instantiations

Which in this case would be template:{name:"AutoFoo", arguments:["40"]}