## Concept Extractor

Extractor

## Refinement of

- Source

## Associated types

- header_type

      E::header_type

  ヘッダ情報を保持する型

## Notation

E
  A type playing the role of device-type in the Extractor concept.
`e`
  Object of type E
`head`
  Object of type header_type

## Valid expressions

Name | Expression | Type | Semantics
--- | --- | --- | ---
Switch the next entry | e.next_entry() | bool | `e`の読み込み対象を次のエントリに切り替える。
Entry header | e.header() | header_type | `a`の現在のエントリのヘッダ情報を返す。

## See also

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