この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
3 参考文献
本書の適用には、以下の参考文献が不可欠です。日付のある参考文献については、引用された版のみが適用されます。日付のない参照については、参照文書の最新版 (修正を含む) が適用されます。
3.1 以前の Eiffel 言語仕様
Bertrand Meyer: Eiffel: The Language, Prentice Hall, 第 2 刷、1992 年 (第 1 刷: 1991 年)
Bertrand Meyer: Standard Eiffel (前のエントリの改訂)、進行中、1997 年から現在、 http://www.inf.ethz.ch/~meyer/ongoing/etl で。
Bertrand Meyer: Object-Oriented Software Construction, Prentice Hall: 初版、1988 年。第 2 版、1997 年。
3.2 Eiffel カーネル ライブラリ
この標準で使用される「ELKS」および「カーネル ライブラリ」という用語は、Eiffel Library Kernel Standard の最新バージョンを指します。暫定版は NICE コンソーシアムから入手できます。
NICE コンソーシアム: The Eiffel Library Kernel Standard, 2001 Vintage.
標準では、ELKS に少なくとも次のクラスが含まれていると想定しています。
- •基本的な言語関連の概念を表すクラス: ANY, DISPOSABLE, NONE, TYPE, TYPED_POINTE
- •基本型と文字列を表すクラス: BOOLEAN, CHARACTER, CHARACTER_8, CHARACTER_32, INTEGER, INTEGER_8, INTEGER_16, INTEGER_32, INTEGER_64, NATURAL, NATURAL_8, NATURAL_16, NATURAL_32, NATURAL_64, POINTER, REAL, REAL_32, REAL_64, STRING, STRING_32, STRING_
- •基本的なデータ構造を表すクラス: ARRAY, TUPL
- •エージェント関連のクラス: FUNCTION, PREDICATE, PROCEDURE, ROUTIN
- •例外関連クラス: ASSERTION_VIOLATION, ATTACHED_TARGET_VIOLATION, EXCEPTION, INSPECT_RANGE_VIOLATION, INVARIANT_ENTRY_VIOLATION, INVARIANT_EXIT_VIOLATION, MEMORY_ALLOCATION_FAILURE, OLD_VIOLATION, POSTCONDITION_VIOLATION, PRECONDITION_VIOLATION, ROUTINE_FAILUR
これらのクラスを参照する句には、必要な機能がリストされています。
3.3 浮動小数点数の表現
IEC 60559:1989, マイクロプロセッサ システムのバイナリ浮動小数点演算(以前は IEC 559:1989 と呼ばれていました) ANSI/IEEE 規格 754-1985, 2進浮動小数点演算の IEEE 規格とも呼ばれます。
3.4 文字セット Unicode
The Unicode Consortium: The Unicode Standard, Version 4.1 ( http://www.unicode.org/versions/Unicode4.1.0/ )
3.5 文字セット ASCII
ISO 14962:1997: Space data and information transfer systems — ASCII エンコードされた英語。
3.6 ふりがな
International Phonetic Association: International Phonetic Alphabet (1993 年改訂、1996 年更新)
3 Normative references
The following referenced documents are indispensable for the application of this document. For dated references, only the edition cited applies. For undated references, the latest edition of the referenced document (including any amendments) applies.
3.1 Earlier Eiffel language specifications
Bertrand Meyer: Eiffel: The Language, Prentice Hall, second printing, 1992 (first printing: 1991).
Bertrand Meyer: Standard Eiffel (revision of preceding entry), ongoing, 1997-present, at http://www.inf.ethz.ch/~meyer/ongoing/etl .
Bertrand Meyer: Object-Oriented Software Construction, Prentice Hall: first edition, 1988; second edition, 1997.
3.2 Eiffel Kernel Library
The terms"ELKS" and"Kernel Library", as used in this Standard, refer to the latest version of the Eiffel Library Kernel Standard. A preliminary version is available from the NICE consortium:
NICE consortium: The Eiffel Library Kernel Standard, 2001 Vintage.
The Standard assumes that ELKS includes at least the following classes:
- • Classes representing fundamental language-related concepts: ANY, DISPOSABLE, NONE, TYPE, TYPED_POINTER;
- • Classes representing basic types and strings: BOOLEAN, CHARACTER, CHARACTER_8, CHARACTER_32, INTEGER, INTEGER_8, INTEGER_16, INTEGER_32, INTEGER_64, NATURAL, NATURAL_8, NATURAL_16, NATURAL_32, NATURAL_64, POINTER, REAL, REAL_32, REAL_64, STRING, STRING_8, STRING_32;
- • Classes representing fundamental data structures: ARRAY, TUPLE;
- • Agent-related classes: FUNCTION, PREDICATE, PROCEDURE, ROUTINE;
- • Exception-related classes: ASSERTION_VIOLATION, ATTACHED_TARGET_VIOLATION, EXCEPTION, INSPECT_RANGE_VIOLATION, INVARIANT_ENTRY_ VIOLATION, INVARIANT_EXIT_VIOLATION, MEMORY_ALLOCATION_FAILURE, OLD_VIOLATION, POSTCONDITION_VIOLATION, PRECONDITION_VIOLATION, ROUTINE_FAILURE.
The clauses referring to these classes list the features they need.
3.3 Floating point number representation
IEC 60559:1989, Binary floating-point arithmetic for microprocessor systems (previously designated IEC 559:1989). Also known as ANSI/IEEE Standard 754-1985, IEEE Standard for Binary Floating-Point Arithmetic.
3.4 Character set Unicode
The Unicode Consortium: The Unicode Standard, Version 4.1, at http://www.unicode.org/versions/ Unicode4.1.0/ .
3.5 Character set ASCII
ISO 14962:1997: Space data and information transfer systems — ASCII encoded English.
3.6 Phonetic alphabet
International Phonetic Association: International Phonetic Alphabet (revised 1993, updated 1996).