From 55df7731a405508545dc50e6bfdc548faaa54a30 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Fri, 21 Jul 2023 16:55:25 +0100 Subject: Add Patio data value array --- .../org/shedlang/compiler/patio/PatioSerializerTests.java | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java b/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java index b42a2926..c6e1f237 100644 --- a/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java +++ b/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java @@ -423,6 +423,19 @@ public class PatioSerializerTests { // == Data values == + @Test + public void canSerializeDataValueArray() { + var value = PatioDataValues.array(List.of( + PatioDataValues.byte_(0x01), + PatioDataValues.byte_(0x02), + PatioDataValues.byte_(0x03) + )); + + var string = PatioTesting.serializeDataValue(value); + + assertThat(string, equalTo("(array ((byte 0x01) (byte 0x02) (byte 0x03)))")); + } + @Test public void canSerializeDataValueByte() { var value = PatioDataValues.byte_(0xc8); -- cgit v1.2.3