PosixDate

[Source]

Represents a proleptic Gregorian date and time, without specifying a time zone. The day of month, month, day of week, and day of year are all indexed from 1, i.e. January is 1, Monday is 1.

class ref PosixDate

Constructors

create

[Source]

Create a date from a POSIX time. Negative arguments will be changed to zero.

new ref create(
  seconds: I64 val = 0,
  nanoseconds: I64 val = 0)
: PosixDate ref^

Parameters

• seconds: I64 val = 0
• nanoseconds: I64 val = 0

Returns

• PosixDate ref^

Public fields

var nsec: I32 val

[Source]

var sec: I32 val

[Source]

var min: I32 val

[Source]

var hour: I32 val

[Source]

var day_of_month: I32 val

[Source]

var month: I32 val

[Source]

var year: I32 val

[Source]

var day_of_week: I32 val

[Source]

var day_of_year: I32 val

[Source]

Public Functions

time

[Source]

Return a POSIX time. Treats the date as UTC.

fun box time()
: I64 val

Returns

• I64 val

normal

[Source]

Normalise all the fields of the date. For example, if the hour is 24, it is set to 0 and the day is advanced. This allows fields to be changed naively, eg. adding 1000 to hours to advance the time by 1000 hours, and then normalising the date.

fun ref normal()
: None val

Returns

• None val

format

[Source]

Format the time as for strftime.

fun box format(
  fmt: String val)
: String val ?

Parameters

• fmt: String val

Returns

• String val ?

Private Functions

_negative_to_zero

[Source]

fun box _negative_to_zero(
  value: I64 val)
: I64 val

Parameters

• value: I64 val

Returns

• I64 val