Treat classTweaker header as v3. Fixes #2547

Author: Earthcomputer

src/main/kotlin/platform/mcp/ct/CtAnnotator.kt

@@ -46,7 +46,7 @@ class CtAnnotator : Annotator {
             }
 
             if (element.accessElement.text.startsWith("transitive-") &&
-                element.containingFile?.childOfType<CtHeader>()?.versionString == "v1"
+                element.containingFile?.childOfType<CtHeader>()?.effectiveVersion == 1
             ) {
                 holder.newAnnotation(HighlightSeverity.ERROR, "Transitive accesses were introduced in v2").create()
             }

src/main/kotlin/platform/mcp/ct/psi/mixins/CtHeaderMixin.kt

@@ -24,6 +24,8 @@ import com.demonwav.mcdev.platform.mcp.ct.psi.CtElement
 
 interface CtHeaderMixin : CtElement {
 
+    val nameString: String
     val versionString: String?
     val namespaceString: String?
+    val effectiveVersion: Int?
 }

src/main/kotlin/platform/mcp/ct/psi/mixins/impl/CtHeaderImplMixin.kt

@@ -24,13 +24,33 @@ import com.demonwav.mcdev.platform.mcp.ct.gen.psi.CtTypes
 import com.demonwav.mcdev.platform.mcp.ct.psi.mixins.CtHeaderMixin
 import com.intellij.extapi.psi.ASTWrapperPsiElement
 import com.intellij.lang.ASTNode
+import com.intellij.openapi.diagnostic.logger
 import com.intellij.psi.PsiElement
 
 abstract class CtHeaderImplMixin(node: ASTNode) : ASTWrapperPsiElement(node), CtHeaderMixin {
+    companion object {
+        private val LOG = logger<CtHeaderImplMixin>()
+    }
+
+    override val nameString: String
+        get() = findNotNullChildByType<PsiElement>(CtTypes.HEADER_NAME).text
 
     override val versionString: String?
         get() = findChildByType<PsiElement>(CtTypes.HEADER_VERSION_ELEMENT)?.text
 
     override val namespaceString: String?
         get() = findChildByType<PsiElement>(CtTypes.HEADER_NAMESPACE_ELEMENT)?.text
+
+    override val effectiveVersion: Int?
+        get() {
+            val version = versionString?.removePrefix("v")?.toIntOrNull() ?: return null
+            return when (nameString) {
+                "accessWidener" -> version
+                "classTweaker" -> version + 2
+                else -> {
+                    LOG.error("Unknown header name: $nameString")
+                    null
+                }
+            }
+        }
 }