2023-11-24 13:34:44 +00:00
|
|
|
from __future__ import annotations
|
2024-03-24 10:33:34 +00:00
|
|
|
|
2024-01-28 12:52:45 +00:00
|
|
|
import os
|
2023-11-24 13:34:44 +00:00
|
|
|
from typing import TYPE_CHECKING
|
|
|
|
|
|
|
|
import pygame
|
|
|
|
|
|
|
|
from structure import Structure
|
|
|
|
from vec import Vec
|
|
|
|
|
2024-03-24 10:33:34 +00:00
|
|
|
if TYPE_CHECKING:
|
|
|
|
from config import Config
|
|
|
|
from range import Range
|
|
|
|
from schema import InstructionSetSchema
|
|
|
|
|
|
|
|
|
2023-11-24 13:34:44 +00:00
|
|
|
class Renderer:
|
2024-01-28 12:52:45 +00:00
|
|
|
def __init__(self, config: Config, display: bool = False) -> None:
|
2023-11-24 13:34:44 +00:00
|
|
|
self.config = config
|
2024-01-28 12:52:45 +00:00
|
|
|
self.display = display
|
2023-11-24 13:34:44 +00:00
|
|
|
pygame.init()
|
2024-01-28 12:52:45 +00:00
|
|
|
if self.display:
|
2024-03-24 10:53:58 +00:00
|
|
|
self.win = pygame.display.set_mode([self.config.WIDTH, self.config.HEIGHT])
|
2024-01-28 12:52:45 +00:00
|
|
|
|
2024-03-24 10:53:58 +00:00
|
|
|
self.surf = pygame.Surface([self.config.WIDTH, self.config.HEIGHT], pygame.SRCALPHA)
|
2023-11-24 14:01:51 +00:00
|
|
|
self.font = pygame.font.SysFont(self.config.DEFAULT_FONT_FAMILY, self.config.DEFAULT_FONT_SIZE)
|
|
|
|
self.italicFont = pygame.font.SysFont(self.config.ITALIC_FONT_FAMILY, self.config.ITALIC_FONT_SIZE, italic=True)
|
2023-11-24 13:34:44 +00:00
|
|
|
|
2023-11-24 14:01:51 +00:00
|
|
|
self.margins = self.config.MARGINS
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
def render(self, schema: InstructionSetSchema) -> None:
|
2024-01-28 12:30:51 +00:00
|
|
|
self.surf.fill(self.config.BACKGROUND_COLOR)
|
2023-11-24 13:34:44 +00:00
|
|
|
|
2024-03-24 12:39:40 +00:00
|
|
|
mainStruct: Structure = schema.structures["main"]
|
|
|
|
ox = self.margins[3]
|
|
|
|
if self.config.LEFT_LABELS:
|
|
|
|
ox = self.config.WIDTH - self.margins[3] - mainStruct.bits * self.config.BIT_WIDTH
|
|
|
|
|
|
|
|
self.drawStructure(schema.structures["main"], schema.structures, ox, self.margins[0])
|
2023-11-24 13:34:44 +00:00
|
|
|
|
2024-01-28 12:52:45 +00:00
|
|
|
if self.display:
|
|
|
|
name = os.path.basename(schema.path)
|
|
|
|
pygame.display.set_caption(f"Rivet - {name}")
|
|
|
|
self.win.fill(self.config.BACKGROUND_COLOR)
|
|
|
|
self.win.blit(self.surf, [0, 0])
|
|
|
|
pygame.display.flip()
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
def save(self, path: str) -> None:
|
2024-01-28 12:30:51 +00:00
|
|
|
pygame.image.save(self.surf, path)
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
def drawStructure(self,
|
|
|
|
struct: Structure,
|
2024-03-24 10:33:34 +00:00
|
|
|
structures: dict[str, Structure],
|
2023-11-24 13:34:44 +00:00
|
|
|
ox: float = 0,
|
|
|
|
oy: float = 0) -> float:
|
|
|
|
|
2023-11-24 14:01:51 +00:00
|
|
|
bgCol = self.config.BACKGROUND_COLOR
|
|
|
|
txtCol = self.config.TEXT_COLOR
|
|
|
|
borderCol = self.config.BORDER_COLOR
|
|
|
|
bitW = self.config.BIT_WIDTH
|
|
|
|
bitH = self.config.BIT_HEIGHT
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
bitsX, bitsY = ox, oy + bitH
|
|
|
|
bitsWidth = struct.bits * bitW
|
|
|
|
startBit = struct.start
|
|
|
|
|
|
|
|
# Draw rectangle around structure
|
2024-01-28 12:30:51 +00:00
|
|
|
pygame.draw.rect(self.surf, borderCol, [bitsX, bitsY, bitsWidth, bitH], 2)
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
for i in range(struct.bits):
|
|
|
|
bitX = ox + i * bitW
|
|
|
|
|
|
|
|
bitITxt = self.font.render(str(struct.bits - i - 1 + startBit), True, txtCol)
|
2024-01-28 12:30:51 +00:00
|
|
|
self.surf.blit(bitITxt, [
|
2023-11-24 13:34:44 +00:00
|
|
|
bitX + (bitW - bitITxt.get_width())/2,
|
|
|
|
oy + (bitH - bitITxt.get_height())/2
|
|
|
|
])
|
|
|
|
|
|
|
|
# Draw separator
|
|
|
|
if i != 0:
|
2024-01-28 12:30:51 +00:00
|
|
|
pygame.draw.line(self.surf, borderCol, [bitX, bitsY], [bitX, bitsY + bitH])
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
ranges = struct.getSortedRanges()
|
2024-03-24 12:39:40 +00:00
|
|
|
if self.config.LEFT_LABELS:
|
|
|
|
ranges.reverse()
|
2024-03-24 10:53:58 +00:00
|
|
|
|
|
|
|
if self.config.FORCE_DESCS_ON_SIDE:
|
2024-03-24 12:39:40 +00:00
|
|
|
if self.config.LEFT_LABELS:
|
|
|
|
descX = self.config.WIDTH - self.margins[3] - structures["main"].bits * bitW
|
|
|
|
else:
|
|
|
|
descX = self.margins[3] + structures["main"].bits * bitW
|
2024-03-24 10:53:58 +00:00
|
|
|
|
|
|
|
else:
|
2024-03-24 12:39:40 +00:00
|
|
|
if self.config.LEFT_LABELS:
|
|
|
|
descX = ox + struct.bits * bitW
|
|
|
|
else:
|
|
|
|
descX = ox
|
2024-03-24 10:53:58 +00:00
|
|
|
|
2023-11-24 13:34:44 +00:00
|
|
|
descY = bitsY + bitH * 2
|
|
|
|
|
|
|
|
# Names + simple descriptions
|
|
|
|
for range_ in ranges:
|
|
|
|
rStartI = struct.bits - range_.end + startBit - 1
|
|
|
|
|
|
|
|
rStartX = bitsX + rStartI * bitW
|
|
|
|
rWidth = range_.bits * bitW
|
|
|
|
|
|
|
|
nameTxt = self.font.render(range_.name, True, txtCol)
|
|
|
|
nameX = rStartX + (rWidth - nameTxt.get_width())/2
|
|
|
|
nameY = bitsY + (bitH - nameTxt.get_height())/2
|
2024-01-28 12:30:51 +00:00
|
|
|
pygame.draw.rect(self.surf, bgCol, [rStartX + bitW/2, nameY, rWidth - bitW, nameTxt.get_height()], 0)
|
|
|
|
self.surf.blit(nameTxt, [nameX, nameY])
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
if range_.description:
|
|
|
|
descX, descY = self.drawDescription(range_, rStartX, bitsY, rWidth, descX, descY)
|
|
|
|
|
|
|
|
# Dependencies
|
|
|
|
for range_ in ranges:
|
|
|
|
if range_.values is not None and range_.dependsOn is not None:
|
|
|
|
descX, descY = self.drawDependency(struct, structures, bitsX, bitsY, range_, descX, descY)
|
|
|
|
|
|
|
|
return descY
|
|
|
|
|
|
|
|
def drawUnderbracket(self, start: float, end: float, bitsY: float) -> None:
|
2023-11-24 14:01:51 +00:00
|
|
|
bitW = self.config.BIT_WIDTH
|
|
|
|
bitH = self.config.BIT_HEIGHT
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
x0 = start + bitW/2
|
|
|
|
x1 = end - bitW/2
|
|
|
|
y0 = bitsY + bitH * 1.25
|
|
|
|
y1 = bitsY + bitH * 1.5
|
|
|
|
|
2024-01-28 12:30:51 +00:00
|
|
|
pygame.draw.lines(self.surf, self.config.LINK_COLOR, False, [
|
2023-11-24 13:34:44 +00:00
|
|
|
[x0, y0],
|
|
|
|
[x0, y1],
|
|
|
|
[x1, y1],
|
|
|
|
[x1, y0]
|
|
|
|
])
|
|
|
|
|
|
|
|
def drawLink(self, startX: float, startY: float, endX: float, endY: float) -> None:
|
2023-11-24 14:01:51 +00:00
|
|
|
bitH = self.config.BIT_HEIGHT
|
|
|
|
arrowMargin = self.config.ARROW_MARGIN
|
2023-11-24 13:34:44 +00:00
|
|
|
|
2024-03-24 12:39:40 +00:00
|
|
|
if endX > startX:
|
|
|
|
endX -= arrowMargin
|
|
|
|
|
|
|
|
else:
|
|
|
|
endX += arrowMargin
|
|
|
|
|
2024-01-28 12:30:51 +00:00
|
|
|
pygame.draw.lines(self.surf, self.config.LINK_COLOR, False, [
|
2023-11-24 13:34:44 +00:00
|
|
|
[startX, startY + bitH*1.5],
|
|
|
|
[startX, endY + bitH/2],
|
2024-03-24 12:39:40 +00:00
|
|
|
[endX, endY + bitH/2]
|
2023-11-24 13:34:44 +00:00
|
|
|
])
|
|
|
|
|
|
|
|
def drawDescription(self,
|
|
|
|
range_: Range,
|
|
|
|
rStartX: float,
|
|
|
|
rStartY: float,
|
|
|
|
rWidth: float,
|
|
|
|
descX: float,
|
|
|
|
descY: float) -> tuple[float, float]:
|
|
|
|
|
2023-11-24 14:01:51 +00:00
|
|
|
bitW = self.config.BIT_WIDTH
|
|
|
|
bitH = self.config.BIT_HEIGHT
|
2023-11-24 13:34:44 +00:00
|
|
|
|
2024-03-24 12:39:40 +00:00
|
|
|
if self.config.LEFT_LABELS:
|
|
|
|
descX = min(descX, rStartX + rWidth/2 - bitW)
|
|
|
|
else:
|
|
|
|
descX = max(descX, rStartX + rWidth/2 + bitW)
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
self.drawUnderbracket(rStartX, rStartX + rWidth, rStartY)
|
|
|
|
|
|
|
|
midX = rStartX + rWidth/2
|
|
|
|
self.drawLink(midX, rStartY, descX, descY)
|
|
|
|
|
2023-11-24 14:01:51 +00:00
|
|
|
descTxt = self.font.render(range_.description, True, self.config.TEXT_COLOR)
|
2024-03-24 12:39:40 +00:00
|
|
|
txtX = descX
|
|
|
|
|
|
|
|
if self.config.LEFT_LABELS:
|
|
|
|
txtX -= descTxt.get_width()
|
|
|
|
|
|
|
|
self.surf.blit(descTxt, [txtX, descY + (bitH - descTxt.get_height())/2])
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
descY += descTxt.get_height()
|
|
|
|
|
|
|
|
if range_.values is not None and range_.dependsOn is None:
|
2024-03-24 12:39:40 +00:00
|
|
|
txtX, descY = self.drawValues(range_.values, txtX, descY)
|
2023-11-24 13:34:44 +00:00
|
|
|
|
2023-11-24 14:01:51 +00:00
|
|
|
descY += self.config.DESCRIPTION_MARGIN
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
return (descX, descY)
|
|
|
|
|
|
|
|
def drawValues(self, values: dict[str, str], descX: float, descY: float) -> tuple[float, float]:
|
2023-11-24 14:01:51 +00:00
|
|
|
textCol = self.config.TEXT_COLOR
|
|
|
|
bitW = self.config.BIT_HEIGHT
|
|
|
|
gap = self.config.VALUES_GAP
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
for val, desc in sorted(values.items(), key=lambda vd: vd[0]):
|
|
|
|
descY += gap
|
|
|
|
valTxt = self.italicFont.render(f"{val} = {desc}", True, textCol)
|
2024-01-28 12:30:51 +00:00
|
|
|
self.surf.blit(valTxt, [descX + bitW/2, descY])
|
2023-11-24 13:34:44 +00:00
|
|
|
descY += valTxt.get_height()
|
|
|
|
|
|
|
|
return (descX, descY)
|
|
|
|
|
|
|
|
def drawDependency(self,
|
|
|
|
struct: Structure,
|
|
|
|
structures: dict[str,
|
|
|
|
Structure],
|
|
|
|
bitsX: float,
|
|
|
|
bitsY: float,
|
|
|
|
range_: Range,
|
|
|
|
descX: float,
|
|
|
|
descY: float) -> tuple[float, float]:
|
|
|
|
|
2023-11-24 14:01:51 +00:00
|
|
|
bitW = self.config.BIT_WIDTH
|
|
|
|
bitH = self.config.BIT_HEIGHT
|
|
|
|
arrowMargin = self.config.ARROW_MARGIN
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
rStartI = struct.bits - range_.end - 1
|
|
|
|
rStartX = bitsX + rStartI * bitW
|
|
|
|
rWidth = range_.bits * bitW
|
|
|
|
|
|
|
|
self.drawUnderbracket(rStartX, rStartX + rWidth, bitsY)
|
|
|
|
dependRange = struct.ranges[range_.dependsOn]
|
2024-03-24 10:52:56 +00:00
|
|
|
prevRangeY = bitsY + bitH * 1.5
|
|
|
|
if dependRange.lastValueY == -1:
|
|
|
|
prevDependY = bitsY + bitH * 1.5
|
|
|
|
else:
|
|
|
|
prevDependY = dependRange.lastValueY
|
|
|
|
|
2023-11-24 13:34:44 +00:00
|
|
|
dependStartI = struct.bits - dependRange.end - 1
|
|
|
|
dependStartX = bitsX + dependStartI * bitW
|
|
|
|
dependWidth = dependRange.bits * bitW
|
|
|
|
dependMid = dependStartX + dependWidth/2
|
|
|
|
self.drawUnderbracket(dependStartX, dependStartX + dependWidth, bitsY)
|
|
|
|
|
|
|
|
for val, data in sorted(range_.values.items(), key=lambda vd: vd[0]):
|
2024-03-24 10:52:56 +00:00
|
|
|
self.drawArrow(dependMid, prevDependY, dependMid, descY - arrowMargin)
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
valRanges = {}
|
|
|
|
for i in range(dependRange.bits):
|
|
|
|
valRanges[dependRange.end - i] = {
|
|
|
|
"name": val[i]
|
|
|
|
}
|
|
|
|
|
|
|
|
valStruct = {
|
|
|
|
"bits": dependRange.bits,
|
|
|
|
"start": dependRange.start,
|
|
|
|
"ranges": valRanges
|
|
|
|
}
|
|
|
|
valStruct = Structure.load("", valStruct)
|
|
|
|
|
|
|
|
self.drawStructure(valStruct, structures, dependStartX, descY)
|
|
|
|
|
2024-03-23 22:59:53 +00:00
|
|
|
y = descY + bitH * 1.5
|
|
|
|
|
|
|
|
# Arrow from left to right
|
|
|
|
if dependRange.end > range_.start:
|
|
|
|
x1 = dependStartX + dependWidth + arrowMargin
|
|
|
|
x2 = rStartX - arrowMargin
|
|
|
|
|
|
|
|
# Arrow from right to left
|
|
|
|
else:
|
|
|
|
x1 = dependStartX - arrowMargin
|
|
|
|
x2 = rStartX + rWidth + arrowMargin
|
|
|
|
|
|
|
|
self.drawArrow(x1, y, x2, y, data["description"])
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
self.drawArrow(rStartX + rWidth - bitW,
|
2024-03-24 10:52:56 +00:00
|
|
|
prevRangeY,
|
2023-11-24 13:34:44 +00:00
|
|
|
rStartX + rWidth - bitW,
|
|
|
|
descY + bitH - arrowMargin)
|
|
|
|
|
2024-03-24 10:52:56 +00:00
|
|
|
prevDependY = descY + bitH*2 + arrowMargin
|
|
|
|
prevRangeY =prevDependY
|
|
|
|
dependRange.lastValueY = prevDependY
|
2023-11-24 13:34:44 +00:00
|
|
|
descY = self.drawStructure(structures[data["structure"]], structures, rStartX, descY)
|
|
|
|
|
|
|
|
return (descX, descY)
|
|
|
|
|
|
|
|
def drawArrow(self, sx: float, sy: float, ex: float, ey: float, label: str = "") -> None:
|
2023-11-24 14:01:51 +00:00
|
|
|
dashLen = self.config.DASH_LENGTH
|
|
|
|
dashSpace = self.config.DASH_SPACE
|
|
|
|
arrowSize = self.config.ARROW_SIZE
|
|
|
|
linkCol = self.config.LINK_COLOR
|
|
|
|
textCol = self.config.TEXT_COLOR
|
|
|
|
arrowLabelDist = self.config.ARROW_LABEL_DISTANCE
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
start = Vec(sx, sy)
|
|
|
|
end = Vec(ex, ey)
|
|
|
|
startEnd = end - start
|
|
|
|
d = startEnd.norm()
|
|
|
|
|
|
|
|
dashes = int(startEnd.mag() / (dashLen + dashSpace))
|
|
|
|
|
|
|
|
for i in range(dashes):
|
|
|
|
a = start + d * i * (dashLen + dashSpace)
|
|
|
|
b = a + d*dashLen
|
2024-01-28 12:30:51 +00:00
|
|
|
pygame.draw.line(self.surf, linkCol, [a.x, a.y], [b.x, b.y])
|
2023-11-24 13:34:44 +00:00
|
|
|
|
|
|
|
n = Vec(d.y, -d.x)
|
|
|
|
|
|
|
|
width = arrowSize / 1.5
|
|
|
|
p1 = end - d * arrowSize + n * width
|
|
|
|
p2 = end - d * arrowSize - n * width
|
2024-01-28 12:30:51 +00:00
|
|
|
pygame.draw.polygon(self.surf, linkCol, [
|
2023-11-24 13:34:44 +00:00
|
|
|
[end.x, end.y],
|
|
|
|
[p1.x, p1.y],
|
|
|
|
[p2.x, p2.y]], 0)
|
|
|
|
|
|
|
|
if label:
|
|
|
|
txt = self.italicFont.render(label, True, textCol)
|
2024-01-28 12:30:51 +00:00
|
|
|
self.surf.blit(txt, [
|
2023-11-24 13:34:44 +00:00
|
|
|
(start.x + end.x - txt.get_width())/2,
|
|
|
|
(start.y + end.y)/2 + arrowLabelDist
|
|
|
|
])
|