## Concept Archiver

Archiver

## Refinement of

- Sink

## Associated types

- header_type

      A::header_type

  ヘッダ情報を保持する型

## Notation

A
  A type playing the role of device-type in the Archiver concept.
`a`
  Object of type A
`head`
  Object of type const header_type

## Valid expressions

Name | Expression | Type | Semantics | Postcondition
--- | --- | --- | --- | ---
Create entry | a.create_entry(head) | void | `a`にヘッダ情報`head`を設定した新しいエントリを作成する。 | `a`は書き込み可能な状態になる。
Rewind entry | a.rewind_entry() | void | `a`の現在の圧縮メソッドを無圧縮に設定し、書き込み位置をエントリの先頭に戻す。 |
Close archive | a.close_archive() | void | `a`にフッタ情報を書き込み、デバイスをクローズする。 |

## See also

| 製作著作 © 2006 Takeshi Mouri 製作著作 © 2002, 2003 Trustees of Indiana University. 製作著作 © 2001, 2002 University of Notre Dame.