| 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])) | |
| } |