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 }

GitHub | BLepers | 4 months ago
  1. 0

    GitHub comment 214#235190750

    GitHub | 4 months ago | BLepers
    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 }
  2. 0

    List[Int] fails a roundtrip in JSON

    GitHub | 4 years ago | xeno-by
    java.util.NoSuchElementException: key not found: value
  3. 0

    Error communicating with HearthStats.net (GET cards)

    GitHub | 2 years ago | rugia007
    java.util.NoSuchElementException: key not found: 29
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

  5. 0

    Trait ASM Mixin Crash

    GitHub | 2 years ago | calclavia
    java.util.NoSuchElementException: key not found: i
  6. 0

    Core: deal with missing groups

    GitHub | 2 years ago | slandelle
    java.util.NoSuchElementException: key not found: List(NewGroup)

  1. poroszd 1 times, last 2 months ago
  2. Mark 1 times, last 3 months ago
  3. rp 3 times, last 3 months ago
  4. poroszd 1 times, last 5 months ago
  5. silex 1 times, last 6 months ago
1 more registered users
5 unregistered visitors
Not finding the right solution?
Take a tour to get the most out of Samebug.

Tired of useless tips?

Automated exception search integrated into your IDE

Root Cause Analysis

  1. 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()
  2. Scala
    AbstractMap.apply
    1. scala.collection.MapLike$class.default(MapLike.scala:228)
    2. scala.collection.AbstractMap.default(Map.scala:59)
    3. scala.collection.MapLike$class.apply(MapLike.scala:141)
    4. scala.collection.AbstractMap.apply(Map.scala:59)
    4 frames
  3. leon.transformations
    SerialInstrumenter$$anonfun$apply$9.apply
    1. leon.transformations.ExprInstrumenter.tupleifyCall(SerialInstrumentationPhase.scala:499)
    2. leon.transformations.ExprInstrumenter.tupleifyRecur(SerialInstrumentationPhase.scala:469)
    3. leon.transformations.ExprInstrumenter.tupleifyRecur(SerialInstrumentationPhase.scala:487)
    4. leon.transformations.ExprInstrumenter.tupleify(SerialInstrumentationPhase.scala:446)
    5. leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:687)
    6. leon.transformations.ExprInstrumenter.tupleifyRecur(SerialInstrumentationPhase.scala:480)
    7. leon.transformations.ExprInstrumenter.tupleify(SerialInstrumentationPhase.scala:446)
    8. leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:687)
    9. leon.transformations.ExprInstrumenter$$anonfun$54.apply(SerialInstrumentationPhase.scala:639)
    10. leon.transformations.ExprInstrumenter$$anonfun$54.apply(SerialInstrumentationPhase.scala:638)
    11. leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:671)
    12. leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:654)
    13. leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:626)
    14. leon.transformations.ExprInstrumenter.apply(SerialInstrumentationPhase.scala:697)
    15. leon.transformations.SerialInstrumenter.leon$transformations$SerialInstrumenter$$mapBody$1(SerialInstrumentationPhase.scala:287)
    16. leon.transformations.SerialInstrumenter$$anonfun$apply$9.apply(SerialInstrumentationPhase.scala:337)
    17. leon.transformations.SerialInstrumenter$$anonfun$apply$9.apply(SerialInstrumentationPhase.scala:323)
    17 frames
  4. Scala
    TraversableLike$WithFilter.foreach
    1. scala.collection.TraversableLike$WithFilter$$anonfun$foreach$1.apply(TraversableLike.scala:733)
    2. scala.collection.immutable.HashMap$HashMap1.foreach(HashMap.scala:221)
    3. scala.collection.immutable.HashMap$HashTrieMap.foreach(HashMap.scala:428)
    4. scala.collection.immutable.HashMap$HashTrieMap.foreach(HashMap.scala:428)
    5. scala.collection.TraversableLike$WithFilter.foreach(TraversableLike.scala:732)
    5 frames
  5. leon.transformations
    InstrumentationPhase$.apply
    1. leon.transformations.SerialInstrumenter.apply(SerialInstrumentationPhase.scala:323)
    2. leon.transformations.InstrumentationPhase$.apply(SerialInstrumentationPhase.scala:42)
    2 frames
  6. leon
    Main.main
    1. leon.TransformationPhase.run(LeonPhase.scala:22)
    2. leon.TransformationPhase.run(LeonPhase.scala:17)
    3. leon.Pipeline$$anon$1.run(Pipeline.scala:10)
    4. leon.Pipeline$$anon$1.run(Pipeline.scala:12)
    5. leon.Main$.execute(Main.scala:278)
    6. leon.Main$.main(Main.scala:262)
    7. leon.Main.main(Main.scala)
    7 frames
  7. Java RT
    Method.invoke
    1. sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    2. sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
    3. sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    4. java.lang.reflect.Method.invoke(Method.java:498)
    4 frames
  8. Scala
    ScalaClassLoader$URLClassLoader.run
    1. scala.reflect.internal.util.ScalaClassLoader$$anonfun$run$1.apply(ScalaClassLoader.scala:70)
    2. scala.reflect.internal.util.ScalaClassLoader$class.asContext(ScalaClassLoader.scala:31)
    3. scala.reflect.internal.util.ScalaClassLoader$URLClassLoader.asContext(ScalaClassLoader.scala:101)
    4. scala.reflect.internal.util.ScalaClassLoader$class.run(ScalaClassLoader.scala:70)
    5. scala.reflect.internal.util.ScalaClassLoader$URLClassLoader.run(ScalaClassLoader.scala:101)
    5 frames
  9. Scala Compiler
    MainGenericRunner.main
    1. scala.tools.nsc.CommonRunner$class.run(ObjectRunner.scala:22)
    2. scala.tools.nsc.ObjectRunner$.run(ObjectRunner.scala:39)
    3. scala.tools.nsc.CommonRunner$class.runAndCatch(ObjectRunner.scala:29)
    4. scala.tools.nsc.ObjectRunner$.runAndCatch(ObjectRunner.scala:39)
    5. scala.tools.nsc.MainGenericRunner.runTarget$1(MainGenericRunner.scala:65)
    6. scala.tools.nsc.MainGenericRunner.run$1(MainGenericRunner.scala:87)
    7. scala.tools.nsc.MainGenericRunner.process(MainGenericRunner.scala:98)
    8. scala.tools.nsc.MainGenericRunner$.main(MainGenericRunner.scala:103)
    9. scala.tools.nsc.MainGenericRunner.main(MainGenericRunner.scala)
    9 frames