KaUnificationSubstitutorPolicy¶
enum class KaUnificationSubstitutorPolicy : Enum<KaUnificationSubstitutorPolicy>
KaUnificationSubstitutorPolicy determines the way unification KaSubstitutors are created in createSubtypingUnificationSubstitutor. Note that the policy only affects the construction when at least one of the involved types is generic, i.e., depends on a type parameter.
Entries¶
ASSIGN_LEFT¶
Requires that there exists an instantiation of the left type parameters such that the left type is a subtype of the right type when substituted. Type parameters of the right type are treated as fixed.
ASSIGN_RIGHT¶
Requires that there exists an instantiation of the right type parameters such that the right type is a supertype of the left type when substituted. Type parameters of the left type are treated as fixed.
ASSIGN_ALL¶
Requires that there exists an instantiation of the left and right type parameters such that the substituted left type is a subtype of the substituted right type.
Companion properties¶
entries¶
Returns an immutable kotlin.enums.EnumEntries list containing the constants of this enum type, in the order they're declared.
Companion functions¶
valueOf¶
fun valueOf(value: String): KaUnificationSubstitutorPolicy
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
Throws
kotlin.IllegalArgumentException-
if this enum type has no constant with the specified name
values¶
Returns an array containing the constants of this enum type, in the order they're declared.
This method may be used to iterate over the constants.
The function returns a new instance of the array on every call. The array could be mutated, so working with it may also require defensive copying. Consider using entries property as a more efficient alternative returning an immutable list of enum entries.