diff options
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/patio/PatioSerializer.java | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/patio/PatioSerializer.java b/src/main/java/org/shedlang/compiler/patio/PatioSerializer.java index 76817b75..0cd422b4 100644 --- a/src/main/java/org/shedlang/compiler/patio/PatioSerializer.java +++ b/src/main/java/org/shedlang/compiler/patio/PatioSerializer.java @@ -39,6 +39,14 @@ public class PatioSerializer { serializeTree(tree, builder, 0); } + public static void serializeDataPtrValue( + PatioDataPtrValue value, + StringBuilder builder + ) { + var tree = dataPtrValueToTree(value); + serializeTree(tree, builder, 0); + } + public static void serializeDataValue( PatioDataValue value, StringBuilder builder |
