2.5.26. Time

TODO.

2.5.26.1. Instruction

target = time.add op1 op2 [time::Add]

Target:time Operator 1:time Operator 2:interval

Adds interval op2 to the time op1

target = time.as_double op1 [time::AsDouble]

Target:double Operator 1:time

Returns op1 in seconds since the epoch, rounded down to the nearest value that can be represented as a double.

target = time.as_int op1 [time::AsInt]

Target:int<64> Operator 1:time

Returns op1‘ in seconds since the epoch, rounded down to the nearest integer.

target = time.eq op1 op2 [time::Eq]

Target:bool Operator 1:time Operator 2:time

Returns True if the time represented by op1 equals that of op2.

target = time.from_double op1 [time::FromDouble]

Target:time Operator 1:double

Converts the double op1 into a time value, interpreting it as seconds since the epoch.

target = time.geq op1 op2 [time::Geq]

Target:bool Operator 1:time Operator 2:time

Returns True if the time represented by op1 is later or the same than op2.

target = time.gt op1 op2 [time::Gt]

Target:bool Operator 1:time Operator 2:time

Returns True if the time represented by op1 is later than that of op2.

target = time.leq op1 op2 [time::Leq]

Target:bool Operator 1:time Operator 2:time

Returns True if the time represented by op1 is earlier or the same than op2.

target = time.lt op1 op2 [time::Lt]

Target:bool Operator 1:time Operator 2:time

Returns True if the time represented by op1 is earlier than that of op2.

target = time.nsecs op1 [time::Nsecs]

Target:int<64> Operator 1:time

Returns the time op1 as nanoseconds since the epoch.

target = time.sub op1 op2 [time::SubTime]

Target:interval Operator 1:time Operator 2:time

Subtracts time op2 from the time op1

time.wall target [time::Wall]

Target:time

Returns the current wall time (i.e., real-time). Note that the resolution of the returned value is OS dependent.