File | time.str |
Author | unknown |
Since | unknown |
The primitive \verb|dtime| returns the CPU time in secondssince the last call to \verb|dtime|. Can be used to timestrategies.
General | |
Lines of code | 174 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 24 (0% documented) |
Overlay number | 0 |
Strategy number | 11 (9% documented) |
Rule number | 39 (0% documented) |
DynamicRule number | 0 |
Constructor summary |
||
April(ATerm ) | n/a | time.str |
August(ATerm ) | n/a | time.str |
ComponentTime(ATerm , ATerm , ATerm ) | n/a | time.str |
Date(ATerm , ATerm , ATerm ) | n/a | time.str |
DayTime(ATerm , ATerm , ATerm ) | n/a | time.str |
December(ATerm ) | n/a | time.str |
Dupl(ATerm , ATerm ) | n/a | time.str |
EpochTime(ATerm ) | n/a | time.str |
February(ATerm ) | n/a | time.str |
Friday(ATerm ) | n/a | time.str |
January(ATerm ) | n/a | time.str |
July(ATerm ) | n/a | time.str |
June(ATerm ) | n/a | time.str |
March(ATerm ) | n/a | time.str |
May(ATerm ) | n/a | time.str |
Monday(ATerm ) | n/a | time.str |
November(ATerm ) | n/a | time.str |
October(ATerm ) | n/a | time.str |
Saturday(ATerm ) | n/a | time.str |
September(ATerm ) | n/a | time.str |
Sunday(ATerm ) | n/a | time.str |
Thursday(ATerm ) | n/a | time.str |
Tuesday(ATerm ) | n/a | time.str |
Wednesday(ATerm ) | n/a | time.str |
Strategy summary |
||
clock | n/a | time.str |
clock-to-seconds | n/a | time.str |
epoch2local-time | n/a | time.str |
epoch2utc | n/a | time.str |
epoch2UTC | n/a | time.str |
just-date | n/a | time.str |
just-day-time | n/a | time.str |
now-epoch-time | n/a | time.str |
now-local-time | n/a | time.str |
now-UTC | n/a | time.str |
time | Strategy time returns the time since the Epoch (00:00:00 UTC, January 1, 1970), measured in seconds | time.str |
Rule summary |
||
day-of-week2index | n/a | time.str |
day-of-week2index | n/a | time.str |
day-of-week2index | n/a | time.str |
day-of-week2index | n/a | time.str |
day-of-week2index | n/a | time.str |
day-of-week2index | n/a | time.str |
day-of-week2index | n/a | time.str |
index2day-of-week | n/a | time.str |
index2day-of-week | n/a | time.str |
index2day-of-week | n/a | time.str |
index2day-of-week | n/a | time.str |
index2day-of-week | n/a | time.str |
index2day-of-week | n/a | time.str |
index2day-of-week | n/a | time.str |
index2month | n/a | time.str |
index2month | n/a | time.str |
index2month | n/a | time.str |
index2month | n/a | time.str |
index2month | n/a | time.str |
index2month | n/a | time.str |
index2month | n/a | time.str |
index2month | n/a | time.str |
index2month | n/a | time.str |
index2month | n/a | time.str |
index2month | n/a | time.str |
index2month | n/a | time.str |
month2index | n/a | time.str |
month2index | n/a | time.str |
month2index | n/a | time.str |
month2index | n/a | time.str |
month2index | n/a | time.str |
month2index | n/a | time.str |
month2index | n/a | time.str |
month2index | n/a | time.str |
month2index | n/a | time.str |
month2index | n/a | time.str |
month2index | n/a | time.str |
month2index | n/a | time.str |
prim-tuple-to-ComponentTime | n/a | time.str |
Strategy details |
|||||||||
ATerm | time | ||||||||
Strategy time returns the time since the Epoch (00:00:00 UTC, January 1, 1970), measured in seconds. It is an alias of now-epoch-time. |
|||||||||