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

Load of testdata change due to contracts publishing

Browse Source 
See changes in e2606b72bdbec2fea567d4127197707869eb801e
This commit is contained in:
Dmitry Savvinov
2018-07-27 16:43:19 +03:00
committed by Ilya Gorbunov
parent accbd07b2e
commit ee8702d21e
93 changed files with 187 additions and 95 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/booleanComparisons.kt
Vendored
+2 -1
View File
@@ -1,7 +1,8 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER
import kotlin.internal.contracts.*
import kotlin.contracts.*
fun foo(b: Boolean): Boolean {
contract {
compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/callInContractDescription.kt
Vendored
+2 -1
View File
@@ -1,7 +1,8 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER
import kotlin.internal.contracts.*
import kotlin.contracts.*
fun bar(x: Int): Boolean = x == 0
compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/nestedConditionalEffects.kt
Vendored
+2 -1
View File
@@ -1,7 +1,8 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER
import kotlin.internal.contracts.*
import kotlin.contracts.*
fun foo(boolean: Boolean) {
contract {
compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/notFirstStatement.kt
Vendored
+2 -1
View File
@@ -1,7 +1,8 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER
import kotlin.internal.contracts.*
import kotlin.contracts.*
fun foo(y: Boolean) {
val <!UNUSED_VARIABLE!>x<!>: Int = 42
compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/referenceToProperty.kt
Vendored
+2 -1
View File
@@ -1,7 +1,8 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER
import kotlin.internal.contracts.*
import kotlin.contracts.*
class Foo(val x: Int?) {
fun isXNull(): Boolean {
compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/unlabeledReceiver.kt
Vendored
+3 -2
View File
@@ -1,11 +1,12 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER
import kotlin.internal.contracts.*
import kotlin.contracts.*
fun Any?.foo(): Boolean {
contract {
returns(true) implies (<!ERROR_IN_CONTRACT_DESCRIPTION(only references to parameters are allowed. Did you miss label on <this>?)!>this<!> <!EQUALS_MISSING!>!=<!> null)
returns(true) implies (<!SENSELESS_COMPARISON!><!ERROR_IN_CONTRACT_DESCRIPTION(only references to parameters are allowed. Did you miss label on <this>?)!>this<!> != null<!>)
}
return this != null
}