Package de.monticore.types3.generics.util

Interface Summary

Interface	Description
CompileTimeTypeCalculator.Action	Only exists as Java is missing a ()->void functional interface.

Class Summary

Class	Description
BoundIncorporation
BoundResolution
CompileTimeTypeCalculator
ConstraintReduction
PartialFunctionInfo	describes partial SymTypeOfFunction information, used during selection of generic overloaded functions
SymTypeFreeVariableReplaceVisitor	Replaces type variables, that are free in the given enclosing scope, with inference variables.
SymTypeFreeVariableReplaceVisitor.Result	just a pair
SymTypeInferenceVariableReplaceVisitor	replaces InferenceVariables using a given map e.g., a, @code {a->int,b->float} -> int e.g., List<a>, {a->int} -> List<int> Usage: calculate(symType, replaceMap)
SymTypeVariableReplaceVisitor	replaces TypeVariables using a given map e.g., T, {T->int,U->float} -> int e.g., List<T>, {T->int} -> List<int> Usage: calculate(symType, replaceMap)
TypeParameterRelationsDefaultDelegatee	Default delegatee for TypeParameterRelations.
WildcardCapturer	Capture Conversion (s.