difference(time:Time other) | Returns: The time:Time difference between this time:Time and other. |
|
|
format() | Output this time:Time as a String using the default formatting options. |
|
greater(time:Time other) | Returns: True if this time:Time represents a time duration longer than that of other, or a time of day that is later. |
|
greater(Node other) | Same as: time:Time.greater(time:Time($other)) |
|
less(time:Time other) | Returns: True if this time:Time represents a time duration shorter than that of other, or a time of day that is earlier. |
|
less(Node other) | Same as: time:Time.less(time:Time($other)) |
|
milliseconds() | Get this time as milliseconds since the start of 1970. |
|
nodes() | Get an XML representation of this time:Time. | doc:bugdoc:bug |
|
sleep() | Suspend processing for this long by putting the thread to sleep. |
|