From 5285c95b7d731d0cdf16a85aeedee28839feb9fc Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sat, 21 Mar 2026 12:48:26 +0000
Subject: Serialize Patio mutable data element definition

---
 .../org/shedlang/compiler/patio/protobuf/PatioToProtobuf.java     | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/patio/protobuf/PatioToProtobuf.java b/src/main/java/org/shedlang/compiler/patio/protobuf/PatioToProtobuf.java
index 71e74967..454007a8 100644
--- a/src/main/java/org/shedlang/compiler/patio/protobuf/PatioToProtobuf.java
+++ b/src/main/java/org/shedlang/compiler/patio/protobuf/PatioToProtobuf.java
@@ -87,7 +87,12 @@ public class PatioToProtobuf {
                 );
 
             case DATA_ELEMENT_MUTABLE_DEFINITION ->
-                throw new UnsupportedOperationException("TODO");
+                new PatioDataElementMutableDefinition(
+                    elementProtobuf.getDataElementMutableDefinition().getName(),
+                    deserializeVisibility(elementProtobuf.getDataElementMutableDefinition().getVisibility()),
+                    deserializeDataValue(elementProtobuf.getDataElementMutableDefinition().getInitialValue()),
+                    deserializeSource(elementProtobuf.getDataElementMutableDefinition().getSource(), parentSource)
+                );
 
             case VALUE_NOT_SET ->
                 throw new UnsupportedOperationException("TODO");
@@ -125,6 +130,7 @@ public class PatioToProtobuf {
         builder.setSource(serializeSource(element.source(), parentSource));
         builder.setName(element.name());
         builder.setVisibility(serializeVisibility(element.visibility()));
+        builder.setInitialValue(serializeDataValue(element.initialValue()));
         return builder.build();
     }
 
-- 
cgit v1.2.3