java.lang.AssertionError: This exception has no message.

Searched on Google with the first line of a JAVA stack trace?

We can recommend more relevant solutions and speed up debugging when you paste your entire stack trace with the exception message. Try a sample exception.

Recommended solutions based on your search

Solutions on the web

via GitHub by kheradmand
, 9 months ago
This exception has no message.
java.lang.AssertionError:
at org.kframework.backend.java.kil.KCollection.upKind(KCollection.java:126)
at org.kframework.backend.java.compile.KOREtoBackendKIL.KList(KOREtoBackendKIL.java:87)
at org.kframework.backend.java.compile.KOREtoBackendKIL.KApply1(KOREtoBackendKIL.java:117)
at org.kframework.backend.java.compile.KOREtoBackendKIL.convert(KOREtoBackendKIL.java:291)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Iterator.forEachRemaining(Iterator.java:116)
at java.util.Spliterators$IteratorSpliterator.forEachRemaining(Spliterators.java:1801)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:471)
at java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:708)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:499)
at org.kframework.backend.java.compile.KOREtoBackendKIL.KList(KOREtoBackendKIL.java:88)
at org.kframework.backend.java.compile.KOREtoBackendKIL.KApply1(KOREtoBackendKIL.java:117)
at org.kframework.backend.java.compile.KOREtoBackendKIL.convert(KOREtoBackendKIL.java:291)
at org.kframework.backend.java.compile.KOREtoBackendKIL.convert(KOREtoBackendKIL.java:299)
at org.kframework.backend.java.kore.compile.ExpandMacros.expand(ExpandMacros.java:143)
at org.kframework.backend.java.kore.compile.ExpandMacros.expand(ExpandMacros.java:124)
at org.kframework.backend.java.kore.compile.ExpandMacros.expand(ExpandMacros.java:149)
at org.kframework.definition.ModuleTransformer$$anon$1.process(transformers.scala:18)
at org.kframework.definition.SentenceBasedModuleTransformer.process(transformers.scala:137)
at org.kframework.definition.SentenceBasedModuleTransformer.process(transformers.scala:135)
at org.kframework.definition.SentenceBasedModuleTransformer.$anonfun$process$1(transformers.scala:145)
at scala.collection.TraversableLike.$anonfun$map$1(TraversableLike.scala:234)
at scala.collection.immutable.HashSet$HashSet1.foreach(HashSet.scala:320)
at scala.collection.immutable.HashSet$HashTrieSet.foreach(HashSet.scala:976)
at scala.collection.immutable.HashSet$HashTrieSet.foreach(HashSet.scala:976)
at scala.collection.TraversableLike.map$(TraversableLike.scala:234)
at scala.collection.AbstractSet.scala$collection$SetLike$$super$map(Set.scala:47)
at scala.collection.SetLike.map$(SetLike.scala:101)
at scala.collection.SetLike.map(SetLike.scala:101)
at org.kframework.definition.SentenceBasedModuleTransformer.process(transformers.scala:142)
at org.kframework.definition.BasicModuleTransformer.$anonfun$processModule$1(transformers.scala:124)
at org.kframework.definition.ModuleTransformer.wrapExceptions(transformers.scala:66)
at org.kframework.definition.BasicModuleTransformer.processModule(transformers.scala:124)
at org.kframework.definition.MemoizingModuleTransformer.$anonfun$apply$3(transformers.scala:84)
at scala.collection.mutable.MapLike.getOrElseUpdate$(MapLike.scala:206)
at org.kframework.definition.MemoizingModuleTransformer.$anonfun$apply$2(transformers.scala:84)
at org.kframework.definition.ModuleTransformer.wrapExceptions(transformers.scala:66)
at org.kframework.definition.MemoizingModuleTransformer.apply(transformers.scala:84)
at org.kframework.definition.MemoizingModuleTransformer.apply(transformers.scala:76)
at scala.collection.TraversableLike.$anonfun$map$1(TraversableLike.scala:234)
at scala.collection.immutable.Set$Set3.foreach(Set.scala:166)
at scala.collection.TraversableLike.map$(TraversableLike.scala:234)
at scala.collection.AbstractSet.scala$collection$SetLike$$super$map(Set.scala:47)
at scala.collection.SetLike.map$(SetLike.scala:101)
at scala.collection.SetLike.map(SetLike.scala:101)
at org.kframework.definition.BasicModuleTransformer.$anonfun$processModule$1(transformers.scala:124)
at org.kframework.definition.ModuleTransformer.wrapExceptions(transformers.scala:66)
at org.kframework.definition.BasicModuleTransformer.processModule(transformers.scala:124)
at org.kframework.definition.MemoizingModuleTransformer.$anonfun$apply$3(transformers.scala:84)
at scala.collection.mutable.MapLike.getOrElseUpdate$(MapLike.scala:206)
at org.kframework.definition.MemoizingModuleTransformer.$anonfun$apply$2(transformers.scala:84)
at org.kframework.definition.ModuleTransformer.wrapExceptions(transformers.scala:66)
at org.kframework.definition.MemoizingModuleTransformer.apply(transformers.scala:84)
at org.kframework.definition.MemoizingModuleTransformer.apply(transformers.scala:76)
at scala.Option.foreach(Option.scala:257)
at org.kframework.definition.SelectiveDefinitionTransformer.$anonfun$apply$5(transformers.scala:217)
at org.kframework.definition.SelectiveDefinitionTransformer.$anonfun$apply$5$adapted(transformers.scala:217)
at org.kframework.definition.SelectiveDefinitionTransformer.apply(transformers.scala:217)
at org.kframework.backend.java.kore.compile.ExpandMacrosDefinitionTransformer.apply(ExpandMacrosDefinitionTransformer.java:37)
at scala.Function1.$anonfun$andThen$1(Function1.scala:52)
at scala.Function1.$anonfun$andThen$1(Function1.scala:52)
at scala.Function1.$anonfun$andThen$1(Function1.scala:52)
at scala.Function1.$anonfun$andThen$1(Function1.scala:52)
at scala.Function1.$anonfun$andThen$1(Function1.scala:52)
at scala.Function1.$anonfun$andThen$1(Function1.scala:52)
at scala.Function1.$anonfun$andThen$1(Function1.scala:52)
at scala.Function1.$anonfun$andThen$1(Function1.scala:52)
at scala.Function1.$anonfun$andThen$1(Function1.scala:52)
at scala.Function1.$anonfun$andThen$1(Function1.scala:52)
at scala.Function1.$anonfun$andThen$1(Function1.scala:52)
at scala.Function1.$anonfun$andThen$1(Function1.scala:52)
at org.kframework.backend.java.symbolic.JavaBackend.lambda$steps$0(JavaBackend.java:124)
at org.kframework.kompile.Kompile.compile(Kompile.java:131)
at org.kframework.kompile.KompileFrontEnd.run(KompileFrontEnd.java:56)
at org.kframework.main.FrontEnd.main(FrontEnd.java:34)
at org.kframework.main.Main.runApplication(Main.java:414)
at org.kframework.main.Main.runApplication(Main.java:132)
at org.kframework.main.Main.main(Main.java:74)

Users with the same issue

You are the first who have seen this exception. Write a tip to help other users and build your expert profile.

Know the solutions? Share your knowledge to help other developers to debug faster.