usertime

usertime

– возвращает значения интервального таймера, который увеличивается на 1 за каждую миллисекунду работы интерпретатора PostScript. Это значение никак не связано с календарным временем. При достижении предельного значения счётчика он, в зависимости от реализации, устанавливается либо равным нулю, либо наибольшему отрицательному целому числу.

Синтаксис: -- usertime à int

Содержание раздела

---

---