#713 Assertion failure in FindReplaceMachine

3: Ugly
closed-out-of-date
1
2010-08-10
2008-11-21
Dan Smith
No

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)

Discussion

  • Dan Smith
    Dan Smith
    2009-01-30

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

     
  • Dan Smith
    Dan Smith
    2009-01-30

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

     
  • Dan Smith
    Dan Smith
    2009-01-30

    • priority: 5 --> 1
    • priority: 5 --> 5
     
  • Dan Smith
    Dan Smith
    2009-01-30

    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
    Dan Smith
    2009-01-30

    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
    Mathias Ricken
    2010-08-10

    Should be fixed now because of invokeAndWait in MainFrame constructor.

     
  • Mathias Ricken
    Mathias Ricken
    2010-08-10

    • assigned_to: nobody --> mgricken
    • status: open --> closed-out-of-date