如何在Rascal中获取以毫秒为单位的当前时间

时间:2018-11-15 16:10:05

标签: rascal

我想调试Rascal中的慢速函数,以找出为什么它很慢。为此,我想在某些位置保存系统时间(以毫秒为单位),以便可以测量代码的某些部分所花费的时间。

我已经看过DateTime模块(http://tutor.rascal-mpl.org/Rascal/Expressions/Values/DateTime/DateTime.html),但是用这种方法计算时差似乎并不容易。 有什么更好的方法吗?

1 个答案:

答案 0 :(得分:2)

在rascal中有一个内置的探查器,它可以执行功能和语句级别的分析。您可以在副本中使用:set profiling true启用它。

如果要进行基准测试,请查看util:;Benchmark