blob: 25990fe6001582a36404aa101e745d956527c8fb [file]
FILE: stringOperations.kt
public final fun <T> R|T|.id(): R|T| {
^id this@R|/id|
}
public final const [EvaluatedValue=String(123)] val someStr: R|kotlin/String| = String(123)
public get(): R|kotlin/String|
public final const [EvaluatedValue=String(other)] val otherStr: R|kotlin/String| = String(other)
public get(): R|kotlin/String|
public final const [EvaluatedValue=Int(1)] val oneVal: R|kotlin/Int| = Int(1)
public get(): R|kotlin/Int|
public final const [EvaluatedValue=UInt(1)] val oneUnsignedVal: R|kotlin/UInt| = UInt(1)
public get(): R|kotlin/UInt|
public final const [EvaluatedValue=String(123other)] val plus1: R|kotlin/String| = R|/someStr|.R|kotlin/String.plus|(R|/otherStr|)
public get(): R|kotlin/String|
public final const [EvaluatedValue=String(1231)] val plus2: R|kotlin/String| = R|/someStr|.R|kotlin/String.plus|(R|/oneVal|)
public get(): R|kotlin/String|
public final const [EvaluatedValue=String(1231)] val plus3: R|kotlin/String| = R|/someStr|.R|kotlin/String.plus|(R|/oneUnsignedVal|)
public get(): R|kotlin/String|
public final const [EvaluatedValue=Int(3)] val length1: R|kotlin/Int| = R|/someStr|.R|kotlin/String.length|
public get(): R|kotlin/Int|
public final const [EvaluatedValue=Int(5)] val length2: R|kotlin/Int| = R|/otherStr|.R|kotlin/String.length|
public get(): R|kotlin/Int|
public final const [EvaluatedValue=Char(1)] val get1: R|kotlin/Char| = R|/someStr|.R|kotlin/String.get|(Int(0))
public get(): R|kotlin/Char|
public final const [EvaluatedValue=Char(t)] val get2: R|kotlin/Char| = R|/otherStr|.R|kotlin/String.get|(R|/oneVal|)
public get(): R|kotlin/Char|
public final const [EvaluatedValue=Int(0)] val compareTo1: R|kotlin/Int| = R|/someStr|.R|kotlin/String.compareTo|(String(123))
public get(): R|kotlin/Int|
public final const [EvaluatedValue=Int(-62)] val compareTo2: R|kotlin/Int| = R|/someStr|.R|kotlin/String.compareTo|(R|/otherStr|)
public get(): R|kotlin/Int|
public final const [EvaluatedValue=Int(62)] val compareTo3: R|kotlin/Int| = R|/otherStr|.R|kotlin/String.compareTo|(R|/someStr|)
public get(): R|kotlin/Int|
public final const [EvaluatedValue=Boolean(true)] val equals1: R|kotlin/Boolean| = ==(R|/someStr|, String(123))
public get(): R|kotlin/Boolean|
public final const [EvaluatedValue=Boolean(false)] val equals2: R|kotlin/Boolean| = ==(R|/someStr|, R|/otherStr|)
public get(): R|kotlin/Boolean|
public final const [EvaluatedValue=Boolean(false)] val equals3: R|kotlin/Boolean| = ==(R|/otherStr|, R|/someStr|)
public get(): R|kotlin/Boolean|
public final const [EvaluatedValue=String(123)] val toString1: R|kotlin/String| = R|/someStr|.R|kotlin/String.toString|()
public get(): R|kotlin/String|
public final fun box(): R|kotlin/String| {
when () {
!=(R|/plus1|.R|/id|<R|kotlin/String|>(), String(123other)) -> {
^box String(Fail 1.1)
}
}
when () {
!=(R|/plus2|.R|/id|<R|kotlin/String|>(), String(1231)) -> {
^box String(Fail 1.2)
}
}
when () {
!=(R|/plus3|.R|/id|<R|kotlin/String|>(), String(1231)) -> {
^box String(Fail 1.3)
}
}
when () {
!=(R|/length1|.R|/id|<R|kotlin/Int|>(), Int(3)) -> {
^box String(Fail 2.1)
}
}
when () {
!=(R|/length2|.R|/id|<R|kotlin/Int|>(), Int(5)) -> {
^box String(Fail 2.2)
}
}
when () {
!=(R|/get1|.R|/id|<R|kotlin/Char|>(), Char(1)) -> {
^box String(Fail 3.1)
}
}
when () {
!=(R|/get2|.R|/id|<R|kotlin/Char|>(), Char(t)) -> {
^box String(Fail 3.2)
}
}
when () {
!=(R|/compareTo1|.R|/id|<R|kotlin/Int|>(), Int(0)) -> {
^box String(Fail 4.1)
}
}
when () {
CMP(>=, R|/compareTo2|.R|kotlin/Int.compareTo|(Int(0))) -> {
^box String(Fail 4.2)
}
}
when () {
CMP(<=, R|/compareTo3|.R|kotlin/Int.compareTo|(Int(0))) -> {
^box String(Fail 4.3)
}
}
when () {
!=(R|/equals1|.R|/id|<R|kotlin/Boolean|>(), Boolean(true)) -> {
^box String(Fail 5.1)
}
}
when () {
!=(R|/equals2|.R|/id|<R|kotlin/Boolean|>(), Boolean(false)) -> {
^box String(Fail 5.2)
}
}
when () {
!=(R|/equals3|.R|/id|<R|kotlin/Boolean|>(), Boolean(false)) -> {
^box String(Fail 5.3)
}
}
when () {
!=(R|/toString1|.R|/id|<R|kotlin/String|>(), String(123)) -> {
^box String(Fail 6.1)
}
}
^box String(OK)
}