law facs_round_trip

bend-osdev-acpi@0.1.1.0 · LAWS_tables.bend:98

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/facs.bend as Fa

98# The FACS: parsed back as built, with the Length 64 that build writes
99law facs_round_trip:
100  for +l: U32
101  for +hs: U32
102  for +wv: U32
103  for +gl: U32
104  for +fl: U32
105  for +xw: W.W64
106  for +v: U32
107  for +of: U32
108  for +v8: {B.byte(v) == v : U32}
109  {Fa.AcpiFacs.parse(Fa.AcpiFacs.build(Fa.AcpiFacs{l, hs, wv, gl, fl, xw, v, of})) == Done{Fa.AcpiFacs{64, hs, wv, gl, fl, xw, v, of}} : Result<&2, &2, E.AcpiError, Fa.AcpiFacs>}