Changeset 252


Ignore:
Timestamp:
11/15/02 15:03:14 (20 years ago)
Author:
piso
Message:

switchToBuffer(): use bugIfNot() instead of assertTrue().

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/j/src/org/armedbear/j/Frame.java

    r249 r252  
    33 *
    44 * Copyright (C) 1998-2002 Peter Graves
    5  * $Id: Frame.java,v 1.4 2002-11-15 02:02:41 piso Exp $
     5 * $Id: Frame.java,v 1.5 2002-11-15 15:03:14 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    475475            secondary = buf.getSecondary();
    476476        } else {
    477             Debug.assertTrue(buf.isSecondary());
     477            Debug.bugIfNot(buf.isSecondary());
    478478            primary = buf.getPrimary();
    479             Debug.assertTrue(primary != null);
     479            Debug.bugIfNot(primary != null);
    480480            secondary = buf;
    481481        }
    482482        if (getEditorCount() == 2) {
    483483            // Window is already split.
    484             Debug.assertTrue(editors[0] != null);
    485             Debug.assertTrue(editors[1] != null);
    486484            if (secondary != null) {
    487485                // Activate primary in editor 0.
     
    505503            } else {
    506504                // No secondary.
    507                 Debug.assertTrue(secondary == null);
     505                Debug.bugIfNot(secondary == null);
    508506                // We don't need a split window. Close editor 1.
    509507                Editor keep = editors[0];
    510508                Editor kill = editors[1];
    511                 Debug.assertTrue(keep != null);
    512                 Debug.assertTrue(kill != null);
    513509                // Save information about the buffer in the editor that we're
    514510                // going to close.
     
    523519                unsplitInternal(keep, kill);
    524520                // Activate primary in editor 0.
    525                 Debug.assertTrue(editors[0] == keep);
     521                Debug.bugIfNot(editors[0] == keep);
    526522                keep.activate(primary);
    527523            }
    528524        } else {
    529525            // Window is not split.
    530             Debug.assertTrue(getEditorCount() == 1);
     526            Debug.bugIfNot(getEditorCount() == 1);
    531527            if (secondary != null) {
    532528                // Split the window, activate primary in editor 0, activate
     
    539535            } else {
    540536                // Only one editor, no secondary.
    541                 Debug.assertTrue(editors[0] != null);
    542                 Debug.assertTrue(editors[1] == null);
    543                 Debug.assertTrue(secondary == null);
     537                Debug.bugIfNot(editors[0] != null);
     538                Debug.bugIfNot(editors[1] == null);
     539                Debug.bugIfNot(secondary == null);
    544540                // Activate primary in editor 0.
    545541                editors[0].activate(primary);
     
    549545        if (Editor.isDebugEnabled()) {
    550546            if (buf.isPrimary()) {
    551                 Debug.assertTrue(getPrimaryEditor().getBuffer() == buf);
     547                Debug.bugIfNot(getPrimaryEditor().getBuffer() == buf);
    552548            } else {
    553                 Debug.assertTrue(buf.isSecondary());
     549                Debug.bugIfNot(buf.isSecondary());
    554550                Buffer bufPrimary = buf.getPrimary();
    555                 Debug.assertTrue(primary != null);
    556                 Debug.assertTrue(getPrimaryEditor().getBuffer() == bufPrimary);
     551                Debug.bugIfNot(primary != null);
     552                Debug.bugIfNot(getPrimaryEditor().getBuffer() == bufPrimary);
    557553            }
    558554        }
Note: See TracChangeset for help on using the changeset viewer.