- Sort Score
- Result 10 results
- Languages All
Results 1 - 10 of 20 for substitution (0.2 sec)
-
analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/KtSymbolByFirBuilder.kt
} fun buildSubstitutor(substitutor: ConeSubstitutor): KtSubstitutor { if (substitutor == ConeSubstitutor.Empty) return KtSubstitutor.Empty(token) return when (substitutor) { is ConeSubstitutorByMap -> KtFirMapBackedSubstitutor(substitutor, this@KtSymbolByFirBuilder) is ChainedSubstitutor -> KtFirChainedSubstitutor(substitutor, this@KtSymbolByFirBuilder)
Plain Text - Registered: Fri Apr 26 08:18:10 GMT 2024 - Last Modified: Thu Mar 28 09:06:28 GMT 2024 - 32.4K bytes - Viewed (0) -
analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/components/KtFirSubstitutorFactory.kt
import org.jetbrains.kotlin.analysis.api.fir.types.KtFirType import org.jetbrains.kotlin.analysis.api.types.KtSubstitutor import org.jetbrains.kotlin.fir.resolve.substitution.ConeSubstitutorByMap internal class KtFirSubstitutorFactory( override val analysisSession: KtFirAnalysisSession ) : KtSubstitutorFactory(), KtFirAnalysisSessionComponent {
Plain Text - Registered: Fri Apr 26 08:18:10 GMT 2024 - Last Modified: Wed Mar 06 06:40:28 GMT 2024 - 1.9K bytes - Viewed (0) -
analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/components/KtFirPsiTypeProvider.kt
// to prevent the following [substituteTypeOr*] from proceeding to its own (recursive) substitution. if (type.hasRecursiveTypeArgument()) return type // Return `null` means we will use [fir.resolve.substitution.Substitutors]'s [substituteRecursive] // that literally substitutes type arguments recursively. return null }
Plain Text - Registered: Fri Apr 26 08:18:10 GMT 2024 - Last Modified: Fri Apr 12 13:29:57 GMT 2024 - 18.6K bytes - Viewed (0) -
analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/components/KtFirAnalysisSessionComponent.kt
import org.jetbrains.kotlin.fir.expressions.FirQualifiedAccessExpression import org.jetbrains.kotlin.fir.expressions.createConeSubstitutorFromTypeArguments import org.jetbrains.kotlin.fir.resolve.substitution.ConeSubstitutor import org.jetbrains.kotlin.fir.symbols.impl.FirCallableSymbol import org.jetbrains.kotlin.fir.types.* import org.jetbrains.kotlin.types.TypeCheckerState import org.jetbrains.kotlin.types.model.convertVariance
Plain Text - Registered: Fri Apr 26 08:18:10 GMT 2024 - Last Modified: Tue Mar 26 18:13:17 GMT 2024 - 4.2K bytes - Viewed (0) -
analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/components/KtFirTypeProvider.kt
} override fun getEnhancedType(type: KtType): KtType? { require(type is KtFirType) val coneType = type.coneType val substitutor = EnhancedForWarningConeSubstitutor(typeContext) val enhancedConeType = substitutor.substituteType(coneType) return enhancedConeType?.asKtType() } override fun buildSelfClassType(symbol: KtNamedClassOrObjectSymbol): KtType {
Plain Text - Registered: Fri Apr 26 08:18:10 GMT 2024 - Last Modified: Tue Feb 20 08:50:04 GMT 2024 - 16.3K bytes - Viewed (0) -
analysis/analysis-api-fe10/src/org/jetbrains/kotlin/analysis/api/descriptors/components/KtFe10CallResolver.kt
Errors.TYPE_PARAMETER_AS_REIFIED, Errors.DEFINITELY_NON_NULLABLE_AS_REIFIED, Errors.REIFIED_TYPE_FORBIDDEN_SUBSTITUTION, Errors.REIFIED_TYPE_UNSAFE_SUBSTITUTION, Errors.CANDIDATE_CHOSEN_USING_OVERLOAD_RESOLUTION_BY_LAMBDA_ANNOTATION, Errors.RESOLUTION_TO_CLASSIFIER, Errors.RESERVED_SYNTAX_IN_CALLABLE_REFERENCE_LHS,
Plain Text - Registered: Fri May 03 08:18:13 GMT 2024 - Last Modified: Mon Apr 29 12:48:54 GMT 2024 - 34.8K bytes - Viewed (0) -
analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/components/KtFirExpressionTypeProvider.kt
val substitutor = (this as? FirQualifiedAccessExpression) ?.createConeSubstitutorFromTypeArguments(rootModuleSession, discardErrorTypes = !substituteWithErrorTypes) ?: ConeSubstitutor.Empty return resolvedArgumentMapping?.mapValuesTo(LinkedHashMap()) { (_, parameter) -> SubstitutedValueParameter(parameter, substitutor.substituteOrSelf(parameter.returnTypeRef.coneType))
Plain Text - Registered: Fri Apr 26 08:18:10 GMT 2024 - Last Modified: Tue Mar 26 18:13:17 GMT 2024 - 24.4K bytes - Viewed (0) -
analysis/analysis-api-fe10/src/org/jetbrains/kotlin/analysis/api/descriptors/symbols/descriptorBased/base/Kt1DescUtils.kt
!typeProjection.isStarProjection && typeProjection.type.hasReferenceOtherThan(allowedTypeParameterDescriptors) } } } /** * Use-site substitution override are tracked through [CallableDescriptor.getOriginal]. Note that overridden symbols are accessed through * [CallableDescriptor.getOverriddenDescriptors] instead, which is separate from [CallableDescriptor.getOriginal]. */
Plain Text - Registered: Fri Apr 26 08:18:10 GMT 2024 - Last Modified: Thu Apr 25 07:15:56 GMT 2024 - 33.2K bytes - Viewed (0) -
analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/components/KtFirCallResolver.kt
var isImplicitInvoke = false // TODO: Ideally, we should get the substitutor from the candidate. But it seems there is no way to get the substitutor from the // candidate, `Candidate.substitutor` is not complete. maybe we can carry over the final substitutor if it's available from // body resolve phase? val substitutor = when (fir) {
Plain Text - Registered: Fri Apr 26 08:18:10 GMT 2024 - Last Modified: Thu Apr 25 18:05:58 GMT 2024 - 70.8K bytes - Viewed (1) -
analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/diagnostics/KtFirDataClassConverters.kt
firSymbolBuilder.classifierBuilder.buildTypeParameterSymbol(firDiagnostic.a), firDiagnostic as KtPsiDiagnostic, token, ) } add(FirErrors.REIFIED_TYPE_FORBIDDEN_SUBSTITUTION) { firDiagnostic -> ReifiedTypeForbiddenSubstitutionImpl( firSymbolBuilder.typeBuilder.buildKtType(firDiagnostic.a), firDiagnostic as KtPsiDiagnostic, token, )
Plain Text - Registered: Fri Apr 26 08:18:10 GMT 2024 - Last Modified: Wed Apr 24 09:49:26 GMT 2024 - 208.3K bytes - Viewed (0)