# HG changeset patch # User Windel Bouwman # Date 1358974454 -3600 # Node ID 9af544be5d2a6dafd7ce27fc2486513c7f78cfd5 # Parent 01d88140dc03bd4501a703d197dfc9ed4b52a91d Added hexfile edit diff -r 01d88140dc03 -r 9af544be5d2a python/hexedit.py --- a/python/hexedit.py Mon Jan 21 21:12:36 2013 +0100 +++ b/python/hexedit.py Wed Jan 23 21:54:14 2013 +0100 @@ -3,7 +3,16 @@ from PyQt4.QtGui import * BYTES_PER_LINE = 8 -GAP = 16 +GAP = 12 + +def clamp(minimum, x, maximum): + return max(minimum, min(x, maximum)) + +def asciiChar(v): + if v < 0x20 or v > 0x7e: + return '.' + else: + return chr(v) class BinViewer(QWidget): """ The view has an address, hex byte and ascii column """ @@ -13,10 +22,10 @@ self.setFont(QFont('Courier', 18)) self.setFocusPolicy(Qt.StrongFocus) self.blinkcursor = False - self.cursorX = 0 - self.cursorY = 0 + self.cursorX = self.cursorY = 0 self.scrollArea = scrollArea self.Data = bytearray() + self.Offset = 0 t = QTimer(self) t.timeout.connect(self.updateCursor) t.setInterval(500) @@ -25,59 +34,57 @@ self.blinkcursor = not self.blinkcursor self.update(self.cursorX, self.cursorY, self.charWidth, self.charHeight) def setCursorPosition(self, position): - position = int(position) - if position > len(self.Data) * 2 - 1: - position = len(self.Data) * 2 - 1 - if position < 0: - position = 0 + position = clamp(0, int(position), len(self.Data) * 2 - 1) self.cursorPosition = position x = position % (2 * BYTES_PER_LINE) self.cursorX = self.xposHex + x * self.charWidth - self.cursorY = int(position / (2 * BYTES_PER_LINE)) * self.charHeight + 4 + self.cursorY = int(position / (2 * BYTES_PER_LINE)) * self.charHeight + 2 self.blinkcursor = True self.update() def getCursorPosition(self): return self.cursorPosition CursorPosition = property(getCursorPosition, setCursorPosition) + def getOffset(self): + return self.offset + def setOffset(self, off): + self.offset = off + self.update() + Offset = property(getOffset, setOffset) def paintEvent(self, event): + # Helper variables: + er = event.rect() + chw, chh = self.charWidth, self.charHeight painter = QPainter(self) # Background: - painter.fillRect(event.rect(), self.palette().color(QPalette.Base)) - painter.fillRect(QRect(self.xposAddr, event.rect().top(), self.xposHex, self.height()), Qt.gray) + painter.fillRect(er, self.palette().color(QPalette.Base)) + painter.fillRect(QRect(self.xposAddr, er.top(), 8 * chw, er.bottom() + 1), Qt.gray) painter.setPen(Qt.gray) x = self.xposAscii - (GAP / 2) - painter.drawLine(x, event.rect().top(), x, self.height()) - - painter.setPen(Qt.black) + painter.drawLine(x, er.top(), x, er.bottom()) + x = self.xposEnd - (GAP / 2) + painter.drawLine(x, er.top(), x, er.bottom()) # first and last index - firstIndex = (int(event.rect().top() / self.charHeight) - self.charHeight) * BYTES_PER_LINE - if firstIndex < 0: - firstIndex = 0 - lastIndex = (int(event.rect().bottom() / self.charHeight) + self.charHeight) * BYTES_PER_LINE - if lastIndex < 0: - lastIndex = 0 - yposStart = int(firstIndex / BYTES_PER_LINE) * self.charHeight + self.charHeight - + firstIndex = max((int(er.top() / chh) - chh) * BYTES_PER_LINE, 0) + lastIndex = max((int(er.bottom() / chh) + chh) * BYTES_PER_LINE, 0) + yposStart = int(firstIndex / BYTES_PER_LINE) * chh + chh + # Draw contents: + painter.setPen(Qt.black) ypos = yposStart for index in range(firstIndex, lastIndex, BYTES_PER_LINE): - painter.drawText(self.xposAddr, ypos, '{0:08X}'.format(index)) - + painter.drawText(self.xposAddr, ypos, '{0:08X}'.format(index + self.Offset)) xpos = self.xposHex - xposA = self.xposAscii + xposAscii = self.xposAscii for colIndex in range(BYTES_PER_LINE): if index + colIndex < len(self.Data): b = self.Data[index + colIndex] - bhex = '{0:02X}'.format(b) - ba = chr(b) - painter.drawText(xpos, ypos, bhex) - painter.drawText(xposA, ypos, ba) - xpos += 2 * self.charWidth - xposA += self.charWidth - ypos += self.charHeight - + painter.drawText(xpos, ypos, '{0:02X}'.format(b)) + painter.drawText(xposAscii, ypos, asciiChar(b)) + xpos += 2 * chw + xposAscii += chw + ypos += chh # cursor if self.blinkcursor: - painter.fillRect(self.cursorX, self.cursorY + self.charHeight - 2, self.charWidth, 2, Qt.black) + painter.fillRect(self.cursorX, self.cursorY + chh - 2, chw, 2, Qt.black) def keyPressEvent(self, event): if event.matches(QKeySequence.MoveToNextChar): self.CursorPosition += 1 @@ -87,6 +94,12 @@ self.CursorPosition += 2 * BYTES_PER_LINE if event.matches(QKeySequence.MoveToPreviousLine): self.CursorPosition -= 2 * BYTES_PER_LINE + if event.matches(QKeySequence.MoveToNextPage): + rows = int(self.scrollArea.viewport().height() / self.charHeight) + self.CursorPosition += (rows - 1) * 2 * BYTES_PER_LINE + if event.matches(QKeySequence.MoveToPreviousPage): + rows = int(self.scrollArea.viewport().height() / self.charHeight) + self.CursorPosition -= (rows - 1) * 2 * BYTES_PER_LINE char = event.text().lower() if char and char in '0123456789abcdef': i = int(self.CursorPosition / 2) @@ -113,12 +126,15 @@ def adjust(self): self.charHeight = self.fontMetrics().height() self.charWidth = self.fontMetrics().width('x') - self.xposAddr = 2 + self.xposAddr = GAP self.xposHex = self.xposAddr + 8 * self.charWidth + GAP - self.xposAscii = self.xposHex + (BYTES_PER_LINE * 2) * self.charWidth + GAP - self.setMinimumWidth(self.xposAscii + self.charWidth * BYTES_PER_LINE) - self.scrollArea.setMinimumWidth(self.xposAscii + self.charWidth * BYTES_PER_LINE) + self.xposAscii = self.xposHex + BYTES_PER_LINE * 2 * self.charWidth + GAP + self.xposEnd = self.xposAscii + self.charWidth * BYTES_PER_LINE + GAP + self.setMinimumWidth(self.xposEnd) + sbw = self.scrollArea.verticalScrollBar().width() + self.scrollArea.setMinimumWidth(self.xposEnd + sbw + 5) self.setMinimumHeight((int(len(self.Data) / BYTES_PER_LINE) + 1) * self.charHeight) + self.scrollArea.setMinimumHeight(self.charHeight * 8) self.update() def getData(self): return self.data @@ -134,6 +150,7 @@ self.bv = BinViewer(self) self.setWidget(self.bv) self.setWidgetResizable(True) + self.setVerticalScrollBarPolicy(Qt.ScrollBarAlwaysOn) self.setFocusPolicy(Qt.NoFocus) if __name__ == '__main__': diff -r 01d88140dc03 -r 9af544be5d2a python/ide.py --- a/python/ide.py Mon Jan 21 21:12:36 2013 +0100 +++ b/python/ide.py Wed Jan 23 21:54:14 2013 +0100 @@ -150,7 +150,9 @@ self.projectview.sigLoadFile.connect(self.loadFile) self.devxplr = addComponent('Device explorer', stutil.DeviceExplorer()) self.regview = addComponent('Registers', stutil.RegisterView()) + self.memview = addComponent('Memory', stutil.MemoryView()) self.devxplr.deviceSelected.connect(self.regview.mdl.setDevice) + self.devxplr.deviceSelected.connect(self.memview.setDevice) # About dialog: self.aboutDialog = AboutDialog() diff -r 01d88140dc03 -r 9af544be5d2a python/st-util.py --- a/python/st-util.py Mon Jan 21 21:12:36 2013 +0100 +++ b/python/st-util.py Wed Jan 23 21:54:14 2013 +0100 @@ -5,6 +5,7 @@ from PyQt4.QtGui import * import stlink, devices, stm32 from devices import Interface, Device +from hexedit import HexEdit class InformationDialog(QDialog): def __init__(self, parent): @@ -52,8 +53,36 @@ self.mdl = RegisterModel() self.setModel(self.mdl) -class MemoryViewer(QWidget): - pass +class MemoryView(QWidget): + def __init__(self): + super().__init__() + l = QVBoxLayout(self) + l2 = QHBoxLayout() + l2.addWidget(QLabel('Address')) + self.addressLine = QLineEdit() + self.addressLine.setInputMask('Hhhhhhhh') + self.addressLine.setText('08000000') + l2.addWidget(self.addressLine) + l.addLayout(l2) + self.device = None + self.hexEdit = HexEdit() + self.loadAddress(0x8000000) + l.addWidget(self.hexEdit) + self.addressLine.returnPressed.connect(self.doLoad) + def doLoad(self): + txt = self.addressLine.text() + self.loadAddress(int(txt, 16)) + def loadAddress(self, address): + size = 512 + if self.device: + data = self.device.iface.read_mem32(address, size) + else: + data = bytearray(size) + self.hexEdit.bv.Data = data + self.hexEdit.bv.Offset = address + def setDevice(self, dev): + self.device = dev + self.loadAddress(0x8000000) class FlashTool(QWidget): def __init__(self):