Package de.monticore.types3.generics.context

package de.monticore.types3.generics.context

Related Packages

Package	Description
de.monticore.types3.generics
de.monticore.types3.generics.bounds
de.monticore.types3.generics.constraints
de.monticore.types3.generics.util

Class	Description
InferenceContext	Context information for contextual typing, s.a.
InferenceContext4Ast	Stores context information for expressions and type identifiers, which are used (in some instances) to calculate the corresponding SymTypes.
InferenceResult	Internal results of inference.
InferenceVisitorMode	Multiple phases are required to calculate the final (compile-time) type of some expressions.