fix(devins-linting): improve detection of duplicate agent IDs in DevI…

…nsDuplicateAgentInspection #101

The DevInsDuplicateAgentInspection now uses a set of `DevInUsed` objects instead of strings to more accurately detect and report duplicate agent IDs. This change ensures that the inspection correctly identifies and flags only unique agent IDs within the context of their usage, improving the precision and reliability of the linting process.

exts/devins-lang/src/main/kotlin/cc/unitmesh/devti/language/lints/DevInsDuplicateAgentInspection.kt

@@ -17,18 +17,17 @@ class DevInsDuplicateAgentInspection : LocalInspectionTool() {
     }
 
     private class DevInsDuplicateAgentVisitor(val holder: ProblemsHolder) : DevInVisitor() {
-        private var agentIds: MutableSet<String> = mutableSetOf()
+        private var agentIds: MutableSet<DevInUsed> = mutableSetOf()
 
         override fun visitUsed(o: DevInUsed) {
-            o.firstChild.let { next ->
-                if (next.nextSibling.elementType == DevInTypes.AGENT_ID) {
-                    if (agentIds.contains(next.text)) {
-                        holder.registerProblem(
-                            o,
-                            DevInBundle.message("inspection.duplicate.agent")
-                        )
-                    } else {
-                        agentIds.add(next.text)
+            if (o.firstChild.nextSibling.elementType == DevInTypes.AGENT_ID) {
+                agentIds.add(o)
+
+                if (agentIds.contains(o)) {
+                    agentIds.forEachIndexed { index, it ->
+                        if (index > 0) {
+                            holder.registerProblem(it, DevInBundle.message("inspection.duplicate.agent"))
+                        }
                     }
                 }
             }