処理能 時列線 — Performance Timeline

`getEntries()@m ~method手続きは ⇒ ~RET `~buffer~mapを名前と型で絞込む$( コレ, ~NULL, ~NULL )

`getEntriesByType(type)@m ~method手続きは ⇒ ~RET `~buffer~mapを名前と型で絞込む$( コレ, ~NULL, %type )

`getEntriesByName(name, type)@m ~method手続きは：

1. ~IF［ %type ~EQ ε ］ ⇒ %type ~SET ~NULL
2. ~RET `~buffer~mapを名前と型で絞込む$( コレ, %name, %type )

`observe(options)@m ~method手続きは： ◎ must run these steps: • Let relevantGlobal be this's relevant global object.

1. %型~群 ~LET %options[ "`entryTypes$d" ] ◎ ↓
2. %型 ~LET %options[ "`type$d" ] ◎ ↓
3. ~IF［ %型~群 ~EQ ε ］~AND［ %型 ~EQ ε ］ ⇒ ~THROW `TypeError$E ◎ If options's entryTypes and type members are both omitted, then throw a "TypeError".
4. ~IF［ %型~群 ~NEQ ε ］~AND［ %options に `entryTypes$d 以外の~memberは在る ］ ⇒ ~THROW `TypeError$E ◎ If options's entryTypes is present and any other member is also present, then throw a "TypeError".

5. コレの`種別$pOに応じて： ◎ Update or check this's observer type by running these steps:

   • `未定義^i ⇒ コレの`種別$pO ~SET ［ %型~群 ~NEQ ε ならば `複数個^i ／ ~ELSE_ `一個^i ］ ◎ If this's observer type is "undefined": • If options's entryTypes member is present, then set this's observer type to "multiple". • If options's type member is present, then set this's observer type to "single".
   • `一個^i ⇒ ~IF［ %型~群 ~NEQ ε ］ ⇒ ~THROW `InvalidModificationError$E ◎ If this's observer type is "single" and options's entryTypes member is present, then throw an "InvalidModificationError".
   • `複数個^i ⇒ ~IF［ %型 ~NEQ ε ］ ⇒ ~THROW `InvalidModificationError$E ◎ If this's observer type is "multiple" and options's type member is present, then throw an "InvalidModificationError".
6. %大域~obj ~LET コレに`関連な大域~obj$ ◎ ↑↑
7. %観測器~list ~LET %大域~obj の`処理能~観測器~list$ ◎ ↓
8. %~supportする~entry型~群 ~LET %大域~obj が`~supportする~entry型~群$ ◎ ↓
9. コレの`落とされた~entry群を要求するか$pO ~SET ~T ◎ Set this's requires dropped entries to true.

10. ~IF［ コレの`種別$pO ~EQ `複数個^i ］： ◎ If this's observer type is "multiple", run the following steps: • Let entry types be options's entryTypes sequence.

    1. %型~群 を成す ~EACH( %~entry型 ) に対し ⇒ ~IF［ %~entry型 ~NIN %~supportする~entry型~群 ］ ⇒ %型~群 から %~entry型 を除去する ◎ Remove all types from entry types that are not contained in relevantGlobal's frozen array of supported entry types.＼

       ~UAは、 除去された`~entry型$があれば，開発者に通知するベキである — 例えば、 ~console警告にそれらを挙げるのが適切になるであろう。 ◎ The user agent SHOULD notify developers if entry types is modified. For example, a console warning listing removed types might be appropriate.

    2. ~IF［ %型~群 は空である ］ ⇒ ~RET ⇒ ~UAは、 登録は中止されたことを開発者に通知するベキである — 例えば，~console警告が適切になるであろう。 ◎ If the resulting entry types sequence is an empty sequence, abort these steps. The user agent SHOULD notify developers when the steps are aborted to notify that registration has been aborted. For example, a console warning might be appropriate.
    3. ~IF［ コレ ~NIN %観測器~list ］ ⇒ コレを %観測器~list に付加する ◎ ↓
    4. コレの`~option群~list$pO ~SET « %options » ◎ If the list of registered performance observer objects of relevantGlobal contains a registered performance observer whose observer is this, replace its options list with a list containing options as its only item. ◎ Otherwise, create and append a registered performance observer object to the list of registered performance observer objects of relevantGlobal, with observer set to this and options list set to a list containing options as its only item.

11. ~ELSE（ コレの`種別$pO ~EQ `一個^i ）： ◎ Otherwise, run the following steps: • Assert that this's observer type is "single".

    1. ~IF［ %型 ~NIN %~supportする~entry型~群 ］ ⇒ ~RET ◎ If options's type is not contained in the relevantGlobal's frozen array of supported entry types, abort these steps.＼

       この場合、 ~UAは， これが起きたことを開発者に通知するベキである — 例えば，~console警告を介して。 ◎ The user agent SHOULD notify developers when this happens, for instance via a console warning.

    2. ~IF［ コレ ~IN %観測器~list ］： ◎ If the list of registered performance observer objects of relevantGlobal contains a registered performance observer obs whose observer is this:

       1. ~IF［ コレの`~option群~list$pOを成す ある~item %~item は［ %~item[ "`type$d" ] ~EQ %型 ］を満たす ］ ⇒ コレの`~option群~list$pO内の %~item を %options に置換する ◎ If obs's options list contains a PerformanceObserverInit item currentOptions whose type is equal to options's type, replace currentOptions with options in obs's options list.
       2. ~ELSE ⇒ コレの`~option群~list$pOに %options を付加する ◎ Otherwise, append options to obs's options list.
    3. ~ELSE ⇒＃ コレを %観測器~list に付加する； コレの`~option群~list$pO ~SET « %options » ◎ Otherwise, create and append a registered performance observer object to the list of registered performance observer objects of relevantGlobal, with observer set to the this and options list set to a list containing options as its only item.

    4. ~IF［ %options[ "`buffered$d" ] ~EQ ~T ］： ◎ If options's buffered flag is set:

       1. %~tuple ~LET `処理能~entry~tupleを得る$( %型, %大域~obj ) ◎ Let tuple be the relevant performance entry tuple of options's type and relevantGlobal.
       2. %~tuple の`処理能~entry~buffer$を成す ~EACH( %~entry ) に対し ⇒ ~IF［ `~entryを追加するべきか？$( %~entry, %options ) ~EQ ~T ］ ⇒ コレの`~buffer$pOに %~entry を`付加する$ ◎ For each entry in tuple's performance entry buffer: • If should add entry with entry and options as parameters returns true, append entry to the observer buffer.
       3. `処理能~観測器~taskを~queueする$( %大域~obj ) ◎ Queue the PerformanceObserver task with relevantGlobal as input.

`takeRecords()@m ~method手続きは：

1. %複製 ~LET コレの`~buffer$pOの複製
2. コレの`~buffer$pOを空にする
3. ~RET %複製

`disconnect()@m ~method手続きは： ◎ The disconnect() method must do the following:

1. コレに`関連な大域~obj$の`処理能~観測器~list$から，コレを除去する ◎ Remove this from the list of registered performance observer objects of relevant global object.
2. コレの`~buffer$pOを空にする ◎ Empty this's observer buffer.
3. コレの`~option群~list$pO ~SET ε【！空にする】 ◎ Empty this's options list.

`処理能~entryを~queueする@ ~algoは、 所与の ( `PerformanceEntry$I ~obj %新たな~entry ) に対し： ◎ To queue a PerformanceEntry (newEntry), run these steps:

1. ~IF［ %新たな~entry の `id$m は未設定である ］： ◎ If newEntry's id is unset:

   1. %~ID ~LET `~IDを生成する$( %新たな~entry ) ◎ Let id be the result of running generate an id for newEntry.
   2. %新たな~entry の `id$m ~SET %~ID ◎ Set newEntry's id to id.
2. %~entry型 ~LET %新たな~entry の `entryType$m 値 ◎ ↓↓Let interested observers be an initially empty set of PerformanceObserver objects. ◎ Let entryType be newEntry’s entryType value.
3. %大域~obj ~LET %新たな~entry に`関連な大域~obj$ ◎ Let relevantGlobal be newEntry's relevant global object.

4. ~IF［ %大域~obj には`結付けられた文書$がある 【 %大域~obj は`~window$である】 ］ ⇒ %新たな~entry の `navigationId$m ~SET %大域~obj に`結付けられた文書$の`最も近過去な~navi$†の `id$m † ◎ If relevantGlobal has an associated document: • Set newEntry's navigationId to the value of relevantGlobal's associated document's most recent navigation's id.

   【† これらが未設定な場合の挙動は指定されていない。 他の仕様のどこかで、 そうならないよう施行されると思われる （例えば，`処理能~entryを~queueする$手続きを介して）。 】

5. ~ELSE ⇒ %新たな~entry の `navigationId$m ~SET ~NULL

   【† `navigationId$m は ~NULL を返し得ないので、 ~accessされる前に，他の仕様のどこかで、 ~NULL 以外に設定されると思われる （例えば，`~navi処理能~entryを~queueする$手続きを介して）。 】

   ◎ Otherwise, set newEntry's navigationId to null.
6. %大域~obj の`処理能~観測器~list$を成す ~EACH( `処理能~観測器$ %観測器 ) に対し ⇒ ~IF［ %観測器 の`~option群~list$pOを成す ある~item %~option群 は［ %~entry型 ~IN %~option群[ "`entryTypes$d" ] ~NEQ ε ］~OR［ %~entry型 ~EQ %~option群[ "`type$d" ] ~NEQ ε ］を満たす【該当する %~option群 は在っても 1 個に限られる（ `observe()$m を見よ）】 ］ ⇒ ~IF［ `~entryを追加するべきか？$( %新たな~entry, %~option群 ) ~EQ ~T ］ ⇒ %観測器 の`~buffer$pOに %新たな~entry を付加する ◎ For each registered performance observer regObs in relevantGlobal's list of registered performance observer objects: • If regObs's options list contains a PerformanceObserverInit options whose entryTypes member includes entryType or whose type member equals to entryType: •• If should add entry with newEntry and options returns true, append regObs's observer to interested observers. ◎ For each observer in interested observers: • Append newEntry to observer's observer buffer.
7. %~tuple ~LET `処理能~entry~tupleを得る$( %~entry型, %大域~obj ) ◎ Let tuple be the relevant performance entry tuple of entryType and relevantGlobal.
8. %~bufferは満杯か ~LET `~bufferは満杯かどうか決定する$( %~tuple ) ◎ Let isBufferFull be the return value of the determine if a performance entry buffer is full algorithm with tuple as input.
9. %追加するべきか ~LET `~entryを追加するべきか？$( %新たな~entry ) ◎ Let shouldAdd be the result of should add entry with newEntry as input.
10. ~IF［ %~bufferは満杯か ~EQ ~F ］~AND［ %追加するべきか ~EQ ~T ］ ⇒ %~tuple の`処理能~entry~buffer$に %新たな~entry を`付加する$ ◎ If isBufferFull is false and shouldAdd is true, append newEntry to tuple's performance entry buffer.
11. `処理能~観測器~taskを~queueする$( %大域~obj ) ◎ Queue the PerformanceObserver task with relevantGlobal as input.

`~navi処理能~entryを~queueする@ ~algoは、 所与の ( %新たな~entry ) に対し： ◎ To queue a navigation PerformanceEntry (newEntry), run these steps:

1. %~ID ~LET `~IDを生成する$( %新たな~entry ) ◎ Let id be the result of running generate an id for newEntry.
2. %大域~obj ~LET %新たな~entry に`関連な大域~obj$ ◎ Let relevantGlobal be newEntry's relevant global object.
3. %新たな~entry の `id$m ~SET %~ID ◎ Set newEntry's id to id.
4. %新たな~entry の `navigationId$m ~SET %~ID ◎ Set newEntry's navigationId to id.
5. ~IF［ %大域~obj `has an^en `結付けられた文書$ 【 %大域~obj は`~window$である？】 ］ ⇒ %大域~obj に`結付けられた文書$の`最も近過去な~navi$ ~SET %新たな~entry ◎ If relevantGlobal has an associated document: • Set relevantGlobal's associated document's most recent navigation to newEntry.
6. `処理能~entryを~queueする$( %新たな~entry ) ◎ Queue a PerformanceEntry with newEntry as input.

`処理能~観測器~taskを~queueする@ ~algoは、 所与の ( %大域~obj ) に対し： ◎ When asked to queue the PerformanceObserver task, given relevantGlobal as input, run the following steps:

1. ~IF［ %大域~obj の`処理能~観測器~taskは~queue済みか$ ~EQ ~T ］ ⇒ ~RET ◎ If relevantGlobal's performance observer task queued flag is set, terminate these steps.
2. %大域~obj の`処理能~観測器~taskは~queue済みか$ ~SET ~T ◎ Set relevantGlobal's performance observer task queued flag.

3. `~taskを~queueする$( `処理能~時列線~task~source@ , 次に与える手続き ) ◎ Queue a task that consists of running the following substeps. The task source for the queued task is the performance timeline task source.

   手続きは： ◎ ↑

   1. %大域~obj の`処理能~観測器~taskは~queue済みか$ ~SET ~F ◎ Unset performance observer task queued flag of relevantGlobal.
   2. %通知-~list ~LET %大域~obj の`処理能~観測器~list$を`~cloneする$ 【~cloneするのは、後~段で~callされる~callbackによる~~影響を避けるため】 ◎ Let notifyList be a copy of relevantGlobal's list of registered performance observer objects.

   3. %通知-~list を成す ~EACH( `処理能~観測器$ %観測器 ) に対し： ◎ For each registered performance observer object registeredObserver in notifyList, run these steps: • Let po be registeredObserver's observer.

      1. ~IF［ %観測器 の`~buffer$pOは空である ］ ⇒ ~CONTINUE ◎ ↓
      2. %~entry群 ~LET %観測器 の`~buffer$pOの複製 ◎ Let entries be a copy of po’s observer buffer. ◎ If entries is empty, return.
      3. %観測器 の`~buffer$pOを空にする ◎ Empty po’s observer buffer.
      4. %観測器~entry~list ~LET 新たな `PerformanceObserverEntryList$I ◎ Let observerEntryList be a new PerformanceObserverEntryList,＼
      5. %観測器~entry~list の`~entry~list$ ~SET %~entry群 ◎ with its entry list set to entries.
      6. %~callback~option群 ~LET 新たな `PerformanceObserverCallbackOptions$I ◎ ↓

      7. ~IF［ %観測器 の`落とされた~entry群を要求するか$pO ~EQ ~T ］：

         1. %落とした~entry数 ~LET 0

         2. %大域~obj の`処理能~entry~buffer~map$を成す ~EACH( %~entry型 → %~tuple ) に対し：

            1. ~IF［ %観測器 の`~option群~list$pO内に ~OR↓ を満たす~item %~option群 は在る ］…

               • %~entry型 ~IN %~option群[ "`entryTypes$d" ] ~NEQ ε
               • %~entry型 ~EQ %~option群[ "`type$d" ] ~NEQ ε

               …ならば ⇒ %落とした~entry数 ~INCBY %~tuple の`落とした~entry数$

         3. %観測器 の`落とされた~entry群を要求するか$pO ~SET ~F
         4. %~callback~option群[ "`droppedEntriesCount$d" ] ~SET %落とした~entry数
         ◎ Let droppedEntriesCount be null. ◎ If po's requires dropped entries is set, perform the following steps: • Set droppedEntriesCount to 0. • For each PerformanceObserverInit item in registeredObserver's options list: •• For each DOMString entryType that appears either as item's type or in item's entryTypes: ••• Let map be relevantGlobal's performance entry buffer map. ••• Let tuple be the result of getting the value of entry on map given entryType as key. ••• Increase droppedEntriesCount by tuple's dropped entries count. • Set po's requires dropped entries to false. ◎ Let callbackOptions be a PerformanceObserverCallbackOptions with its droppedEntriesCount set to droppedEntriesCount if droppedEntriesCount is not null, otherwise unset.
      8. `~callback関数を呼出す$( ↓ ) ⇒＃ %観測器 の`~callback$pO, « %観測器~entry~list, %観測器, %~callback~option群 », `報告する^i, %観測器 ◎ Invoke po’s observer callback with « observerEntryList, po, callbackOptions », "report", and po.

   `処理能~時列線~task~source$用の`~task~queue$は、 低優先度な~queueである — ~UAは、 処理能~監視~codeの影響iを最小限にするため，アリなら遊休中に処理するべきである。 ◎ The performance timeline task queue is a low priority queue that, if possible, should be processed by the user agent during idle periods to minimize impact of performance monitoring code.

`~buffer~mapを名前と型で絞込む@ ~algoは、 所与の ( %~obj, %名前, %型 ) に対し： ◎ When asked to run the filter buffer map by name and type algorithm with optional name and type, run the following steps:

1. %結果 ~LET 新たな`~list$ ◎ Let result be an initially empty list.
2. %~map ~LET %~obj に`関連な大域~obj$の`処理能~entry~buffer~map$ ◎ Let map be the performance entry buffer map associated with the relevant global object of this.
3. %~tuple~list ~LET %型 に応じて ⇒＃ ~NULL ならば %~map の`値~群$ ／ ~ELSE_ « %~map[ %型 ] » ◎ Let tuple list be an empty list. ◎ If type is not null, append the result of getting the value of entry on map given type as key to tuple list. Otherwise, assign the result of get the values on map to tuple list.

4. %~tuple~list を成す ~EACH( %~tuple ) に対し： ◎ For each tuple in tuple list, run the following steps:

   1. %~buffer ~LET %~tuple の`処理能~entry~buffer$ ◎ Let buffer be tuple's performance entry buffer.
   2. ~IF［ %~tuple の`時列線から可用か$ ~EQ ~F ］ ⇒ ~CONTINUE ◎ If tuple's availableFromTimeline is false, continue to the next tuple.
   3. %~entry群 ~LET `~bufferを名前と型で絞込む$( %~buffer, %名前, %型 ) ◎ Let entries be the result of running filter buffer by name and type with buffer, name and type as inputs.
   4. %結果 を %~entry群 で`拡張する$ ◎ For each entry in entries, append entry to result.
5. ~RET %結果 を各~entryの `startTime$m の時系列順に~sortした結果 【！＊~INFRA#list-sort-in-ascending-order】 ◎ Sort results's entries in chronological order with respect to startTime ◎ Return result.

`~bufferを名前と型で絞込む@ ~algoは、 所与の ( %~buffer, %名前, %型 ) に対し： ◎ When asked to run the filter buffer by name and type algorithm, with buffer, name, and type as inputs, run the following steps:

1. %~list ~LET 新たな`~list$ ◎ Let result be an initially empty list.

2. %~buffer を成す ~EACH( `PerformanceEntry$I ~obj %~entry ) に対し： ◎ For each PerformanceEntry entry in buffer, run the following steps:

   1. ~IF［ %型 ~NIN { ~NULL, %~entry の `entryType$m 属性~値 } ］ ⇒ ~CONTINUE ◎ If type is not null and if type is not identical to entry's entryType attribute, continue to next entry.
   2. ~IF［ %名前 ~NIN { ~NULL, %~entry の `name$m 属性~値 ) ］ ⇒ ~CONTINUE ◎ If name is not null and if name is not identical to entry's name attribute, continue to next entry.
   3. %~list に %~entry を`付加する$ ◎ append entry to result.
3. ~RET %~list を 各~entryの `startTime$m の時系列順に~sortした結果 【！＊~INFRA#list-sort-in-ascending-order】 ◎ Sort results's entries in chronological order with respect to startTime ◎ Return result.

`~bufferは満杯かどうか決定する@ ~algoは、 所与の ( %~tuple ) に対し： ◎ To determine if a performance entry buffer is full, with tuple as input, run the following steps:

1. ~IF［ %~tuple の`処理能~entry~buffer$の~size ~LT %~tuple の`最大~buffer~size$ ］ ⇒ ~RET ~F ◎ Let num current entries be the size of tuple's performance entry buffer. ◎ If num current entries is less than tuples's maxBufferSize, return false.
2. %~tuple の`落とした~entry数$ ~INCBY 1 ◎ Increase tuple's dropped entries count by 1.
3. ~RET ~T ◎ Return true.

`~IDを生成する@ ~algoは、 所与の ( `PerformanceEntry$I %~entry ) に対し： ◎ When asked to generate an id for a PerformanceEntry entry, run the following steps:

1. %大域~obj ~LET %~entry に`関連な大域~obj$ ◎ Let relevantGlobal be entry's relevant global object.
2. %大域~obj の`最後の処理能~entry~ID$ ~INCBY ~UAが選ぶ小さな整数 ◎ Increase relevantGlobal's last performance entry id by a small number chosen by the user agent.
3. ~RET %大域~obj の`最後の処理能~entry~ID$ ◎ Return relevantGlobal's last performance entry id.