Registry.AcpiTable.name: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/registry.bend as Registry
Lines 184-210 of bend-osdev-acpi@0.1.1.0/registry.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/registry.bend&start_line=184&end_line=210

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/header.bend as H
import bend-osdev-acpi@0.1.1.0/dsdt.bend as D

# the name of the parser that read the table
def AcpiTable.name(~X: Data, t: AcpiTable<X>) -> String:
  match t:
    case AcpiTRsdt{a}:
      "RSDT"
    case AcpiTXsdt{a}:
      "XSDT"
    case AcpiTMadt{a}:
      "APIC"
    case AcpiTFadt{a}:
      "FACP"
    case AcpiTHpet{a}:
      "HPET"
    case AcpiTMcfg{a}:
      "MCFG"
    case AcpiTSrat{a}:
      "SRAT"
    case AcpiTSlit{a}:
      "SLIT"
    case AcpiTBgrt{a}:
      "BGRT"
    case AcpiTAml{a}:
      B.Octets.to_string(H.AcpiHeader.signature(D.AcpiAml.header(a)))
    case AcpiTRaw{a}:
      B.Octets.to_string(H.AcpiHeader.signature(H.AcpiSdt.header(a)))
    case AcpiTExt{tag, x}:
      "ext " ++ U32.show(tag)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/dsdt.bend&name=AcpiAml.header
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/header.bend&name=AcpiHeader.signature
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/header.bend&name=AcpiSdt.header
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/registry.bend&name=AcpiTable
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.to_string