azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Improve diagnostics for unrecognized InvocationKind in contracts

Browse Source
This commit is contained in:
Dmitry Savvinov
2018-08-20 14:08:05 +03:00
committed by Ilya Gorbunov
parent e40f11ec52
commit ca20c0b0bd
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/frontend/src/org/jetbrains/kotlin/contracts/parsing/effects/PsiCallsEffectParser.kt
+8 -2
View File
@@ -46,8 +46,14 @@ internal class PsiCallsEffectParser(
val kind = when (kindArgument) {
is DefaultValueArgument -> InvocationKind.UNKNOWN
is ExpressionValueArgument -> kindArgument.valueArgument?.getArgumentExpression()?.toInvocationKind(callContext.bindingContext) ?: return null
else -> return null
is ExpressionValueArgument -> kindArgument.valueArgument?.getArgumentExpression()?.toInvocationKind(callContext.bindingContext)
else -> null
}
if (kind == null) {
val reportOn = (kindArgument as? ExpressionValueArgument)?.valueArgument?.getArgumentExpression() ?: expression
collector.badDescription("unrecognized InvocationKind", reportOn)
return null
}
return CallsEffectDeclaration(lambda, kind)