次: , 前: Deviations, 上: Modula-2


9.4.2.6 Modula-2の型チェックと範囲チェック

注意: GDBは現在のところ、 型チェック、 範囲チェックをまだ実装していません。

GDBは、 以下のいずれかの条件が成立するとき、 2つのModula-2変数の型が等しいとみなします。

型チェックが有効である限り、 等しくない型の変数を組み合わせようとする試みはすべてエラーとなります。

範囲チェックは、 数学的操作、 代入、 配列のインデックス境界、 およびすべての組み込み関数、 組み込みプロシージャにおいて実行されます。