JPH02187828A - エラースキップ方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明はエラースキップ方式に関し、特に入れ子措造を
持つ文が許されておりさらにその入れ子構造において再
帰的な構造を持つ文が許されているプログラム言語で記
述されたソースプログラムのコンパイラによる横文解析
においてエラースキップ（横文解析において構文的エラ
ーが発生した場合にあらかじめ定められている所定の語
まで横文解析をスキツプする処理）を行うエラースキッ
プ方式に関する。

〔従来の技術〕

従来、この種のエラースキップ方式では、静的にチェー
ニングされたエラースキップテーブル（ソースプログラ
ム中の一定の範囲（ｉｌ１文解析の単位。その最小単位
が文である）に対応してその範囲中で構文的エラーが発
生した場合に行われるエラースキップを止めるいくつか
の語を保持しているテーブル）が利用されてエラースキ
ップが行われていた。

この場合に、静的なチェーニングが行われているので、
ソースプログラム中の文に対応するエラースキップテー
ブル間のチェーニング（文に対応するエラースキップテ
ーブル同士のチェーニング）を行うことはできなかった
。

〔発明が解決しようとする課題〕

上述した従来のエラースキップ方式では、静的にチェー
ニングされたエラースキップテーブルが利用されており
、ソースプログラム中の文に対応するエラースキップテ
ーブルは最新の文（横文解析中の文）に対応するエラー
スキップテーブルしか有効に存在していないので、エラ
ースキップの幅が大きくなり　（エラースキップが止ま
る可能性が少なくなり）、綿密な横文解析を行うことが
できないという欠点がある。

本発明の目的は、上述の点に鑑み、文に対応するエラー
スキップテーブル間の動的なチェーニングを行い、綿密
な横文解析を可能にするエラースキップ方式を提供する
ことにある。

〔課題を解決するための手段〕

本発明のエラースキップ方式は、入れ子構造を持つ文が
許されておりさらにその入れ子構造において再す１■的
な構造を持つ文が許されているプログラム３語で記述さ
れたソースプログラムの横文解析において、ソースプロ
グラム中の各文に対応するエラースキップテーブルのア
ドレスをスタックテーブルのエントリに登録することに
より文に対応するエラースキップテーブル間の動的なチ
ェーニングを行うテーブル登録手段と、ソースプログラ
ム中のある文に対応するエラースキ、ブチ−プルのアド
レスが前記テーブル登録手段によりスタックテーブルの
エントリに登録されたときにそれまでに同一のエラース
キップテーブルのアドレスの登録が行われているか否か
を調べその調査結果をスタックテーブルのエントリ中の
フラグに反映する同一エラースキップテーブルサーチ手
段と、構文的エラーの検出時に前記テーブル登録手段お
よび前記同一エラースキップテーブルサーチ手段により
調整されているスタックテーブルに基づき同一のエラー
スキップテーブルのサーチを回避してエラースキップを
行いエラースキップが止まったときにスタックテーブル
のエントリ中のフラグの書換えを行うエラースキップ手
段と、ソースプログラム中のある文に関する横文解析が
正常に完結する毎に完結した文に対応するエラースキッ
プテーブルのアドレスを有するエントリをスタックテー
ブルから削除するテーブル解放手段とを有する。

〔作用〕

本発明のエラースキップ方式では、テーブル登録手段が
ソースプログラム中の各文に対応するエラースキップテ
ーブルのアドレスをスタックテーブルのエントリに登録
することにより文に対応するエラースキップテーブル間
の動的なチェーニングを行い、同一エラースキノブテー
ブルサーチ手段がソースプログラム中のある文に対応す
るエラースキップテーブルのアドレスがテーブル登録手
段によりスタックテーブルのエントリに登録されたとき
にそれまでに同一のエラースキップテーブルのアドレス
の登録が行われているか否かを調べその調査結果をスタ
ックテーブルのエントリ中のフラグに反映し、エラース
キップ手段が構文的エラーの検出時にテーブル登録手段
および同一エラースキノブテーブルサーチ手段により調
整されているスタックテーブルに基づき同一のエラース
キップテーブルのサーチを回避してエラースキンプを行
いエラースキップが止まったときにスタックテーブルの
エントリ中のフラグの書換えを行い、テーブル解放手段
がソースプログラム中のある文に関する横文解析が正常
に完結する毎に完結した文に対応するエラースキップテ
ーブルのアドレスを有するエントリをスタックテーブル
から削除する。

〔実施例〕

次に、本発明について図面を参照して説明する。

第１図は、本発明のエラースキップ方式の一実施例の構
成を示すブロック図である。本実施例のエラースキップ
方式は、テーブル登録手段１と、同一エラースキンプテ
ーブルサーチ手段２と、エラースキップ手段３と、テー
ブル解放手段４と、ソースプログラム５と、コントロー
ラ６と、エラースキップテーブル７と、スタックテーブ
ル８とを含んで構成されている（図中で実線の矢線はデ
ータの流れを示しており、破線の矢線は制御の流れを示
している）。

第２図を参照すると、同一エラースキンプテブルサーチ
手段２の処理は、先頭エントリ抽出ステ、プ２１と、最
新エントリ判定ステップ２２と、同一エラースキノブテ
ーブル判定ステップ２３と、エントリ中フラグオフステ
ップ２４と、次エントリ抽出ステップ２５とからなる。

第３図を参照すると、エラースキップ手段３における同
一エラースキンプテーブルサーチ回避処理は、ｌ設定ス
テップ３１（１は０または正整数）と、ｒｉ＝ＯＪ判定
ステップ３２と、ｉ番目エントリ中フラグオン判定ステ
ップ３３と、エラースキップステップ３４と、ｉＭ少ス
ステップ３５からなる（ｉはメモリ　（図示せず）上の
領域に設定される）。

第４図を参照すると、エラースキップ手段３におけるフ
ラグ書換えおよびエントリ削除処理は、ｊおよびに設定
ステップ４１（Ｊおよびｋは０または正整数）と、ｌ”
ｋ＝０Ｊ判定ステップ４２と、ｌ設定ステップ４３（ｌ
は０または正整数）と、「１−〇」判定ステップ４４と
、同一エラースキップテーブル判定ステップ４５と、ｅ
番目エントリ中フラグオンステップ４６と、１番目エン
トリ削除ステップ４７と、」およびに減少ステップ４８
と、１減少ステツプ４９とからなる（ｊ、におよびＰは
メモリ上の領域に設定される）。

第５図を参照すると、テーブル解放手段４の処理は、ｍ
Ｂ定ステ、プ５１　（ｍは０または正整Ｉｋ）と、ｒｍ
＝ＯＪ判定ステップ５２と、同一エラースキノブテーブ
ル判定ステップ５３と、ｍ番目エントリ中フラグオンス
テップ５４と、最新エントリ削除ステップ５５と、ｍ残
少ステップ５６とからなる（ｍはメモリ上の領域に設定
される）。

第６図は、スタックテーブル８の構成およびエラースキ
ップテーブル７とスタックテーブル８との関係を示す図
である。この図を参照すると、スタックテーブル８は、
フラグおよびエラースキップテーブル７のアドレスを示
すエラースキップテーブルアドレスから構成されている
いくつかのエントリを有している。

次に、このように構成された本実施例のエラースギツブ
方式の動作について説明する。

ソースプログラム５中のある文の横文解析が行われる際
には、コンパイラ（図示せず）の１つの機能であるコン
トローラ６から起動されたテーブル登録手段ｌは、当該
文に対応するエラースキップテーブル７のアドレス（エ
ラースキップテーブルアドレス）をスタックテーブル８
の最新エントリ　（その時点で最後にエラースキップテ
ーブルアドレスが登録されているエントリの次のエント
リ）に登録し、その最新エントリ中のフラグをオン（Ｏ
Ｎ）に設定する（これにより、文に対応するエラースキ
ップテーブル７の間の動的なチェーニング（文に対応す
るエラ−スキップテーブル７同士の動的なチェーニング
）が行われる）。

このようなスタックテーブル８のエントリへの登録の際
に、テーブル登録手段ｌの指示に基づいて同一エラース
キップテーブルサーチ手段２は以下に示す処理を行う（
第２図参照）。

まず、スタックテーブル８中の先頭のエントリを抽出し
くステップ２１）、そのエントリ　（以下、抽出エント
リという）が最新エントリであるか否かを判定する（ス
テップ２２）。

この判定で抽出エントリが最新エントリである場合には
、処理を終了する。

ステップ２２の判定で抽出エントリが最新エントリでは
ない場合には、最新エントリ中のエラースキップテーブ
ルアドレスと抽出エントリ中のエラースキップテーブル
アドレスとが等しいか否かを判定する（ステップ２３）
。

この判定で両者が等しい場合には、抽出エントリ中のフ
ラグをオフ（ＯＦＦ）に設定する（ステップ２４）。

ステップ２３の判定で両者が等しくない場合またはステ
ップ２４の処理が終了した場合には、スタックテーブル
ｓ中の次のエントリを抽出しくステ・ノブ２５）、その
エントリを新たな抽出エントリとしてステップ２２〜２
５の処理および判定を繰り返す。

コンパイラの横文解析によってソースプログラム５中の
構文的エラーが検出された場合には、コントローラ６か
ら起動されたエラースキップ手段３は構文的エラーが検
出された語以後の各語について以下に示す処理を行う。

初めに、同一のエラースキップテーブル７　（同一の文
に対応するエラースキップテーブル７）のサーチを回避
するための処理（同一エラースキップテーブルサーチ凹
避処理）を行う（第３図参照）。

すなわち、まず】にスタックテーブル８の現在のエント
リの個数を退避する（ステップ３１）。

次に、以下に示す処理がスタックテーブル８中の全ての
エントリについて終了したか否かを判断するためにｉが
０であるか否かを判定する（ステップ３２）。

この判定でｉが０である場合には、処理を終了する。

ステップ３２の判定でｉが０でない場合には、スタック
テーブル８内のｉ番目のエントリ中のフラグがオンであ
るか否かを判定する（ステップ３２）。

この判定でｉ番目のエントリ中のフラグがオンである場
合には、そのエントリに登録されているエラースキップ
テーブル７に基づいてエラースキップに関する処理（当
該エラースキップテーブル７に処理の対象となっている
語が保持されていればエラースキップを止め、保持され
ていなければエラースキップを続ける処理）をｊテう（
ステップ３４）。

ステップ３３の判定でｉ番目のエントリ中のフラグがオ
フである場合またはステップ３４のエラースキ・２プに
関する処理でエラースキップが止まらなかった場合には
、ｉから１を減じ（ステップ３５）、ステップ３２に制
御を戻す。

エラースキ、プが止まらない場合には、上述のようなス
テップ３２〜３５の処理および判定をスタックテーブル
８のエントリの個数回だけ繰り返す（ステ・２プ３２の
判定でｉが０になるまで繰り返される）。

ステップ３４に示すエラースキップに関する処理におい
てエラースキップが止まった場合には、フラグ書換えお
よびエントリ削除処理を行う（第４図参照）。

すなわち、ｊにスタックテーブル８の全てのエントリの
個数を退避し、ｋにスタックテーブル８のエラースー１
′ノブが止まったエラースキップテブル７に対応するエ
ントリから最新エントリまでの個数から１を減した値を
退避する（ステップ４１次に、以下に示す処理が最新エ
ントリからエラースキップが止まったエラースキップテ
ーブル７に対応するエントリにまで達したか否かを判断
するためにｋが０であるか否かを判定する（ステップ４
２）。

この判定でｋが０である場合には、処理を終了する。

ステップ４２の判定でｋが０でない場合には、ｌにスタ
ックテーブル８の最初（先頭）のエントリからエラース
キップが止まったエラースキップテーブル７に対応する
エントリまでのエントリの個数から１を減じた値を退避
する（ステップ４３）。

次に、以下に示す処理がエラースキップが止まったエラ
ースキップテーブル７に対応するエントリから最初のエ
ントリにまで達したか否かを判断するために！がＯであ
るか否かを判定する（ステツブ４４）。

この判定でｌがＯでない場合には、スタックテーブル８
のｊ番目のエントリに対応するエラースキンブテーフ゛
ルアとスタソクテーフ゛ル８の１番目のエントリに対応
するエラースキップテーブル７とが同一であるか否か（
両エントリ中のエラースキップテーブルアドレスが同一
であるか否か）を判定する（ステップ４５）。

この判定で両者が同一である場合には、β番目のエント
リ中のフラグをオンに設定する（ステップ４６）。

ステップ４４の判定でＰがＯである場合またはステップ
４６の処理が終了した場合には、スタックテーブル８の
ｊ番目のエントリを削除しくステップ４７）　、ｊおよ
びｋから１を減じ（ステップ４８）、ステップ４２に制
御を戻す。

ステップ４５の判定で両者が同一でない場合には、ｌか
ら１を減じ（ステップ４９）、ステップ４４に制御を戻
す。

上述のようなステップ４２〜４９の処理および判定をス
テップ４２の判定でｋがＯになるまで繰り返して処理を
終了する。

ソースプログラム５中のある文の横文解析がエラーが生
じることなく正常に完結した場合には、コントローラ６
から起動されたテーブル解放手段４は以下に示す処理を
行う（第５図参照）。

まず、ｍにスタックテーブル８のエントリの個数から１
を減じた値を退避する（ステップ５１）。

次に、以下に示す処理がスタックテーブル８中の最新エ
ントりの１つ前のエントリから最初のエントリにまで達
したか否かを判断するためにｍが０であるか否かを判定
する（ステップ５２）。

この判定でｍがＯでない場合には、スタックテーブル８
の最新エントリ中のエラースキンブテーフ゛ルアドレス
とスタソクテーフ゛ル８のｍ番目のエントリ中のエラー
スキップテーブルアドレスとが同一であるか否かを判定
する（ステップ５３）。

この判定で両者が同一である場合には、ｍ番目のエント
り中のフラグをオンに設定しくステップ５４）、最新エ
ントリ　（横文解析が正常に完結した文に対応するエラ
ースキップテーブル７のアドレスを有するエントリ）を
スタックテーブル８から削除する　（ステップ５５）。

ステップ５３の判定で両者が同一でない場合には、ｍか
ら１を減じ（ステップ５６）、ステップ５２に制御を戻
す。

ステップ５２の判定でｍがＯである場合（最初のエント
リに関する上述の処理が終了した場合）には、最新エン
トリをスタックテーブル８から削除する　（ステップ５
５）。

〔発明の効果〕

以上説明したように本発明は、ソースプログラム中の各
文に対応するエラースキップテーブルのアドレスをスタ
ックテーブルのエントリに登録すること等により、ソー
スプログラム中の文に対応するエラースキップテーブル
間の動的なチェーニングを行うことができ、最新の文よ
りも浅いレベル（入れ吊構造に関しての浅いレベル）の
文に対応するエラースキップテーブルは全て有効に存在
させておくことができ、入れ吊構造を持つ文が許されて
おりさらにその入れ吊構造において再帰的なｊｌｌｊ造
を持つ文が許されているプログラム言語で記述されたソ
ースプログラムのコンパイル時において綿密な横文解析
を行うことができるという効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例の構成を示すブロック図、 第２図は第１図中の同一エラースキンプテーブルサーチ
手段の処理を示す流れ図、 第３図は第１図中のエラースキップ手段によるエラース
キップテーブルサーチ回避処理を示す流れ図、 第４図は第１図中のエラースキップ手段によるフラグ書
換えおよびエントリ削除処理を示す流れ図、 第５図は第１図中のテーブル解放手段の処理を示す流れ
図、 第６図は第１図中のスタックテーブルの構成およびエラ
ースキップテーブルとスタックテーブルとの関係を示す
図である。 図において、 ■・・・テーブル登録手段、 ２・・・同一エラースキノブテーブルサーチ手段、 ３・・・エラースキップ手段、 ４・・・テーブル解放手段、 ５・・・ソースプログラム、 ６・・・コントローラ、 ７・・・エラースキップテーブル、 ８・・・スタックテーブルである。

Claims (1)

1. 【特許請求の範囲】 入れ子構造を持つ文が許されておりさらにその入れ子構
   造において再帰的な構造を持つ文が許されているプログ
   ラム言語で記述されたソースプログラムの横文解析にお
   いて、 ソースプログラム中の各文に対応するエラースキップテ
   ーブルのアドレスをスタックテーブルのエントリに登録
   することにより文に対応するエラースキップテーブル間
   の動的なチェーニングを行うテーブル登録手段と、 ソースプログラム中のある文に対応するエラースキップ
   テーブルのアドレスが前記テーブル登録手段によりスタ
   ックテーブルのエントリに登録されたときにそれまでに
   同一のエラースキップテーブルのアドレスの登録が行わ
   れているか否かを調べその調査結果をスタックテーブル
   のエントリ中のフラグに反映する同一エラースキップテ
   ーブルサーチ手段と、 構文的エラーの検出時に前記テーブル登録手段および前
   記同一エラースキップテーブルサーチ手段により調整さ
   れているスタックテーブルに基づき同一のエラースキッ
   プテーブルのサーチを回避してエラースキップを行いエ
   ラースキップが止まったときにスタックテーブルのエン
   トリ中のフラグの書換えを行うエラースキップ手段と、 ソースプログラム中のある文に関する構文解析が正常に
   完結する毎に完結した文に対応するエラースキップテー
   ブルのアドレスを有するエントリをスタックテーブルか
   ら削除するテーブル解放手段と を有することを特徴とするエラースキップ方式。