DataBreakPoint.java
     1: //========================================================================================
     2: //  DataBreakPoint.java
     3: //    en:Data break point -- It stops the MPU when a data that meets the specified condition is read or written.
     4: //    ja:データブレークポイント -- 指定された条件に合うデータが読み書きされたらMPUを止めます。
     5: //  Copyright (C) 2003-2024 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: //  https://stdkmd.net/xeij/
    11: //========================================================================================
    12: 
    13: //----------------------------------------------------------------------------------------
    14: //  機能
    15: //    指定されたアドレスから指定された条件に合う値が読み出されたら停止する
    16: //    指定されたアドレスに指定された条件に合う値が書き込まれたら停止する
    17: //  情報
    18: //    udm     ユーザデータメモリマップ
    19: //    sdm     スーパーバイザデータメモリマップ
    20: //    mdm     現在のデータメモリマップ
    21: //    データブレークポイント
    22: //      有効フラグ
    23: //      アドレス
    24: //      サイズ
    25: //      マスク
    26: //      下限
    27: //      上限
    28: //      回数
    29: //      閾値
    30: //    最後にヒットしたリードデータブレークポイント
    31: //    最後にヒットしたライトデータブレークポイント
    32: //  条件
    33: //    有効である
    34: //    アドレスが一致している
    35: //    サイズが一致している
    36: //      命令のオペレーションサイズではなくバスアクセスのサイズなので、ワードとロングは分割されている場合がある
    37: //    下限<=上限のとき
    38: //      下限<=マスクされたデータ&&マスクされたデータ<=上限
    39: //    上限<下限のとき
    40: //      マスクされたデータ<=上限||下限<=マスクされたデータ
    41: //    比較は常に符号なしで行われる
    42: //  動作
    43: //    データブレークポイントがあるページから読み出されたとき
    44: //      元のページから読み出す
    45: //        ここでバスエラーが発生して戻ってこなかったときは何もしない
    46: //      リードデータブレークポイントの条件をテストする
    47: //    データブレークポイントがあるページに書き込まれたとき
    48: //      ライトデータブレークポイントの条件をテストする
    49: //      元のページに書き込む
    50: //        ここでバスエラーが発生して戻ってこなかったときは何もしない
    51: //    条件が成立したブレークポイントがあるとき
    52: //      回数を更新する
    53: //      回数が閾値以上のとき
    54: //        コアを停止させる
    55: //        実行中の命令は最後まで実行させなければならない
    56: //        エラーをthrowするのではなくループカウンタをオーバーフローさせた上でタスクを停止させる
    57: //        実行中の命令が終わるまでに複数のデータブレークポイントがヒットする可能性があることに注意する
    58: //  メモリマップ
    59: //    現在はumとsmが大元のメモリマップになっている
    60: //    グラフィックス画面、スーパーバイザ領域設定、RTC、拡張SCSI、CGROMなどはメモリマップを動的に組み替えている
    61: //    メモリマップの組み換えの競合を避けるため、um,smをコピーしてudm,sdmを作る
    62: //    um,smへの変更はデータブレークポイントがないページに限ってudm,sdmにもコピーされる
    63: //    データブレークポイントが設定されるとudm,sdmが変更される
    64: //    データブレークポイントが解除されるとum,smを用いてudm,sdmが復元される
    65: //    mmの代わりにmdmを使う
    66: //      ユーザモードに切り替えるとき
    67: //        mdm = udm;
    68: //      スーパーバイザモードに切り替えるとき
    69: //        mdm = sdm;
    70: //    モード切り替えでmmとmdmの両方を更新するのは負荷が増えるのでmmを廃止する
    71: //      残骸が残っているとデバッグの邪魔になるので一旦削除して完全に移行できたか確認した方がよい
    72: //    MPUのDMAのリードとライトはすべてmdmを経由して行う
    73: //      DMAによるライトも検出できるようにする
    74: //    ピークはリードを経由せずum,smに直接アクセスしなければならない
    75: //      そうしないとメモリダンプでも停止してしまうことになる
    76: //      mmを廃止するのでumとsmのどちらかを使うか毎回選ばなければならない
    77: //  課題
    78: //    MOVEMでメインメモリを特別扱いにする処理が重くなる
    79: //    ディスクアクセスをどうするか
    80: //      セクタ単位のディスクアクセスは途中で止めることができない
    81: //      1つの命令が多数のデータにアクセスしているだけと考えれば問題ない?
    82: //    ページを跨ぐロングワードのデータブレークポイントは設置が困難
    83: //    4の倍数でないアドレスのロングワードのアクセスを常に分割してしまうとロングワードのブレークポイントを設置できる場所が制限される
    84: //    アドレスは一致しているが設定されたサイズと異なるサイズでアクセスされたらどうするか
    85: //      バイトサイズで待っていたらワードサイズでアクセスされたとき
    86: //        データは揃っているのだから上位バイトか下位バイトのどちらかだけテストすればよい
    87: //      ワードサイズで待っていたらバイトサイズでアクセスされたとき
    88: //        ワードサイズのデータの範囲の条件が下限==0x0000&&上限==0xffffまたは下限==上限のとき
    89: //          バイトサイズのデータの範囲の条件も同じなので範囲の条件を満たすかどうか判断できる
    90: //        その他
    91: //          データが不足しているので範囲の条件を満たすかどうか判断できない
    92: //    もっと複雑な条件を与えたい
    93: //      条件を式で与える
    94: //      元の値よりも小さい値が書き込まれたら停止する
    95: //        slt(d,rws(a))
    96: //      アドレスがマッチすることが少なければ条件が複雑でも全体のパフォーマンスにそれほど影響はないはず
    97: //----------------------------------------------------------------------------------------
    98: 
    99: package xeij;
   100: 
   101: 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
   102: 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
   103: import java.lang.*;  //Boolean,Character,Class,Comparable,Double,Exception,Float,IllegalArgumentException,Integer,Long,Math,Number,Object,Runnable,SecurityException,String,StringBuilder,System
   104: import java.util.*;  //ArrayList,Arrays,Calendar,GregorianCalendar,HashMap,Map,Map.Entry,Timer,TimerTask,TreeMap
   105: import javax.swing.*;  //AbstractSpinnerModel,Box,ButtonGroup,DefaultListModel,ImageIcon,JApplet,JButton,JCheckBox,JCheckBoxMenuItem,JDialog,JFileChooser,JFrame,JLabel,JList,JMenu,JMenuBar,JMenuItem,JPanel,JRadioButton,JScrollPane,JSpinner,JTextArea,JTextField,JTextPane,JViewport,ScrollPaneConstants,SpinnerListModel,SpinnerNumberModel,SwingConstants,SwingUtilities,UIManager,UIDefaults,UnsupportedLookAndFeelException
   106: import javax.swing.event.*;  //CaretListener,ChangeEvent,ChangeListener,DocumentEvent,DocumentListener,ListSelectionListener
   107: 
   108: public class DataBreakPoint {
   109: 
   110:   public static final boolean DBP_ON = true;  //true=データブレークポイントの機能を用いる
   111: 
   112:   //サイズ
   113:   public static final int DBP_BYTE  = 0;
   114:   public static final int DBP_WORD  = 1;
   115:   public static final int DBP_LONG  = 2;
   116:   public static final java.util.List<String> DBP_SIZE_LIST_EN = Arrays.asList ("Byte", "Word", "Long");
   117:   public static final java.util.List<String> DBP_SIZE_LIST_JA = Arrays.asList ("バイト", "ワード", "ロング");
   118: 
   119:   //メモリマップ
   120:   public static final MemoryMappedDevice[] dbpUserMap = DBP_ON ? new MemoryMappedDevice[XEiJ.BUS_PAGE_COUNT] : null;  //ユーザデータメモリマップ
   121:   public static final MemoryMappedDevice[] dbpSuperMap = DBP_ON ? new MemoryMappedDevice[XEiJ.BUS_PAGE_COUNT] : null;  //スーパーバイザデータメモリマップ
   122:   public static MemoryMappedDevice[] dbpMemoryMap;  //現在のデータメモリマップ。srS==0?udm:sdm
   123: 
   124:   //リスト
   125:   public static ArrayList<DataBreakRecord> dbpList;  //リスト
   126: 
   127:   //ウインドウ
   128:   public static int dbpLock;  //スピナーのチェンジイベントを抑制するためのフラグ
   129:   public static JFrame dbpFrame;  //フレーム
   130:   public static GridLayout dbpListGridLayout;  //リストパネルのグリッドレイアウト
   131:   public static JPanel dbpListPanel;  //リストパネル
   132: 
   133:   //dbpInit ()
   134:   //  データブレークポイントを初期化する
   135:   public static void dbpInit () {
   136: 
   137:     Arrays.fill (dbpUserMap, MemoryMappedDevice.MMD_NUL);
   138:     Arrays.fill (dbpSuperMap, MemoryMappedDevice.MMD_NUL);
   139:     dbpMemoryMap = dbpSuperMap;
   140: 
   141:     //リスト
   142:     dbpList = new ArrayList<DataBreakRecord> ();
   143: 
   144:   }  //dbpInit()
   145: 
   146:   //dbpStart ()
   147:   public static void dbpStart () {
   148:     if (RestorableFrame.rfmGetOpened (Settings.SGS_DBP_FRAME_KEY)) {
   149:       dbpOpen ();
   150:     }
   151:   }  //dbpStart()
   152: 
   153:   //dbpOpen ()
   154:   //  データブレークポイントウインドウを開く
   155:   public static void dbpOpen () {
   156:     if (dbpFrame == null) {
   157:       dbpMakeFrame ();
   158:     }
   159:     XEiJ.dbgVisibleMask |= XEiJ.DBG_DBP_VISIBLE_MASK;
   160:     XEiJ.pnlExitFullScreen (false);
   161:     dbpFrame.setVisible (true);
   162:   }  //dbpOpen()
   163: 
   164:   //dbpMakeFrame ()
   165:   //  データブレークポイントウインドウを作る
   166:   //  ここでは開かない
   167:   public static void dbpMakeFrame () {
   168:     dbpLock = 0;
   169:     //アクションリスナー
   170:     ActionListener listener = new ActionListener () {
   171:       @Override public void actionPerformed (ActionEvent ae) {
   172:         Object source = ae.getSource ();
   173:         switch (ae.getActionCommand ()) {
   174:         case "Add":  //追加
   175:           new DataBreakRecord (0x00000000, DBP_BYTE, 0xff, 0, 0xff, false, 0, 0);
   176:           break;
   177:         }
   178:       }
   179:     };
   180:     //ウインドウ
   181:     dbpListGridLayout = new GridLayout (1, 9);
   182:     dbpListPanel = ComponentFactory.addComponents (
   183:       new JPanel (dbpListGridLayout),
   184:       Multilingual.mlnText (ComponentFactory.createLabel ("Enabled"), "ja", "有効"),
   185:       Multilingual.mlnText (ComponentFactory.createLabel ("Address"), "ja", "アドレス"),
   186:       Multilingual.mlnText (ComponentFactory.createLabel ("Size"), "ja", "サイズ"),
   187:       Multilingual.mlnText (ComponentFactory.createLabel ("Mask"), "ja", "マスク"),
   188:       Multilingual.mlnText (ComponentFactory.createLabel ("Lower"), "ja", "下限"),
   189:       Multilingual.mlnText (ComponentFactory.createLabel ("Upper"), "ja", "上限"),
   190:       Multilingual.mlnText (ComponentFactory.createLabel ("Count"), "ja", "回数"),
   191:       Multilingual.mlnText (ComponentFactory.createLabel ("Threshold"), "ja", "閾値"),
   192:       Multilingual.mlnText (ComponentFactory.createLabel ("Remove"), "ja", "削除")
   193:       );
   194:     dbpFrame = Multilingual.mlnTitle (
   195:       ComponentFactory.createRestorableSubFrame (
   196:         Settings.SGS_DBP_FRAME_KEY,
   197:         "Data break point",
   198:         null,
   199:         ComponentFactory.setPreferredSize (
   200:           ComponentFactory.createBorderPanel (
   201:             //CENTER
   202:             ComponentFactory.createScrollPane (dbpListPanel),
   203:             //NORTH
   204:             null,
   205:             //WEST
   206:             null,
   207:             //SOUTH
   208:             ComponentFactory.createFlowPanel (
   209:               FlowLayout.CENTER,
   210:               Multilingual.mlnText (ComponentFactory.createButton ("Add", listener), "ja", "追加")
   211:               )
   212:             //EAST
   213:             ),
   214:           750, 100)
   215:         ),
   216:       "ja", "データブレークポイント");
   217:     //  ウインドウリスナー
   218:     ComponentFactory.addListener (
   219:       dbpFrame,
   220:       new WindowAdapter () {
   221:         @Override public void windowClosing (WindowEvent we) {
   222:           XEiJ.dbgVisibleMask &= ~XEiJ.DBG_DBP_VISIBLE_MASK;
   223:         }
   224:       });
   225:   }  //dbpMakeFrame()
   226: 
   227:   //dbpBreak (type, address, data)
   228:   //  条件に合うブレークポイントを探して見つかったら回数を増やす。閾値に達したらコアを停止させる
   229:   //  バイトアクセスしたときバイトサイズのブレークポイントがマッチする
   230:   //  ワードアクセスしたときバイトサイズとワードサイズのブレークポイントがマッチする
   231:   //  ロングワードアクセスしたときバイトサイズとワードサイズとロングワードサイズのブレークポイントがマッチする
   232:   public static void dbpBreak (int size, int address, int data) {
   233:     if (size == DBP_BYTE) {  //バイトアクセス
   234:       for (DataBreakRecord r : dbpList) {
   235:         if (r.dbrEnabled) {  //ブレークポイントが有効
   236:           if (r.dbrSize == DBP_BYTE) {  //ブレークポイントがバイトサイズ
   237:             if (address == r.dbrAddress) {  //バイトアクセスの1バイト目にバイトサイズのブレークポイントがある
   238:               int masked = data & r.dbrMask;  //マスクされたバイトデータの1バイト目
   239:               if (r.dbrLower <= r.dbrUpper ?
   240:                   r.dbrLower <= masked && masked <= r.dbrUpper :
   241:                   masked <= r.dbrUpper || r.dbrLower <= masked) {  //データが範囲内
   242:                 r.dbrSetCount (r.dbrCount + 1);  //回数を増やす
   243:                 if (r.dbrThreshold <= r.dbrCount) {  //閾値に達している
   244:                   XEiJ.mpuStop (null);  //コアを停止させる
   245:                 }
   246:               }  //データ
   247:             }  //アドレス
   248:           }  //ブレークポイントのサイズ
   249:         }  //ブレークポイントが有効
   250:       }  //for r
   251:     } else if (size == DBP_WORD) {  //ワードアクセス
   252:       for (DataBreakRecord r : dbpList) {
   253:         if (r.dbrEnabled) {  //ブレークポイントが有効
   254:           if (r.dbrSize == DBP_BYTE) {  //ブレークポイントがバイトサイズ
   255:             if (address == r.dbrAddress) {  //ワードアクセスの1バイト目にバイトサイズのブレークポイントがある
   256:               int masked = data >>> 8 & r.dbrMask;  //マスクされたワードデータの1バイト目
   257:               if (r.dbrLower <= r.dbrUpper ?
   258:                   r.dbrLower <= masked && masked <= r.dbrUpper :
   259:                   masked <= r.dbrUpper || r.dbrLower <= masked) {  //データが範囲内
   260:                 r.dbrSetCount (r.dbrCount + 1);  //回数を増やす
   261:                 if (r.dbrThreshold <= r.dbrCount) {  //閾値に達しているとき
   262:                   XEiJ.mpuStop (null);  //コアを停止させる
   263:                 }
   264:               }  //条件
   265:             } else if (address + 1 == r.dbrAddress) {  //ワードアクセスの2バイト目にバイトサイズのブレークポイントがある
   266:               int masked = data & r.dbrMask;  //マスクされたワードデータの2バイト目
   267:               if (r.dbrLower <= r.dbrUpper ?
   268:                   r.dbrLower <= masked && masked <= r.dbrUpper :
   269:                   masked <= r.dbrUpper || r.dbrLower <= masked) {  //データが範囲内
   270:                 r.dbrSetCount (r.dbrCount + 1);  //回数を増やす
   271:                 if (r.dbrThreshold <= r.dbrCount) {  //閾値に達しているとき
   272:                   XEiJ.mpuStop (null);  //コアを停止させる
   273:                 }
   274:               }  //条件
   275:             }  //アドレス
   276:           } else if (r.dbrSize == DBP_WORD) {  //ブレークポイントがワードサイズ
   277:             if (address == r.dbrAddress) {  //ワードアクセスの1ワード目にワードサイズのブレークポイントがある
   278:               int masked = data & r.dbrMask;  //マスクされたワードデータの1ワード目
   279:               if (r.dbrLower <= r.dbrUpper ?
   280:                   r.dbrLower <= masked && masked <= r.dbrUpper :
   281:                   masked <= r.dbrUpper || r.dbrLower <= masked) {  //データが範囲内
   282:                 r.dbrSetCount (r.dbrCount + 1);  //回数を増やす
   283:                 if (r.dbrThreshold <= r.dbrCount) {  //閾値に達しているとき
   284:                   XEiJ.mpuStop (null);  //コアを停止させる
   285:                 }
   286:               }  //条件
   287:             }  //アドレス
   288:           }  //ブレークポイントのサイズ
   289:         }  //ブレークポイントが有効
   290:       }  //for r
   291:     } else if (size == DBP_LONG) {  //ロングワードアクセス
   292:       for (DataBreakRecord r : dbpList) {
   293:         if (r.dbrEnabled) {  //ブレークポイントが有効
   294:           if (r.dbrSize == DBP_BYTE) {  //ブレークポイントがバイトサイズ
   295:             if (address == r.dbrAddress) {  //ロングワードアクセスの1バイト目にバイトサイズのブレークポイントがある
   296:               int masked = data >>> 24 & r.dbrMask;  //マスクされたロングワードデータの1バイト目
   297:               if (r.dbrLower <= r.dbrUpper ?
   298:                   r.dbrLower <= masked && masked <= r.dbrUpper :
   299:                   masked <= r.dbrUpper || r.dbrLower <= masked) {  //データが範囲内
   300:                 r.dbrSetCount (r.dbrCount + 1);  //回数を増やす
   301:                 if (r.dbrThreshold <= r.dbrCount) {  //閾値に達しているとき
   302:                   XEiJ.mpuStop (null);  //コアを停止させる
   303:                 }
   304:               }  //条件
   305:             } else if (address + 1 == r.dbrAddress) {  //ロングワードアクセスの2バイト目にバイトサイズのブレークポイントがある
   306:               int masked = data >>> 16 & r.dbrMask;  //マスクされたロングワードデータの2バイト目
   307:               if (r.dbrLower <= r.dbrUpper ?
   308:                   r.dbrLower <= masked && masked <= r.dbrUpper :
   309:                   masked <= r.dbrUpper || r.dbrLower <= masked) {  //データが範囲内
   310:                 r.dbrSetCount (r.dbrCount + 1);  //回数を増やす
   311:                 if (r.dbrThreshold <= r.dbrCount) {  //閾値に達しているとき
   312:                   XEiJ.mpuStop (null);  //コアを停止させる
   313:                 }
   314:               }  //条件
   315:             } else if (address + 2 == r.dbrAddress) {  //ロングワードアクセスの3バイト目にバイトサイズのブレークポイントがある
   316:               int masked = data >>> 8 & r.dbrMask;  //マスクされたロングワードデータの3バイト目
   317:               if (r.dbrLower <= r.dbrUpper ?
   318:                   r.dbrLower <= masked && masked <= r.dbrUpper :
   319:                   masked <= r.dbrUpper || r.dbrLower <= masked) {  //データが範囲内
   320:                 r.dbrSetCount (r.dbrCount + 1);  //回数を増やす
   321:                 if (r.dbrThreshold <= r.dbrCount) {  //閾値に達しているとき
   322:                   XEiJ.mpuStop (null);  //コアを停止させる
   323:                 }
   324:               }  //条件
   325:             } else if (address + 3 == r.dbrAddress) {  //ロングワードアクセスの4バイト目にバイトサイズのブレークポイントがある
   326:               int masked = data & r.dbrMask;  //マスクされたロングワードデータの4バイト目
   327:               if (r.dbrLower <= r.dbrUpper ?
   328:                   r.dbrLower <= masked && masked <= r.dbrUpper :
   329:                   masked <= r.dbrUpper || r.dbrLower <= masked) {  //データが範囲内
   330:                 r.dbrSetCount (r.dbrCount + 1);  //回数を増やす
   331:                 if (r.dbrThreshold <= r.dbrCount) {  //閾値に達しているとき
   332:                   XEiJ.mpuStop (null);  //コアを停止させる
   333:                 }
   334:               }  //条件
   335:             }  //アドレス
   336:           } else if (r.dbrSize == DBP_WORD) {  //ブレークポイントがワードサイズ
   337:             if (address == r.dbrAddress) {  //ロングワードアクセスの1ワード目にワードサイズのブレークポイントがある
   338:               int masked = data >> 16 & r.dbrMask;  //マスクされたロングワードデータの1ワード目
   339:               if (r.dbrLower <= r.dbrUpper ?
   340:                   r.dbrLower <= masked && masked <= r.dbrUpper :
   341:                   masked <= r.dbrUpper || r.dbrLower <= masked) {  //データが範囲内
   342:                 r.dbrSetCount (r.dbrCount + 1);  //回数を増やす
   343:                 if (r.dbrThreshold <= r.dbrCount) {  //閾値に達しているとき
   344:                   XEiJ.mpuStop (null);  //コアを停止させる
   345:                 }
   346:               }  //条件
   347:             } else if (address + 2 == r.dbrAddress) {  //ロングワードアクセスの2ワード目にワードサイズのブレークポイントがある
   348:               int masked = data & r.dbrMask;  //マスクされたロングワードデータの2ワード目
   349:               if (r.dbrLower <= r.dbrUpper ?
   350:                   r.dbrLower <= masked && masked <= r.dbrUpper :
   351:                   masked <= r.dbrUpper || r.dbrLower <= masked) {  //データが範囲内
   352:                 r.dbrSetCount (r.dbrCount + 1);  //回数を増やす
   353:                 if (r.dbrThreshold <= r.dbrCount) {  //閾値に達しているとき
   354:                   XEiJ.mpuStop (null);  //コアを停止させる
   355:                 }
   356:               }  //条件
   357:             }  //アドレス
   358:           } else if (r.dbrSize == DBP_LONG) {  //ブレークポイントがロングワードサイズ
   359:             if (address == r.dbrAddress) {  //ロングワードアクセスの1ロングワード目にロングワードサイズのブレークポイントがある
   360:               int masked = data & r.dbrMask;  //マスクされたロングワードデータの1ロングワード目
   361:               if (Integer.compareUnsigned (r.dbrLower, r.dbrUpper) <= 0 ?
   362:                   Integer.compareUnsigned (r.dbrLower, masked) <= 0 && Integer.compareUnsigned (masked, r.dbrUpper) <= 0 :
   363:                   Integer.compareUnsigned (masked, r.dbrUpper) <= 0 || Integer.compareUnsigned (r.dbrLower, masked) <= 0) {  //データが範囲内
   364:                 r.dbrSetCount (r.dbrCount + 1);  //回数を増やす
   365:                 if (r.dbrThreshold <= r.dbrCount) {  //閾値に達しているとき
   366:                   XEiJ.mpuStop (null);  //コアを停止させる
   367:                 }
   368:               }  //条件
   369:             }  //アドレス
   370:           }  //ブレークポイントのサイズ
   371:         }  //ブレークポイントが有効
   372:       }  //for r
   373:     }  //アクセスサイズ
   374:   }  //dbpBreak(int,int,int)
   375: 
   376: 
   377: 
   378:   public static class DataBreakRecord implements Comparable<DataBreakRecord> {
   379: 
   380:     //設定
   381:     public int dbrAddress;  //アドレス
   382:     public int dbrSize;  //サイズ。DBP_BYTE=バイト,DBP_WORD=ワード,DBP_LONG=ロング
   383:     public int dbrMask;  //マスク。バイトのときは0xff、ワードのときは0xffffを超えないこと
   384:     public int dbrLower;  //下限。符号なし比較。下限の方が大きいときは範囲外を意味する
   385:     public int dbrUpper;  //上限。符号なし比較。lower<=upper?lower<=data&&data<=upper:data<=upper||lower<=data
   386: 
   387:     //状態
   388:     public boolean dbrEnabled;  //true=有効
   389:     public int dbrCount;  //回数
   390:     public int dbrThreshold;  //閾値
   391: 
   392:     //パネル
   393:     public Box dbrEnabledBox;
   394:     public JCheckBox dbrEnabledCheckBox;
   395:     public Hex8Spinner dbrAddressSpinner;
   396:     public JSpinner dbrSizeSpinner;
   397:     public JLabel[] dbrSizeLabels;
   398:     public Hex8Spinner dbrMaskSpinner;
   399:     public Hex8Spinner dbrLowerSpinner;
   400:     public Hex8Spinner dbrUpperSpinner;
   401:     public JSpinner dbrCountSpinner;
   402:     public SpinnerNumberModel dbrCountModel;
   403:     public JSpinner dbrThresholdSpinner;
   404:     public SpinnerNumberModel dbrThresholdModel;
   405:     public Box dbrRemoveBox;
   406:     public JButton dbrRemoveButton;
   407: 
   408:     //コンパレータ
   409:     @Override public int compareTo (DataBreakRecord r) {
   410:       int t = Integer.compareUnsigned (dbrAddress, r.dbrAddress);
   411:       if (t == 0) {
   412:         t = Integer.compareUnsigned (dbrSize, r.dbrSize);
   413:         if (t == 0) {
   414:           t = Integer.compareUnsigned (dbrMask, r.dbrMask);
   415:           if (t == 0) {
   416:             t = Integer.compareUnsigned (dbrLower, r.dbrLower);
   417:             if (t == 0) {
   418:               t = Integer.compareUnsigned (dbrUpper, r.dbrUpper);
   419:             }
   420:           }
   421:         }
   422:       }
   423:       return t;
   424:     }
   425: 
   426:     //new DataBreakRecord (address, size, mask, lower, upper, enabled, count, threshold)
   427:     //  コンストラクタ
   428:     @SuppressWarnings ("this-escape") public DataBreakRecord (int address, int size, int mask, int lower, int upper, boolean enabled, int count, int threshold) {
   429: 
   430:       //サイズによるマスク
   431:       mask &= size == DBP_BYTE ? 0xff : size == DBP_WORD ? 0xffff : 0xffffffff;
   432:       lower &= mask;
   433:       upper &= mask;
   434: 
   435:       //設定
   436:       dbrAddress = address;  //アドレス
   437:       dbrSize = size;  //サイズ
   438:       dbrMask = mask;  //マスク
   439:       dbrLower = lower;  //下限
   440:       dbrUpper = upper;  //上限
   441: 
   442:       //状態
   443:       dbrEnabled = enabled;  //true=有効
   444:       dbrCount = count;  //回数
   445:       dbrThreshold = threshold;  //閾値
   446: 
   447:       //アクションリスナー
   448:       ActionListener listener = new ActionListener () {
   449:         @Override public void actionPerformed (ActionEvent ae) {
   450:           Object source = ae.getSource ();
   451:           switch (ae.getActionCommand ()) {
   452:           case "Enabled":  //有効
   453:             dbrSetEnabled (((JCheckBox) source).isSelected ());
   454:             break;
   455:           case "Remove":  //削除
   456:             dbrRemove ();
   457:             break;
   458:           }
   459:         }
   460:       };
   461: 
   462:       //有効
   463:       dbrEnabledBox = ComponentFactory.createGlueBox (
   464:         dbrEnabledCheckBox = Multilingual.mlnText (ComponentFactory.createCheckBox (dbrEnabled, "Enabled", listener), "ja", "有効")
   465:         );
   466: 
   467:       //アドレス
   468:       dbrAddressSpinner = ComponentFactory.createHex8Spinner (dbrAddress, 0xffffffff, false, new ChangeListener () {
   469:         @Override public void stateChanged (ChangeEvent ce) {
   470:           if (dbpLock == 0) {
   471:             dbrSetAddress (((Hex8Spinner) ce.getSource ()).getIntValue ());  //構築中はdbrAddressSpinnerを参照できないことに注意
   472:           }
   473:         }
   474:       });
   475: 
   476:       //サイズ
   477:       dbrSizeSpinner = Multilingual.mlnList (
   478:         ComponentFactory.createListSpinner (
   479:           DBP_SIZE_LIST_EN,
   480:           DBP_SIZE_LIST_EN.get (dbrSize),
   481:           new ChangeListener () {
   482:             @Override public void stateChanged (ChangeEvent ce) {
   483:               if (dbpLock == 0) {
   484:                 SpinnerListModel model = (SpinnerListModel) ((JSpinner) ce.getSource ()).getModel ();  //構築中はdbrSizeSpinnerを参照できないことに注意
   485:                 dbrSetSize (model.getList ().indexOf (model.getValue ()));
   486:               }
   487:             }
   488:           }),
   489:         "ja", DBP_SIZE_LIST_JA);
   490: 
   491:       //マスク
   492:       dbrMaskSpinner = ComponentFactory.createHex8Spinner (dbrMask, -1, false, new ChangeListener () {
   493:         @Override public void stateChanged (ChangeEvent ce) {
   494:           if (dbpLock == 0) {
   495:             dbrSetMask (((Hex8Spinner) ce.getSource ()).getIntValue ());  //構築中はdbrMaskSpinnerを参照できないことに注意
   496:           }
   497:         }
   498:       });
   499: 
   500:       //下限
   501:       dbrLowerSpinner = ComponentFactory.createHex8Spinner (dbrLower, -1, false, new ChangeListener () {
   502:         @Override public void stateChanged (ChangeEvent ce) {
   503:           if (dbpLock == 0) {
   504:             dbrSetLower (((Hex8Spinner) ce.getSource ()).getIntValue ());  //構築中はdbrLowerSpinnerを参照できないことに注意
   505:           }
   506:         }
   507:       });
   508: 
   509:       //上限
   510:       dbrUpperSpinner = ComponentFactory.createHex8Spinner (dbrUpper, -1, false, new ChangeListener () {
   511:         @Override public void stateChanged (ChangeEvent ce) {
   512:           if (dbpLock == 0) {
   513:             dbrSetUpper (((Hex8Spinner) ce.getSource ()).getIntValue ());  //構築中はdbrUpperSpinnerを参照できないことに注意
   514:           }
   515:         }
   516:       });
   517: 
   518:       //回数
   519:       dbrCountSpinner = ComponentFactory.createNumberSpinner (
   520:         dbrCountModel = new SpinnerNumberModel (dbrCount, 0, 99999999, 1),
   521:         8,
   522:         new ChangeListener () {
   523:           @Override public void stateChanged (ChangeEvent ce) {
   524:             if (dbpLock == 0) {
   525:               dbrSetCount (dbrCountModel.getNumber ().intValue ());
   526:             }
   527:           }
   528:         });
   529: 
   530:       //閾値
   531:       dbrThresholdSpinner = ComponentFactory.createNumberSpinner (
   532:         dbrThresholdModel = new SpinnerNumberModel (dbrThreshold, 0, 99999999, 1),
   533:         8,
   534:         new ChangeListener () {
   535:           @Override public void stateChanged (ChangeEvent ce) {
   536:             if (dbpLock == 0) {
   537:               dbrSetThreshold (dbrThresholdModel.getNumber ().intValue ());
   538:             }
   539:           }
   540:         });
   541: 
   542:       //削除
   543:       dbrRemoveBox = ComponentFactory.createGlueBox (
   544:         dbrRemoveButton = Multilingual.mlnText (ComponentFactory.createButton ("Remove", listener), "ja", "削除")
   545:         );
   546: 
   547:       //データブレークポイントのリストに加える
   548:       dbpList.add (this);  //[this-escape]
   549: 
   550:       //パネルに加える
   551:       dbpListGridLayout.setRows (dbpListGridLayout.getRows () + 1);
   552:       ComponentFactory.addComponents (
   553:         dbpListPanel,
   554:         dbrEnabledBox,  //有効
   555:         dbrAddressSpinner,  //アドレス
   556:         dbrSizeSpinner,  //サイズ
   557:         dbrMaskSpinner,  //マスク
   558:         dbrLowerSpinner,  //下限
   559:         dbrUpperSpinner,  //上限
   560:         dbrCountSpinner,  //回数
   561:         dbrThresholdSpinner,  //閾値
   562:         dbrRemoveBox
   563:         );
   564:       dbpListPanel.validate ();
   565:       dbpListPanel.repaint ();
   566: 
   567:       //このデータブレークポイントが有効かどうかでページのデータブレークポイントを有効にするかどうか決める
   568:       dbrSetEnabled (dbrEnabled);
   569: 
   570:     }  //new DataBreakRecord(int,int,int,int,int,boolean,int,int)
   571: 
   572:     //dbr.dbrRemove ()
   573:     //  データブレークポイントを取り除く
   574:     public void dbrRemove () {
   575: 
   576:       //このデータブレークポイントを無効にして必要ならばページのデータブレークポイントを無効にする
   577:       dbrSetEnabled (false);
   578: 
   579:       //パネルから取り除く
   580:       ComponentFactory.removeComponents (
   581:         dbpListPanel,
   582:         dbrEnabledBox,  //有効
   583:         dbrAddressSpinner,  //アドレス
   584:         dbrSizeSpinner,  //サイズ
   585:         dbrMaskSpinner,  //マスク
   586:         dbrLowerSpinner,  //下限
   587:         dbrUpperSpinner,  //上限
   588:         dbrCountSpinner,  //回数
   589:         dbrThresholdSpinner,  //閾値
   590:         dbrRemoveBox
   591:         );
   592:       dbpListGridLayout.setRows (dbpListGridLayout.getRows () - 1);
   593:       dbpListPanel.validate ();
   594:       dbpListPanel.repaint ();
   595: 
   596:       //リストから取り除く
   597:       dbpList.remove (this);
   598: 
   599:     }  //dbr.dbrRemove()
   600: 
   601:     //dbr.dbrSetAddress (address)
   602:     //  アドレスを設定する
   603:     public void dbrSetAddress (int address) {
   604:       if (dbrAddress != address) {
   605:         dbrAddress = address;
   606:         if (dbrAddressSpinner != null) {
   607:           dbpLock++;
   608:           dbrAddressSpinner.setIntValue (address);
   609:           dbpLock--;
   610:         }
   611:       }
   612:     }  //dbr.dbrSetAddress(int)
   613: 
   614:     //dbr.dbrSetSize (size)
   615:     //  サイズを設定する
   616:     public void dbrSetSize (int size) {
   617:       if (dbrSize != size) {
   618:         dbrSize = size;
   619:         if (dbrSizeSpinner != null) {
   620:           dbpLock++;
   621:           dbrSizeSpinner.setValue (((SpinnerListModel) dbrSizeSpinner.getModel ()).getList ().get (size));
   622:           dbpLock--;
   623:         }
   624:         dbrSetMask (dbrMask & (dbrSize == DBP_BYTE ? 0xff : dbrSize == DBP_WORD ? 0xffff : 0xffffffff));
   625:       }
   626:     }  //dbr.dbrSetSize(int)
   627: 
   628:     //dbr.dbrSetMask (mask)
   629:     //  マスクを設定する
   630:     public void dbrSetMask (int mask) {
   631:       mask &= dbrSize == DBP_BYTE ? 0xff : dbrSize == DBP_WORD ? 0xffff : 0xffffffff;
   632:       if (dbrMask != mask) {
   633:         dbrMask = mask;
   634:         if (dbrMaskSpinner != null) {
   635:           dbpLock++;
   636:           dbrMaskSpinner.setIntValue (mask);
   637:           dbpLock--;
   638:         }
   639:         dbrSetLower (dbrLower);
   640:         dbrSetUpper (dbrUpper);
   641:       }
   642:     }  //dbr.dbrSetMask(int)
   643: 
   644:     //dbr.dbrSetLower (lower)
   645:     //  下限を設定する
   646:     public void dbrSetLower (int lower) {
   647:       lower &= dbrMask;
   648:       if (dbrLower != lower) {
   649:         dbrLower = lower;
   650:         if (dbrLowerSpinner != null) {
   651:           dbpLock++;
   652:           dbrLowerSpinner.setIntValue (lower);
   653:           dbpLock--;
   654:         }
   655:       }
   656:     }  //dbr.dbrSetLower(int)
   657: 
   658:     //dbr.dbrSetUpper (upper)
   659:     //  上限を設定する
   660:     public void dbrSetUpper (int upper) {
   661:       upper &= dbrMask;
   662:       if (dbrUpper != upper) {
   663:         dbrUpper = upper;
   664:         if (dbrUpperSpinner != null) {
   665:           dbpLock++;
   666:           dbrUpperSpinner.setIntValue (upper);
   667:           dbpLock--;
   668:         }
   669:       }
   670:     }  //dbr.dbrSetUpper(int)
   671: 
   672:     //dbr.dbrSetEnabled (enabled)
   673:     //  有効/無効を設定する
   674:     public void dbrSetEnabled (boolean enabled) {
   675:       if (dbrEnabled != enabled) {
   676:         dbrEnabled = enabled;
   677:         dbrEnabledCheckBox.setSelected (enabled);
   678:       }
   679:       int p = dbrAddress >>> XEiJ.BUS_PAGE_BITS;  //ページ番号
   680:       if (dbrEnabled) {  //有効
   681:         //ページのデータブレークポイントを有効にする
   682:         dbpUserMap[p] = dbpSuperMap[p] = MemoryMappedDevice.MMD_DBP;
   683:       } else {  //無効
   684:         //同じページに他にデータブレークポイントがなければページのデータブレークポイントを無効にする
   685:         boolean exists = false;
   686:         for (DataBreakRecord r : dbpList) {
   687:           if (r.dbrAddress >>> XEiJ.BUS_PAGE_BITS == p) {  //同じページに他のデータブレークポイントがある
   688:             exists = true;
   689:             break;
   690:           }
   691:         }
   692:         dbpUserMap[p] = exists ? MemoryMappedDevice.MMD_DBP : XEiJ.busUserMap[p];
   693:         dbpSuperMap[p] = exists ? MemoryMappedDevice.MMD_DBP : XEiJ.busSuperMap[p];
   694:       }
   695:     }  //dbr.dbrSetEnabled(boolean)
   696: 
   697:     //dbr.dbrSetCount (count)
   698:     //  回数を設定する
   699:     public void dbrSetCount (int count) {
   700:       if (dbrCount != count) {
   701:         dbrCount = count;
   702:         if (dbrCountSpinner != null) {
   703:           dbpLock++;
   704:           dbrCountSpinner.setValue (Integer.valueOf (count));
   705:           dbpLock--;
   706:         }
   707:       }
   708:     }  //dbr.dbrSetCount(int)
   709: 
   710:     //dbr.dbrSetThreshold (threshold)
   711:     //  閾値を設定する
   712:     public void dbrSetThreshold (int threshold) {
   713:       if (dbrThreshold != threshold) {
   714:         dbrThreshold = threshold;
   715:         if (dbrThresholdSpinner != null) {
   716:           dbpLock++;
   717:           dbrThresholdSpinner.setValue (Integer.valueOf (threshold));
   718:           dbpLock--;
   719:         }
   720:       }
   721:     }  //dbr.dbrSetThreshold(int)
   722: 
   723:   }  //class DataBreakRecord
   724: 
   725: 
   726: 
   727: }  //class DataBreakPoint
   728: 
   729: 
   730: