hamigaki.png

前のページ 上に戻る ホーム 次のページ

Concept Archiver

Archiver

Refinement of

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.

    前のページ 上に戻る ホーム 次のページ