Serialize Patio mutable data element definition

1 files changed, 16 insertions, 0 deletions

diff --git a/src/test/java/org/shedlang/compiler/patio/protobuf/PatioToProtobufTests.java b/src/test/java/org/shedlang/compiler/patio/protobuf/PatioToProtobufTests.java
index 6aac1e0e..f993fb68 100644
--- a/src/test/java/org/shedlang/compiler/patio/protobuf/PatioToProtobufTests.java
+++ b/src/test/java/org/shedlang/compiler/patio/protobuf/PatioToProtobufTests.java
@@ -49,6 +49,22 @@ public class PatioToProtobufTests {
         assertThat(deserializedElement, equalTo(element));
     }
 
+    @Test
+    public void canSerializeDataElementMutableDefinition() {
+        var element = Patio.dataElementMutableDefinition(
+            "x",
+            PatioVisibility.PRIVATE,
+            PatioDataValues.int_(42)
+        );
+
+        var deserializedElement = PatioToProtobuf.deserializeCompilationUnitElement(
+            PatioToProtobuf.serializeCompilationUnitElement(element, Sources.NULL),
+            Sources.NULL
+        );
+
+        assertThat(deserializedElement, equalTo(element));
+    }
+
     // == Data ptr values ==
 
     @Test