| 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. |
|