blob: c71d44b8679f05a339b05dd29da8e9f7c65ae6df [file]
Module: common
FILE: common.kt
package foo
@R|org/jetbrains/kotlin/plugin/sandbox/DummyFunction|(fileName = String(commonGenerated.kt) [evaluated = String(commonGenerated.kt)]) public abstract interface CommonInterface : R|kotlin/Any| {
}
@R|org/jetbrains/kotlin/plugin/sandbox/DummyFunction|(fileName = String(commonGenerated.kt) [evaluated = String(commonGenerated.kt)]) public final class CommonClass : R|foo/CommonInterface| {
public constructor(): R|foo/CommonClass| {
super<R|kotlin/Any|>()
}
}
@R|org/jetbrains/kotlin/plugin/sandbox/DummyFunction|(fileName = String(commonGenerated.kt) [evaluated = String(commonGenerated.kt)]) public final object CommonObject : R|kotlin/Any| {
private constructor(): R|foo/CommonObject| {
super<R|kotlin/Any|>()
}
}
FILE: foo/commonGenerated.kt
package foo
public final fun dummyCommonInterface(value: R|foo/CommonInterface|): R|kotlin/String| {
^dummyCommonInterface throw R|kotlin/Throwable.Throwable|(String(Stub for declaration generated by Plugin[TopLevelDeclarationsGeneratorKey]))
}
public final fun dummyCommonClass(value: R|foo/CommonClass|): R|kotlin/String| {
^dummyCommonClass throw R|kotlin/Throwable.Throwable|(String(Stub for declaration generated by Plugin[TopLevelDeclarationsGeneratorKey]))
}
Module: platform
FILE: platform.kt
package foo
@R|org/jetbrains/kotlin/plugin/sandbox/DummyFunction|(fileName = String(platformGenerated.kt) [evaluated = String(platformGenerated.kt)]) public final class PlatformClass : R|kotlin/Any| {
public constructor(): R|foo/PlatformClass| {
super<R|kotlin/Any|>()
}
}
public final fun box(): R|kotlin/String| {
lval result1: R|kotlin/String| = R|foo/dummyCommonInterface|(R|foo/CommonClass.CommonClass|())
when () {
!=(R|<local>/result1|, String(foo.CommonInterface)) -> {
^box <strcat>(String(Error: ), R|<local>/result1|)
}
}
lval result2: R|kotlin/String| = R|foo/dummyCommonClass|(R|foo/CommonClass.CommonClass|())
when () {
!=(R|<local>/result2|, String(foo.CommonClass)) -> {
^box <strcat>(String(Error: ), R|<local>/result2|)
}
}
lval result3: R|kotlin/String| = R|foo/dummyPlatformClass|(R|foo/PlatformClass.PlatformClass|())
when () {
!=(R|<local>/result3|, String(foo.PlatformClass)) -> {
^box <strcat>(String(Error: ), R|<local>/result3|)
}
}
^box String(OK)
}
FILE: foo/platformGenerated.kt
package foo
public final fun dummyPlatformClass(value: R|foo/PlatformClass|): R|kotlin/String| {
^dummyPlatformClass throw R|kotlin/Throwable.Throwable|(String(Stub for declaration generated by Plugin[TopLevelDeclarationsGeneratorKey]))
}