blob: 9c86f4b6f13c92f9e0cc57d232014c0364eb74e0 [file]
FILE: maxValue.kt
@R|kotlin/annotation/Retention|(value = Q|kotlin/annotation/AnnotationRetention|.R|kotlin/annotation/AnnotationRetention.RUNTIME| [evaluated = Q|kotlin/annotation/AnnotationRetention|.R|kotlin/annotation/AnnotationRetention.RUNTIME|]) public final annotation class Ann : R|kotlin/Annotation| {
public [ContainingClassKey=Ann] constructor([CorrespondingProperty=/Ann.p1] p1: R|kotlin/Int|, [CorrespondingProperty=/Ann.p2] p2: R|kotlin/Int|, [CorrespondingProperty=/Ann.p3] p3: R|kotlin/Int|, [CorrespondingProperty=/Ann.p4] p4: R|kotlin/Int|, [CorrespondingProperty=/Ann.p5] p5: R|kotlin/Long|, [CorrespondingProperty=/Ann.p6] p6: R|kotlin/Long|): R|Ann| {
super<R|kotlin/Any|>()
}
public final [IsFromPrimaryConstructor=true] val p1: R|kotlin/Int| = R|<local>/p1|
public [ContainingClassKey=Ann] get(): R|kotlin/Int|
public final [IsFromPrimaryConstructor=true] val p2: R|kotlin/Int| = R|<local>/p2|
public [ContainingClassKey=Ann] get(): R|kotlin/Int|
public final [IsFromPrimaryConstructor=true] val p3: R|kotlin/Int| = R|<local>/p3|
public [ContainingClassKey=Ann] get(): R|kotlin/Int|
public final [IsFromPrimaryConstructor=true] val p4: R|kotlin/Int| = R|<local>/p4|
public [ContainingClassKey=Ann] get(): R|kotlin/Int|
public final [IsFromPrimaryConstructor=true] val p5: R|kotlin/Long| = R|<local>/p5|
public [ContainingClassKey=Ann] get(): R|kotlin/Long|
public final [IsFromPrimaryConstructor=true] val p6: R|kotlin/Long| = R|<local>/p6|
public [ContainingClassKey=Ann] get(): R|kotlin/Long|
}
@R|Ann|(p1 = Q|java/lang/Byte|.R|java/lang/Byte.MAX_VALUE*s|.R|kotlin/Byte.plus|(Int(1)) [evaluated = Int(128)], p2 = Q|java/lang/Short|.R|java/lang/Short.MAX_VALUE*s|.R|kotlin/Short.plus|(Int(1)) [evaluated = Int(32768)], p3 = Q|java/lang/Integer|.R|java/lang/Integer.MAX_VALUE*s|.R|kotlin/Int.plus|(Int(1)) [evaluated = Int(-2147483648)], p4 = Q|java/lang/Integer|.R|java/lang/Integer.MAX_VALUE*s|.R|kotlin/Int.plus|(Int(1)) [evaluated = Int(-2147483648)], p5 = Q|java/lang/Integer|.R|java/lang/Integer.MAX_VALUE*s|.R|kotlin/Int.plus|(Int(1).R|kotlin/Int.toLong|()) [evaluated = Long(2147483648)], p6 = Q|java/lang/Long|.R|java/lang/Long.MAX_VALUE*s|.R|kotlin/Long.plus|(Int(1)) [evaluated = Long(-9223372036854775808)]) public final class MyClass : R|kotlin/Any| {
public [ContainingClassKey=MyClass] constructor(): R|MyClass| {
super<R|kotlin/Any|>()
}
}
public final fun box(): R|kotlin/String| {
lval annotation: R|Ann| = <getClass>(Q|MyClass|).R|kotlin/jvm/java|<R|MyClass|>.R|SubstitutionOverride<java/lang/Class.getAnnotation: R|A!|>|<R|Ann!|>(<getClass>(Q|Ann|).R|kotlin/jvm/java|<R|Ann|>)!!
when () {
!=(R|<local>/annotation|.R|/Ann.p1|, Int(128)) -> {
^box <strcat>(String(fail 1, expected = ), Int(128), String(, actual = ), R|<local>/annotation|.R|/Ann.p1|)
}
}
when () {
!=(R|<local>/annotation|.R|/Ann.p2|, Int(32768)) -> {
^box <strcat>(String(fail 2, expected = ), Int(32768), String(, actual = ), R|<local>/annotation|.R|/Ann.p2|)
}
}
when () {
!=(R|<local>/annotation|.R|/Ann.p3|, Int(-2147483648)) -> {
^box <strcat>(String(fail 3, expected = ), Int(-2147483648), String(, actual = ), R|<local>/annotation|.R|/Ann.p3|)
}
}
when () {
!=(R|<local>/annotation|.R|/Ann.p4|, Int(-2147483648)) -> {
^box <strcat>(String(fail 4, expected = ), Int(-2147483648), String(, actual = ), R|<local>/annotation|.R|/Ann.p4|)
}
}
when () {
!=(R|<local>/annotation|.R|/Ann.p5|, Long(2147483648).R|kotlin/Long.toLong|()) -> {
^box <strcat>(String(fail 5, expected = ), Long(2147483648), String(, actual = ), R|<local>/annotation|.R|/Ann.p5|)
}
}
when () {
!=(R|<local>/annotation|.R|/Ann.p6|, Q|java/lang/Long|.R|java/lang/Long.MAX_VALUE*s|.R|kotlin/Long.plus|(Int(1))) -> {
^box <strcat>(String(fail 5, expected = ), Q|java/lang/Long|.R|java/lang/Long.MAX_VALUE*s|.R|kotlin/Long.plus|(Int(1)), String(, actual = ), R|<local>/annotation|.R|/Ann.p6|)
}
}
^box String(OK)
}