how to add parameters to a class constructor？ I want to add parameters to a primary constructor in SyntheticResolveExtension, but it failed the code is： in SyntheticResolveExtension: override fun generateSyntheticClasses( thisDescriptor: ClassDescriptor, name: Name, ctx: LazyClassContext, declarationProvider: ClassMemberDeclarationProvider, result: MutableSet<ClassDescriptor> ) { if (!thisDescriptor.annotatedAsDeepCopiableDataClass()) { return } if(name.identifier=="sub") { result += trackableSubClass(thisDescriptor); } } private fun trackableSubClass( thisDescriptor: ClassDescriptor ): ClassDescriptorImpl = object : ClassDescriptorImpl( thisDescriptor, Name.identifier(SUBCLASS_NAME), Modality.FINAL, ClassKind.CLASS, emptyList<KotlinType>(), thisDescriptor.source, false, LockBasedStorageManager.NO_LOCKS ) { override fun getUnsubstitutedMemberScope(): MemberScope { return MemberScope.Empty } }.apply { val a = ClassConstructorDescriptorImpl.create( this, Annotations.EMPTY, true, this.source ) val b = ValueParameterDescriptorImpl( containingDeclaration = a, original = null, index = 0, annotations = Annotations.EMPTY, name = Name.identifier("d"), outType = thisDescriptor.builtIns.longType, declaresDefaultValue = true, isCrossinline = false, isNoinline = false, varargElementType = null, source = a.source, ) a.initialize( listOf(b), DescriptorVisibilities.PUBLIC, ) a.returnType = this.defaultType this.initialize( MemberScope.Empty, setOf(a), a ) } in IrElementTransformerVoidWithContext: fun IrClass.createSub(pluginContext: IrPluginContext){ val constructorOfAny = pluginContext.irBuiltIns.anyClass.owner.constructors.first() primaryConstructor!!.body=factory.createBlockBody( startOffset, endOffset, listOf( IrDelegatingConstructorCallImpl( startOffset, endOffset, pluginContext.irBuiltIns.unitType, constructorOfAny.symbol, 0, constructorOfAny.valueParameters.size ).apply { primaryConstructor!!.valueParameters.forEachIndexed { idx, parameter -> println(idx) println(parameter) putValueArgument(idx, IrGetValueImpl(startOffset, endOffset, parameter.type, parameter.symbol)) } }, IrInstanceInitializerCallImpl(startOffset, endOffset, symbol, pluginContext.irBuiltIns.unitType) ) ) } the error is : e: java.lang.AssertionError: org.jetbrains.kotlin.ir.expressions.impl.IrDelegatingConstructorCallImpl@2169d6d4: No such value argument slot: 0 at org.jetbrains.kotlin.ir.expressions.IrMemberAccessExpression.putValueArgument( )

Mildly irritating:

try {
  TODO()
} catch (e: Exception) {
  if (e.cause is AuthenticationException) {
    throw e.cause // does not compile!
  }
  throw e
}

Gives me compiler error

Smart cast to 'AuthenticationException' is impossible, because 'e.cause' is a property that has open or custom getter

. But all I'm doing with it is throwing it, and the only requirement of

throw

is that it's a

Throwable

- which it definitely is.

I see that implementing

equals

for value classes is not allowed. Which kind of makes sense, but what about arrays? I have a

value class Ints(val array: IntArray)

which fails on equality checks, because it won’t use contentEquals. Is this going to change in the future?

hi, how do I specify the KType

java.util.UUID!

, not

java.util.UUID

nor

java.util.UUID?

? e.g. in

register<UUID?>(Arb.uuid())

The Kotlin compiler uses PSI classes too, don’t it? So how does the Kotlin compiler create the psi classes? Do you really run a headless IntelliJ instance? The custom language plugin tutorial and its parsers heavily based on virtual files and IntelliJ project service 🤔

Is there any example of a working K2 plugin that builds outside of the Kotlin repo? I see all the ones inside the Kotlin repo use the "jps-compatible" plugin, but I am not sure what that is or how that works.

Is it possible to disable a specific warning as a compiler argument ? Like I want to disable the

unused

warning specifically for multiple gradle projects using my main

build.gradle.kts

or a gradle plugin included in all the plugins to avoid having the warning everywhere.

This message was deleted.

Any FIR way to find all library methods that have a specific annotation?

FirPredicateBasedProvider

seems to only work for the files being compiled. Is there a simple way to loop over all imported library methods and filter them manually? Or would that be too costly? I can see how to find the FQNs for imported packages and methods, but then I'm not sure how to loop over their "visible" methods. I'm doing this for caching reasons, so if I accidentally get methods that aren't visible, that's still fine. In other words, I'm looking for the FIR equivalent of

module.getPackage(fqName).memberScope.getContributedDescriptors()

Hello!

class A<T>(
  val klass: KClass<T> // compilation error if T is not T : Any. But I can't make it T : Any, cause see test function declaration below
) {

  fun test(a: T) {
    if (a == null) {
      println("Value is null")
    } else {
      // use a::class 
    }	
  }

}

How to tell compiler that KClass must use T!! while in function test T's nullable must depends on actual T's nullability?

Hi! I am trying to set up a standalone environment to play around with building a language server. I am new to the compiler internals, and I know that

KotlinCoreProjectEnvironment#project

can be used to obtain services (

PsiManager

,

PsiFileFactory

...). But I am wondering whether the

KotlinCoreProjectEnvironment

is a one-time use only so that when any files in a root directory change, the whole environment needs to be recreated. I can obtain a

PsiFile

instance through

PsiManager

but I cannot call

PsiManager#reloadFromDisk

when a file change because that throws

Missing extension point: com.intellij.psi.treeChangePreprocessor in container com.intellij.mock.MockProject@4a8355dd

.Am I doing this wrong or are there other ways to do it? It also seems that I can only add a root (as a directory or a jar) through

JavaCoreProjectEnvironment#addSourcesToClassPath

or

JavaCoreProjectEnvironment#addJarToClassPath

but cannot remove them. I tried looking into

intellij-community

and it seems to use a

ProjectExImpl

instance but not sure where it registers all its services or how it manages text changes in a file. Any help would be appreciated!

Are there any updates as to when a stable compiler plugin API is going to be ready? Last I heard it was unofficially 1.8 or 1.9, but also possible later 😅

Hi I'm trying to access the classes and types at https://github.com/JetBrains/kotlin/blob/ddc72db0de5a707ffafa2fac15a1b887ed903800/[…]tree/tree-generator/src/org/jetbrains/kotlin/fir/tree/generator but I can't find an artifact where those are published. Is there an artifact published for the FIR / IR Tree Generators the compiler uses to generate the source files for those models? thanks!

Would it be possible to make this warning configurable when using

"-Xuse-fast-jar-file-system"

?

w: Using new faster version of JAR FS: it should make your build faster, but the new implementation is experimental

We’d like to take through its paces in our repo and test it out, but we also can’t afford to disable

-Werror

. Can file a report on YouTrack too if that’s easier edit: went ahead and filed https://youtrack.jetbrains.com/issue/KT-54928

is it possible to get method parameters named from method invocation? example: org.jetbrains.kotlin.psi.KtDotQualifiedExpression = DOT_QUALIFIED_EXPRESSION [SomeClass().someMethod( 1, 2, "aaa" )] I like to know all names of the argument of someMethod

I think there was some discussion of this earlier - is there any proposal to make anonymous objects have an associated type capturing their members?

Hello 👋 I just hit a compiler issue (on a simple

SpringBootTest

class) with

Recursion detected in a lazy value under LockBasedStorageManager@3d437e74 (TopDownAnalyzer for JVM)
The root cause java.lang.AssertionError was thrown at: org.jetbrains.kotlin.resolve.lazy.descriptors.LazyClassDescriptor.getModality(LazyClassDescriptor.java:538)

when I have both

Spring

and

kotlinx.serialization

plugins applied (test is starting a SpringBoot app and then using WebClient to pass kotlinx serialized Strings - its an integration test for a lib). Fails with both Kotlin

1.5.31

and

1.6.10

. Removing one of the plugins solves the compilation issue but it means I cannot test the above scenario. Sounds like this is the issue -> https://youtrack.jetbrains.com/issue/KT-41341 Just wondering if anyone hit similar problem and whether they have any suggestions for some workarounds? --- edit --- correction: Exception is not actually thrown from

SpringBootTest

but from a generated

Serializable

class that is invoked during a test. Serialization using

kotlinx.serialization

works fine on the generated class when Spring plugin is omitted.

Hi! Is there a FIR equivalent to the

DiagnosticSuppressor

? I'm currently prototyping a plugin which slightly tweaks the behavior of a few checks by reimplementing them and suppressing the relevant diagnostics reported by the default ones. This seems to be feasible in K1 but I didn't find a way to suppress diagnostics in such a case using FIR yet.

hello compiler friends. i am thinking of a compiler plugin that i would like to build but i wanted to ask a few questions first, to determine whether it is possible within the current architecture. is this the right place?

Just wonder why need both fir and ir? Why not to have only one single middle ir?

Are there any plans to address the slow hot-reload for JS. I've seen that incremental compilation will be default for 1.8.0 but I remember reading that it's not a big improvement. It is is a real productivity problem for us to wait for the browser to refresh the page. I am willing to put some effort into this if there are no current plans. Ideas: • replace webpack with es • make webpack optional, use modules directly without DCE and minimization (for development) • implement a proper multi-module approach Your opinion about this is most welcome. The JS community would welcome faster development very much and it would open new possibilities for Kotlin.

Hi, i am writing a compiler plugin. I have difficulties calling a method on an object (property of a class). For example, with static methods I do it with `pluginContext.referenceFunctions(FqName("kotlin.io.println")); irCall(funPrintln) ...``. Can anyone give me a tip on how this works with functions on an instance? Thanks!

hello kotlin compiler experts, i have a question about how to debug the invocation of a compiler plugin. i know about

org.gradle.debug=true

and

in-process

mode for the Kotlin compiler, but it still doesn't hit my breakpoints within the plugin. the plugin is in a composite build, and i am running the compile from the parent build -- my hope is to apply the plugin within the parent build. so far, i'm able to confirm that the following is working correctly: • the gradle sub-plugin which hosts the compiler plugin is applied (i hit a breakpoint here) • the gradle sub-plugin correctly states that it

isApplicable

• the plugin JAR ends up on the command line at

-Xplugin=

• the plugin args end up on the command line at

[..., -P, ":plugin:<name>:enabled=true,..."]

despite all of this: • a test that verifies the plugin's effects fails • i cannot hit breakpoints within the compiler plugin, but i can within the gradle script • i do not see log messages reported via

<http://CompilerMessageSeverity.INFO|CompilerMessageSeverity.INFO>

• i do not see log messages reported via

CompilerMessageSeverity.LOGGING

• but then again maybe the plugin isn't running, or isn't hitting that code? has anybody seen this before? thank you in advance for any help

hey all -- nevermind, i solved it 🙂 was missing a service file for

org.jetbrains...ComponentRegistrar

I found a small (but devastating!) bug in Kotlin/Native. In places, .klib files omit symbols generated with IR and that can cause a crash when deserializing 'em:

18:28:11 e: java.lang.IllegalStateException: Expecting descriptor for app.cash.zipline.internal.bridge/SuspendCallback.Companion.Adapter|null[0]
18:28:11 	at org.jetbrains.kotlin.backend.konan.serialization.KonanIrLinker$KonanCachedLibraryModuleDeserializer.tryDeserializeIrSymbol(KonanIrlinker.kt:644)
18:28:11 	at org.jetbrains.kotlin.backend.common.serialization.BasicIrModuleDeserializer.deserializeIrSymbol(BasicIrModuleDeserializer.kt:111)

My read of the problem is the .klib descriptor only includes from the PSI model. So if I’m synthesizing new ones with IR, they’re not in the descriptor. Further details on my tracking bug.

Hey folks! I've looked at the channel list and couldn't find a compiler plugin specific one so if this isn't the right channel then forgive me and point me to the right one please :) I'm starting learning about compiler plugins. I've read a bunch of posts and now I'd like to do something in practice. I have a couple of questions: 1. If I want to make my plugin work with all Kotlin targets then which APIs should I avoid? For example can I use Psi for inspection? 2. Is it possible to configure the plugin so that it's executed after or before some specific Kotlin compiler transform? For example I'd like to run my plugin before or after Kotlin compiler processes data classes. Is this possible? 3. Does Kotlin Ir contain info about line numbers? I was able to get that info using Psi and DocumentManager but I'm not sure if this is the best way to do it and if it'll work only on JVM or on all targets.

I'm looking for resources on writing compiler plugins. So far I found: • • https://bnorm.medium.com/writing-your-second-kotlin-compiler-plugin-part-1-project-setup-7b05c7d93f6c but I'm aware that the API moves fast. Is there some fresh tutorial or example plugin? I've been looking around source code of existing plugins, but first I want to check if there are some guides.

I'd like to better understand what FIR plugins are. I understand they're related to IDE support and that FIR stands for Frontend IR (right?). But why aren't just backend IR plugins enough for the IDE? Do compiler plugins always come in pairs (backend and frontend), like socks? And finally, is FIR plugin needed if I plan to work only with backend IR? What would the plugin do in such case? CC @Big Chungus

This may have been asked before, sorry if it has 🙈 I was wondering if someone has managed to compile or interpret Kotlin code from Kotlin itself. I haven’t found anything that could work on a KMP project.

is there any cool way to validate string length in method call without writing compiler plugin? maybe arrow meta can do this? string here is one first argument of a method