-
-
-
-Companion
-object Companion
The Type that is being declared.
The Type that is being declared.
The Type that is being declared.
The Type that is being declared.
This interfaces specifies that this node (most likely a Declaration) declares a type. This is used by TypeResolver.resolveType to find appropriate symbols and declarations.
The Type that is being declared.
This interfaces specifies that this node (most likely a Declaration) declares a type. This is used by TypeResolver.resolveType to find appropriate symbols and declarations.
Resolves all types in TypeManager.firstOrderTypes using resolveType.
This function tries to "resolve" a Type back to the original declaration that declared it (see DeclaresType). More specifically, it harmonises the type's name to the FQN of the declared type and sets the Type.declaredFrom (and ObjectType.recordDeclaration) property. It also sets Type.typeOrigin to Type.Origin.RESOLVED to mark it as resolved.
Resolves all types in TypeManager.firstOrderTypes using resolveType.
Tries to infer a RecordDeclaration from an unresolved Type. This will return null, if inference was not possible, or if it was turned off in the InferenceConfiguration.
The translation context holds all necessary managers and configurations needed during the translation process.
Tries to infer a RecordDeclaration from an unresolved Type. This will return null, if inference was not possible, or if it was turned off in the InferenceConfiguration.