62
X 3008-1994 (ISO/IEC 7185: 1990)
ば,誤りとする。
D.50 6.8.2.2 代入文について,集合型の式の値が変数の型に対して代入可能でなければ,誤りとす
る。
D.51 6.8.3.5 case文について,case文に入るとき,選択式の値がどの選択定数とも等しくなければ,
誤りとする。
D.52 6.8.3.9 for文について,for文の文が1回でも実行される場合,初期値の値が制御変数の型に
対して代入可能でなければ,誤りとする。
D.53 6.8.3.9 for文について,for文の文が1回でも実行される場合,終値の値が制御変数の型に対
して代入可能でなければ,誤りとする。
D.54 6.9.1 テキストファイルから整数を読み取る場合,先行する空白及び行末成分を読み捨てた
後,列の残りが符号付き整数の形をしていなければ,誤りとする。
D.55 6.9.1 テキストファイルから整数を読み取る場合,読み取った符号付き整数の値が変数アク
セスの型に対して代入可能でなければ,誤りとする。
D.56 6.9.1 テキストファイルから実数を読み取る場合,先行する空白及び行末成分を読み捨てた
後,列の残りが符号付き数の形をしていなければ,誤りとする。
D.57 6.9.1 readを用いるとき,バッファ変数が不定であれば,誤りとする。
D.58 6.9.3.1 テキストファイルへ書き出す場合,TotalWidth又はFracDigitsの値が1未満であれば,
誤りとする。
D.59 6.10 変数に対するすべての動作,演算又は関数の実行は,変数がプログラム引数であって,
プログラム引数の結び付け方の結果として,定義どおり行えないとき,誤りとする。
D.60 6.6.3.8 整合配列引数について,実引数の配列型の添字型の最小値又は最大値が,整合配列形
式の直接に含む添字型仕様の順序型名の表す型の定める閉区間内になければ,誤りと
する。
――――― [JIS X 3008 pdf 66] ―――――
63
X 3008-1994 (ISO/IEC 7185: 1990)
附属書E(参考) 処理系定義の機能
規格に準拠する処理系は,処理系定義の機能に関する定義を示さなければならない。この定義を用意す
る際の便宜を図って,6.に規定するすべての処理系定義の機能を再録する。
E.1 6.1.7 標準の文字型の処理系定義の値を表す文字列用文字。
参考 コンパイルと実行を違う環境で行う処理系の場合,二つの文字集合及びそれらの間の対応関係
を定義しなければならないことがある。
E.2 6.1.9 基準表現の字句↑,[及び],代替表現の字句@,並びに注釈両端の文字[{及び}]を受け
付けるか否かは処理系定義とする。
E.3 6.4.2.2(b) 符号つき実数が表す処理系定義の実数の部分集合の処理系定義の近似の値。
参考 この部分集合の定義は,他の仕様文書を参照しておくのでもよい。
E.4 6.4.2.2(d) 文字型の値は,処理系定義の文字の集合の列挙とする。
E.5 6.4.2.2(d) 文字型のそれぞれの値の順序数は,処理系定義とする。
E.6 6.4.3.5 テキストファイル禁止文字の集合は,処理系定義とする。
E.7 6.6.5.2 ファイル操作rewrite, put, reset 及び get をいつ実際に行うかは,処理系定義とする。
E.8 6.7.2.2 定数名maxint が表す値は,処理系定義とする。
E.9 6.7.2.2 実数に対する演算及び関数の値が数学的な結果を近似する精度は,処理系定義とす
る。
E.10 6.9.3.1 整数型に対する Totalwidth の基準値は,処理系定義とする。
E.11 6.9.3.1 実数型に対する Totalwidth の基準値は,処理系定義とする。
E.12 6.9.3.1 論理型に対する Totalwidth の基準値は,処理系定義とする。
E.13 6.9.3.4.1 ExpDigits の値は,処理系定義とする。
E.14 6.9.3.4.1 実数型の値の出力に使う指数部表現文字(e又はE)は,処理系定義とする。
E.15 6.9.3.5 論理型の値の出力に使うTrue及びFalseの各英字の大文字・小文字の別は,処
理系定義とする。
E.16 6.9.5 生成モードのテキストファイルに手続きpageを適用したときの効果は,処理系定義
とする。
E.17 6.10 ファイル型のプログラム引数の結び付け方は,処理系定義とする。
E.18 6.10 reset又はrewriteを標準のファイルinput及びoutputに適用したときの効果は,処理
系定義とする。
――――― [JIS X 3008 pdf 67] ―――――
64
X 3008-1994 (ISO/IEC 7185: 1990)
附属書F(参考) 処理系依存の機能
規格に準拠する処理系は,処理系依存の機能についての文書も用意するとよい。この文書を用意する際
の便宜を図って,6.に規定するすべての処理系依存の機能を再録する。
F.1 6.4.3.5 テキストファイルにtに対して,t.L又はt.Rの成分にテキストファイル禁止文字に含
まれる文字を与えたときの効果は,処理系依存とする。
F.2 6.5.3.2 添字付き変数の中の添字式の評価及び配列変数のアクセスの順序は,処理系依存とす
る。
F.3 6.7.1 元表記の中の式の評価順序は,処理系依存とする。
F.4 6.7.1 集合構成子の中の元表記の評価順序は,処理系依存とする。
F.5 6.7.2.1 二項演算子のオペランドの評価順序は,処理系依存とする。
F.6 6.7.3 関数呼出しの実引数の評価,アクセス及び引数渡しの順序は,処理系依存とする。
F.7 6.8.2.2 代入文の変数へのアクセス及び式の評価の順序は,処理系依存とする。
F.8 6.8.2.3 手続き呼出し文の実引数の評価,アクセス及び引数渡しの順序は,処理系依存とする。
F.9 6.9.5 生成の間に手続きpageを適用したテキストファイルを検査したときの効果は,処理
系依存とする。
F.10 6.10 プログラム引数が表すファイル型以外の変数のプログラム外部の実体への結び付け
方は,処理系依存とする。
――――― [JIS X 3008 pdf 68] ―――――
65
X 3008-1994 (ISO/IEC 7185: 1990)
氏名 所属
(主査) 筧 捷 彦 (早稲田大学)
(幹事) 石 畑 清 (東京大学)
安 村 通 晃 (株式会社日立製作所)
(委員) 安 部 暁 一 (日本電気株式会社)
上 原 憲 二 (三菱電機株式会社)
落 合 正 雄 (株式会社東芝)
黒 田 幸 明 (日本電信電話株式会社)
津 田 一 生 (富士通静岡エンジニアリング株式会社)
西 風 一 (沖電気工業株式会社)
原 田 稔 (沖電気工業株式会社)
藤 丸 政 人 (日本電信電話株式会社)
古 川 彰 (株式会社東芝)
(事務局) 鳥 井 寛 (社団法人日本電子工業振興協会)
楡 木 武 久 (社団法人日本電子工業振興協会)
言語標準化調査研究委員会(1993年度改名)
氏名 所属
(委員長) 中 田 育 男 (筑波大学)
(幹事) 土 居 範 久 (慶応義塾大学)
田 中 清 (日本電信電話株式会社)
黒 川 利 明 (日本アイ・ビー・エム株式会社)
(委員) 西 村 恕 彦 (東京農工大学)
原 田 賢 一 (慶応義塾大学)
筧 捷 彦 (早稲田大学)
湯 浅 太 一 (豊橋技術科学大学)
武 市 正 人 (東京大学)
田 中 茂 (富士通株式会社)
神 野 俊 昭 (株式会社日立製作所)
佐 伯 正 夫 (三菱電機株式会社)
落 合 正 雄 (株式会社東芝)
桜 井 弘 之 (日本電気株式会社)
原 田 稔 (沖電気工業株式会社)
栗 林 雅 人 (日本ユニシス株式会社)
一 本 有 三 (東芝情報システム株式会社)
村 田 賢 一 (情報処理振興事業協会)
大 櫛 陽 一 (東海大学)
中 島 一 郎 (通産産業省)
瀬戸屋 英 雄 (工業技術院)
(事務局) 楡 木 武 久 (社団法人日本電子工業振興協会)
内 山 誠 作 (社団法人日本電子工業振興協会)
――――― [JIS X 3008 pdf 69] ―――――
66
X 3008-1994 (ISO/IEC 7185: 1990)
Pascal言語JIS改正原案作成専門委員会
氏名 所属
(委員長) 筧 捷 彦 (早稲田大学)
(幹事) 石 畑 清 (明治大学)
(委員) 安 村 通 晃 (慶応義塾大学)
田 中 清 (日本電信電話株式会社)
落 合 正 雄 (株式会社東芝)
茂 木 強 (三菱電機株式会社)
高 橋 和 彦 (富士通静岡エンジニアリング株式会社)
神 野 俊 昭 (株式会社日立製作所)
安 部 暁 一 (日本電気株式会社)
原 田 稔 (沖電気工業株式会社)
瀬戸屋 英 雄 (工業技術院)
(事務局) 内 山 誠 作 (社団法人日本電子工業振興協会)
JIS X 3008:1994の引用国際規格 ISO 一覧
- ISO/IEC 7185:1990(IDT)
JIS X 3008:1994の国際規格 ICS 分類一覧
- 35 : 情報技術.事務機械 > 35.060 : 情報技術に使用される言語