From 54b0408e77d15127038b6adc3192c8ab991cf6f2 Mon Sep 17 00:00:00 2001 From: Ms2ger Date: Tue, 29 Oct 2019 11:59:18 +0100 Subject: [PATCH] Remove ZonedDateTime spec text. --- spec.html | 1 - spec/zoneddatetime.html | 269 ---------------------------------------- 2 files changed, 270 deletions(-) delete mode 100644 spec/zoneddatetime.html diff --git a/spec.html b/spec.html index 89b8d18077..35ae0fa197 100644 --- a/spec.html +++ b/spec.html @@ -18,6 +18,5 @@

Introduction

- diff --git a/spec/zoneddatetime.html b/spec/zoneddatetime.html deleted file mode 100644 index dcfc8f9344..0000000000 --- a/spec/zoneddatetime.html +++ /dev/null @@ -1,269 +0,0 @@ - - - - -

ZonedDateTime Objects

-

- A `ZonedDateTime` object is an immutable object referencing a point in - time where the referenced point in time is specific to a given timezone and - is measured with nanoseconds precision. -

- - -

ZonedDateTime Constructor

-

new ZonedDateTime(_instant_, _timezone_)

-

- The ZonedDateTime constructor is the %ZonedDateTime% intrinsic object. - When called as a constructor, it creates a new ZonedDateTime object. - *instant* is an Instant object and *timeZone* is a String corresponding to an IANA time zone. -

-

The ZonedDateTime constructor is a single function.

-

The ZonedDateTime constructor is subclassable.

-

The length property of the ZonedDateTime construtor function is 2.

-

- When called as a constructor creates a new `ZonedDateTime` object. - _instant_ is an instance of `Instant`; _timezone_ is a string of an - IANA-Timezone name or link. -

- - -

ZonedDateTime(*instant*, *timeZone*)

-

- This description only applies if the ZonedDateTime constructor is called - with at least 2 arguments. -

-

When the ZonedDateTime constructor function is called, the following steps are taken:

- - 1. Let numberOfArgs be the number of arguments passed to this function call. - 1. Assert: numberOfArgs == 2. - 1. Assert: timeZone is valid String - 1. If NewTarget is not undefined, then - 1. Let inst be instant.milliseconds. - 1. Let tz be timeZone. - 1. Let O be ? OrdinaryCreateFromConstructor(NewTarget, "%ZonedDateTimePrototype%", <<[[InstantValue,TimeZoneValue]]>>). - 1. Set O.[[InstantValue]] to instant. - 1. Set O.[[TimeZoneValue]] to tz. - 1. Return O. - - - -

Properties of the ZonedDateTime Constructor

-

- The value of the [[Prototype]] internal slot of the ZonedDateTime - constructor is the intrinsic object %FunctionPrototype%. -

-

The ZonedDateTime constructor has the following properties:

- - -

ZonedDateTime Prototype

-

- The initial value of ZonedDateTime.prototype is the intrinsic object - %ZonedDateTimePrototype%. This property has the attributes {[[Writable]]: - false, [[Enumerable]]: false, [[Configurable]]: false}. -

- - - -

ZonedDateTime.prototype.instant

-

`zonedDateTime.instant` is a getter that returns the underlying instant represented by this `ZonedDateTime`.

- - -

ZonedDateTime.prototype.offsetSeconds

-

`zonedDateTime.offsetSeconds` is a getter that returns the Number integer offset of the timezone represented by this `ZonedDateTime`.

- - -

ZonedDateTime.prototype.offsetString

-

- `zonedDateTime.offsetString` is a getter that returns the String offset of the timezone represented by this `ZonedDateTime` - in the format `[+-]HH:MM`. -

- - -

ZonedDateTime.prototype.ianaZone

-

- `zonedDateTime.ianaZone` is a getter that returns the String IANA name or link of the timezone represented by this `ZonedDateTime`. - If the `ZonedDateTime` was created using an offset or "SYSTEM" this value can be `undefined` -

- - -

ZonedDateTime.prototype.timeZone

-

- `zonedDateTime.timeZone` is a getter that returns the String of the timezone represented by this `ZonedDateTime`. - If present this equates to `zonedDateTime.ianaZone` otherwise it equates to `zonedDateTime.offsetString` -

- - - -

ZonedDateTime.prototype.year

-

- `zonedDateTime.year` is a getter that returns the year represented by this `ZonedDateTime` according to the - proleptic gregorian calendar. -

- - -

ZonedDateTime.prototype.month

-

- `zonedDateTime.month` is a getter that returns the month represented by this `ZonedDateTime` according to the - proleptic gregorian calendar. -

- - -

ZonedDateTime.prototype.day

-

- `zonedDateTime.day` is a getter that returns the day of the month represented by this `ZonedDateTime` according to the - proleptic gregorian calendar. -

- - -

ZonedDateTime.prototype.hours

-

`zonedDateTime.hours` is a getter that returns the hours of the day represented by this `ZonedDateTime`.

- - -

ZonedDateTime.prototype.minutes

-

`zonedDateTime.minutes` is a getter that returns the minutes of the hour represented by this `ZonedDateTime`.

- - -

ZonedDateTime.prototype.seconds

-

`zonedDateTime.seconds` is a getter that returns the seconds of the minute represented by this `ZonedDateTime`.

- - -

ZonedDateTime.prototype.milliseconds

-

- `zonedDateTime.milliseconds` is a getter that returns the milliseconds of the second represented by this `ZonedDateTime`. - This value is restricted to the range of `0` to `999` inclusive. -

- - -

ZonedDateTime.prototype.microseconds

-

- `zonedDateTime.microseconds` is a getter that returns the microseconds of the dat represented by this `ZonedDateTime`. - This value is restricted to the range of `0` to `999` inclusive. -

- - -

ZonedDateTime.prototype.nanoseconds

-

- `zonedDateTime.nanoseconds` is a getter that returns the nanoseconds of the dat represented by this `ZonedDateTime`. - This value is restricted to the range of `0` to `999` inclusive. -

- - - -

ZonedDateTime.prototype.dayOfWeek

-

- `zonedDateTime.dayOfWeek` is a getter that returns the day of the week represented by this `ZonedDateTime` according to the - proleptic gregorian calendar. The values are `1` through `7` corresponding to the ISO weekday numbers. -

- - -

ZonedDateTime.prototype.dayOfYear

-

- `zonedDateTime.dayOfYear` is a getter that returns the day of the year represented by this `ZonedDateTime` according to the - proleptic gregorian calendar. The values are `1` through `365` in a normal year and `1` through `366` in a leapyear. -

- - -

ZonedDateTime.prototype.weekOfYear

-

- `zonedDateTime.weekOfYear` is a getter that returns the week of the year represented by this `ZonedDateTime` according to the - proleptic gregorian calendar. The values are `1` through `53` and correspond to the ISO week numbers. -

- - - -

- ZonedDateTime.prototype.with({ ? _years_, ? _months_, ? _days_, ? _hours_, - ? _minutes_, ? _seconds_, ? _milliseconds_, ? _microseconds_, ? _nanoseconds_ }) -

-

- When called with a ZonedDateTime object as the _this_ context, the result - will be a new ZonedDateTime object. -

-

- Units will be added in order of size, descending. -

-

Calling this function with a _this_ context that is not an instance of ZonedDateTime is illegal.

- - -

- OffsetDateTime.prototype.plus({ ? _years_, ? _months_, ? _days_, ? _hours_, - ? _minutes_, ? _seconds_, ? _milliseconds_, ? _microseconds_, ? _nanoseconds_ }) -

-

- When called with a ZonedDateTime object as the _this_ context, the result - will be a new ZonedDateTime object. -

-

- The value of the new ZonedDateTime object is the value of the original - ZonedDateTime with the specified date parts added. Units will be added in - order of size, descending. -

-

Calling this function with a _this_ context that is not an instance of ZonedDateTime is illegal.

- - -

ZonedDateTime.prototype.minus(_otherZonedDateTime_)

-

- When called with a ZonedDateTime object as the _this_ context, the result - will be a new object. -

-

The value of the new Duration object is difference between _this_ and the supplied ZonedDateTime.

-

Calling this function with a _this_ context that is not an instance of OffsetDateTime is illegal.

- - - -

ZonedDateTime.prototype.getCivilDate()

-

- The abstract operation toCivilDate returns a new CivilDate Object with the - year, month, and day values calculated from the milliseconds and - nanoseconds since Epoch -

- - -

ZonedDateTime.prototype.getCivilTime()

- - -

ZonedDateTime.prototype.getCivilDateTime()

- - - -

ZonedDateTime.prototype.toString()

-

- When called with a ZonedDateTime object as a _this_ context it will return - an ISO 8601 String value representing the value of the ZonedDateTime - object. -

-

The format of the String will always be an IsoDateTime of the following form:

- - Sign: `-` - Year: Sign? Digit Digit Digit Digit - Month: `01` through `12` - Day: `01` through `31` - Hour: `00` through `24` - Minute: `00` through `59` - Second: `00` through `59` - Milliseconds: `000` through `999` - Microseconds: `000` through `999` - Nanoseconds: `000` through `999` - DatePart: Year `-` Month `-` Day - SubSeconds: `.` Milliseconds Microseconds Nanoseconds - TimePart: Hour `:` Minute `:` Second SubSeconds - OffsetDirection: `+` or `-` - OffsetHours: `00` to `24` - OffsetMinutes: `00` to `59` - Offset: OffsetDirection OffsetHours `:` OffsetMinutes - TimeZone: IANA timezone (geographic / link) name - IsoDateTime: DatePart `T` TimePart Offset `[` TimeZone `]` - -

Calling this function with a _this_ context that is not an instance of ZonedDateTime is illegal.

- - - -

ZonedDateTime.fromString(_isostring_)

-

- _isostring_ has to be in the precise format produced by . - However the `SubSeconds` are optional from right to left (when there isn't a `Milliseconds` part the `.` is disallowed). -

-

The offset in the string has to match the timezone at that time and date. Strings where this is not true are illegal.

-

Calling this function with a _this_ context that is not an instance of OffsetDateTime is illegal.

- -