type-conversion - MozartOZでレコードを文字列に変換するにはどうすればよいですか

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。