Known Indirect Subclasses
Apply a known prototype to the current CFG.
Use a final CFG state to refine the method wildcard prototype.
retrieveFromPrototype(List<IEGeneric> params, List<IWildcardType> rettypes)
Collect parameter EVars and return type(s).
Apply a known prototype to the current CFG. Wildcard types will be applied to EVars. New EVar may be created (eg, stack EVars, dual-slot EVars).
- CFG var copy-replacement must have been done (SSA okay as well).
- No copy-split no copy-merge must have been performed (only single copy)
Use a final CFG state to refine the method wildcard prototype. The current
IERoutineContext's wildcard prototype is updated.
Example: after analysis, a routine prototype may have been determined to be ?(?,?) (= 1 return, 2 params). The actual types have yet to be determined. The CFG instructions (after typing) may carry such information. It is especially important for return types.
Collect parameter EVars and return type(s). A prototype must exist.
|params||output array to collect parameters info|