この規格ページの目次
447
附属書 D
X 3001-1 : 2009 (ISO/IEC 1539-1 : 2004)
R624 割付け指定選択子 is STAT = 状態変数
or ERRMSG = 誤り通報変数
or SOURCE = 初期値指定式
R625 状態変数 is スカラ整変数
R626 誤り通報変数 is スカラ基本文字変数
R627 初期値指定式 is 式
R628 割付け指定 is 割付け実体 [ ( 割付け上下限並び )
R629 割付け実体 is 変数名
or 構造体成分
R630 割付け上下限 is [ 割付け下限 : ] 割付け上限
R631 割付け下限 is スカラ整数式
R632 割付け上限 is スカラ整数式
C622 (R629) それぞれの割付け実体は,手続を指していないポインタ 又は 割付け変数でなければならない。
C623 (R623) 文中で割付け実体が無指定型パラメタをもつ場合,型指定子 又は SOURCE 指定子が現れなけ
ればならない。
C624 (R623) 型指定子がある場合,その指定する型は,それぞれの割付け実体と型が適合していなければなら
ない。
C625 (R623) 割付け実体が無制限多相的 又は 抽象型である場合,型指定子 又は SOURCE 指定子が現れなけ
ればならない。
C626 (R623) それぞれの割付け実体の対応する型パラメタが引き継がれる仮引数である場合に限り,型指定子
中の型パラメタ値は “*” でなければならない。
C627 (R623) 型指定子がある場合,それぞれの割付け実体の種別型パラメタ値は,その型指定子で対応する型
パラメタ値と同じでなければならない。
C628 (R628) 割付け実体が配列の場合に限り,割付け上下限並びを指定しなければならない。
C629 (R628) 割付け上下限並び中の割付け上下限の個数は,割付け実体の次元数と同じでなければならない。
C630 (R624) 一つの割付け選択子並び中に,同じ割付け選択子を複数回指定してはならない。
C631 (R623) OURCE 指定子がある場合,型指定子があってはならない。また,割付け並び中の割付け実体
は一つだけでなければならず,かつ 初期値指定式と型が適合(5.1.1.2 参照)していなければならない。
C632 (R623) 初期値指定式は,スカラ 又は 割付け実体と同じ次元数をもつものでなければならない。
C633 (R623) 対応する割付け実体と初期値指定式の種別型パラメタは,同じ値でなければならない。
R633 NULLIFY 文 is NULLIFY ( ポインタ実体並び )
R634 ポインタ実体 is 変数名
or 構造体成分
or 手続ポインタ名
C634 (R634) ポインタ実体は,POINTER 属性をもたなければならない。
R635 DEALLOCATE 文 is DEALLOCATE ( 割付け実体並び [ ,解放指定選択子並び ] )
C635 (R635) それぞれの割付け実体は,手続を指していないポインタ 又は 割付け変数でなければならない。
――――― [JIS X 3001-1 pdf 461] ―――――
448
附属書 D
X 3001-1 : 2009 (ISO/IEC 1539-1 : 2004)
R636 解放指定選択子 is STAT = 状態変数
or ERRMSG = 誤り通報変数
C636 (R636) 一つの解放指定選択子並びに,同じ解放指定選択子が二つ以上現れてはならない。
箇条 7
R701 一次子 is 定数
or 特定子
or 配列構成子
or 構造体構成子
or 関数引用
or 型パラメタ問合せ
or 型パラメタ名
or (式)
C701 (R701) 型パラメタ名は,型パラメタの名前でなければならない。
C702 (R701) 特定子は,大きさ引継ぎの全体配列であってはならない。
R702 単項段階式 is 一次子
[ 利用者定義単項演算子 ]
R703 利用者定義単項演算子 is . 英字 [ 英字 ] ... .
C703 (R703) 利用者定義単項演算子の英字は,63 文字を超えてはならず,どの組込み演算子 又は 論理定数表
現とも同じであってはならない。
R704 乗除演算対象 is 単項段階式 [ べき乗演算子乗除演算対象 ]
R705 加減演算対象 is [ 加減演算対象乗除演算子 ] 乗除演算対象
R706 数値段階式 is [ [ 数値段階式 ] 加減演算子 ] 加減演算対象
R707 べき乗演算子 is **
R708 乗除演算子 is *
or /
R709 加減演算子 is +
or -
R710 文字段階式 is [ 文字段階式連結演算子 ] 数値段階式
R711 連結演算子 is //
R712 関係段階式 is [ 文字段階式 関係演算子 ] 文字段階式
R713 関係演算子 is .EQ.
or .NE.
or .LT.
or .LE.
or .GT.
or .GE.
――――― [JIS X 3001-1 pdf 462] ―――――
449
附属書 D
X 3001-1 : 2009 (ISO/IEC 1539-1 : 2004)
or ==
or /=
or <
or <=
or >
or >=
R714 論理積演算対象 is [ 否定演算子 ] 関係段階式
R715 論理和演算対象 is [ 論理和演算対象論理積演算子 ] 論理積演算対象
R716 論理等否演算対象 is [ 論理等否演算対象論理和演算子 ] 論理和演算対象
R717 論理段階式 is [ 論理段階式論理等否演算子 ] 論理等否演算対象
R718 否定演算子 is .NOT.
R719 論理積演算子 is .AND.
R720 論理和演算子 is .OR.
R721 論理等否演算子 is .EQV.
or .NEQV.
R722 式 is [式 利用者定義 2 項演算子 ] 論理段階式
R723 利用者定義 2 項演算子is . 英字 [ 英字 ] ... .
C704 (R723) 利用者定義 2 項演算子の英字は,63 文字を超えてはならず,どの組込み演算子 又は 論理定数表
現とも同じであってはならない。
R724 論理式 is 式
C705 (R724) 論理式は,論理型でなければならない。
R725 文字式 is 式
C706 (R725) 文字式は,文字型でなければならない。
R726 基本文字式 is 式
C707 (R726) 基本文字式は,基本文字型でなければならない。
R727 整数式 is 式
C708 (R727) 整数式は,整数型でなければならない。
R728 数値式 is 式
C709 (R728) 数値式は,整数型,実数型 又は 複素数型でなければならない。
R729 宣言式 is スカラ整数式
C710 (R729) スカラ整数式は,制限式でなければならない。
R730 初期値式 is 式
――――― [JIS X 3001-1 pdf 463] ―――――
450
附属書 D
X 3001-1 : 2009 (ISO/IEC 1539-1 : 2004)
C711 (R730) 初期値式は,上に定めた初期値式の制限に従わなければならない。
R731 文字初期値式 is 文字式
C712 (R731) 文字初期値式は,初期値式でなければならない。
R732 整数初期値式 is 整数式
C713 (R732) 整数初期値式は,初期値式でなければならない。
R733 論理初期値式 is 論理式
C714 (R733) 論理初期値式は,初期値式でなければならない。
R734 代入文 is 変数 = 式
C715 (R734) 代入文の変数は,大きさ引継ぎの全体配列であってはならない。
R735 ポインタ代入文 is データポインタ実体 [ ( 上下限指定並び ) => データ指示先指定
or データポインタ実体 [ ( 上下限再配置並び ) => データ指示先指定
or 手続ポインタ実体 => 手続指示先
R736 データポインタ実体 is 変数名
or スカラ変数 % データポインタ成分名
C716 (R735) データ指示先が無制限多相的ではないとき,データポインタ実体は,データ指示先と型が適合
(5.1.1.2) していなければならず,かつ 対応する種別型パラメタは等しくなければならない。
C717 (R735) データ指示先が無制限多相的であるとき,データポインタ実体は,無制限多相的であるか,連続
派生型であるか 又は BIND 属性をもつ型でなければならない。
C718 (R735) 上下限指定並びが宣言されているとき,上下限指定の個数は,データポインタ実体の次元数と一
致しなければならない。
C719 (R735) 上下限再配置並びが宣言されているとき,その個数はデータポインタ実体の次元数と一致しなけ
ればならない。
C720 (R735) 上下限再配置並びが宣言されているとき,データ指示先の次元数は 1 でなければならない。宣言
されていなければ,データポインタ実体とデータ指示先の次元数は同じでなければならない。
C721 (R736) 変数名は,POINTER 属性をもたなければならない。
C722 (R736) データポインタ成分名は,データポインタであるスカラ変数の成分の名前でなければならない。
R737 上下限指定 is 下限式 :
R738 上下限再配置 is 下限式 : 上限式
R739 データ指示先 is 変数
or 式
C723 (R739) 変数は TARGET 属性 又は POINTER 属性をもたなければならず,ベクトル添字をもつ部分配
列であってはならない。
C724 (R739) 式は,結果がデータポインタである関数の引用でなければならない。
――――― [JIS X 3001-1 pdf 464] ―――――
451
附属書 D
X 3001-1 : 2009 (ISO/IEC 1539-1 : 2004)
R740 手続ポインタ実体 is 手続ポインタ名
or 手続成分参照
R741 手続成分参照 is スカラ変数 % 手続成分名
C725 (R741) 手続成分名は,スカラ変数が宣言時の型の手続ポインタ成分の名前でなければならない。
R742 手続指示先 is 式
or 手続名
or 手続成分参照
C726 (R742) 式は,結果が手続ポインタである関数の引用でなければならない。
C727 (R742) 手続名は,外部手続名,モジュール手続名,仮手続名,13.6 において 印の付いていない個別
組込み関数名 又は 手続ポインタ名でなければならない。
C728 (R742) 手続指示先は,組込みでない要素別処理手続であってはならない。
R743 単純 WHERE 文 is WHERE ( 選別式 ) HERE 代入文
R744 WHERE 構文 is 構造 WHERE 文
[ WHERE 本体構文 ] ...
[ 選別 ELSEWHERE 文
[ WHERE 本体構文 ] ... ] ...
[ ELSEWHERE 文
[ WHERE 本体構文 ] ... ]
END WHERE 文
R745 構造 WHERE 文 is [ WHERE 構文名 : ] WHERE ( 選別式 )
R746 WHERE 本体構文 is WHERE 代入文
or 単純 WHERE 文
or WHERE 構文
R747 WHERE 代入文 is 代入文
R748 選別式 is 論理式
R749 選別 ELSEWHERE 文 is ELSEWHERE ( 選別式 ) WHERE 構文名 ]
R750 ELSEWHERE 文 is ELSEWHERE [ WHERE 構文名 ]
R751 END WHERE 文 is END WHERE [ WHERE 構文名 ]
C729 (R747) HERE 代入文が利用者定義代入文であるとき,その代入文は要素別処理でなければならない。
C730 (R744) 構造 WHERE 文に WHERE 構文名を指定する場合は,対応する END WHERE 文にも同じ
WHERE 構文名を指定しなければならない。構造 WHERE 文に WHERE 構文名を指定しない場合は,対
応する END WHERE 文に WHERE 構文名を指定してはならない。ELSEWHERE 文 又は 選別 ELSE-
WHERE 文に WHERE 構文名を指定する場合は,対応する構造 WHERE 文にも同じ WHERE 構文名を
指定しなければならない。
C731 (R746) HERE 本体構文の一部である文は,飛び先文であってはならない。
――――― [JIS X 3001-1 pdf 465] ―――――
次のページ PDF 466
JIS X 3001-1:2009の引用国際規格 ISO 一覧
- ISO/IEC 1539-1:2004(IDT)
JIS X 3001-1:2009の国際規格 ICS 分類一覧
- 35 : 情報技術.事務機械 > 35.060 : 情報技術に使用される言語
JIS X 3001-1:2009の関連規格と引用規格一覧
- 規格番号
- 規格名称