Compiler Absturz in Wellformedness

[UCMeyer]

In folgendem Testprogramm ist ein Fehler, weil die Variable ghost nicht existiert.

class Box
method f(int x)
skip

class Program
Box b
method main()
new Box b
call b::f(ghost)
............

Das führt im Compiler zu einem Absturz:

Exception in thread "main" java.util.NoSuchElementException: None.get
at scala.None$.get(Option.scala:627)
at scala.None$.get(Option.scala:626)
at de.thm.mni.hybridcomputing.roopl.wellformedness.Wellformedness$.check$$anonfun$9(Wellformedness.scala:208)
at scala.collection.immutable.List.map(List.scala:246)
at scala.collection.immutable.List.map(List.scala:79)
at de.thm.mni.hybridcomputing.roopl.wellformedness.Wellformedness$.check(Wellformedness.scala:208)
...

In Wellformedness.scala steht an der Stelle:
// ??? Todo fix flatMap and get
Translatable.Call(statement.callee.flatMap(mapVarRef), method, statement.args.map(_.get.asInstanceOf[TypedVariable]))

[Leridon]

Ist repariert in pull request #1

Der Fehler wurde zwar gefunden und dokumentiert, anschließend aber weitergemacht als sei nichts gewesen. Das führt dann prompt zu einem Absturz.