summary.txt の外部シース(matching-plane)receipt のキー表。 summary の writer と checkpoint の loader が同じ表からキー名・順序・必須条件を取る。
| Type | Visibility | Attributes | Name | Initial | |||
|---|---|---|---|---|---|---|---|
| integer, | public, | parameter | :: | matching_plane_summary_key_count | = | size(receipt_keys) |
receipt を表の順に summary.txt へ書く。
| Type | Intent | Optional | Attributes | Name | ||
|---|---|---|---|---|---|---|
| integer, | intent(in) | :: | u | |||
| type(matching_plane_stats), | intent(in) | :: | receipt |
receipt のキーだけ value を読み戻す。found は表と同じ添字で、重複の検出に使う。
| Type | Intent | Optional | Attributes | Name | ||
|---|---|---|---|---|---|---|
| character(len=*), | intent(in) | :: | key | |||
| character(len=*), | intent(in) | :: | value | |||
| type(matching_plane_stats), | intent(inout) | :: | receipt | |||
| logical, | intent(inout) | :: | found(matching_plane_summary_key_count) |
schema 9 以降の checkpoint では required のキーが全て揃っていなければ再開しない。
| Type | Intent | Optional | Attributes | Name | ||
|---|---|---|---|---|---|---|
| logical, | intent(in) | :: | found(matching_plane_summary_key_count) |
| Type | Intent | Optional | Attributes | Name | ||
|---|---|---|---|---|---|---|
| character(len=*), | intent(in) | :: | value | |||
| character(len=*), | intent(in) | :: | key | |||
| real(kind=dp), | intent(out) | :: | result_value |