Add source info parsing

hot-reload-analysis/src/main/kotlin/org/jetbrains/compose/reload/analysis/RuntimeInstructionToken.kt

@@ -54,6 +54,24 @@ sealed class RuntimeInstructionToken {
         }
     }
 
+    data class StartSourceInfoMarker(
+        val info: SourceInfo,
+        val key: ComposeGroupKey,
+        override val instructions: List<AbstractInsnNode>
+    ) : RuntimeInstructionToken() {
+        override fun toString(): String {
+            return "StartSourceInfoMarker(${info.fileName}#${info.functionName})"
+        }
+    }
+
+    data class EndSourceInfoMarker(
+        override val instructions: List<AbstractInsnNode>
+    ) : RuntimeInstructionToken() {
+        override fun toString(): String {
+            return "EndSourceInfoMarker()"
+        }
+    }
+
     data class JumpToken(
         val jumpInsn: JumpInsnNode
     ) : RuntimeInstructionToken() {
@@ -88,6 +106,7 @@ sealed class RuntimeInstructionToken {
             return "BlockToken(${instructions.size})"
         }
     }
+
 }
 
 internal sealed class RuntimeInstructionTokenizer {
@@ -137,6 +156,8 @@ private val priorityTokenizer by lazy {
         EndRestartGroupTokenizer,
         StartReplaceGroupTokenizer,
         EndReplaceGroupTokenizer,
+        StartSourceInfoMarkerTokenizer,
+        EndSourceInfoMarkerTokenizer
     )
 }
 
@@ -233,6 +254,43 @@ private object EndReplaceGroupTokenizer : RuntimeInstructionTokenizer() {
     }
 }
 
+private object StartSourceInfoMarkerTokenizer : RuntimeInstructionTokenizer() {
+    override fun nextToken(context: TokenizerContext): Either<RuntimeInstructionToken, Failure>? {
+        val expectedKey = context[-3] ?: return null
+        val expectedLdc = context[-2] ?: return null
+        val expectedMethodInsn = context[1] ?: return null
+
+        if (expectedMethodInsn is MethodInsnNode &&
+            MethodId(expectedMethodInsn) == MethodIds.Composer.sourceInformationMarkerStart
+        ) {
+            val groupKey = expectedKey.intValueOrNull() ?: return null
+            val info = expectedLdc.stringValueOrNull() ?: return Failure(
+                "Failed parsing StartSourceInfoMarker token: expected LDC string value"
+            ).toRight()
+            val parsedInfo = parseSourceInfo(info)
+
+            return RuntimeInstructionToken.StartSourceInfoMarker(
+                parsedInfo,
+                ComposeGroupKey(groupKey),
+                listOf(expectedLdc, expectedMethodInsn)
+            ).toLeft()
+        }
+
+        return null
+    }
+}
+
+private object EndSourceInfoMarkerTokenizer : RuntimeInstructionTokenizer() {
+    override fun nextToken(context: TokenizerContext): Either<RuntimeInstructionToken, Failure>? {
+        val expectedMethodIns = context[0] as? MethodInsnNode ?: return null
+        if (MethodId(expectedMethodIns) == MethodIds.Composer.sourceInformationMarkerEnd) {
+            return RuntimeInstructionToken.EndSourceInfoMarker(listOf(expectedMethodIns)).toLeft()
+        }
+
+        return null
+    }
+}
+
 
 private object BlockTokenizer : RuntimeInstructionTokenizer() {
     override fun nextToken(context: TokenizerContext): Either<RuntimeInstructionToken, Failure>? {

hot-reload-analysis/src/main/kotlin/org/jetbrains/compose/reload/analysis/RuntimeInstructionTree.kt

@@ -206,6 +206,27 @@ private fun parseRuntimeInstructionTree(
 
                 break
             }
+
+            is StartSourceInfoMarker -> {
+                val child = parseRuntimeInstructionTree(
+                    group = currentToken.key,
+                    type = RuntimeScopeType.SourceInformationMarker,
+                    tokens = tokens,
+                    startIndex = currentIndex + 2,
+                    endIndex = endIndex,
+                    consumed = listOf(currentToken)
+                ).leftOr { return it }
+                children += child
+                index = child.lastIndex + 2
+            }
+
+            is EndSourceInfoMarker -> {
+                if (type != RuntimeScopeType.SourceInformationMarker) {
+                    return Failure("EndSourceInfoMarker is not allowed in $type scope").toRight()
+                }
+                consumed += currentToken
+                break
+            }
         }
     }
 

hot-reload-analysis/src/main/kotlin/org/jetbrains/compose/reload/analysis/SourceInfo.kt

@@ -0,0 +1,169 @@
+package org.jetbrains.compose.reload.analysis
+
+import org.jetbrains.compose.reload.core.createLogger
+
+data class SourceInfo(
+    val functionName: String,
+    val isLambda: Boolean,
+    val isInline: Boolean,
+    val parameters: Parameters?,
+    val locations: List<Location>,
+    val fileName: String,
+    val hash: String?
+) {
+    data class Location(val line: Int, val start: Int, val offset: Int = -1)
+    data class Parameters(val data: String, val offset: Int)
+}
+
+internal fun SourceInfo.Parameters.asSequence(): Sequence<Int> {
+    return this.data.asSequence()
+}
+
+/**
+ * Parses parameters sequence:
+ * - `1,2,3` > `[1, 2, 3]`
+ * - `` > `[]`
+ * - `!3` > `[0, 1, 2]`
+ * - `1,!3` > `[1, 0, 1, 2]`
+ */
+internal fun String.asSequence(): Sequence<Int> {
+    return if (this.isEmpty()) emptySequence()
+    else this.split(",").asSequence().flatMap {
+        if (it.startsWith("!")) {
+            val fact = it.drop(1).toIntOrDefault(0)
+            List(fact) { n -> n }
+        } else listOf(it.toIntOrDefault(-1))
+    }
+}
+
+private val stringNameRegex = Regex("""^\(([^)]+)\)""")
+private val intNameRegex = Regex("^\\d+")
+private val paramsRegex = Regex("""^P\(([^)]+)\)(\d+)""")
+private val regexLocations = Regex("""@(\d+)[Ll](\d+),?(\d+)?(?=@|:)""")
+
+/**
+ * Source info consists of the next parts:
+ * 1. Optional `C` which indicates that function is inlined
+ * 2. Function name, always starts from `C` and follow one of the formats:
+ *    * `C(NAME)`, where `NAME` is any string, for example `C(remember)`
+ *    * `CNAME`, where `NAME` is number, for example `C55`. Also such name indicates that the function is lambda
+ *    * Or no name.
+ * 3. Optional parameters info, which have format `P(INFO)OFFSET`, where `INFO` is list of integers and factorials and `OFFSET` is number.
+ *    For example `P(1,!2,3)222`. See [asSequence]
+ * 4. List of locations where every location has format `@LINELSTART,OFFSET` where:
+ *    * every location starts with `@`
+ *    * followed by `LINE` which represent number
+ *    * `L` char
+ *    * `START` - any number
+ *    * `,` char
+ *    * Optional `OFFSET`
+ * 5. Then `#` char
+ * 6. Optional string, which represents hash
+ *
+ * See [org.jetbrains.compose.reload.analysis.tests.SourceInfoParsingTest] for detailed examples.
+ */
+internal fun parseSourceInfo(rawInfo: String): SourceInfo {
+
+    var info = rawInfo
+    var isInline = false
+    var isLambda = false
+    var functionName = ""
+    var parameters: SourceInfo.Parameters? = null
+    val locations = mutableListOf<SourceInfo.Location>()
+    var fileName: String?
+    var hash: String? = null
+
+    info = info.dropFirst("CC") { isInline = it != null }
+
+    if (!isInline) info = info.dropFirst("C")
+
+    if (!info.startsWith('(')) isLambda = true
+
+    if (isLambda) {
+        info = info.dropFirst(intNameRegex) { lambdaId ->
+            functionName = lambdaId ?: ""
+        }
+    } else {
+        info = info.dropFirst(stringNameRegex) {
+            val dropLast = it?.drop(1)?.dropLast(1)
+            functionName = if (dropLast != null) dropLast else {
+                logger.warn("Unable to parse source info function name: $info")
+                "invalid-named-function-name"
+            }
+        }
+    }
+
+    info = info.dropFirstGroup(paramsRegex) {
+        val params = it.getOrNull(1)
+        val paramsN = it.getOrNull(2)?.toIntOrNull()
+        if (params != null && paramsN != null) {
+            parameters = SourceInfo.Parameters(params, paramsN)
+        }
+    }
+
+    info = info.dropAllGroups(regexLocations) { groups ->
+        groups.chunked(4).forEach { loc ->
+            loc[1].toIntOrNull()
+            locations.add(
+                SourceInfo.Location(
+                    line = loc.getOrNull(1).toIntOrDefault(-1),
+                    start = loc.getOrNull(2).toIntOrDefault(-1),
+                    offset = loc.getOrNull(3).toIntOrDefault(-1),
+                )
+            )
+        }
+        println(groups)
+    }
+
+    info = info.dropFirst(":")
+
+    info.split('#').run {
+        fileName = this.getOrNull(0)
+        if (this.size == 2) hash = this.getOrNull(1)
+    }
+
+    return SourceInfo(
+        functionName = functionName,
+        isLambda = isLambda,
+        isInline = isInline,
+        parameters = parameters,
+        locations = locations,
+        fileName = fileName ?: "invalid-file-name",
+        hash = hash
+    )
+
+}
+
+private fun String.dropFirst(str: String, andGet: (String?) -> Unit = {}): String {
+    return if (this.startsWith(str)) this.replaceFirst(str, "").also { andGet(str) }
+    else this.also { andGet(null) }
+}
+
+private fun String.dropFirst(regex: Regex, andGet: (String?) -> Unit = {}): String {
+    val match = regex.find(this)
+    return if (match != null) this.removeRange(match.range).also { andGet(match.value) }
+    else this.also { andGet(null) }
+}
+
+private fun String.dropFirstGroup(regex: Regex, andGet: (List<String>) -> Unit = {}): String {
+    val matchResult = regex.find(this)
+    return if (matchResult != null) {
+        regex.replace(this, "").also { andGet(matchResult.groupValues) }
+    } else {
+        this.also { andGet(emptyList()) }
+    }
+}
+
+private fun String.dropAllGroups(regex: Regex, andGet: (List<String>) -> Unit = {}): String {
+    val matchResult = regex.findAll(this).toList()
+    return if (matchResult.isNotEmpty()) {
+        regex.replace(this, "")
+            .also { andGet(matchResult.flatMap { match -> match.groups.map { group -> group?.value ?: "" } }) }
+    } else {
+        this.also { andGet(emptyList()) }
+    }
+}
+
+private fun String?.toIntOrDefault(i: Int = 0): Int = this?.toIntOrNull() ?: i
+
+private val logger = createLogger()

hot-reload-analysis/src/main/kotlin/org/jetbrains/compose/reload/analysis/asmUtils.kt

@@ -27,6 +27,10 @@ internal fun AbstractInsnNode.intValueOrNull(): Int? {
     }
 }
 
+internal fun AbstractInsnNode.stringValueOrNull(): String? {
+    return (this as? LdcInsnNode)?.cst as? String
+}
+
 internal fun MethodNode.readFunctionKeyMetaAnnotation(): ComposeGroupKey? {
     val functionKey = visibleAnnotations.orEmpty().find { annotationNode ->
         annotationNode.desc == functionKeyMetaConstructorDescriptor

hot-reload-analysis/src/main/kotlin/org/jetbrains/compose/reload/analysis/ids.kt

@@ -32,9 +32,9 @@ internal object MethodIds {
         )
 
         val sourceInformationMarkerStart = MethodId(
-            composerClazzId,
+            composerKtClazzId,
             methodName = sourceInformationMarkerStartMethodName,
-            methodDescriptor = "(ILjava/lang/String;)V"
+            methodDescriptor = "(Landroidx/compose/runtime/Composer;ILjava/lang/String;)V"
         )
 
         val endReplaceGroup = MethodId(
@@ -50,9 +50,9 @@ internal object MethodIds {
         )
 
         val sourceInformationMarkerEnd = MethodId(
-            composerClazzId,
+            composerKtClazzId,
             methodName = sourceInformationMarkerEndMethodName,
-            methodDescriptor = "()V"
+            methodDescriptor = "(Landroidx/compose/runtime/Composer;)V"
         )
 
     }