Package de.monticore.types3.generics.context

Class Summary

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.

Enum Summary

Enum	Description
InferenceVisitorMode	Multiple phases are required to calculate the final (compile-time) type of some expressions.