java.util.NoSuchElementException

If you like a tip written by other Samebug users, mark is as helpful! Marks help our algorithm provide you better solutions and also help other users.
tip

Check if the field you try to read really exists in the database. If it is optional, just use com.mongodb.casbah.commons.MongoDBObject#getAs


rprp

You have a different solution? A short tip here would help you and many other users who saw this issue last week.

  • GitHub comment 214#235190750
    via GitHub by BLepers
    ,
  • Trait ASM Mixin Crash
    via GitHub by calclavia
    ,
  • Core: deal with missing groups
    via GitHub by slandelle
    ,
  • Crash in Tuple rewiring
    via GitHub by Roldak
    ,
    • java.util.NoSuchElementException: key not found: @library @isabelle.typ def get$4[T$423](thiss$108 : Option$0[T$423]): T$423 = { require(thiss$108.isDefined$1) val Some$0(x$244) = thiss$108 x$244 } at scala.collection.MapLike$class.default(MapLike.scala:228) at scala.collection.AbstractMap.default(Map.scala:59) at scala.collection.MapLike$class.apply(MapLike.scala:141) at scala.collection.AbstractMap.apply(Map.scala:59) at leon.transformations.ExprInstrumenter.tupleifyCall(SerialInstrumentationPhase.scala:499) at leon.transformations.ExprInstrumenter.tupleifyRecur(SerialInstrumentationPhase.scala:469) at leon.transformations.ExprInstrumenter.tupleifyRecur(SerialInstrumentationPhase.scala:487) at leon.transformations.ExprInstrumenter.tupleify(SerialInstrumentationPhase.scala:446) at leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:687) at leon.transformations.ExprInstrumenter.tupleifyRecur(SerialInstrumentationPhase.scala:480) at leon.transformations.ExprInstrumenter.tupleify(SerialInstrumentationPhase.scala:446) at leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:687) at leon.transformations.ExprInstrumenter$$anonfun$54.apply(SerialInstrumentationPhase.scala:639) at leon.transformations.ExprInstrumenter$$anonfun$54.apply(SerialInstrumentationPhase.scala:638) at leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:671) at leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:654) at leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:626) at leon.transformations.ExprInstrumenter.apply(SerialInstrumentationPhase.scala:697) at leon.transformations.SerialInstrumenter.leon$transformations$SerialInstrumenter$$mapBody$1(SerialInstrumentationPhase.scala:287) at leon.transformations.SerialInstrumenter$$anonfun$apply$9.apply(SerialInstrumentationPhase.scala:337) at leon.transformations.SerialInstrumenter$$anonfun$apply$9.apply(SerialInstrumentationPhase.scala:323) at scala.collection.TraversableLike$WithFilter$$anonfun$foreach$1.apply(TraversableLike.scala:733) at scala.collection.immutable.HashMap$HashMap1.foreach(HashMap.scala:221) at scala.collection.immutable.HashMap$HashTrieMap.foreach(HashMap.scala:428) at scala.collection.immutable.HashMap$HashTrieMap.foreach(HashMap.scala:428) at scala.collection.TraversableLike$WithFilter.foreach(TraversableLike.scala:732) at leon.transformations.SerialInstrumenter.apply(SerialInstrumentationPhase.scala:323) at leon.transformations.InstrumentationPhase$.apply(SerialInstrumentationPhase.scala:42) at leon.TransformationPhase.run(LeonPhase.scala:22) at leon.TransformationPhase.run(LeonPhase.scala:17) at leon.Pipeline$$anon$1.run(Pipeline.scala:10) at leon.Pipeline$$anon$1.run(Pipeline.scala:12) at leon.Main$.execute(Main.scala:278) at leon.Main$.main(Main.scala:262) at leon.Main.main(Main.scala) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at scala.reflect.internal.util.ScalaClassLoader$$anonfun$run$1.apply(ScalaClassLoader.scala:70) at scala.reflect.internal.util.ScalaClassLoader$class.asContext(ScalaClassLoader.scala:31) at scala.reflect.internal.util.ScalaClassLoader$URLClassLoader.asContext(ScalaClassLoader.scala:101) at scala.reflect.internal.util.ScalaClassLoader$class.run(ScalaClassLoader.scala:70) at scala.reflect.internal.util.ScalaClassLoader$URLClassLoader.run(ScalaClassLoader.scala:101) at scala.tools.nsc.CommonRunner$class.run(ObjectRunner.scala:22) at scala.tools.nsc.ObjectRunner$.run(ObjectRunner.scala:39) at scala.tools.nsc.CommonRunner$class.runAndCatch(ObjectRunner.scala:29) at scala.tools.nsc.ObjectRunner$.runAndCatch(ObjectRunner.scala:39) at scala.tools.nsc.MainGenericRunner.runTarget$1(MainGenericRunner.scala:65) at scala.tools.nsc.MainGenericRunner.run$1(MainGenericRunner.scala:87) at scala.tools.nsc.MainGenericRunner.process(MainGenericRunner.scala:98) at scala.tools.nsc.MainGenericRunner$.main(MainGenericRunner.scala:103) at scala.tools.nsc.MainGenericRunner.main(MainGenericRunner.scala)

    Users with the same issue

    AdarroAdarro
    17 times, last one,
    rprp
    3 times, last one,
    poroszdporoszd
    1 times, last one,
    MarkMark
    2 times, last one,
    jokesterjokester
    1 times, last one,
    13 more bugmates