BranchLog.java
     1: //========================================================================================
     2: //  BranchLog.java
     3: //    en:Branch log -- It records changes of the program counter and disassembles codes in order that were executed.
     4: //    ja:分岐ログ -- プログラムカウンタの変化を記録してコードを実行された順序で逆アセンブルします。
     5: //  Copyright (C) 2003-2017 Makoto Kamada
     6: //
     7: //  This file is part of the XEiJ (X68000 Emulator in Java).
     8: //  You can use, modify and redistribute the XEiJ if the conditions are met.
     9: //  Read the XEiJ License for more details.
    10: //  http://stdkmd.com/xeij/
    11: //========================================================================================
    12: 
    13: //----------------------------------------------------------------------------------------
    14: //  インクリメント以外の方法でpcが更新されたときに前回飛び込んだ命令の先頭アドレスと今回飛び出した命令の先頭アドレスのペアを記録する
    15: //  リングバッファを用いてMPUが停止する直前の65536回までデバッガで遡れるようにする
    16: //  1命令平均10サイクルで20命令に1回分岐すると仮定すると10MHzのとき1秒間に5万回分岐することになる
    17: //  分岐レコード
    18: //    [0]  bit31-bit1  head   分岐命令や例外処理などで飛び込んだ命令の先頭アドレス。連続して実行された命令の並びの先頭
    19: //               bit0  super  0=ユーザモード,1=スーパーバイザモード
    20: //    [1]  bit31-bit1  tail   分岐命令や例外処理などで飛び出した命令の先頭アドレス。連続して実行された命令の並びの末尾
    21: //               bit0         常に0
    22: //    常にhead ule tail
    23: //    分岐先の最初の命令で再び分岐したときはheadとtailが同じになる
    24: //    割り込みも記録されるので飛び出した命令は分岐命令とは限らない
    25: //    同じペアを繰り返したときはループとみなして新しいレコードを作らない。ループ回数は記録しない
    26: //  停止レコード
    27: //    MPUが停止したとき最新のレコードに停止レコードを書き込む
    28: //    停止レコードは次にMPUが動き出したときに上書きされる
    29: //    停止レコードのtailはMPUが次に実行する命令の先頭アドレス
    30: //      分岐ログに記録された範囲でこの命令だけがまだ実行されていない
    31: //    命令ブレークポイントで停止したときはheadとtailがどちらもこれから実行する命令の先頭アドレスになる
    32: //      このときはheadもまだ実行されていない
    33: //  レコードの実体
    34: //    レコードの実体はblgArray[(レコード番号の下位16bit)<<BLG_RECORD_SHIFT]から始まる
    35: //    i=(char)record<<BLG_RECORD_SHIFT
    36: //  最古のレコード
    37: //    i=(char)Math.max(0L,blgNewestRecord-65535L)<<BLG_RECORD_SHIFT
    38: //  最新のレコード
    39: //    i=(char)blgNewestRecord<<BLG_RECORD_SHIFT
    40: //----------------------------------------------------------------------------------------
    41: 
    42: package xeij;
    43: 
    44: import java.awt.*;  //BasicStroke,BorderLayout,BoxLayout,Color,Component,Container,Cursor,Desktop,Dimension,Font,FlowLayout,Frame,Graphics,Graphics2D,GraphicsDevice,GraphicsEnvironment,GridLayout,Image,Insets,Paint,Point,Rectangle,RenderingHints,Robot,Shape,Stroke,TexturePaint,Toolkit
    45: import java.awt.event.*;  //ActionEvent,ActionListener,ComponentAdapter,ComponentEvent,ComponentListener,FocusAdapter,FocusEvent,FocusListener,InputEvent,KeyAdapter,KeyEvent,KeyListener,MouseAdapter,MouseEvent,MouseListener,MouseMotionAdapter,MouseWheelEvent,WindowAdapter,WindowEvent,WindowListener,WindowStateListener
    46: import java.lang.*;  //Boolean,Character,Class,Comparable,Double,Exception,Float,IllegalArgumentException,Integer,Long,Math,Number,Object,Runnable,SecurityException,String,StringBuilder,System
    47: import java.util.*;  //ArrayList,Arrays,Calendar,GregorianCalendar,HashMap,Map,Map.Entry,Timer,TimerTask,TreeMap
    48: import javax.swing.*;  //AbstractButton,AbstractSpinnerModel,Box,ButtonGroup,DefaultListModel,ImageIcon,JApplet,JButton,JCheckBox,JCheckBoxMenuItem,JComponent,JDialog,JFileChooser,JFrame,JLabel,JList,JMenu,JMenuBar,JMenuItem,JPanel,JRadioButton,JScrollPane,JSpinner,JTextArea,JTextField,JTextPane,JViewport,ScrollPaneConstants,SpinnerListModel,SpinnerNumberModel,SwingConstants,SwingUtilities,UIManager,UIDefaults,UnsupportedLookAndFeelException
    49: import javax.swing.event.*;  //CaretEvent,CaretListener,ChangeEvent,ChangeListener,DocumentEvent,DocumentListener,ListSelectionListener
    50: 
    51: public class BranchLog {
    52: 
    53:   public static final boolean BLG_ON = true;  //true=分岐ログを有効にする
    54: 
    55:   //ログ
    56:   //  原則としてMPUの動作中はblgNewestRecordが動き続けているのでログを参照できないが、
    57:   //  PFVのようにMPUの動作の合間であることが保証されていれば参照することができる
    58:   public static final int BLG_RECORD_SHIFT = 1;  //1つのレコードに2要素使う
    59:   public static final int[] blgArray = new int[65536 << BLG_RECORD_SHIFT];  //head0,tail0,head1,tail1,...
    60:   public static long blgNewestRecord;  //最新のレコードの番号。blgArray[(char)blgNewestRecord<<BLG_RECORD_SHIFT]が次に書き込む位置
    61:   public static int blgPrevHeadSuper;  //前回のレコードの[0]のコピー
    62:   public static int blgPrevTail;  //前回のレコードの[1]のコピー
    63:   public static int blgHead;  //分岐命令や例外処理などで飛び込んだ命令の先頭アドレス
    64:   public static int blgSuper;  //0=ユーザモード,1=スーパーバイザモード
    65: 
    66:   //ウインドウ
    67:   public static JFrame blgFrame;  //ウインドウ
    68: 
    69:   //スピナー
    70:   public static SpinnerNumberModel blgModel;  //レコード番号のスピナーのスピナーモデル
    71:   public static JSpinner blgSpinner;  //レコード番号のスピナー
    72: 
    73:   //テキストエリア
    74:   public static final int BLG_TEXT_AREA_WIDTH = 400;  //テキストエリアの幅
    75:   public static final int BLG_TEXT_AREA_HEIGHT = 400;  //テキストエリアの高さ
    76:   public static ScrollTextArea blgScrollTextArea;  //スクロールテキストエリア
    77:   public static JTextArea blgTextArea;  //テキストエリア
    78:   public static boolean blgLock;  //true=テキスト更新中。更新中にスピナーやキャレットを動かすのでイベントで更新がネストしないようにする
    79: 
    80:   //ページ
    81:   public static final long BLG_SELECT_OLDEST = -3L;  //最古のレコードを選択する
    82:   public static final long BLG_SELECT_NEWEST = -2L;  //最新のレコードを選択する
    83:   public static final long BLG_SELECT_NONE = -1L;  //レコードを選択しない
    84:   public static final int BLG_RECORDS_PER_PAGE = 1000;  //1ページに表示するレコードの数
    85:   public static int blgNumberOfRecords;  //現在のページのレコードの数。最新のページと最古のページは1ページに表示するレコードの数よりも少ない場合がある。1<=blgNumberOfRecords<=BLG_RECORDS_PER_PAGE
    86:   public static long blgFirstRecord;  //現在のページの先頭のレコードの番号。対応する項目の番号は1
    87:   public static long blgLastRecord;  //現在のページの末尾のレコードの番号。対応する項目の番号はblgNumberOfRecords
    88:   public static long blgSelectedRecord;  //現在のページの選択されているレコードの番号。blgFirstRecord<=blgSelectedRecord<=blgLastRecord
    89:   public static int blgNumberOfItems;  //現在のページの項目の数。先頭と末尾の番兵を含む。3<=blgNumberOfItems=blgNumberOfRecords+2<=BLG_RECORDS_PER_PAGE+2
    90:   public static int blgSelectedItem;  //現在のページの選択されている項目の番号。blgSelectedItem=(int)(blgSelectedRecord-blgFirstRecord)+1
    91:   public static final long[] blgRecordArray = new long[BLG_RECORDS_PER_PAGE + 2];  //現在のページのアイテムの番号に対応するレコードの番号の配列。[0]=直前のページの末尾のレコードの番号,[1]=blgFirstRecord,[blgSelectedItem]=blgSelectedRecord,[blgNumberOfRecords]=blgLastRecord,[blgNumberOfItems-1]=直後のページの先頭のレコードの番号
    92:   public static final int[] blgPositionArray = new int[BLG_RECORDS_PER_PAGE + 3];  //現在のページのアイテムの番号に対応するテキストの開始位置の配列。[0]=0,[blgNumberOfItems]=テキストの長さ
    93: 
    94:   //blgInit ()
    95:   //  初期化
    96:   public static void blgInit () {
    97: 
    98:     //分岐ログ
    99:     //blgArray = new int[65536 << BLG_RECORD_SHIFT];
   100:     blgNewestRecord = 0L;
   101:     blgPrevHeadSuper = 0;
   102:     blgPrevTail = 0;
   103:     blgHead = 0;
   104:     blgSuper = 0;
   105: 
   106:     //ウインドウ
   107:     blgFrame = null;
   108: 
   109:     //パネル
   110: 
   111:     //スピナー
   112:     blgModel = null;
   113:     blgSpinner = null;
   114: 
   115:     //テキストエリア
   116:     blgScrollTextArea = null;
   117:     blgTextArea = null;
   118:     blgLock = false;
   119: 
   120:     //ページ
   121:     blgNumberOfRecords = 0;
   122:     blgFirstRecord = -1L;
   123:     blgLastRecord = -1L;
   124:     blgSelectedRecord = -1L;
   125:     blgNumberOfItems = 0;
   126:     blgSelectedItem = -1;
   127:     //blgRecordArray = new long[BLG_RECORDS_PER_PAGE + 2];
   128:     //blgPositionArray = new int[BLG_RECORDS_PER_PAGE + 3];
   129: 
   130:   }  //blgInit()
   131: 
   132:   //blgReset ()
   133:   //  リセット
   134:   //  リセットされる前のログは保存しない
   135:   public static void blgReset () {
   136: 
   137:     blgNewestRecord = 0L;
   138:     blgPrevHeadSuper = 0;
   139:     blgPrevTail = 0;
   140:     blgHead = XEiJ.regPC;
   141:     blgSuper = XEiJ.regSRS >>> 13;
   142: 
   143:     blgNumberOfRecords = 0;
   144:     blgFirstRecord = -1L;
   145:     blgLastRecord = -1L;
   146:     blgSelectedRecord = -1L;
   147:     blgNumberOfItems = 0;
   148:     blgSelectedItem = -1;
   149: 
   150:     DisassembleList.ddpBacktraceRecord = -1L;  //未選択
   151: 
   152:   }  //blgReset()
   153: 
   154:   //blgStop ()
   155:   //  最新レコードに停止レコードを記録する
   156:   //  tailはpc
   157:   //  最後に実行した命令で分岐したときはheadもpc
   158:   //  インライン展開する
   159:   public static void blgStop () {
   160:     int i = (char) blgNewestRecord << BLG_RECORD_SHIFT;
   161:     blgArray[i] = blgHead | blgSuper;
   162:     blgArray[i + 1] = XEiJ.regPC;  //次に実行する命令
   163:   }  //blgStop()
   164: 
   165:   //blgJump (a)
   166:   //  最新レコードに分岐レコードを記録して次の分岐レコードに進む
   167:   //  インライン展開する
   168:   public static void blgJump (int a) {
   169:     if (blgPrevHeadSuper != (blgHead | blgSuper) || blgPrevTail != XEiJ.regPC0) {  //前回のレコードと異なるとき
   170:       int i = (char) blgNewestRecord++ << BLG_RECORD_SHIFT;
   171:       blgArray[i] = blgPrevHeadSuper = blgHead | blgSuper;
   172:       blgArray[i + 1] = blgPrevTail = XEiJ.regPC0;
   173:     }
   174:     blgHead = XEiJ.regPC = a;
   175:     blgSuper = XEiJ.regSRS >>> 13;
   176:   }  //blgJump(int)
   177: 
   178:   //blgMakeFrame ()
   179:   //  分岐ログウインドウを作る
   180:   //  ここでは開かない
   181:   public static void blgMakeFrame () {
   182: 
   183:     //スクロールテキストエリア
   184:     blgScrollTextArea = ComponentFactory.setPreferredSize (
   185:       ComponentFactory.setFont (new ScrollTextArea (), new Font ("Monospaced", Font.PLAIN, 12)),
   186:       BLG_TEXT_AREA_WIDTH, BLG_TEXT_AREA_HEIGHT);
   187:     blgScrollTextArea.setMargin (new Insets (2, 4, 2, 4));  //グリッドを更新させるためJTextAreaではなくScrollTextAreaに設定する必要がある
   188:     blgScrollTextArea.setHighlightCursorOn (true);
   189:     blgTextArea = blgScrollTextArea.getTextArea ();
   190:     blgTextArea.setEditable (false);
   191:     blgTextArea.setText (Multilingual.mlnJapanese ? "MPU が動作中です" : "MPU is running");
   192:     blgTextArea.setCaretPosition (0);
   193: 
   194:     //テキストエリアのマウスリスナー
   195:     ComponentFactory.addListener (
   196:       blgTextArea,
   197:       new MouseAdapter () {
   198:         @Override public void mousePressed (MouseEvent me) {
   199:           if (XEiJ.mpuTask == null && me.isPopupTrigger ()) {
   200:             XEiJ.dbgShowPopup (me, blgTextArea, false);
   201:           }
   202:         }
   203:         @Override public void mouseReleased (MouseEvent me) {
   204:           if (XEiJ.mpuTask == null && me.isPopupTrigger ()) {
   205:             XEiJ.dbgShowPopup (me, blgTextArea, false);
   206:           }
   207:         }
   208:       });
   209: 
   210:     //キャレットリスナー
   211:     //  キー操作またはクリックでキャレットが動いたときキャレットの位置のレコードの番号をスピナーに設定する
   212:     ComponentFactory.addListener (
   213:       blgTextArea,
   214:       new CaretListener () {
   215:         @Override public void caretUpdate (CaretEvent ce) {
   216:           if (blgSelectedRecord >= 0 && !blgLock &&  //テキストは構築済みでsetTextの中ではない
   217:               XEiJ.dbgEventMask == 0) {  //Select Allの中ではない
   218:             int p = ce.getDot ();  //キャレットの位置
   219:             if (p == ce.getMark ()) {  //選択範囲がない
   220:               int item = Arrays.binarySearch (blgPositionArray, 1, blgNumberOfItems, p + 1);  //項目の先頭のときも次の項目を検索してから1つ戻る
   221:               item = (item >> 31 ^ item) - 1;  //キャレットがある位置を含む項目の番号
   222:               if (blgSelectedItem != item) {  //選択されているレコードとは別の項目に移動した
   223:                 if (item == 0) {  //先頭の番兵
   224:                   blgUpdate (Math.max (0L, blgFirstRecord - 1L));  //直前のページの末尾へ
   225:                 } else if (item <= blgNumberOfRecords) {  //レコード
   226:                   blgLock = true;
   227:                   long record = blgRecordArray[item];
   228:                   blgSelectedRecord = record;
   229:                   blgSelectedItem = item;
   230:                   if (blgModel.getNumber ().longValue () != record) {
   231:                     blgModel.setValue (new Long (record));  //スピナーの値を設定する
   232:                   }
   233:                   blgLock = false;
   234:                 } else {  //末尾の番兵
   235:                   blgUpdate (blgLastRecord + 1L);  //直後のページの先頭へ
   236:                 }
   237:               }
   238:             }
   239:           }
   240:         }
   241:       });
   242: 
   243:     //スピナー
   244:     blgModel = new ReverseLongModel (0L, 0L, Long.MAX_VALUE, 1L);
   245:     blgSpinner = ComponentFactory.createNumberSpinner (blgModel, 15, new ChangeListener () {
   246:       @Override public void stateChanged (ChangeEvent ce) {
   247:         if (!blgLock) {
   248:           blgUpdate (blgModel.getNumber ().longValue ());
   249:         }
   250:       }
   251:     });
   252: 
   253:     //アクションリスナー
   254:     ActionListener listener = new ActionListener () {
   255:       @Override public void actionPerformed (ActionEvent ae) {
   256:         Object source = ae.getSource ();
   257:         switch (ae.getActionCommand ()) {
   258:         case "Clear":  //クリア
   259:           blgReset ();
   260:           blgArray[0] = XEiJ.regPC | XEiJ.regSRS >>> 13;
   261:           blgArray[1] = XEiJ.regPC;
   262:           blgUpdate (BLG_SELECT_NEWEST);
   263:           break;
   264:         case "Oldest Record":  //最古のレコード
   265:           if (blgSelectedRecord >= 0) {
   266:             blgUpdate (BLG_SELECT_OLDEST);  //最古のレコードへ
   267:           }
   268:           break;
   269:         case "Previous Page":  //前のページ
   270:           if (blgSelectedRecord >= 0) {
   271:             blgUpdate (blgFirstRecord < blgSelectedRecord ? blgFirstRecord :  //ページの先頭でなければページの先頭へ
   272:                        Math.max (0L, blgFirstRecord - BLG_RECORDS_PER_PAGE));  //ページの先頭のときは直前のページの先頭へ
   273:           }
   274:           break;
   275:         case "Previous Record":  //前のレコード
   276:           if (blgSelectedRecord > 0) {
   277:             if (blgTextArea.getCaretPosition () != blgPositionArray[blgSelectedItem]) {  //キャレットが項目の先頭にないとき
   278:               blgTextArea.setCaretPosition (blgPositionArray[blgSelectedItem]);  //キャレットを項目の先頭に移動する
   279:             } else {  //キャレットが項目の先頭にあるとき
   280:               blgUpdate (blgSelectedRecord - 1);  //直前のレコードへ
   281:             }
   282:           }
   283:           break;
   284:         case "Next Record":  //次のレコード
   285:           if (blgSelectedRecord >= 0) {
   286:             blgUpdate (blgSelectedRecord + 1);  //直後のレコードへ
   287:           }
   288:           break;
   289:         case "Next Page":  //次のページ
   290:           if (blgSelectedRecord >= 0) {
   291:             blgUpdate (blgSelectedRecord < blgLastRecord ? blgLastRecord :  //ページの末尾でなければページの末尾へ
   292:                        blgLastRecord + BLG_RECORDS_PER_PAGE);  //ページの末尾のときは直後のページの末尾へ
   293:           }
   294:           break;
   295:         case "Newest Record":  //最新のレコード
   296:           if (blgSelectedRecord >= 0) {
   297:             blgUpdate (BLG_SELECT_NEWEST);  //最新のレコードへ
   298:           }
   299:           break;
   300:         }
   301:       }  //actionPerformed(ActionEvent)
   302:     };  //listener
   303: 
   304:     //ウインドウ
   305:     blgFrame = Multilingual.mlnTitle (
   306:       ComponentFactory.createRestorableSubFrame (
   307:         Settings.SGS_BLG_FRAME_KEY,
   308:         "Branch Log",
   309:         null,
   310:         ComponentFactory.createBorderPanel (
   311:           //CENTER
   312:           blgScrollTextArea,
   313:           //NORTH
   314:           ComponentFactory.createHorizontalBox (
   315:             XEiJ.mpuAddButtonStopped (
   316:               Multilingual.mlnToolTipText (
   317:                 ComponentFactory.createImageButton (
   318:                   LnF.LNF_CLEAR_IMAGE,
   319:                   LnF.LNF_CLEAR_DISABLED_IMAGE,
   320:                   "Clear", listener),
   321:                 "ja", "クリア")
   322:               ),
   323:             Box.createHorizontalStrut (12),
   324:             blgSpinner,
   325:             Box.createHorizontalStrut (12),
   326:             XEiJ.mpuAddButtonStopped (
   327:               Multilingual.mlnToolTipText (
   328:                 ComponentFactory.createImageButton (
   329:                   LnF.LNF_OLDEST_IMAGE,
   330:                   LnF.LNF_OLDEST_DISABLED_IMAGE,
   331:                   "Oldest Record", listener),
   332:                 "ja", "最古のレコード")
   333:               ),
   334:             XEiJ.mpuAddButtonStopped (
   335:               Multilingual.mlnToolTipText (
   336:                 ComponentFactory.createImageButton (
   337:                   LnF.LNF_OLDER_IMAGE,
   338:                   LnF.LNF_OLDER_DISABLED_IMAGE,
   339:                   "Previous Page", listener),
   340:                 "ja", "前のページ")
   341:               ),
   342:             XEiJ.mpuAddButtonStopped (
   343:               Multilingual.mlnToolTipText (
   344:                 ComponentFactory.createImageButton (
   345:                   LnF.LNF_PREVIOUS_IMAGE,
   346:                   LnF.LNF_PREVIOUS_DISABLED_IMAGE,
   347:                   "Previous Record", listener),
   348:                 "ja", "前のレコード")
   349:               ),
   350:             XEiJ.mpuAddButtonStopped (
   351:               Multilingual.mlnToolTipText (
   352:                 ComponentFactory.createImageButton (
   353:                   LnF.LNF_NEXT_IMAGE,
   354:                   LnF.LNF_NEXT_DISABLED_IMAGE,
   355:                   "Next Record", listener),
   356:                 "ja", "次のレコード")
   357:               ),
   358:             XEiJ.mpuAddButtonStopped (
   359:               Multilingual.mlnToolTipText (
   360:                 ComponentFactory.createImageButton (
   361:                   LnF.LNF_NEWER_IMAGE,
   362:                   LnF.LNF_NEWER_DISABLED_IMAGE,
   363:                   "Next Page", listener),
   364:                 "ja", "次のページ")
   365:               ),
   366:             XEiJ.mpuAddButtonStopped (
   367:               Multilingual.mlnToolTipText (
   368:                 ComponentFactory.createImageButton (
   369:                   LnF.LNF_NEWEST_IMAGE,
   370:                   LnF.LNF_NEWEST_DISABLED_IMAGE,
   371:                   "Newest Record", listener),
   372:                 "ja", "最新のレコード")
   373:               ),
   374:             Box.createHorizontalGlue (),
   375:             XEiJ.mpuMakeBreakButton (),  //停止ボタン
   376:             XEiJ.mpuMakeTraceButton (),  //トレース実行ボタン
   377:             XEiJ.mpuMakeTrace10Button (),  //トレース10回ボタン
   378:             XEiJ.mpuMakeTrace100Button (),  //トレース100回ボタン
   379:             XEiJ.mpuMakeStepButton (),  //ステップ実行ボタン
   380:             XEiJ.mpuMakeStep10Button (),  //ステップ10回ボタン
   381:             XEiJ.mpuMakeStep100Button (),  //ステップ100回ボタン
   382:             XEiJ.mpuMakeReturnButton (),  //ステップアンティルリターンボタン
   383:             XEiJ.mpuMakeRunButton ()  //実行ボタン
   384:             )
   385:           )
   386:         ),
   387:       "ja", "分岐ログ");
   388:     //  ウインドウリスナー
   389:     ComponentFactory.addListener (
   390:       blgFrame,
   391:       new WindowAdapter () {
   392:         @Override public void windowClosing (WindowEvent we) {
   393:           XEiJ.dbgVisibleMask &= ~XEiJ.DBG_BLG_VISIBLE_MASK;
   394:         }
   395:       });
   396: 
   397:   }  //blgMakeFrame()
   398: 
   399:   //blgStart ()
   400:   public static void blgStart () {
   401:     if (RestorableFrame.rfmGetOpened (Settings.SGS_BLG_FRAME_KEY)) {
   402:       blgOpen (BLG_SELECT_NONE);
   403:     }
   404:   }  //blgStart()
   405: 
   406:   //blgOpen (selectedRecord)
   407:   //  分岐ログウインドウを開く
   408:   public static void blgOpen (long selectedRecord) {
   409:     if (blgFrame == null) {
   410:       blgMakeFrame ();
   411:     }
   412:     XEiJ.dbgVisibleMask |= XEiJ.DBG_BLG_VISIBLE_MASK;
   413:     blgUpdate (selectedRecord);
   414:     blgFrame.setVisible (true);
   415:   }  //blgOpen(long)
   416: 
   417:   //blgUpdate (selectedRecord)
   418:   //  分岐ログウインドウを更新する
   419:   //  MPUが止まってから呼び出すこと
   420:   public static void blgUpdate (long selectedRecord) {
   421:     if (XEiJ.mpuTask != null) {  //MPUの動作中は更新しない。タスクの合間であることを保証すればMPUの動作中でも更新できるが重いのでやめておく
   422:       blgLock = true;
   423:       blgTextArea.setText (Multilingual.mlnJapanese ? "MPU が動作中です" : "MPU is running");
   424:       blgTextArea.setCaretPosition (0);
   425:       blgLock = false;
   426:       return;
   427:     }
   428:     if (blgLock) {  //更新中
   429:       return;
   430:     }
   431:     blgLock = true;
   432:     blgStop ();  //念のため停止レコードを書き込む
   433:     long newestRecord = blgNewestRecord;  //最新のレコードの番号
   434:     long oldestRecord = Math.max (0L, newestRecord - 65535);  //最古のレコードの番号
   435:     if (selectedRecord < 0L) {
   436:       if (selectedRecord == BLG_SELECT_NONE) {  //レコードを選択しないとき
   437:         selectedRecord = blgSelectedRecord < 0L ? newestRecord : blgSelectedRecord;  //前回選択されたレコードまたは最新のレコードを選択する
   438:       } else if (selectedRecord == BLG_SELECT_NEWEST) {  //最新のレコードを選択するとき
   439:         selectedRecord = newestRecord;  //最新のレコードを選択する
   440:       } else if (selectedRecord == BLG_SELECT_OLDEST) {  //最古のレコードを選択するとき
   441:         selectedRecord = oldestRecord;  //最古のレコードを選択する
   442:       }
   443:     }
   444:     if (selectedRecord < oldestRecord) {  //選択しようとしたレコードが残っていないとき
   445:       selectedRecord = oldestRecord;  //最古のレコードを選択する
   446:     } else if (selectedRecord > newestRecord) {  //選択しようとしたレコードがまだ存在しないとき
   447:       selectedRecord = newestRecord;  //最新のレコードを選択する
   448:     }
   449:     long firstRecord = selectedRecord / BLG_RECORDS_PER_PAGE * BLG_RECORDS_PER_PAGE;  //選択されたレコードを含むページの先頭のレコードの番号
   450:     long lastRecord = firstRecord + (long) (BLG_RECORDS_PER_PAGE - 1);  //選択されたレコードを含むページの末尾のレコードの番号
   451:     if (firstRecord < oldestRecord) {  //ページの先頭のレコードが残っていないとき
   452:       firstRecord = oldestRecord;  //ページの先頭のレコードは最古のレコード
   453:     }
   454:     if (lastRecord > newestRecord) {  //ページの末尾のレコードがまだ存在しないとき
   455:       lastRecord = newestRecord;  //ページの末尾のレコードは最新のレコード
   456:     }
   457: 
   458:     if (blgFirstRecord != firstRecord || blgLastRecord != lastRecord ||  //範囲が変わったとき
   459:         blgLastRecord == blgNewestRecord) {  //最新のレコードを含んでいるとき。トレース実行またはステップ実行で分岐しなかったとき
   460: 
   461:       //!!! 過去に通過した領域にラベルを追加した場合は範囲が変わっていなくても再構築する必要がある
   462: 
   463:       //再構築する
   464:       blgFirstRecord = firstRecord;  //ページの先頭のレコードの番号
   465:       blgLastRecord = lastRecord;  //ページの末尾のレコードの番号
   466:       blgSelectedRecord = selectedRecord;  //選択されているレコードの番号
   467: 
   468:       int pcPosition = -1;  //pcの位置
   469: 
   470:       //ラベルの準備
   471:       LabeledAddress.lblUpdate ();
   472: 
   473:       //先頭の番兵
   474:       blgRecordArray[0] = firstRecord - 1;  //直前のページの末尾のレコードの番号
   475:       blgPositionArray[0] = 0;
   476:       StringBuilder sb = new StringBuilder (
   477:         firstRecord == oldestRecord ?
   478:         Multilingual.mlnJapanese ? "───── 分岐ログの先頭 ─────\n" : "───── Top of the Branch Log ─────\n" :
   479:         Multilingual.mlnJapanese ? "↑↑↑↑↑ 手前のページ ↑↑↑↑↑\n" : "↑↑↑↑↑ Previous Page ↑↑↑↑↑\n");
   480: 
   481:       //項目のループ
   482:       int itemNumber = 1;  //項目の番号
   483:       long itemRecord = firstRecord;  //レコードの番号
   484:       while (itemRecord <= lastRecord) {
   485:         int i = (char) itemRecord << BLG_RECORD_SHIFT;
   486:         int headAddress = blgArray[i] & ~1;
   487:         int supervisor = blgArray[i] & 1;
   488:         int tailAddress = blgArray[i + 1];
   489: 
   490:         //項目の開始
   491:         if (itemRecord == selectedRecord) {  //選択されているレコード
   492:           blgSelectedItem = itemNumber;  //選択されている項目の番号
   493:         }
   494:         blgRecordArray[itemNumber] = itemRecord;  //項目のレコードの番号
   495:         blgPositionArray[itemNumber] = sb.length ();  //項目の開始位置
   496:         LabeledAddress.lblSearch (XEiJ.fmtHex8 (sb.append (itemRecord).  //レコードの番号
   497:                             append (supervisor == 0 ?
   498:                                     Multilingual.mlnJapanese ? "  [ユーザ]  " : "  [User]  " :
   499:                                     Multilingual.mlnJapanese ? "  [スーパーバイザ]  " : "  [Supervisor]  "),  //ユーザモード/スーパーバイザモード
   500:                             headAddress),  //開始アドレス
   501:                    headAddress).  //ラベル
   502:           append ('\n');
   503: 
   504:         //逆アセンブルリスト
   505:         for (Disassembler.disPC = headAddress; Disassembler.disPC <= tailAddress; ) {
   506:           if (itemRecord == selectedRecord &&  //選択されているレコード
   507:               Disassembler.disPC == XEiJ.regPC) {
   508:             pcPosition = sb.length ();  //pcの位置
   509:           }
   510:           Disassembler.disDisassemble (XEiJ.fmtHex8 (sb.append ("  "),  //字下げ
   511:                                                      Disassembler.disPC).  //アドレス
   512:                                        append ("  "),
   513:                                        Disassembler.disPC, supervisor).  //逆アセンブル
   514:             append ('\n');
   515:           if ((Disassembler.disStatus & Disassembler.DIS_ALWAYS_BRANCH) != 0) {  //完全分岐命令のとき
   516:             sb.append ('\n');  //隙間を空けて読みやすくする
   517:           }
   518:         }
   519: 
   520:         //項目の終了
   521:         itemNumber++;
   522:         itemRecord++;
   523: 
   524:       }  //while
   525: 
   526:       //末尾の番兵
   527:       blgRecordArray[itemNumber] = lastRecord + 1;  //直後のページの先頭のレコードの番号
   528:       blgPositionArray[itemNumber] = sb.length ();
   529:       sb.append (
   530:         lastRecord == newestRecord ?
   531:         Multilingual.mlnJapanese ? "───── 分岐ログの末尾 ─────" : "───── Bottom of the Branch Log ─────" :
   532:         Multilingual.mlnJapanese ? "↓↓↓↓↓ 次のページ ↓↓↓↓↓" : "↓↓↓↓↓ Next Page ↓↓↓↓↓");
   533:       itemNumber++;
   534:       blgPositionArray[itemNumber] = sb.length ();  //テキストの長さ
   535:       blgNumberOfRecords = itemNumber - 2;
   536:       blgNumberOfItems = itemNumber;
   537: 
   538:       //テキスト
   539:       blgTextArea.setText (sb.toString ());  //テキストを設定する
   540:       blgTextArea.setCaretPosition (pcPosition >= 0 ? pcPosition :  //pcの位置を含んでいるときはpcの位置へ
   541:                                     blgPositionArray[blgSelectedItem]);  //それ以外は選択されているレコードの先頭へキャレットを動かす
   542: 
   543:     } else if (blgSelectedRecord != selectedRecord) {  //範囲は変わっていないが選択されているレコードが変わった
   544: 
   545:       blgSelectedRecord = selectedRecord;  //選択されているレコードの番号
   546:       blgSelectedItem = (int) (blgSelectedRecord - blgFirstRecord) + 1;  //選択されている項目の番号
   547:       blgTextArea.setCaretPosition (blgPositionArray[blgSelectedItem]);  //選択されているレコードの先頭へキャレットを動かす
   548: 
   549:     }
   550: 
   551:     //範囲も選択されているレコードも変わっていなければキャレットは動かさない
   552:     //  選択されているレコードの中でキャレットは自由に動くことができる
   553: 
   554:     if (blgModel.getNumber ().longValue () != selectedRecord) {
   555:       blgModel.setValue (new Long (selectedRecord));  //スピナーの値を設定する。ロックしてあるのでイベントで更新がネストすることはない
   556:     }
   557: 
   558:     blgLock = false;
   559:   }  //blgUpdate(long)
   560: 
   561: }  //class BranchLog
   562: 
   563: 
   564: