import codec.base64.standard as base64 import codec.json as json
function to_timestamp(t) @begin
return base64.encode(json.to_string(json.from_var({
"year": t.year,
"day" : t.yday,
"hour": t.hour,
"min" : t.min
}.to_hash_map())))
@end end
function from_timestamp(t)
return json.to_var(json.from_string(base64.decode(t)))
end
var str = to_timestamp(runtime.local_time()) var obj = from_timestamp(str)
system.out.println(to_string(1900 + obj.year) + “年” + obj.day + “日” + obj.hour + “时” + obj.min + “分”) system.out.println(str)