Dmitriy Dolovov
d30efdb001
The "common" subproject keeps only backend-neutral logic and depends only on :kotlinx-metadata library. It takes the name of the former project - :tools:kotlinp The "jvm" subproject depends on the "common" one and also depends on :kotlinx-metadata-jvm. It gets the new name - :tools:kotlinp-jvm There is a lot of touched files in this commit. The majority of them is just moved files (tests, test data, etc). Only the following files were actually modified: .space/CODEOWNERS build.gradle.kts libraries/tools/abi-comparator/build.gradle.kts libraries/tools/kotlinp/build.gradle.kts libraries/tools/kotlinp/jvm/build.gradle.kts plugins/kapt3/kapt3-compiler/build.gradle.kts settings.gradle ^KT-62340
76 lines
2.4 KiB
Plaintext
Vendored
76 lines
2.4 KiB
Plaintext
Vendored
// ContractsKt.class
|
|
// ------------------------------------------
|
|
package {
|
|
|
|
// requires compiler version 1.3.50 (level=ERROR)
|
|
// signature: callsInPlaceAtMostOnce(Lkotlin/jvm/functions/Function0;)V
|
|
public final inline fun callsInPlaceAtMostOnce(block: kotlin/Function0<kotlin/Unit>): kotlin/Unit
|
|
contract {
|
|
callsInPlace(p#1, InvocationKind.AT_MOST_ONCE)
|
|
}
|
|
|
|
// requires compiler version 1.3.50 (level=ERROR)
|
|
// signature: callsInPlaceUnknown(Lkotlin/jvm/functions/Function0;)V
|
|
public final inline fun callsInPlaceUnknown(block: kotlin/Function0<kotlin/Unit>): kotlin/Unit
|
|
contract {
|
|
callsInPlace(p#1)
|
|
}
|
|
|
|
// signature: complexBoolean(Ljava/lang/Object;Ljava/lang/Object;Ljava/lang/Object;Ljava/lang/Object;)V
|
|
public final fun complexBoolean(a: kotlin/Any?, b: kotlin/Any?, c: kotlin/Any?, d: kotlin/Any?): kotlin/Unit
|
|
contract {
|
|
returns() implies ((p#1 != null && p#3 != null) || (p#2 == null && p#4 != null))
|
|
}
|
|
|
|
// signature: conjunction(ZZZ)V
|
|
public final fun conjunction(a: kotlin/Boolean, b: kotlin/Boolean, c: kotlin/Boolean): kotlin/Unit
|
|
contract {
|
|
returns() implies (p#1 && p#2 && p#3)
|
|
}
|
|
|
|
// signature: disjunction(ZZZ)V
|
|
public final fun disjunction(a: kotlin/Boolean, b: kotlin/Boolean, c: kotlin/Boolean): kotlin/Unit
|
|
contract {
|
|
returns() implies (p#1 || p#2 || p#3)
|
|
}
|
|
|
|
// signature: negatedIsAndConjunction(Ljava/lang/Object;ZLjava/lang/Object;)V
|
|
public final fun negatedIsAndConjunction(a: kotlin/Any?, b: kotlin/Boolean, c: kotlin/Any?): kotlin/Unit
|
|
contract {
|
|
returns() implies (p#1 !is kotlin/collections/List<*> && p#2 && p#3 == null)
|
|
}
|
|
|
|
// signature: receiverIsNotNull(Ljava/lang/Object;)Z
|
|
public final fun kotlin/Any?.receiverIsNotNull(): kotlin/Boolean
|
|
contract {
|
|
returns(true) implies (p#0 != null)
|
|
}
|
|
|
|
// signature: returnsNotNull(Z)V
|
|
public final fun returnsNotNull(condition: kotlin/Boolean): kotlin/Unit
|
|
contract {
|
|
returnsNotNull() implies (p#1)
|
|
}
|
|
|
|
// signature: returnsNull(Z)V
|
|
public final fun returnsNull(condition: kotlin/Boolean): kotlin/Unit
|
|
contract {
|
|
returns(null) implies (p#1)
|
|
}
|
|
|
|
// signature: returnsTrue(Z)V
|
|
public final fun returnsTrue(condition: kotlin/Boolean): kotlin/Unit
|
|
contract {
|
|
returns(true) implies (p#1)
|
|
}
|
|
|
|
// module name: test-module
|
|
}
|
|
// META-INF/test-module.kotlin_module
|
|
// ------------------------------------------
|
|
module {
|
|
package <root> {
|
|
ContractsKt
|
|
}
|
|
}
|