You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to quant...@googlegroups.com
Dear quanto team,
This is a shit bug report. I managed to make the the quanto front end break during a somewhat long session. From the outside this took the form of trying to apply a rewrite and the rewrite not being applied. Stack trace is below. Unfortunately when I tried to reproduce this bug, everything worked fine. If any of you wants to chase this further then get in touch.
-r
[error] Exception in thread "AWT-EventQueue-0" java.lang.ArrayIndexOutOfBoundsException: -1
[error] at java.util.ArrayList.elementData(ArrayList.java:400)
[error] at java.util.ArrayList.get(ArrayList.java:413)
[error] at javax.swing.JTabbedPane.setTitleAt(JTabbedPane.java:1316)
[error] at scala.swing.TabbedPane$Page.title_$eq(TabbedPane.scala:41)
[error] at quanto.gui.ClosablePage.title_$eq(ClosableTabbedPane.scala:13)
[error] at quanto.gui.DocumentPage$$anonfun$1.applyOrElse(DocumentPage.scala:17)
[error] at quanto.gui.DocumentPage$$anonfun$1.applyOrElse(DocumentPage.scala:15)
[error] at scala.runtime.AbstractPartialFunction$mcVL$sp.apply$mcVL$sp(AbstractPartialFunction.scala:33)
[error] at scala.runtime.AbstractPartialFunction$mcVL$sp.apply(AbstractPartialFunction.scala:33)
[error] at scala.runtime.AbstractPartialFunction$mcVL$sp.apply(AbstractPartialFunction.scala:25)
[error] at scala.swing.Reactions$Impl$$anonfun$apply$1.apply(Reactions.scala:25)
[error] at scala.swing.Reactions$Impl$$anonfun$apply$1.apply(Reactions.scala:25)
[error] at scala.collection.immutable.List.foreach(List.scala:318)
[error] at scala.collection.generic.TraversableForwarder$class.foreach(TraversableForwarder.scala:32)
[error] at scala.collection.mutable.ListBuffer.foreach(ListBuffer.scala:45)
[error] at scala.swing.Reactions$Impl.apply(Reactions.scala:25)
[error] at scala.swing.Reactions$Impl.apply(Reactions.scala:19)
[error] at scala.swing.Publisher$$anonfun$publish$1.apply(Publisher.scala:47)
[error] at scala.swing.Publisher$$anonfun$publish$1.apply(Publisher.scala:47)
[error] at scala.collection.Iterator$class.foreach(Iterator.scala:727)
[error] at scala.swing.SingleRefCollection$$anon$4.foreach(Publisher.scala:108)
[error] at scala.collection.IterableLike$class.foreach(IterableLike.scala:72)
[error] at scala.swing.RefSet.foreach(Publisher.scala:165)
[error] at scala.swing.Publisher$class.publish(Publisher.scala:47)
[error] at quanto.gui.Document.publish(Document.scala:21)
[error] at quanto.gui.DerivationDocument.derivation_$eq(DerivationDocument.scala:19)
[error] at quanto.gui.DerivationController.replaceDerivation(DerivationController.scala:120)
[error] at quanto.gui.RewriteController$$anonfun$1$$anonfun$applyOrElse$2$$anonfun$apply$2.apply(RewriteController.scala:179)
[error] at quanto.gui.RewriteController$$anonfun$1$$anonfun$applyOrElse$2$$anonfun$apply$2.apply(RewriteController.scala:172)
[error] at scala.Option.map(Option.scala:145)
[error] at quanto.gui.RewriteController$$anonfun$1$$anonfun$applyOrElse$2.apply(RewriteController.scala:172)
[error] at quanto.gui.RewriteController$$anonfun$1$$anonfun$applyOrElse$2.apply(RewriteController.scala:172)
[error] at scala.Option.map(Option.scala:145)
[error] at quanto.gui.RewriteController$$anonfun$1.applyOrElse(RewriteController.scala:172)
[error] at quanto.gui.RewriteController$$anonfun$1.applyOrElse(RewriteController.scala:134)
[error] at scala.runtime.AbstractPartialFunction$mcVL$sp.apply$mcVL$sp(AbstractPartialFunction.scala:33)
[error] at scala.runtime.AbstractPartialFunction$mcVL$sp.apply(AbstractPartialFunction.scala:33)
[error] at scala.runtime.AbstractPartialFunction$mcVL$sp.apply(AbstractPartialFunction.scala:25)
[error] at scala.swing.Reactions$Impl$$anonfun$apply$1.apply(Reactions.scala:25)
[error] at scala.swing.Reactions$Impl$$anonfun$apply$1.apply(Reactions.scala:25)
[error] at scala.collection.immutable.List.foreach(List.scala:318)
[error] at scala.collection.generic.TraversableForwarder$class.foreach(TraversableForwarder.scala:32)
[error] at scala.collection.mutable.ListBuffer.foreach(ListBuffer.scala:45)
[error] at scala.swing.Reactions$Impl.apply(Reactions.scala:25)
[error] at scala.swing.Reactions$Impl.apply(Reactions.scala:19)
[error] at scala.swing.Publisher$$anonfun$publish$1.apply(Publisher.scala:47)
[error] at scala.swing.Publisher$$anonfun$publish$1.apply(Publisher.scala:47)
[error] at scala.collection.Iterator$class.foreach(Iterator.scala:727)
[error] at scala.swing.SingleRefCollection$$anon$4.foreach(Publisher.scala:108)
[error] at scala.collection.IterableLike$class.foreach(IterableLike.scala:72)
[error] at scala.swing.RefSet.foreach(Publisher.scala:165)
[error] at scala.swing.Publisher$class.publish(Publisher.scala:47)
[error] at scala.swing.Component.publish(Component.scala:43)
[error] at scala.swing.AbstractButton$$anonfun$1.apply(AbstractButton.scala:44)
[error] at scala.swing.AbstractButton$$anonfun$1.apply(AbstractButton.scala:43)
[error] at scala.swing.Swing$$anon$8.actionPerformed(Swing.scala:38)
[error] at javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:2018)
[error] at javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2341)
[error] at javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:402)
[error] at javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:259)
[error] at javax.swing.plaf.basic.BasicButtonListener.mouseReleased(BasicButtonListener.java:252)
[error] at java.awt.Component.processMouseEvent(Component.java:6505)
[error] at javax.swing.JComponent.processMouseEvent(JComponent.java:3320)
[error] at java.awt.Component.processEvent(Component.java:6270)
[error] at java.awt.Container.processEvent(Container.java:2229)
[error] at java.awt.Component.dispatchEventImpl(Component.java:4861)
[error] at java.awt.Container.dispatchEventImpl(Container.java:2287)
[error] at java.awt.Component.dispatchEvent(Component.java:4687)
[error] at java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4832)
[error] at java.awt.LightweightDispatcher.processMouseEvent(Container.java:4492)
[error] at java.awt.LightweightDispatcher.dispatchEvent(Container.java:4422)
[error] at java.awt.Container.dispatchEventImpl(Container.java:2273)
[error] at java.awt.Window.dispatchEventImpl(Window.java:2719)
[error] at java.awt.Component.dispatchEvent(Component.java:4687)
[error] at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:735)
[error] at java.awt.EventQueue.access$200(EventQueue.java:103)
[error] at java.awt.EventQueue$3.run(EventQueue.java:694)
[error] at java.awt.EventQueue$3.run(EventQueue.java:692)
[error] at java.security.AccessController.doPrivileged(Native Method)
[error] at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:76)
[error] at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:87)
[error] at java.awt.EventQueue$4.run(EventQueue.java:708)
[error] at java.awt.EventQueue$4.run(EventQueue.java:706)
[error] at java.security.AccessController.doPrivileged(Native Method)
[error] at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:76)
[error] at java.awt.EventQueue.dispatchEvent(EventQueue.java:705)
[error] at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:242)
[error] at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:161)
[error] at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:150)
[error] at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:146)
[error] at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:138)
[error] at java.awt.EventDispatchThread.run(EventDispatchThread.java:91)