Skip to content

RdFault: No method source set for method - for an abstract class inheritor #1398

Description

@alisevych

Description

RdFault: No method source set for method - for an abstract class inheritor

To Reproduce

  1. Run the lrs project in IntelliJ Idea
  2. Install one of the latest plugin builds from main, used 2022.11.546
  3. Use default settings
  4. Use plugin to generate tests for Point static final class extending abstract class LongRangeSet

Expected behavior

Test are supposed to be generated successfully.

Actual behavior

Exception is thrown in IDEA:
RdFault: No method source set for method <LongRangeSet abs(...)>

Visual proofs (screenshots, logs, images)

image

com.jetbrains.rd.util.reactive.RdFault: Nomethodsourcesetformethod <com.intellij.codeInspection.dataFlow.rangeSet.LongRangeSet: com.intellij.codeInspection.dataFlow.rangeSet.LongRangeSetabs(com.intellij.codeInspection.dataFlow.rangeSet.LongRangeType)>, reason: java.lang.RuntimeException: Nomethodsourcesetformethod <com.intellij.codeInspection.dataFlow.rangeSet.LongRangeSet: com.intellij.codeInspection.dataFlow.rangeSet.LongRangeSetabs(com.intellij.codeInspection.dataFlow.rangeSet.LongRangeType)>
atsoot.SootMethod.retrieveActiveBody(SootMethod.java:443)
atorg.utbot.engine.ExtensionsKt.jimpleBody(Extensions.kt:110)
atorg.utbot.engine.UtBotSymbolicEngine.<init>(UtBotSymbolicEngine.kt:172)
atorg.utbot.framework.plugin.api.TestCaseGenerator.createSymbolicEngine(TestCaseGenerator.kt:275)
atorg.utbot.framework.plugin.api.TestCaseGenerator.access$createSymbolicEngine(TestCaseGenerator.kt:61)
atorg.utbot.framework.plugin.api.TestCaseGenerator$generate$3$1$1.invokeSuspend(TestCaseGenerator.kt:166)
atkotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
atkotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
atkotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284)
atkotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85)
atkotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59)
atkotlinx.coroutines.BuildersKt.runBlocking(UnknownSource)
atkotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38)
atkotlinx.coroutines.BuildersKt.runBlocking$default(UnknownSource)
atorg.utbot.framework.process.RdSettingsContainer$settingFor$1$1.getValue(RdSettingsContainer.kt:32)
atorg.utbot.framework.UtSettings.getPathSelectorType(UtSettings.kt:64)
atorg.utbot.engine.UtBotSymbolicEngineKt.pathSelector(UtBotSymbolicEngine.kt:133)
atorg.utbot.engine.UtBotSymbolicEngineKt.access$pathSelector(UtBotSymbolicEngine.kt:1)
atorg.utbot.engine.UtBotSymbolicEngine.<init>(UtBotSymbolicEngine.kt:179)
atorg.utbot.framework.plugin.api.TestCaseGenerator.createSymbolicEngine(TestCaseGenerator.kt:275)
atorg.utbot.framework.plugin.api.TestCaseGenerator.access$createSymbolicEngine(TestCaseGenerator.kt:61)
atorg.utbot.framework.plugin.api.TestCaseGenerator$generate$3$1$1.invokeSuspend(TestCaseGenerator.kt:166)
atkotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
atkotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
atkotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284)
atkotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85)
atkotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59)
atkotlinx.coroutines.BuildersKt.runBlocking(UnknownSource)
atkotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38)
atkotlinx.coroutines.BuildersKt.runBlocking$default(UnknownSource)
atorg.utbot.common.ConcurrencyKt.runBlockingWithCancellationPredicate(Concurrency.kt:38)
atorg.utbot.framework.plugin.api.TestCaseGenerator$generate$3.invoke(TestCaseGenerator.kt:157)
atorg.utbot.framework.plugin.api.TestCaseGenerator$generate$3.invoke(TestCaseGenerator.kt:156)
atorg.utbot.common.ConcurrencyKt.runIgnoringCancellationException(Concurrency.kt:47)
atorg.utbot.framework.plugin.api.TestCaseGenerator.generate(TestCaseGenerator.kt:156)
atorg.utbot.framework.process.EngineMainKt$setup$3.invoke(EngineMain.kt:109)
atorg.utbot.framework.process.EngineMainKt$setup$3.invoke(EngineMain.kt:99)
atorg.utbot.rd.CallsSynchronizer$measureExecutionForTermination$1$1.invoke(ClientProcessUtil.kt:84)
atorg.utbot.rd.CallsSynchronizer.measureExecutionForTermination(ClientProcessUtil.kt:75)
atorg.utbot.rd.CallsSynchronizer$measureExecutionForTermination$1.invoke(ClientProcessUtil.kt:83)
atcom.jetbrains.rd.framework.IRdEndpoint$set$1.invoke(TaskInterfaces.kt:182)
atcom.jetbrains.rd.framework.IRdEndpoint$set$1.invoke(TaskInterfaces.kt:182)
atcom.jetbrains.rd.framework.impl.RdCall.onWireReceived(RdTask.kt:360)
atcom.jetbrains.rd.framework.MessageBroker$invoke$2$2.invoke(MessageBroker.kt:57)
atcom.jetbrains.rd.framework.MessageBroker$invoke$2$2.invoke(MessageBroker.kt:56)
atcom.jetbrains.rd.framework.impl.ProtocolContexts.readMessageContextAndInvoke(ProtocolContexts.kt:148)
atcom.jetbrains.rd.framework.MessageBroker$invoke$2.invoke(MessageBroker.kt:56)
atcom.jetbrains.rd.framework.MessageBroker$invoke$2.invoke(MessageBroker.kt:54)
atcom.jetbrains.rd.util.threading.SingleThreadSchedulerBase.queue$lambda-3(SingleThreadScheduler.kt:41)
atjava.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)
atjava.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)
atjava.base/java.lang.Thread.run(Thread.java:829)
atcom.jetbrains.rd.framework.RdTaskResult$Companion.read(TaskInterfaces.kt:30)
atcom.jetbrains.rd.framework.impl.CallSiteWiredRdTask.onWireReceived(RdTask.kt:104)
atcom.jetbrains.rd.framework.MessageBroker$invoke$2$2.invoke(MessageBroker.kt:57)
atcom.jetbrains.rd.framework.MessageBroker$invoke$2$2.invoke(MessageBroker.kt:56)
atcom.jetbrains.rd.framework.impl.ProtocolContexts.readMessageContextAndInvoke(ProtocolContexts.kt:148)
atcom.jetbrains.rd.framework.MessageBroker$invoke$2.invoke(MessageBroker.kt:56)
atcom.jetbrains.rd.framework.MessageBroker$invoke$2.invoke(MessageBroker.kt:54)
atcom.jetbrains.rd.framework.impl.RdCall$createResponseScheduler$1.queue$execute(RdTask.kt:278)
atcom.jetbrains.rd.framework.impl.RdCall$createResponseScheduler$1.access$queue$execute(RdTask.kt:267)
atcom.jetbrains.rd.framework.impl.RdCall$createResponseScheduler$1$queue$1.invokeSuspend(RdTask.kt:287)
atkotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
atkotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
atkotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284)
atkotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85)
atkotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59)
atkotlinx.coroutines.BuildersKt.runBlocking(UnknownSource)
atkotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38)
atkotlinx.coroutines.BuildersKt.runBlocking$default(UnknownSource)
atorg.utbot.intellij.plugin.process.EngineProcess.generate(EngineProcess.kt:270)
atorg.utbot.intellij.plugin.generator.UtTestsDialogProcessor$createTests$1$1.run(UtTestsDialogProcessor.kt:234)
atcom.intellij.openapi.progress.impl.CoreProgressManager.startTask(CoreProgressManager.java:442)
atcom.intellij.openapi.progress.impl.ProgressManagerImpl.startTask(ProgressManagerImpl.java:114)
atcom.intellij.openapi.progress.impl.CoreProgressManager.lambda$runProcessWithProgressAsynchronously$5(CoreProgressManager.java:493)
atcom.intellij.openapi.progress.impl.ProgressRunner.lambda$submit$3(ProgressRunner.java:252)
atcom.intellij.openapi.progress.impl.CoreProgressManager.lambda$runProcess$2(CoreProgressManager.java:188)
atcom.intellij.openapi.progress.impl.CoreProgressManager.lambda$executeProcessUnderProgress$12(CoreProgressManager.java:608)
atcom.intellij.openapi.progress.impl.CoreProgressManager.registerIndicatorAndRun(CoreProgressManager.java:683)
atcom.intellij.openapi.progress.impl.CoreProgressManager.computeUnderProgress(CoreProgressManager.java:639)
atcom.intellij.openapi.progress.impl.CoreProgressManager.executeProcessUnderProgress(CoreProgressManager.java:607)
atcom.intellij.openapi.progress.impl.ProgressManagerImpl.executeProcessUnderProgress(ProgressManagerImpl.java:60)
atcom.intellij.openapi.progress.impl.CoreProgressManager.runProcess(CoreProgressManager.java:175)
atcom.intellij.openapi.progress.impl.ProgressRunner.lambda$submit$4(ProgressRunner.java:252)
atjava.base/java.util.concurrent.CompletableFuture$AsyncSupply.run(CompletableFuture.java:1768)
atjava.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1136)
atjava.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:635)
atjava.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1$1.run(Executors.java:702)
atjava.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1$1.run(Executors.java:699)
atjava.base/java.security.AccessController.doPrivileged(AccessController.java:399)
atjava.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1.run(Executors.java:699)
atjava.base/java.lang.Thread.run(Thread.java:833)

Environment

Windows 10 Pro
IntelliJ IDEA 2022.2.3
IntelliJ project, JDK 11

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

Status
Done

Relationships

None yet

Development

No branches or pull requests

Issue actions