随机打印打开的类。

切换时间信息的显示。

把检索设置为当前时间（now）。

把检索设置为指定时间的快照。

把检索设置为指定时间范围的快照。如果想要无界的时间范围，任一时间都可以用空格代替。

向类 classname 添加 natts 个名为 name1、name2、等的属性，其类型分别为 type1、type2、等。

把 oldclassname 类重命名为 newclassname。

把名为 classname 的类中名为 oldattname 的属性重命名为 newattname。