Package de.monticore.types3.generics.util
package de.monticore.types3.generics.util
-
ClassDescriptionOnly exists as Java is missing a
()->voidfunctional interface.describes partial SymTypeOfFunction information, used during selection of generic overloaded functionsReplaces type variables, that are free in the given enclosing scope, with inference variables.just a pairreplaces InferenceVariables using a given map e.g.,a, @code {a->int,b->float} -> inte.g.,List<a>, {a->int} -> List<int>Usage: calculate(symType, replaceMap)replaces TypeVariables using a given map e.g., T,{T->int,U->float} -> inte.g.,List<T>, {T->int} -> List<int>Usage: calculate(symType, replaceMap)Default delegatee for TypeParameterRelations.Capture Conversion (s.