#713 Assertion failure in FindReplaceMachine

[Dan Smith]

Got this assertion failure at startup with assertions enabled. (Diagnosed by adding a "debug.log(t)" to DrJavaRoot.main in the "catch(Throwable t)" block.) The code is invoked when MainFrame is created, before any event handling takes place. It seems nobody has tried running with assertions enabled since this one was added.

Incidentally, this is a nice perk of "ant run" -- assertions are turned on without any extra typing.

java.lang.AssertionError
at
edu.rice.cs.drjava.model.FindReplaceMachine.onMatch(FindReplaceMachine.java:193)
edu.rice.cs.drjava.model.FindReplaceMachine.setSearchBackwards(FindReplaceMachine.java:126)
edu.rice.cs.drjava.model.FindReplaceMachine.<init>(FindReplaceMachine.java:97)
edu.rice.cs.drjava.ui.FindReplacePanel.<init>(FindReplacePanel.java:197)
edu.rice.cs.drjava.ui.MainFrame.<init>(MainFrame.java:2939)
edu.rice.cs.drjava.DrJavaRoot.main(DrJavaRoot.java:178)
edu.rice.cs.drjava.DrJava.configureAndLoadDrJavaRoot(DrJava.java:213)
edu.rice.cs.drjava.DrJava.main(DrJava.java:144)

[Dan Smith]

For now, I've commented out the assertion. It can be re-introduced when the proper invariant can be determined.

[Dan Smith]

For now, I've commented out the assertion. It can be re-introduced when the proper invariant can be determined.

[Dan Smith]

Another failure at a different spot, also at startup (I'm commenting this one out, too):

java.lang.AssertionError
at
edu.rice.cs.util.text.SwingDocument.insertString(SwingDocument.java:144)
edu.rice.cs.drjava.ui.CompilerErrorPanel$CompilerErrorListPane._updateNoErrors(CompilerErrorPanel.java:224)
edu.rice.cs.drjava.ui.ErrorPanel$ErrorListPane.updateListPane(ErrorPanel.java:457)
edu.rice.cs.drjava.ui.CompilerErrorPanel.reset(CompilerErrorPanel.java:164)
edu.rice.cs.drjava.ui.MainFrame.<init>(MainFrame.java:3133)
edu.rice.cs.drjava.DrJavaRoot.main(DrJavaRoot.java:164)
edu.rice.cs.drjava.DrJava.configureAndLoadDrJavaRoot(DrJava.java:244)
edu.rice.cs.drjava.DrJava.main(DrJava.java:139)

[Dan Smith]

And another:

java.lang.AssertionError
at
edu.rice.cs.drjava.DrJavaRoot._openCommandLineFiles(DrJavaRoot.java:246)
edu.rice.cs.drjava.DrJavaRoot.main(DrJavaRoot.java:189)
edu.rice.cs.drjava.DrJava.configureAndLoadDrJavaRoot(DrJava.java:244)
edu.rice.cs.drjava.DrJava.main(DrJava.java:139)

[Mathias Ricken]

Should be fixed now because of invokeAndWait in MainFrame constructor.