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