type-conversion - 如何在 Mozart OZ 中将记录转换为字符串

Question

例如：

local A = aircraft(id:'Avro' size:[2 36] state:state(time:20 status:parked))           
in
  {Browse A}
end

我想将 A 转换为类似浏览窗口的字符串，以便通过管道（序列化）将数据发送到其他程序。

是否存在任何莫扎特原生功能或任何捷径？谢谢你的想法

Answer 1

看看库函数Value.toVirtualString（docs）。如果您不想限制输出DepthI，您只需选择一些大整数值。WidthI

要确保结果是字符串（不是虚拟字符串），请使用VirtualString.toString.