系统函数 DateTimeLib.dateOf 返回从类型为 TIMESTAMP 的变量派生的 DATE 值。
DateTimeLib.dateOf(aTimeStamp TIMESTAMP in) returns (result DATE)
相关概念 EGL 函数的语法图
相关参考 DATE EGL 库 DateTimeLib