rivet/renderer.py

324 lines
11 KiB
Python
Raw Normal View History

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:
2024-04-12 21:33:09 +00:00
self.config: Config = config
self.display: bool = display
2023-11-24 13:34:44 +00:00
pygame.init()
2024-01-28 12:52:45 +00:00
if self.display:
2024-04-12 21:33:09 +00:00
self.win: pygame.Surface = pygame.display.set_mode([self.config.WIDTH, self.config.HEIGHT])
2024-01-28 12:52:45 +00:00
2024-04-12 21:33:09 +00:00
self.surf: pygame.Surface = pygame.Surface([self.config.WIDTH, self.config.HEIGHT], pygame.SRCALPHA)
self.font: pygame.font.Font = pygame.font.SysFont(
self.config.DEFAULT_FONT_FAMILY,
self.config.DEFAULT_FONT_SIZE)
self.italicFont: pygame.font.Font = pygame.font.SysFont(
self.config.ITALIC_FONT_FAMILY,
self.config.ITALIC_FONT_SIZE, italic=True)
2023-11-24 13:34:44 +00:00
2024-04-12 21:33:09 +00:00
self.margins: list[int, int, int, int] = 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()
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
else:
2024-03-24 12:39:40 +00:00
if self.config.LEFT_LABELS:
descX = ox + struct.bits * bitW
else:
descX = ox
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,
2024-04-12 21:33:09 +00:00
structures: dict[str, Structure],
2023-11-24 13:34:44 +00:00
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]
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]):
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,
prevRangeY,
2023-11-24 13:34:44 +00:00
rStartX + rWidth - bitW,
descY + bitH - arrowMargin)
prevDependY = descY + bitH*2 + arrowMargin
2024-04-12 21:33:09 +00:00
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
2024-04-12 21:33:09 +00:00
])