cpg-core/de.fraunhofer.aisec.cpg.passes/constructTemplateInitializationSignatureFromTemplateParameters

constructTemplateInitializationSignatureFromTemplateParameters

fun constructTemplateInitializationSignatureFromTemplateParameters(functionTemplateDeclaration: FunctionTemplateDeclaration, templateCall: CallExpression, instantiationType: MutableMap<Node?, TemplateDeclaration.TemplateInitialization?>, orderedInitializationSignature: MutableMap<Declaration, Int>, explicitInstantiated: MutableList<ParameterizedType>): MutableMap<Declaration?, Node?>?

Creates a Mapping between the Parameters of the TemplateDeclaration and the Values provided for the instantiation of the template (Only the ones that are in defined in the instantiation => no defaults or implicit). Additionally, it fills the maps and lists mentioned below:

Return

mapping containing the all elements of the signature of the TemplateDeclaration as key and the Type/Expression the Parameter is initialized with. This function returns null if the {ParameterDeclaration, TypeParameterDeclaration} do not match the provided value for initialization -> initialization not possible

Parameters

functionTemplateDeclaration

functionTemplate we have identified that should be instantiated

templateCall

callExpression that instantiates the template

instantiationType

mapping of the instantiation value to the instantiation type (depends

orderedInitializationSignature

mapping of the ordering of the template parameters

explicitInstantiated

list of all ParameterizedTypes which are explicitly instantiated