XCOFF オブジェクト・ファイル・フォーマット

目的

拡張共通オブジェクト・ファイル・フォーマット (XCOFF) は、オペレーティング・システムのオブジェクト・ファイル・フォーマットです。 XCOFF は、標準の COFF を TOC モジュール・フォーマット概念と組み合わせたものである。 これによって、オブジェクト・ファイル内でダイナミック・リンクおよびユニットの置換が行われる。 XCOFF のバリエーションは、64 ビット・オブジェクト・ファイルと実行可能ファイルに使用されます。

XCOFF は、マシン・イメージ・オブジェクトおよび実行可能ファイルの正式な定義です。 これらのオブジェクト・ファイルは、言語処理プログラム (アセンブラーおよびコンパイラー) およびバインダー (またはリンク・エディター) によって作成され、主にバインダーおよびシステム・ローダーによって使用されます。

XCOFF 実行可能ファイルのデフォルト名は a.outです。

XCOFF オブジェクト・ファイルについて詳しくは、以下の情報を参照してください。

• コンポジット・ファイル・ヘッダー
• セクションおよびセクション・ヘッダー
• XCOFF ファイルの再配置情報 (reloc.h)
• XCOFF ファイルの行番号情報 (linenum.h)
• Symbol Table Information
• dbx Stabstrings (dbx 統計ストリング)

XCOFF 宣言を使用するアプリケーションの作成

XCOFF32 宣言の選択

XCOFF32 定義を選択するには、アプリケーションに適切なヘッダー・ファイルを組み込むだけで済みます。 XCOFF32 構造体、フィールド、およびプリプロセッサー定義のみが組み込まれます。

XCOFF64 宣言の選択

XCOFF64 定義を選択するには、アプリケーションでプリプロセッサー・マクロ __XCOFF64__を定義する必要があります。 XCOFF ヘッダー・ファイルが組み込まれると、 XCOFF64 の構造体、フィールド、およびプリプロセッサー定義が組み込まれます。 可能な場合、構造名とフィールド名は XCOFF32 名と同じですが、フィールド・サイズとオフセットが異なる場合があります。

XCOFF32 と XCOFF64 宣言の両方の選択

XCOFF32 と XCOFF64の両方の構造定義を選択するには、アプリケーションでプリプロセッサー・マクロ __XCOFF32__ と __XCOFF64__の両方を定義する必要があります。 これにより、両方の種類の XCOFF ファイルの構造が定義されます。 XCOFF64 ファイルの構造体および typedef 名には、接尾部「_64」が追加されます。 (詳細については、ヘッダー・ファイルを参照してください。)

ハイブリッド XCOFF 宣言の選択

アプリケーションは、 XCOFF32 ファイルと XCOFF64 ファイルの両方のフィールド定義を含む単一の構造を選択することができます。 XCOFF32 定義と XCOFF64 定義の両方で同じサイズとオフセットを持つフィールドの場合、フィールド名は保持されます。 XCOFF32 定義と XCOFF64 定義の間でサイズまたはオフセットが異なるフィールドの場合、 XCOFF32 フィールドには「32」接尾部が付き、 XCOFF64 フィールドには「64」接尾部が付きます。 ハイブリッド構造定義を選択するには、アプリケーションでプリプロセッサー・マクロ __XCOFF_HYBRID__を定義する必要があります。 例えば、シンボル・テーブル定義 ( /usr/include/syms.h内) の名前は次のようになります。n_offset32XCOFF32の n_offset フィールドに使用され、n_offset64XCOFF64の n_offset フィールドに使用されます。

XCOFF について

アセンブラーおよびコンパイラーは、XCOFF オブジェクト・ファイルを出力として生成します。 バインダーは、個々のオブジェクト・ファイルを XCOFF 実行可能ファイルに結合します。 システム・ローダーは、XCOFF 実行可能ファイルを読み取って、プログラムの実行可能メモリー・イメージを作成します。 シンボリック・デバッガーは、XCOFF 実行可能ファイルを読み取って、実行可能メモリー・イメージの関数および変数へのシンボリック・アクセスを提供します。

XCOFF ファイルには、以下のパーツが含まれています。

• 以下で構成される複合ヘッダー:
  • ファイル・ヘッダー
  • オプションの補助ヘッダー
  • セクション・ヘッダー (ファイルの生データ・セクションごとに 1 つ)
• 生データ・セクション (セクション・ヘッダーごとに最大 1 つ)
• 個々の生データ・セクションのオプションの再配置情報
• 個々の生データ・セクションのオプションの行番号情報
• オプションのシンボル・テーブル
• オプションのストリング・テーブル。 XCOFF64 のすべてのシンボル名、および XCOFF32の 8 バイトより長いシンボル名に使用されます。

すべての XCOFF ファイルにすべての部分が含まれているわけではありません。 最小 XCOFF ファイルには、ファイル・ヘッダーのみが含まれます。

オブジェクト・ファイルと実行可能ファイル

XCOFF オブジェクト・ファイルと実行可能ファイルの構造は似ています。 XCOFF 実行可能ファイル (または「モジュール」) には、補助ヘッダー、ローダー・セクション・ヘッダー、およびローダー・セクションが含まれている必要があります。

ローダー生データ・セクションには、実行のためにモジュールをメモリーに動的にロードするために必要な情報が含まれています。 XCOFF 実行可能ファイルをメモリーにロードすると、以下の論理セグメントが作成されます。

• テキスト・セグメント (初期化元:.textXCOFF ファイルのセクション)。
• データ・セグメント。初期化されたデータで構成されます (.dataXCOFF ファイルのセクション) の後に、初期化されていないデータ (0 に初期化) が続きます。 初期化されていないデータの長さは、.bssXCOFF ファイルのセクション・ヘッダー。

XCOFF ファイル編成は、XCOFF オブジェクト・ファイルの構造を示しています。

XCOFF ヘッダー・ファイル

xcoff.h ファイルは XCOFF ファイルの構造を定義します。 xcoff.h ファイルには、以下のファイルが含まれています。

a.out.h ファイルには、 xcoff.h ファイルが含まれています。 すべての XCOFF インクルード・ファイルには、 xcoff32_64.h ファイルが含まれています。

XCOFF オブジェクト・ファイルのセクションについて詳しくは、 「セクションとセクション・ヘッダー」 を参照してください。 シンボル・テーブルについて詳しくは、 「シンボル・テーブル情報」 を参照してください。 ストリング・テーブルについて詳しくは、 「ストリング・テーブル」 を参照してください。 デバッグ・セクションについて詳しくは、 「デバッグ・セクション」 を参照してください。

コンポジット・ファイル・ヘッダー

以下のセクションでは、XCOFF 複合ファイルのヘッダー・コンポーネントについて説明します。

• ファイル・ヘッダー (filehdr.h)
• 補助ヘッダー (aouthdr.h)
• セクション・ヘッダー (scnhdr.h)

ファイル・ヘッダー (filehdr.h)

filehdr.h ファイルは、XCOFF ファイルのファイル・ヘッダーを定義します。 ファイル・ヘッダーの長さは、 XCOFF32 では 20 バイト、 XCOFF64では 24 バイトです。 この構造体には、以下の表に示すフィールドが含まれています。

フィールド定義

補助ヘッダー (aouthdr.h)

補助ヘッダーには、モジュールのロードと実行に使用される、システム依存およびインプリメンテーション依存の情報が含まれています。 補助ヘッダー内の情報は、実行時にシステム・ローダーによって処理される必要があるファイルの量を最小化します。

バインダーは、システム・ローダーが使用する補助ヘッダーを生成します。 ロードされないオブジェクト・ファイルには、補助ヘッダーは必要ありません。 補助ヘッダーがコンパイラーおよびアセンブラーによって生成される場合、そのヘッダーはバインダーによって無視されます。

補助ヘッダーの C 言語構造体は、 aouthdr.h ファイルに定義されています。 補助ヘッダーには、以下の表に示すフィールドが含まれています。

フィールド定義

以下の情報は、補助ヘッダー・フィールドを定義しています。 2 つのラベルを持つ項目の場合、括弧内のラベルは、代替の元の COFF a.out ファイル・フォーマット名です。

Section_offset_value=o_entry-s_paddr[o_snentry - 1],

一般に、オブジェクト・ファイルには、特定のタイプの複数のセクションが含まれている可能性がありますが、ロード可能モジュールでは、正確に 1 つのセクションが存在する必要があります。.text,.data,.bssおよび.loaderセクション。 ロード可能オブジェクトにも 1 つのオブジェクトがある場合があります。.tdataセクションと 1 つ.tbssセクション。

セクション・ヘッダー (scnhdr.h)

XCOFF ファイルの各セクションには対応するセクション・ヘッダーがありますが、一部のセクション・ヘッダーには対応するロー・データ・セクションがない場合があります。 セクション・ヘッダーは、XCOFF ファイル内に含まれる各セクションの識別情報およびファイル・アクセス情報を提供します。 XCOFF32 ファイルの各セクション・ヘッダーの長さは 40 バイトですが、 XCOFF64 セクション・ヘッダーの長さは 72 バイトです。 セクション・ヘッダーの C 言語構造体は、 scnhdr.h ファイルにあります。 セクション・ヘッダーには、以下の表に示すフィールドが含まれています。

フィールド定義

以下の情報は、セクション・ヘッダー・フィールドを定義します。

セクションおよびセクション・ヘッダー

セクション・ヘッダーは、XCOFF ファイルの内容に関するさまざまな情報を提供するために定義されます。 XCOFF ファイルを処理するプログラムは、一部の有効なセクションのみを認識します。

XCOFF ファイル・セクションについて詳しくは、以下の情報を参照してください。

• ローダー・セクション (loader.h)
• デバッグ・セクション
• タイプ・チェック・セクション
• 例外セクション
• コメント・セクション

現在のアプリケーションは以下を使用しません:s_nameセクション・タイプを決定するフィールド。 ただし、以下の表に示すように、システム・ツールでは従来の名前が使用されます。

セクション・ヘッダーの一部のフィールドは、常に使用されるとは限りません。また、特殊な使用法がある場合もあります。 これは、以下のフィールドに関係します。

XCOFF ファイルは、以下のセクションに特別な意味を与えます。

• この.text,.dataおよび.bssセクション、およびオプションの.tdataおよび.tbssプログラムのメモリー・イメージを定義します。 関連付けられている再配置部品.textおよび.dataセクションには、置換リンク・エディットに使用できるように、完全なバインダー再配置情報が含まれています。 次のもののみ.textセクションは行番号部分に関連付けられています。 実行可能コードに関連したパーツは、コンパイラーおよびアセンブラーによって作成されます。
• この.padセクションは、ヌルで埋められた生データ・セクションとして定義されます。このセクションは、ファイル・ブロック境界やシステム・ページ境界などの定義済み境界でファイル内の後続のセクションを位置合わせするために使用されます。 埋め込みは、対応するセクション・ヘッダーがない XCOFF ファイルで許可されるため、バインダーは埋め込みセクション・ヘッダーを生成しません。
• この.loaderセクションは、動的ローダー情報を含むように定義された生データ・セクションです。 このセクションはバインダーによって生成され、独自の自己完結型シンボル・テーブルと再配置テーブルを持っています。 XCOFF シンボル・テーブルからこのセクションへの参照はありません。
• この.debugsection は、記号デバッガーが必要とするタブ (記号テーブル) または辞書情報を含むように定義された生データ・セクションです。
• この.dwinfo,.dwline,.dwpbnms,.dwpbtyp,.dwarnge,.dwabrev,.dwstr,および.dwrngesセクションは、シンボル・デバッガーのシンボル・テーブルおよびソース・ファイル情報を含むように定義されたロー・データ・セクションです。
• この.typchksection は、パラメーターおよび引数型検査ストリングを含むように定義されたロー・データ・セクションです。
• この.exceptセクションは、プログラム実行での例外の理由を識別するために使用される例外テーブルを含むように定義されたロー・データ・セクションです。
• この.infoコメント・セクションは、特殊な処理ユーティリティー・プログラムにとって重要なコメントまたはデータを含むように定義された未加工データ・セクションです。
• この.debug,.except,.infoおよび.typchkセクションは、コンパイラーおよびアセンブラーによって作成されます。 これらのセクションまたはこれらのセクション内の項目への参照は、XCOFF シンボル・テーブルから作成されます。

XCOFF ファイル・セクションについて詳しくは、 "Loader Section (loader.h)," "Debug Section," "Type-Check Section," "Exception Section," and "Comment Section" を参照してください。

ローダー・セクション (loader.h)

ローダー・セクションには、実行可能 XCOFF オブジェクトをロードして再配置するためにシステム・ローダーが必要とする情報が含まれています。 ローダー・セクションは、バインダーによって生成されます。 ローダー・セクションには、s_flagsXCOFF セクション・ヘッダー内の STYP_LOADER のセクション・タイプ・フラグ。 慣例により、.loaderローダー・セクション名です。 このセクションのデータは、XCOFF シンボル・テーブルのエントリーによって参照されません。

ローダー・セクションは、以下の部分で構成されます。

• ヘッダー・フィールド
• シンボル・テーブル
• 再配置表
• インポート・ファイル ID ストリング
• シンボル名ストリング・テーブル

ローダー・セクションの C 言語構造は、 loader.h ファイルにあります。

ローダー・ヘッダー・フィールドの定義

以下の表では、ローダー・セクションのヘッダー・フィールド定義について説明します。

以下の情報は、ローダー・セクションのヘッダー・フィールドを定義します。

ローダー・シンボル・テーブル・フィールドの定義

ローダー・セクション・シンボル・テーブルには、システム・ローダーがそのインポートおよびエクスポート・シンボル処理および動的再配置処理のために必要とするシンボル・テーブル・エントリーが含まれています。

loader.h ファイルは、シンボル・テーブル・フィールドを定義します。 各項目の長さは 24 バイトです。

5 つの暗黙的な外部シンボルがあり、それぞれが.text,.data,.bss,.tdataおよび.tbssセクション。 これらのシンボルは、それぞれシンボル・テーブル索引値 0、1、2、-1、および -2 を使用して、再配置テーブル・エントリーから参照されます。

シンボル・テーブル・フィールドは、以下のとおりです。

Bit 0     0x80  Reserved.
Bit 1     0x40  Specifies an imported symbol.
Bit 2     0x20  Specifies an entry point descriptor symbol.
Bit 3     0x10  Specifies an exported symbol.
Bit 4     0x08  Specifies a weak symbol.
Bits 5-7  0x07 Symbol type--see below.

l_smclas

l_ifile

l_parm

ローダー再配置テーブルのフィールド定義

ローダー・セクション再配置テーブル構造には、ロード時に実行可能 XCOFF ファイルを正しく再配置するためにシステム・ローダーが必要とするすべての再配置情報が含まれています。 loader.h ファイルは、再配置テーブル・フィールドを定義します。 ローダー・セクション再配置テーブルの各項目の長さは、 XCOFF32では 12 バイト、 XCOFF64では 16 バイトです。 l_vaddr、 l_symndx、およびl_rtype フィールドは、 reloc.h ファイルに定義されている通常の再配置エントリーの対応するフィールドと同じ意味を持ちます。 再配置エントリーについて詳しくは、 XCOFF ファイルの再配置情報 (reloc.h)を参照してください。

loader.h ファイルは、以下のフィールドを定義します。

ローダー・インポート・ファイル ID 名テーブル定義

モジュールのローダー・セクション・インポート・ファイル ID 名ストリングは、モジュールを正常にロードするためにシステム・ローダーがロードする必要がある従属モジュールのリストを提供します。 ただし、このリストには、指定されたモジュールが依存するモジュールの名前は含まれていません。

各インポート・ファイル ID 名は、ヌルで区切られた 3 つのストリングで構成されます。

最初のインポート・ファイル ID は、システム・ローダーによって使用されるデフォルトの LIBPATH 値です。 LIBPATH 情報は、コロンで区切られたファイル・パスで構成されます。 ベース名またはアーカイブ・メンバー名がないため、ファイル・パスの後に 3 つのヌル・バイトが続きます。

インポート・ファイル ID 名テーブルの各項目は、以下のもので構成されます。

• インポート・ファイル ID パス名
• ヌル区切り文字 (ASCII ヌル文字)
• インポート・ファイル ID のベース名
• ヌル区切り文字
• インポート・ファイル ID アーカイブ・ファイル・メンバー名
• ヌル区切り文字

次に例を示します。

/usr/lib\0mylib.a\0shr.o\0

ローダー・ストリング・テーブルの定義

ローダー・セクション・ストリング・テーブルには、パラメーター・タイプ検査ストリング、 XCOFF64 ファイルのすべてのシンボル名、および XCOFF32 ファイルの 8 バイトより長いシンボル名が含まれています。 各ストリングは、2 バイトの長さフィールドとそれに続くストリングで構成されます。

シンボル名はヌル終了です。 長さフィールドの値には、ストリングの長さと NULL 終止符の長さを加えたものが含まれますが、長さフィールド自体の長さは含まれません。

パラメーター・タイプ検査ストリングにはバイナリー値が含まれ、ヌル終了ではありません。 長さフィールドの値には、ストリングの長さのみが含まれますが、長さフィールド自体の長さは含まれません。

ローダー・セクションのシンボル・テーブル項目には、長さフィールドではなく、ストリングの最初のバイトを指すバイト・オフセット値が含まれています。

ローダー・セクションのヘッダーの内容

ローダー・セクションのセクション・ヘッダー・フィールドの内容は、以下のとおりです。

XCOFF ファイル・フォーマットの一般情報については、 「XCOFF オブジェクト・ファイル・フォーマット」 を参照してください。

XCOFF ファイル・セクションについて詳しくは、 「セクションとセクション・ヘッダー」 「デバッグ・セクション」 「タイプ・チェック・セクション」 「例外セクション」 および 「コメント・セクション」 を参照してください。

デバッグ・セクション

デバッグ・セクションには、シンボリック・デバッガー・スタブ・ストリング (シンボル・テーブル・ストリング) が含まれています。 これは、コンパイラーおよびアセンブラーによって生成されます。 これは、シンボリック・デバッガーが使用するシンボル属性情報を提供します。 デバッグ・セクションには、XCOFF セクション・ヘッダーに STYP_DEBUG のセクション・タイプ・フラグがあります。 慣例により、.debugデバッグ・セクション名です。 このセクションのデータは、XCOFF シンボル・テーブルのエントリーから参照されます。 stabstring は、ヌル終了の文字ストリングです。 各ストリングの前には、 XCOFF32 の 2 バイトの長さフィールド、または XCOFF64の 4 バイトの長さフィールドがあります。

フィールド定義

シンボリック・デバッガーのスタブ・ストリングごとに、以下の 2 つのフィールドが繰り返されます。

• ストリングの長さを含む 2 バイト (XCOFF32) または 4 バイト (XCOFF64) の長さフィールド。 長さフィールドに含まれる値には、終了ヌル文字の長さが含まれますが、長さフィールド自体の長さは含まれません。
• シンボリック・デバッガー・スタブ・ストリング。

スタブ・ストリングの特定の形式については、 シンボリック・デバッガーの stabstring 文法の説明を参照してください。

デバッグ・セクションのヘッダーの内容

デバッグ・セクションのセクション・ヘッダー・フィールドの内容は、以下のとおりです。

XCOFF ファイル・フォーマットの一般情報については、 「XCOFF オブジェクト・ファイル・フォーマット」 を参照してください。

XCOFF ファイル・セクションについて詳しくは、 「セクションとセクション・ヘッダー」 「デバッグ・セクション」 「タイプ・チェック・セクション」、 「例外セクション」 および 「コメント・セクション」 を参照してください。

DWARF セクション

DWARF セクションには、シンボリック・デバッガーのデバッグ情報が含まれています。 DWARF は、デバッガー・スタブ・ストリングの代わりに使用される代替デバッグ・フォーマットです。 さまざまな DWARF セクションの内容については、「 www.dwarfstd.org」から入手できる「DWARF Debugging Information Format」で説明されています。

すべての DWARF セクションには、XCOFF セクション・ヘッダーに STYP_DWARF の基本セクション・タイプ・フラグがあります。 従来のセクション名は、 「従来のヘッダー名」にリストされています。

DWARF セクションのヘッダー内容

デバッグ・セクションのセクション・ヘッダー・フィールドの内容は、以下のとおりです。

タイプ-チェック・セクション

タイプ・チェック・セクションには、タイプ・チェック・ハッシュ・ストリングが含まれ、コンパイラーおよびアセンブラーによって生成されます。 これは、別個にコンパイルされたオブジェクト・ファイルをリンクするときに、変数の不一致および引数インターフェース・エラーを検出するためにバインダーによって使用されます。 (ローダー・セクションのタイプ・チェック・ハッシュ・ストリングは、プログラムを実行する前にこれらのエラーを検出するために使用されます。) タイプ・チェック・セクションの XCOFF セクション・ヘッダーには、 STYP_TYPCHK のセクション・タイプ・フラグがあります。 慣例により、.typchkタイプ・チェック・セクション名です。 このセクションのストリングは、 XCOFF シンボル・テーブルの項目から参照されます。

フィールド定義

以下の 2 つのフィールドは、パラメーター・タイプ検査ストリングごとに繰り返されます。

• タイプ・チェック・ストリングの長さを含む 2 バイトの長さフィールド。 長さフィールドに含まれる値には、長さフィールド自体の長さは含まれません。
• パラメーター・タイプ検査ハッシュ・ストリング。

データのタイプ・エンコードおよびフォーマットの検査

タイプ・チェック・ハッシュ・ストリングは、プログラムの実行前にエラーを検出するために使用されます。 すべての外部シンボル (データおよび関数) に関する情報は、コンパイラーによってエンコードされ、バインド時およびロード時に整合性が検査されます。 タイプ・チェック・ストリングは、サポートされる各言語のセマンティクスによって必要とされる最大限の検査を実施し、複数の言語で作成されたアプリケーションを保護するように設計されています。

タイプ・エンコードおよびチェック・メカニズムは、チェックの柔軟性を提供する 4 つの部分からなるハッシュ・エンコードを備えています。 また、このメカニズムは、どのコードにも一致する固有値 UNIVERSAL も使用します。 UNIVERSAL ハッシュは、アセンブリー・プログラムのエスケープ・メカニズムとして使用することも、タイプ情報またはサブルーチン・インターフェースが不明なプログラムのエスケープ・メカニズムとして使用することもできます。 UNIVERSAL ハッシュは、4 つのブランク ASCII 文字 (0x20202020) または 4 つのヌル文字 (0x00000000) です。

以下のフィールドは、タイプ・エンコードおよび検査メカニズムに関連付けられています。

セクション・ヘッダーの内容

タイプ・チェック・セクションのセクション・ヘッダー・フィールドの内容は、以下のとおりです。

XCOFF ファイル・フォーマットの一般情報については、 「XCOFF オブジェクト・ファイル・フォーマット」 を参照してください。

XCOFF ファイル・セクションについて詳しくは、 「セクションとセクション・ヘッダー」 「デバッグ・セクション」 「タイプ・チェック・セクション」 「例外セクション」 および 「コメント・セクション」 を参照してください。

例外セクション

例外セクションには、トラップ命令、ソース言語識別コード、およびトラップ理由コードのアドレスが含まれています。 このセクションは、コンパイラーおよびアセンブラーによって作成され、実行時または実行後に、特定のトラップまたは例外が発生した理由を識別するために使用されます。 例外セクションには、XCOFF セクション・ヘッダーに STYP_EXCEPT のセクション・タイプ・フラグがあります。 慣例により、.except例外セクション名です。 例外セクションのデータは、XCOFF シンボル・テーブルの項目から参照されます。

例外表の項目の値が 0 の場合e_reasonフィールドには、関数の C_EXT、C_WEAKEXT、 または C_HIDEXT シンボル・テーブル・エントリーに対するシンボル・テーブル索引が入っています。 シンボル・テーブルから例外テーブル内の項目への参照は、関数補助シンボル・テーブル項目を介して行われます。 この項目について詳しくは、 「csect Auauxiliary Entry for C_EXT, C_WEAKEXT and C_HIDEXT Symbols」 を参照してください。

例外セクション項目の C 言語構造体は、 exceptab.h ファイルにあります。

例外セクションの項目には、以下の表に示すフィールドが含まれています。

フィールド定義

以下に、例外セクションにリストされているフィールドを定義します。

セクション・ヘッダーの内容

以下のフィールドは、例外セクションのセクション・ヘッダー・フィールドの内容です。

XCOFF ファイル・フォーマットの一般情報については、 「XCOFF オブジェクト・ファイル・フォーマット」 を参照してください。

XCOFF ファイル・セクションについて詳しくは、 「セクションとセクション・ヘッダー」 「デバッグ・セクション」 「タイプ・チェック・セクション」 「例外セクション」 および 「コメント・セクション」 を参照してください。

コメント・セクション

コメント・セクションには、アプリケーションにとって特殊な処理重要度の情報が含まれています。 このセクションは、コンパイラーおよびアセンブラーによって作成され、アプリケーションの特殊な処理ニーズを満たすために実行時または実行後に使用されます。 コメント・セクションには、 XCOFF セクション・ヘッダーに STYP_INFO のセクション・タイプ・フラグがあります。 慣例により、.infoコメント・セクション名です。 コメント・セクションのデータは、 XCOFF シンボル・テーブルの C_INFO エントリーから参照されます。

コメント・セクションの内容は、4 バイトの繰り返しインスタンスで構成されます。lengthバイトのストリング (任意のバイナリー値を含む) が後に続くフィールド。 各ストリングの長さは、先行する 4 バイトに保管されます。length設定します。 バイトのストリングは、ヌル文字またはその他の特殊文字で終了する必要はありません。 指定された長さには, システムの長さは含まれません。lengthフィールド自体。 長さ 0 は許可されます。 バイト・ストリングの形式が指定されていません。

コメント・セクション・ストリングは、 XCOFF シンボル・テーブル内のエントリーから参照されます。 参照を行うシンボルのストレージ・クラスは C_INFOです。 詳しくは、 「ストレージ・クラスごとのシンボル・テーブル・フィールドの内容」 を参照してください。

C_INFO シンボルは、直前の C_FILE、 C_EXT、C_WEAKEXT、または C_HIDEXT シンボルと関連付けられています。

セクション・ヘッダーの内容

以下のフィールドは、コメント・セクションのセクション・ヘッダー・フィールドの内容です。

XCOFF ファイル・フォーマットの一般情報については、 「XCOFF オブジェクト・ファイル・フォーマット」 を参照してください。

XCOFF ファイル・セクションについて詳しくは、 「セクションとセクション・ヘッダー」 「デバッグ・セクション」 「タイプ・チェック・セクション」 「例外セクション」 および 「コメント・セクション」 を参照してください。

XCOFF ファイルの再配置情報 (reloc.h)

一部のセクションには再配置情報があります。 このs_relptrセクション・ヘッダーのフィールドは、セクションの再配置エントリーに対するファイル・オフセットを指定します。 個々の XCOFF オブジェクト・ファイルがリンクされて XCOFF 実行可能ファイルが作成されると、バインダーは再配置情報を使用して、アドレス定数およびその他の再配置可能値を変更します。

コンパイラーおよびアセンブラーは、セクションの情報の再配置項目を生成します。 バインダーは、以下に含まれる再配置情報を生成します。.loaderシステム・ローダーが必要とするセクション。

各再配置項目の長さは 10 バイト ( XCOFF64の場合は 14 バイト) です。 (以下の場所にある再配置エントリー.loaderセクションの長さは 12 バイト ( XCOFF64の場合は 16 バイト) で、本書のローダー・セクションの説明で説明されています。 詳しくは、 「再配置テーブル・フィールドの定義」 を参照してください。) 再配置エントリーの C 言語構造は、 reloc.h ファイルにあります。 再配置項目には、以下の表に示すフィールドが含まれます。

セクションの再配置エントリーは、アドレスの昇順でなければなりません。

(ローダー・セクションには、システム・ローダーによって使用される再配置エントリーの単一セットが含まれています。したがって、変更する必要があるセクションを識別するために、各再配置エントリー内にセクション番号が必要です。)

フィールド定義

追加の再配置機能

標準的な方法は、未解決の参照または異なるセクション間の参照についてのみ、再配置情報を保持することです。 参照が解決されると、再配置情報は破棄されます。 これは、増分バインドおよび固定アドレス・スペース・モデルには十分です。 再配置可能アドレス・スペース・モデルを再バインドおよび処理する機能を提供するために、再配置情報は XCOFF ファイルから廃棄されません。

XCOFF ファイル・フォーマットの一般情報については、 「XCOFF オブジェクト・ファイル・フォーマット」 を参照してください。

再配置フィールド・テーブル定義について詳しくは、ローダー・セクションの 「Relocation Table Field Definitions」 を参照してください。

XCOFF ファイルの行番号情報 (linenum.h)

行番号エントリーは、ソース・レベルでコードをデバッグするためにシンボリック・デバッガーによって使用されます。 存在する場合、シンボリック・デバッガー・ブレークポイントを持つことができるソース行ごとに単一行番号エントリーがあります。 行番号は機能別にグループ化されます。 各機能の開始は、以下によって識別されます。l_lnno値 0 を含むフィールド。 最初のフィールドはl_symndxは、関数の C_EXT、C_WEAKEXT、または C_HIDEXT シンボル・テーブル・エントリーに対するシンボル・テーブル索引です。

各行番号項目の長さは 6 バイトです。 行番号項目の C 言語構造体は、 linenum.h ファイルにあります。 行番号項目には、以下の表に示すフィールドが含まれています。

フィールド定義

以下のリストは、行番号項目を定義しています。

XCOFF ファイル・フォーマットの一般情報については、 「XCOFF オブジェクト・ファイル・フォーマット」 を参照してください。

デバッグについては、 「デバッグ・セクション」 を参照してください。

Symbol Table Information

XCOFF ファイルに対して 1 つの複合シンボル・テーブルが定義されます。 シンボル・テーブルには、バインダー (外部シンボル) とシンボリック・デバッガー (関数定義、および内部シンボルと外部シンボル) の両方に必要な情報が含まれています。

シンボル・テーブルは、18 バイトの固定長項目のリストで構成されます。 シンボル・テーブルに表示される各シンボルは、少なくとも 1 つの固定長エントリーで構成され、一部のエントリーの後には同じサイズの補助エントリーが続きます。

シンボル・テーブルについて詳しくは、以下の情報を参照してください。

• シンボル・テーブル補助情報
• ストレージ・クラスごとのシンボル・テーブル・フィールドの内容
• STRING テーブル

外部シンボルごとに、外部シンボルに関する追加情報を提供する 1 つ以上の補助項目が必要です。 バインダーにとって重要な外部シンボルには、主に 3 つのタイプがあり、以下の機能を実行します。

• 交換可能ユニットまたは CSECT を定義します。
• csects 内の関数またはエントリー・ポイントの外部名を定義します。
• 別の XCOFF オブジェクト内の外部関数の名前を参照します。

交換可能ユニット (csect) を定義するシンボルの場合、csect 補助項目は、csect の長さとストレージ・マッピング・クラスを定義します。 csect 内の関数の外部名を定義するシンボルの場合、csect 補助エントリーは、その関数の収容 csect、パラメーター・タイプ・チェック情報、およびシンボリック・デバッガー情報を指します。 外部関数の名前を参照するシンボルの場合、csect 補助項目はシンボルを外部参照として識別し、パラメーター・タイプ検査情報を指します。

シンボル・テーブルの内容

XCOFF シンボル・テーブルには、以下の一般的な内容と順序があります。

• 特定のソース・ファイルに関連したすべてのシンボル・テーブル・エントリーを囲むために使用される C_FILE シンボル・テーブル・エントリー。
• ソース・ファイル・スコープの C_INFO コメント・セクション・シンボル・テーブル・エントリー。 これらは、 C_FILE エントリーの後、最初の csect 定義シンボル・テーブル・エントリーの前に続きます。
• ファイル・スコープのシンボリック・デバッガー・シンボル・テーブル・エントリー。 これらは、 C_FILE 項目の後、最初の csect 項目の前に続きます。
• DWARF デバッグ情報の C_DWARF シンボル。 これらは C_FILE エントリーの後に続き、 C_FILE エントリーとその C_DWARF シンボルの間に csect シンボルがあってはなりません。
• csect に含まれるすべてのシンボルを定義し、囲むために使用される csect 定義シンボル・テーブル・エントリー。
• C_INFO csect 定義シンボル・テーブル・エントリーに続くコメント・セクション・シンボル・テーブル・エントリーは、その csect に関連付けられます。
• csect 定義シンボル・テーブル・エントリーまたはラベル・シンボル・テーブル・エントリーに続くすべてのシンボリック・デバッガー・シンボル・テーブル・エントリーは、その csect またはラベルに関連付けられます。

シンボル・デバッガーの要件に対応し、ガーベッジ・コレクション、増分バインディング、および再バインドなどのバインダー・アクションの結果としてオブジェクト・ファイルのさまざまなセクションのバインダーによる効率的な管理を可能にするために、コンパイラーとアセンブラーの両方によってシンボル・テーブルの順序付けを行う必要があります。 この順序付けは、csect が削除または置換された場合に、csect に関連するすべてのシンボル・テーブル情報も削除または置換できるようにするために、バインダーによって必要とされます。 同様に、ソース・ファイルに関連するすべての CSECT を削除または置換すると、そのファイルに関連するすべてのシンボル・テーブルおよび関連情報も削除または置換することができます。

シンボル・テーブル・レイアウト

次の例は、シンボル・テーブルの一般的な順序を示しています。

un_external      Undefined global symbols

.file                Prolog --defines stabstring compaction level
.file                Source file 1
  .info              Comment section reference symbol with file scope
  stab               Global Debug symbols of a file
  dwarf	             DWARF Information of a file
  csect              Replaceable unit definition (code)
     .info           Comment section reference symbol with csect scope
     function        Local/External function
         stab        Debug and local symbols of function
     function        Local/External function
         stab        Debug and local symbols of function
  ..............
  csect              Replaceable unit definition (local statics)
         stab        Debug and local statics of file
  ..............
  csect              Relocatable unit definition (global data)
         external    Defined global symbol
         stab        Debug info for global symbol
  ..............
.file                Source file 2
  stab               Global Debug symbols of a file
  dwarf	             DWARF Information of a file
  csect              Replaceable unit definition (code)
         function    Local/External function
             stab    Debug and local symbols of function
  ..............
  csect              Replaceable unit definition (local statics)
      stab           Debug and Local statics of file
  ..............
  csect              Replaceable unit definition (global data)
      external       Defined global symbol
          stab       Debug info for global symbol
.file                Source file
  ..............

シンボル・テーブル・エントリー (syms.h)

各シンボルは、ストレージ・クラスおよびタイプに関係なく、シンボル・テーブル内に固定形式のエントリーを持っています。 さらに、一部のシンボル・タイプには、固定形式項目の直後に追加の (補助) シンボル・テーブル項目がある場合があります。 シンボル・テーブルの各項目の長さは 18 バイトです。 シンボル・テーブル・エントリーの C 言語構造体は、 syms.h ファイルにあります。 シンボル・テーブルの最初の項目の索引は 0 です。 次の表は、シンボル・テーブル内の各シンボルの固定形式部分の構造を示しています。

フィールド定義

以下に、シンボル・テーブル・エントリー・フィールドを定義します。

XCOFF ファイル・フォーマットの一般情報については、 「XCOFF オブジェクト・ファイル・フォーマット」 を参照してください。

シンボル・テーブル補助情報

シンボル・テーブルには、シンボルの補足情報を提供する補助項目が含まれています。 シンボルの補助項目は、そのシンボル・テーブル項目の後に続きます。 各補助項目の長さは、シンボル・テーブル項目 (18 バイト) と同じです。 補助項目の形式と数量は、ストレージ・クラス (n_sclass) およびタイプ (n_type) シンボル・テーブル・エントリーの

XCOFF32では、ストレージ・クラス C_EXT、C_WEAKEXT または C_HIDEXT を持ち、複数の補助項目を持つシンボルは、最後の補助項目として csect 補助項目を持つ必要があります。 XCOFF64では、x_auxtype各補助シンボル・テーブル・エントリーのフィールドはシンボルを区別しますが、規則では、csect 補助シンボル・テーブル・エントリーを最後に生成します。

File Auxiliary Entry for C_FILE Symbols (C_FILE シンボルのファイル補助項目)

ファイル補助シンボル・テーブル項目は、ソース・ファイル名とコンパイラー関連ストリングを含むように定義されます。 ファイル補助項目はオプションであり、 C_FILEのストレージ・クラス値を持つシンボル・テーブル項目と共に使用されます。 ファイル補助項目の C 言語構造体は、 syms.h ファイルの x_file 構造体にあります。

C_FILE シンボルは、ソース・ファイル名情報、ソース言語 ID と CPU バージョン ID 情報、およびオプションでコンパイラー・バージョンとタイム・スタンプ情報を提供します。

このn_typeシンボル・テーブル項目のフィールドは、ソース・ファイルのソース言語とコンパイル済みオブジェクト・ファイルの CPU バージョン ID を識別します。 フィールド情報は以下のとおりです。

フィールド定義

以下に、上記のフィールドを定義します。

ファイル補助項目が使用されない場合には, 記号名はソース・ファイルの名前です。 ファイル補助項目が使用される場合には, 記号名は次のようになっていなければなりません。.file最初のファイル補助項目 (規則により) にはソース・ファイル名が含まれます。 指定されたシンボル・テーブル項目には、複数のファイル補助項目を使用することができます。 このn_numauxフィールドには, ファイル補助項目の数が入っています。

csect 補助項目 (C_EXT、C_WEAKEXT、および C_HIDEXT シンボル用)

csect 補助項目は、CSECT (セクション定義)、エントリー・ポイント (ラベル定義)、および外部参照 (ラベル宣言) を識別します。 csect 補助項目は、 C_EXT、C_WEAKEXT、または C_HIDEXTのストレージ・クラス値を持つシンボル・テーブル項目ごとに必要です。 詳しくは、 「シンボル・テーブル・エントリー (syms.h)」 を参照してください。 規則により、 XCOFF32 ファイル内の csect 補助項目は、複数の補助項目を持つ外部シンボルの最後の補助項目でなければなりません。 csect 補助項目の C 言語構造体は、 syms.h ファイル内の x_csect 構造体にあります。

フィールド定義

C_EXT、C_WEAKEXT、および C_HIDEXT の各シンボルの補助項目

補助シンボル・テーブル項目は XCOFF で定義され、定義された関数に関連した参照情報およびサイズ情報を含みます。 これらの補助項目は、シンボリック・デバッガーが使用するために、コンパイラーおよびアセンブラーによって作成されます。 XCOFF32では、関数補助シンボル・テーブル・エントリーに必要な情報が含まれています。 XCOFF64では、機能補助項目と例外補助項目の両方が必要になる場合があります。 単一の C_EXT、C_WEAKEXT、または C_HIDEXT シンボルに対して両方の補助項目が生成される場合、x_sizeおよびx_endndxフィールドは同じ値でなければなりません。

関数補助シンボル・テーブル項目は、以下の表に定義されています。

フィールド定義

以下は、機能補助項目フォーマット・テーブルにリストされているフィールドを定義しています。

XCOFF64 でのみ定義されている例外補助シンボル・テーブル項目を以下の表に示します。

フィールド定義

以下は、例外補助項目フォーマット・テーブルにリストされるフィールドを定義しています。

Block Auxiliary Entry for the C_BLOCK and C_FCN Symbols (C_BLOCK および C_FCN シンボルのブロック補助項目)

シンボル補助シンボル・テーブル項目は、関数の開始ブロックと終了ブロックに関連した情報を提供するために XCOFF で定義されます。 シンボル補助シンボル・テーブル・エントリーは、シンボリック・デバッガーが使用するためにコンパイラーによって作成されます。

フィールド定義

以下に、上記のフィールドを定義します。

C_STAT シンボル用のセクション補助項目

セクション補助シンボル・テーブル・エントリー ID は XCOFF32 で定義され、コンパイラーまたはアセンブラーによって作成されたセクションのサイズに関する情報をシンボル・テーブルに提供します。 コンパイラーによるこの情報の生成はオプションであり、バインダーによって無視され、除去されます。

フィールド定義

以下のリストは、フィールドを定義しています。

XCOFF ファイル・フォーマットの一般情報については、 「XCOFF オブジェクト・ファイル・フォーマット」 を参照してください。 シンボル・テーブルについて詳しくは、 「シンボル・テーブル情報」 を参照してください。

デバッグについては、 「デバッグ・セクション」 を参照してください。

C_DWARF シンボル用の SECT 補助項目

SECT 補助シンボル・テーブル項目は、 C_DWARF シンボルによって表されるセクション部分のサイズに関する情報をシンボル・テーブルに提供するように定義されています。

フィールド定義

以下のリストは、フィールドを定義しています。

ストレージ・クラスごとのシンボル・テーブル・フィールドの内容

このセクションでは、定義された各ストレージ・クラスのシンボル・テーブル・フィールドの内容を定義します。n_sclass) XCOFF で使用されます。 次の表は、ストレージ・クラス項目をアルファベット順にリストしています。 詳しくは、 「シンボル・テーブル・エントリー (syms.h)」 を参照してください。

使用量およびシンボル値の分類別のストレージ・クラス

バインダーによって使用および再配置されるストレージ・クラスを以下に示します。 記号値 (n_value) アドレスです。

以下は、バインダーおよびシンボリック・デバッガーによって使用されるストレージ・クラス、またはファイル・スコープおよびアクセスの目的で他のユーティリティーによって使用されるストレージ・クラスです。

以下は、シンボリック・デバッグの目的でのみ存在するストレージ・クラスです。

XCOFF ファイル・フォーマットの一般情報については、 「XCOFF オブジェクト・ファイル・フォーマット」 を参照してください。 シンボル・テーブルについて詳しくは、 「シンボル・テーブル情報」 を参照してください。

デバッグについては、 「デバッグ・セクション」 を参照してください。

STRING テーブル

IN XCOFF32。ストリング・テーブルには、8 バイトより長いシンボルの名前が含まれています。 XCOFF64では、ストリング・テーブルにすべてのシンボルの名前が含まれています。 ストリング・テーブルが存在する場合、最初の 4 バイトには、この長さフィールドの長さを含むストリング・テーブルの長さ (バイト単位) が含まれます。 表の残りの部分は、ヌル終了 ASCII ストリングのシーケンスです。 :NONE.n_zeroesシンボル・テーブル項目のフィールドが 0 の場合には,n_offsetフィールドは、シンボルの名前のストリング・テーブルへのバイト・オフセットを示します。

ストリング・テーブルを使用しない場合には, ストリング・テーブル全体を省略するか, あるいは長さフィールド (値 0 または 4 を含む) だけで構成されるストリング・テーブルを使用することができます。 値 4 をお勧めします。 以下の表は、ストリング表の編成を示しています。

XCOFF ファイル・フォーマットの一般情報については、 「XCOFF オブジェクト・ファイル・フォーマット」 を参照してください。

dbx アプリケーション・ストリング

デバッグ・セクションには、シンボリック・デバッガー・スタブ・ストリング (シンボル・テーブル・ストリング) が含まれています。 これは、コンパイラーおよびアセンブラーによって生成されます。 これは、シンボリック・デバッガーが使用するシンボル属性情報を提供します。

一般的な説明については、 「デバッグ・セクション」 を参照してください。

Stabstring Terminal Symbols

Stabstring 文法 (Stabstring 文法)

REAL の前には空白文字を入れることができ、STRING にはヌル文字やブランク文字を含む任意の文字を入れることができます。 それ以外の場合は、stabstring にヌルまたはブランク文字はありません。

処理を容易にするために、長いスタブ・ストリングを複数のシンボル・テーブル・エントリーに分割することができます。 スタブ・ストリング文法では、 # (ポンド記号) は、スタブ・ストリングを継続できるポイントを示します。 継続は、? のいずれかを使用して示されます。 (疑問符) または ¥ をストリングの最後の文字として使用します。 スタブ・ストリングの次の部分は、次のシンボル・テーブル・エントリーの名前です。 実動の代替が空の場合、文法にはキーワード/*EMPTY*/が表示されます。

以下のリストには、stabstring 文法が含まれています。

STB ストリング:

stabstring の基本構造:

名前: Class

オブジェクトの名前とそれに続くオブジェクト分類

: クラス

名前なしオブジェクト種別。

クラス:

オブジェクト分類:

c = 定数 ;

定数オブジェクト

NamedType

ユーザー定義タイプおよびタグ

パラメーター

サブプログラムに対する引数

PROCEDURE

サブプログラム宣言

変数

プログラム内の変数

ラベル

ラベル・オブジェクト。

定数:

定数宣言:

b OrdValue

ブール定数

c OrdValue

文字定数

e TypeID 、 OrdValue

列挙型定数

i 整数

整数定数

実数

10 進または 2 進浮動小数点定数

s ストリング

ストリング定数 (string constant)

C REAL、REAL

複素定数 (complex constant)

S TypeID 、 NumElements 、 NumBits 、 BitPattern

定数を設定します。

OrdValue:

関連する数値: INTEGER

NumElements:

セット内のエレメント数: INTEGER

NumBits:

項目内のビット数: INTEGER

NumBytes:

項目内のバイト数: INTEGER

BitPattern:

最大 32 バイトの 16 進表記: HEXINTEGER

NamedType:

ユーザー定義タイプおよびタグ:

TypeID

ユーザー定義タイプ (TYPE または typedef) ( T TypeID に有効なものを除く)

T TypeID

Struct、union、class、または enumeration タグ

パラメーター:

プロシージャーまたは関数に対する引数:

TypeID

汎用レジスターで参照により渡される

p TypeID

スタック上の値による受け渡し

v TypeID

スタック上の参照による受け渡し

C TypeID

スタック上の値によって渡される定数

D TypeID

浮動小数点レジスターの値による受け渡し

R TypeID

汎用レジスターの値による受け渡し

X TypeID

ベクトル・レジスターの値による受け渡し

手順:

プロシージャーまたは関数宣言:

Proc

現行スコープ・レベルでのプロシージャー

Proc 、NAME: NAME

1st NAME という名前のプロシージャー ( 2nd NAME に対してローカル)。ここで、 2nd NAME は現在の有効範囲とは異なります。

変数:

プログラム内の変数:

TypeID

TypeID 型のローカル (自動) 変数

TypeID

TypeID 型の浮動レジスター変数

TypeID

TypeID 型の静的スレッド・ローカル変数

TypeID

タイプ TypeID のレジスター変数

x TypeID

タイプ TypeID のベクトル・レジスター変数

G TypeID

タイプ TypeID のグローバル (外部) 変数

H TypeID

タイプ TypeID のグローバル (外部) スレッド・ローカル変数

S TypeID

タイプ TypeID のモジュール変数 (C 静的グローバル)

V TypeID

TypeID 型の独自の変数 (C 静的ローカル)

Y

FORTRAN ポインター変数

Z TypeID NAME

FORTRAN pointee 変数

ラベル(A):

ラベル(A):

L

ラベル名。

プロシージャー:

さまざまなタイプの関数およびプロシージャー:

f TypeID

タイプ TypeID のプライベート関数

g TypeID

汎用関数 (FORTRAN)

TypeID

モジュール (Modula-2、ext. パスカル)

J TypeID

タイプ TypeID の内部関数

F TypeID

タイプ TypeID の外部関数

I

(資本 i) 内部手順

P

外部プロシージャー

Q

専用プロシージャー

TypeID:

型宣言および ID:

INTEGER

以前に定義されたタイプのタイプ番号

INTEGER = TypeDef

TypeDef によって記述される新しいタイプ番号

INTEGER = TypeAttrs TypeDef

特殊タイプ属性を持つ新規タイプ

TypeAttrs:

@ TypeAttrリスト ;

注: 型属性 (TypeAttrs) は、位置合わせ制約やポインター検査セマンティクスなど、型に関連した追加情報です。 dbx プログラムは、 size 属性と packed 属性のみを認識します。 size 属性は、配列内の埋め込みエレメントの合計サイズを示します。 packed 属性は、型がパック型であることを示します。 その他の属性は、 dbxによって無視されます。

TypeAttrリスト:

特殊タイプ属性のリスト:

TypeAttrリスト ;

@ TypeAttr TypeAttr

TypeAttr:

特殊なタイプ属性:

INTEGER

境界の位置合わせ

s INTEGER

サイズ (ビット)

p 整数

ポインター・クラス (検査用)

P

パック型

その他

カバーされていないものはすべてスキップされます

TypeDef:

オブジェクトの基本的な説明:

INTEGER

以前に定義されたタイプのタイプ番号

b TypeID 。 # NumBytes

パスカル・スペース・タイプ

TypeID ; # NumBits

複合タイプ TypeID

TypeID

タイプ TypeID のファイル

EnumSpec ;

列挙型 (デフォルト・サイズ、32 ビット)

g TypeID 。 # NumBits

浮動小数点型のサイズ NumBits

D TypeID ; # NumBits

サイズ NumBits の 10 進浮動小数点型

i タイプの場合、 ModuleName は、インポート元の Modula-2 モジュールを参照します。

i 名前: NAME;

インポートされたタイプ ModuleName:Name

i NAME: NAME、 TypeID ;

インポート・タイプ ModuleName: タイプ TypeID の名前

k TypeID

C++ 定数型

L; #

Usage-is-index; COBOL に固有

m OptVBaseSpec OptMultiBaseSpec TypeID : TypeID : TypeID ;

メンバー型を指す C++ ポインター。最初の TypeID はメンバー型、2 番目はクラスの型です。

n TypeID 。 # NumBytes

ストリング・タイプ。最大ストリング長は NumBytes で示されます。

o 名前;

不透明型

o NAME、 TypeID

TypeID の定義を持つ不透明 (OPAQUE) 型

w TypeID

ワイド文字

z TypeID 。 # NumBytes

Pascal gstring タイプ

C 使用法

COBOL ピクチャー

I NumBytes 、 # PicSize

(大文字の i) 索引はタイプです。COBOL に固有です。

K CobolFile説明;

COBOL ファイル記述子

M TypeID ; バインド数

長さが Bound で示される TypeID の複数インスタンス・タイプ

N

Pascal Stringptr

S TypeID

タイプ TypeID のセット

* TypeID

TypeID 型のポインター

& TypeID

C++ 参照型

V TypeID

C++ volatile 型

Z

C++ 楕円パラメーター・タイプ

Array Subrange ProcedureType

宣言ではなく関数型の場合

RECORD

レコード・タイプ、構造体タイプ、共用体タイプ、またはグループ・タイプ

EnumSpec:

列挙型スカラーのリスト:

EnumList

列挙型 (C およびその他の言語)

TypeID : EnumList

反復整数型の C++ 列挙型

EnumList: 列挙

EnumList 列挙

列挙型:

列挙型スカラーの説明: NAME : OrdValue , #

配列:

配列記述:

TypeID 。 # TypeID

配列。 FirstTypeID は索引タイプです。

TypeID

TypeID の配列を開きます。

D INTEGER、TypeID

TypeID の N 次元動的配列

E INTEGER、 TypeID

TypeID の N 次元動的副配列

O INTEGER、 TypeID

新規オープン・アレイ

P TypeID ; # TypeID

パック配列

部分範囲:

範囲の説明:

r TypeID 。 # バインド済み ; # バインド

範囲タイプ (例: char、int、¥、)、下限、および上限

バインド済み:

上限および下限の説明:

INTEGER

定数境界

Boundtype INTEGER

変数または動的境界。値は、境界のアドレスまたはオフセットです。

J

境界は確定できません (境界なし)

境界タイプ:

調整可能なサブレンジの説明:

A

スタック上で参照によって渡されるバインド

S

静的ストレージで値によって渡されるバインド

T

スタック上の値によって渡されるバインド

a

レジスターで参照によって渡されるバインド

t

レジスター内の値によって渡されるバインド

ProcedureType:

関数変数 (1st のタイプ C のみ。その他 Modula-2 & Pascal)

f TypeID 。

タイプ TypeID を戻す関数

f TypeID , NumParams ; TParamList ;

タイプ TypeID を戻す N 個のパラメーターの関数

p NumParams ; TParamList ;

N 個のパラメーターのプロシージャー

R NumParams ; NamedTParamリスト

Pascal サブルーチン・パラメーター

F TypeID, NumParams ; NamedTParamList ;

Pascal 関数パラメーター

NumParams:

ルーチン内のパラメーターの数:

整数。

TParamList:

Modula-2 関数変数のパラメーターのタイプ:

TParam (TParam)

パラメーターのタイプと引き渡し方法

TParam (TParam):

タイプおよび受け渡し方法

TypeID , PassBy ; #

NamedTParamリスト:

Pascal ルーチン変数のパラメーターのタイプ:/*EMPTY*/ NamedTPList

NamedTPList:

NamedTParam NamedTPList NamedTParam

NamedTParam:

名前付きタイプおよび引き渡しメソッド: Name : TypeID , PassBy InitBody ; # : TypeID , PassBy InitBody ; # 名前なしパラメーター

レコード:

構造体宣言のタイプ:

• s NumBytes # FieldList ;
• 構造またはレコード定義
• u NumBytes # FieldList ;
• 結合
• v NumBytes # FieldList VariantPart ;
• バリアント・レコード
• Y NumBytes ClassKey OptPBV OptBaseSpecList ( ExtendedFieldListOptNameResolutionList ;
• C++ クラス
• G 再定義 , n NumBits # FieldList ;
• 条件なしの COBOL グループ

Gn NumBits FieldList ;

• G 再定義 , c NumBits # CondFieldList ;
• 条件付きの COBOL グループ

Gc NumBits CondFieldList ;

OptVBase仕様:

v

ptr-to-mem クラスには仮想ベースがあります。

/*EMPTY*/

クラスに仮想ベースがありません。

OptMultiBaseSpec:

m

クラスは複数ベースです。

/*EMPTY*/

クラスはマルチベースではありません。

OptPBV:

V

クラスは常に値によって渡されます。

/*EMPTY*/

クラスが値によって渡されることはありません。

ClassKey:

s

struct

u

共用体

c

クラス

OptBaseSpecList:

/*EMPTY*/ BaseSpecリスト

BaseSpecリスト:

BaseSpec BaseSpecリスト 、 BaseSpec

BaseSpec:

VirtualAccess仕様 BaseClassオフセット : ClassTypeID

BaseClassオフセット:

INTEGER

ベース・レコード・オフセット (バイト単位)

ClassTypeID:

TypeID

基本クラス・タイプ ID

VirtualAccess仕様:

AccessSpec

仮想

v

仮想

AccessSpec

/*EMPTY*/

GenSpec:

c

コンパイラー生成

/*EMPTY*/

AccessSpec:

I #

専用

O #

保護

U #

パブリック

AnonSpec:

a

無名共用体メンバー

/*EMPTY*/

VirtualSpec:

V P

純粋仮想

v

仮想

/*EMPTY*/

ExtendedFieldリスト:

ExtendedFieldリスト ExtendedField /*EMPTY*/

ExtendedField:

GenSpec AccessSpec AnonSpec DataMember GenSpec VirtualSpec AccessSpec OptVirtualFuncIndex MemberFunction AccessSpec AnonSpec NestedClass AnonSpec FriendClass AnonSpec FriendFunction

DataMember:

MemberAttrs : フィールド ;

MemberAttrs:

IsStatic IsVtblPtr IsVBasePtr

IsStatic:

/*EMPTY*/

s

メンバーは静的です。

IsVtblパラメーター:

/*EMPTY*/

p 整数名

メンバーは vtbl ポインターです。NAME は v テーブルの外部名です。

IsVBaseポインター:

/*EMPTY*/

b

メンバーは vbase ポインターです。

r

メンバーは vbase 自己ポインターです。

メンバー関数:

[ FuncType MemberFuncAttrs : NAME : TypeID ;

MemberFuncAttrs:

IsStatic IsInline IsConst IsVolatile

IsInline:

/*EMPTY*/

i

インライン関数

IsConst:

/*EMPTY*/

k

const メンバー関数

IsVolatile:

/*EMPTY*/

V

volatile メンバー関数

NestedClass:

N TypeID 。

FriendClass:

( TypeID ; #

FriendFunction:

] NAME : TypeID ;

OptVirtualFuncIndex:

/*EMPTY*/INTEGER

FuncType:

f

メンバー関数 (member function)

c

コンストラクター

d

デストラクター

InitBody:

ストリング/*EMPTY*/

OptNameResolutionList:

/*EMPTY*/ ) NameResolutionリスト

NameResolutionリスト: NameResolution

NameResolution 、 NameResolutionList

NameResolution: MemberName : ClassTypeID

名前はコンパイラーによって解決されます。

MemberName:

名前があいまいです。

MemberName:

名前

FieldList:

構造の内容の説明:

フィールド

/*EMPTY*/

FieldList フィールド

レコードまたは共用体のメンバー。

フィールド:

構造体-メンバー・タイプの説明:

NAME : TypeID , BitOffset , NumBits ;

VariantPart:

バリアント・レコードのバリアント部分:

[ Vtag VFieldList ]

バリアントの説明

VTag:

バリアント・レコード・タグ:

( フィールド

バリアント・レコードのメンバー

(名前:; #

バリアント・キー名

VFieldList:

バリアント・レコードの内容の説明:

VList VFieldList VList

バリアント・レコードのメンバー

VList:

バリアント・レコード・フィールド:

VField 「VField」 VariantPart

バリアント・レコードのメンバー

VField:

バリアント・レコード・メンバー・タイプの説明:

( VRangeList : FieldList

フィールド・リストを含むバリアント

VRangeList:

バリアント・フィールド・ラベルのリスト:

VRange VRangeList 、 VRange

バリアント・レコードのメンバー

VRange:

バリアント・フィールドの説明:

b OrdValue

ブール・バリアント

c OrdValue

キャラクター・バリアント

e TypeID 、 OrdValue

列挙型バリアント

i 整数

整数バリアント

r TypeID ; Bound ; Bound

部分範囲バリアント

CondFieldリスト:

条件、#FieldList FieldList#;

Conditions:

/*Empty*/ 条件

BitOffset:

構造体の先頭からのビット単位のオフセット: INTEGER

使用方法：

COBOL 使用法の説明: PICStorageType NumBits , EditDescription , PicSize ; Redefinition , PICStorageType NumBits , EditDescription , PicSize ; PICStorageType NumBits , EditDescription , PicSize , # Condition ; Redefinition , PICStorageType NumBits , EditDescription , PicSize , # Condition ;

再定義:

COBOL 再定義: r NAME

PICStorageType:

COBOL ピクチャー・タイプ:

a

英字

b

英字、編集

c

英数字

d

英数字、編集

e

数値、符号付き、末尾、組み込み

f

数値、符号付き、末尾、分離

g

数値、符号付き、先行、組み込み

h

数値、符号付き、先行、分離

i

数値、符号付き、デフォルト、comp

j

数値、符号なし、デフォルト、comp

k

数値、パック、10 進数、符号付き

l

数値、パック、10 進数、符号なし

m

数値、符号なし、comp-x

n

数値、符号なし、 comp-5

o

数値、符号付き、 comp-5

p

数字、編集

q

数値、符号なし

s

索引付き項目

t

ﾎﾟｲﾝﾀｰ

EditDescription:

COBOL 編集記述:

STRING

英字 PIC の文字の編集

INTEGER

数値 PIC 内の小数点以下の位置

PicSize:

COBOL 記述の長さ:

INTEGER

数値文節内の反復 '9' の数、または編集された数値の編集形式の長さ

条件:

条件変数の説明:

NAME : INTEGER = q ConditionType 、 ValueList ;

ConditionType:

条件の説明:

ConditionPrimitive , KanjiChar

ConditionPrimitive:

条件のプリミティブ型:

n 署名 DecimalSite

数値条件

a

英数字条件

f

形象条件付き

符号:

明示的な符号を持つタイプの場合:

+

正の値

-

負

[^+-]

未指定

DecimalSite:

暗黙の小数点の左からの桁数:

INTEGER

KanjiChar:

値に漢字文字が含まれている場合のみ 0: INTEGER

ValueList

条件名に関連付けられた値

値 ValueList Value

VALUE

条件名に関連付けられた値:

INTEGER: ArbitraryCharacters #

ストリングの長さを示す整数

CobolFile説明:

COBOL ファイルの説明: Organization AccessMethod NumBytes

組織:

COBOL ファイル記述編成:

i

索引付き

l

行順次

r

相対

s

順次

AccessMethod:

COBOL ファイル記述アクセス方式:

d

Dynamic

o

ソート

r

ランダム

s

順次

PassBy:

パラメーター受け渡し方式:

INTEGER

0 = 参照による受け渡し、1 = 値による受け渡し