From 99912abe17361f861545f5c02269957b173c48c5 Mon Sep 17 00:00:00 2001 From: Arnaud Mandy Date: Thu, 30 May 2024 17:46:25 +0300 Subject: [PATCH 1/5] timestamp: Redefine timestamp in Data delivery Fixes #257 --- index.html | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/index.html b/index.html index e38b5ae..771844c 100644 --- a/index.html +++ b/index.html @@ -1109,8 +1109,9 @@

Data delivery

Let |state:PressureState| be an [=adjusted pressure state=] given |data| and |source|.
  • - Let |timestamp:DOMHighResTimeStamp| be a timestamp representing the time the |data| was - obtained from the |relevantGlobal|'s [=platform collector=]. + Let |timestamp| be an platform-specific timestamp converted in an [=implementation-defined=] + way to an [=monotonic clock/unsafe current time=] using the same [=monotonic clock=] + that is shared by [=environment settings object/time origin=].
  • If |observer|.{{PressureObserver/[[AfterPenaltyRecordMap]]}}[source] [=map/exists=]: From 17f57ae14a06254021b74c5e0e585bb4912db74d Mon Sep 17 00:00:00 2001 From: Arnaud Mandy Date: Fri, 7 Jun 2024 17:04:10 +0300 Subject: [PATCH 2/5] Timestamp: Fix comments from rakuco's first review Signed-off-by: Arnaud Mandy --- index.html | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git a/index.html b/index.html index 771844c..90b1154 100644 --- a/index.html +++ b/index.html @@ -1107,16 +1107,21 @@

    Data delivery

  • Let |state:PressureState| be an [=adjusted pressure state=] given |data| and |source|. +
  • Let |timestamp| be an platform-specific timestamp converted in an [=implementation-defined=] way to an [=monotonic clock/unsafe current time=] using the same [=monotonic clock=] that is shared by [=environment settings object/time origin=].
  • @@ -1140,7 +1145,7 @@

    Data delivery

    {{PressureRecord/[[Source]]}} set to |source|, {{PressureRecord/[[State]]}} set to |state| and {{PressureRecord/[[Time]]}} set to [=relative high resolution time=] based on |timestamp| - and a global. + and |relevantGlobal|.
  • If |observer|.{{PressureObserver/[[AfterPenaltyRecordMap]]}}[source] [=map/exists=]: From c62f516379e5938ed880a9fa19fbc58bd9e399fa Mon Sep 17 00:00:00 2001 From: Arnaud Mandy Date: Fri, 7 Jun 2024 18:28:22 +0300 Subject: [PATCH 3/5] Fix Racuko s comment part2 --- index.html | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/index.html b/index.html index 90b1154..1ba77f7 100644 --- a/index.html +++ b/index.html @@ -1117,13 +1117,17 @@

    Data delivery

  • Let |timestamp| be an platform-specific timestamp converted in an [=implementation-defined=] way to an [=monotonic clock/unsafe current time=] using the same [=monotonic clock=] - that is shared by [=environment settings object/time origin=]. + that is shared by [=environment settings object/time origins=].
  • +
  • + Let |timeValue| be the [=relative high resolution time=] based on |timestamp| and + |relevantGlobal| +
  • [=list/For each=] |observer:PressureObserver| in |relevantGlobal|'s [=registered observer list=] for |source|: @@ -1144,8 +1148,7 @@

    Data delivery

    Let |record:PressureRecord| be a new {{PressureRecord}} object with its {{PressureRecord/[[Source]]}} set to |source|, {{PressureRecord/[[State]]}} set to |state| - and {{PressureRecord/[[Time]]}} set to [=relative high resolution time=] based on |timestamp| - and |relevantGlobal|. + and {{PressureRecord/[[Time]]}} set to |timeValue|.
  • If |observer|.{{PressureObserver/[[AfterPenaltyRecordMap]]}}[source] [=map/exists=]: From c640853521b7355510fc64fe6ef95dbece9db7d4 Mon Sep 17 00:00:00 2001 From: Raphael Kubo da Costa Date: Fri, 7 Jun 2024 17:32:27 +0200 Subject: [PATCH 4/5] Add missing period at the end of a sentence --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index 1ba77f7..c1f44d8 100644 --- a/index.html +++ b/index.html @@ -1126,7 +1126,7 @@

    Data delivery

  • Let |timeValue| be the [=relative high resolution time=] based on |timestamp| and - |relevantGlobal| + |relevantGlobal|.
  • [=list/For each=] |observer:PressureObserver| in |relevantGlobal|'s From 5ae6b6fc6faa3233c52ba710f109472ac2bec1b7 Mon Sep 17 00:00:00 2001 From: Raphael Kubo da Costa Date: Fri, 7 Jun 2024 17:36:32 +0200 Subject: [PATCH 5/5] s/an/a/ --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index c1f44d8..355c24b 100644 --- a/index.html +++ b/index.html @@ -1115,7 +1115,7 @@

    Data delivery

  • - Let |timestamp| be an platform-specific timestamp converted in an [=implementation-defined=] + Let |timestamp| be a platform-specific timestamp converted in an [=implementation-defined=] way to an [=monotonic clock/unsafe current time=] using the same [=monotonic clock=] that is shared by [=environment settings object/time origins=].