JP3270777B2 - 論理図プログラム用エディタ - Google Patents

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、命令を図記号で表現す
る論理図プログラムを編集する論理図プログラム用エデ
ィタに関する。

【０００２】近年、プログラム構造を明瞭化して、プロ
グラム開発の生産性、プログラムの可読性を向上させる
ため、命令を図記号で表現する論理図プログラムが使用
されている。この論理図プログラムを編集する論理図プ
ログラム用エディタでは、論理図プログラム編集の段階
で、プログラムの構文上の誤りをチェックできることが
必要とされている。

【０００３】

【従来の技術】命令を図記号で表現する論理図プログラ
ムの編集は、論理図プログラム用エディタを用いて行
う。従来の論理図プログラム用エディタでは、論理図プ
ログラムに記述された命令の論理的対応関係はチェック
することができる。

【０００４】論理図プログラムは、論理図プログラム用
エディタで編集された後、翻訳プログラムで翻訳され
る。論理図プログラムの文法的構文の誤りは、翻訳プロ
グラムを実行した段階で、検出することができる。

【０００５】

【発明が解決しようとする課題】従来の論理図プログラ
ム用エディタでは、論理図プログラムに記述された命令
の論理的対応関係はチェックすることができたが、論理
図プログラム全体の構文チェックを行うことはできなか
った。また、従来、論理図プログラムの文法的構文の誤
りは、翻訳プログラムを実行して初めて検出することが
できた。

【０００６】しかし、翻訳プログラムは非常に大きなも
のであるため、論理図プログラム用エディタと同時に動
作させることは、メモリの大きさに制約の無いシステム
でのみ可能であった。

【０００７】また、翻訳時に翻訳する条件を指定する条
件翻訳を含むプログラムでは、実際に翻訳しないと翻訳
する条件が定まらないため、構文チェックをすることが
できなかった。

【０００８】上記のように、従来は、メモリの大きさに
制約のあるシステムでは、論理図プログラムの編集段階
で、構文チェックを行うことができず、また、条件翻訳
を含む論理図プログラムは構文チェックができないとい
う問題があった。

【０００９】本発明は、上記の点に鑑みてなされたもの
で、大きなメモリを必要とせず、論理図プログラムの編
集段階で、条件翻訳の有無にかかわらず、構文チェック
を行うことができる論理図プログラム用エディタを提供
することを目的とする。

【００１０】

【課題を解決するための手段】図１は本発明の原理構成
図を示す。請求項１の発明は、例えば、図１に示すよう
に、入力手段１により入力された論理図プログラムを編
集手段３により編集して、論理図プログラム記憶手段４
に記憶し、論理図プログラムの編集部分を表示手段２に
より表示する論理図プログラム用エディタである。本発
明の論理図プログラムエディタは、論理図プログラムの
構文規則に基づき、複数ある状態の各状態における記述
可能な命令に対応して遷移する状態を示す状態遷移表６
と、前記論理図プログラムの各行の命令により遷移する
状態を前記状態遷移表６に従って求め、遷移可能な状態
の有無により、前記論理図プログラム構文チェックを行
うとともに、構文チェックを行う論理図プログラムが条
件翻訳を含む場合に、条件節の開始時の状態と、条件節
の終了時の状態とを比較し、制約の大きい状態を条件翻
訳終了時の状態として採用する構文チェック手段５とを
有することを特徴とする。

【００１１】

【００１２】

【００１３】

【作用】請求項１の発明では、構文チェック手段５が、
状態遷移表６に従って論理図プログラムの構文チェック
を行う。このため、大きなメモリを必要とせず、論理図
プログラムの編集段階で、構文チェックを行うことがで
きる。また、構文チェック手段５は、論理図プログラム
の条件翻訳に対しては、各条件節の終了時点での状態を
比較して、制約の大きい状態を条件翻訳終了時の状態と
して採用する。このため、条件翻訳の有無にかかわら
ず、構文チェックを行うことができる。

【００１４】

【００１５】

【００１６】

【実施例】図２は本発明の第１実施例の構成図を示す。
第１実施例の論理図プログラム用エディタは、図２に示
すよに、入力手段１であるキーボード等の入力装置１
１、表示手段２である表示装置１２、補助記憶装置１３
が、入出力制御部１４を介してバスライン２２に接続さ
れている。

【００１７】また、主制御装置１５、論理図プログラム
記憶手段４である編集メモリ１６、作業メモリ１７、メ
モリ１８、バスライン２２によって接続されている。メ
モリ１８には、編集手段３である編集処理部１９、構文
チェック手段５である構文チェック処理部２０、及び状
態遷移表６が記憶されている。

【００１８】次に、図２に示す論理図プログラム用エデ
ィタの概略動作について説明する。図２に示す論理図プ
ログラム用エディタは、メモリ１８内の編集処理部１９
と構文チェック処理部２０からなるプログラムに従っ
て、主制御装置１５の制御の下で動作する。

【００１９】論理図プログラムは、例えば、作業者によ
り入力装置１１から入力されて、編集処理部１９によ
り、編集メモリ１６に記憶される。編集処理部１９は、
入力装置１１から作業者により与えられた指示に従っ
て、編集メモリ１６内の論理図プログラムを編集する。
なお、作業メモリ１７は、論理図プログラムの編集時に
使用される。

【００２０】なお、論理図プログラムの編集時に、編集
処理部１９は、編集対象部分、及び編集に関連する情報
を表示装置１２に表示する。また、補助記憶装置１３
は、論理図プログラムの記憶、論理図プログラム用エデ
ィタに関するプログラムの記憶等のために使用する。

【００２１】後述する状態遷移表６は、論理図プログラ
ムの構文規則を表現しているものである。論理図プログ
ラムの編集が終了した後に、構文チェック処理部２０
が、状態遷移表６に従って、論理図プログラムの構文チ
ェックを行う。この構文チェックの結果、論理図プログ
ラムに構文エラーがある場合は、構文エラーの部分とエ
ラーの種類等の表示を表示装置１２により行う。

【００２２】なお、編集処理と構文チェック処理の切換
は、例えば、入力装置１１から与えられるコマンドによ
り行う。作業者が編集作業を終了した後、構文チェック
を指示するコマンドを入力すると、構文チェック処理部
２０が動作して、論理図プログラムの構文チェックが行
われる。

【００２３】次に、論理図プログラムの構文規則を表現
する状態遷移表の作成方法について説明する。図３は論
理図プログラムの構文規則の一例の定義図を示す。ま
た、図４は構文チェック対象外の記述を除いた構文規則
の定義図を示し、図５は反復記述の定義を変形した、最
終的な構文規則の定義図を示す。図３〜図５におい
て、：＝の左辺は、右辺の一連の記述の名前を定義して
いる。また、：＝の右辺は、一連の記述の構成を示して
いる。

【００２４】｛ ｝の印は、０回以上の繰り返しを意味
する。また、［ ］の印は省略可能であることを意味す
る。また、｜の印はいずれかの選択を意味する。なお、
下線を付けた名前は、論理図プログラムの命令の種別に
対応する名前であり、後述する状態遷移表の行種別の欄
に記載する。

【００２５】図３に示すように、プログラムの定義から
始まって、最後の、内部データ定義の定義で構文規則の
定義が終了している。図３で、右辺が順次と記載されて
いる名前は、構文チェック対象外の記述である。この行
の命令種別の順次は、状態変化に影響を与えない。

【００２６】図４は、構文チェック対象外である名前を
除いた構文規則の定義図を示している。図４において、
反復記述は、入れ子になるが、反復開始と反復終了は論
理図プログラムでは、必ず対応するので、反復終了の記
述位置の制約を緩めても問題はない。図５は、この反復
記述の入れ子を無くして変形した、最終的な構文規則の
定義図である。

【００２７】図６、図７は、上記の構文規則の状態遷移
図への変換の説明図を示す。図６（Ａ）に示す、開始ノ
ードと終了ノードを設けたプログラムの定義から始め
て、順次、図５の定義図に従って、名前を展開してゆ
く。

【００２８】図６（Ｂ）では、プログラムを展開して、
関数定義を記載している。図６（Ｃ）では、図６（Ｂ）
の開始ノードと終了ノードが同等であるので、この二つ
のノードを統合して一つのノードとしている。

【００２９】図６（Ｄ）では、関数定義を展開して、関
数開始、関数終了、データ定義、手続き定義を記載し、
新たなノードを設けている。図６（Ｅ）では、データ定
義をデータ部、仮引数開始、仮引数終了に展開し、新た
なノードを設けている。

【００３０】図７（Ａ）では、手続き定義を、手続き部
と反復記述に展開している。図７（Ｂ）では、反復記述
を、繰り返し、前反復判定、反復終了、データ部、手続
き部に展開して、新たなノードを設けている。図７
（Ｂ）の段階で、名前の展開が終了している。図７
（Ｃ）では、各状態に対応する各ノードに状態の番号０
〜８を付けて、状態遷移図が完成する。

【００３１】なお、原則として、状態番号は、繰り返し
記述ができるものは、元の状態番号に戻り、順序に従っ
て記述するものは、新しい番号が割り当てられる。

【００３２】図７（Ｃ）では、０〜８の状態と、下線の
付いた命令の種別に対応する名前と、遷移を示す矢印が
記載されている。この状態遷移図では、各状態におい
て、記述可能な行の命令の種別と、その行の命令の種別
に対して遷移する状態を示している。なお、図７
（Ｂ），（Ｃ）で、点線は、複数の行の命令種別に対応
する遷移を示している。

【００３３】図８は、図７（Ｃ）の状態遷移図を表形式
に変換した、第１実施例の状態遷移表を示す図である。
図８で、状態の欄には、各状態の番号を記載している。
行種別の欄には、論理プログラムで、構文チェック対称
となる命令の種別に対応する名前を記載している。図８
に示すように、構文チェック対称となる命令の種別は、
関数開始、データ部、手続き部、仮引数開始、仮引数終
了、繰返し、前判定反復、反復終了、関数終了の９種が
ある。

【００３４】図８で、状態と行種別の交点には、次に遷
移する状態の番号が記載されている。例えば、状態０と
関数開始の交点は１であり、論理図プログラムで状態０
のとき、関数開始の行がくると、状態が１に遷移するこ
とを意味している。図８の状態遷移表は、図５の論理図
プログラムの構文規則を全て表現しており、この状態遷
移表によって、論理図プログラムの構文チェックを行う
ことができる。

【００３５】図８の状態遷移表には、下記(1) 〜(19)に
列挙する構文規則が表現されている。 (1) 関数開始から関数終了の一連は、一つのプログラム
中に記述されなくてもよいし、１回以上の任意の回数記
述されてもよい。 (2) 関数開始と関数終了は、対応していなければならな
い。 (3) 関数開始から関数終了の一連は、入れ子にしてはな
らない。 (4) 関数開始の直後には、データ部を記述することがで
きる。 (5) 関数開始の直後のデータ部は、関数内で高々１回の
み記述できる。 (6) 仮引数開始から仮引数終了は、関数開始直後のデー
タ部に記述できる。データ部の記述が無い場合は、仮引
数宣言部は記述できない。 (7) 仮引数開始と仮引数終了は、対応していなければな
らない。 (8) 仮引数開始と仮引数終了は、関数内で高々１回のみ
記述できる。 (9) 関数開始の直後又は関数開始直後のデータ部の後に
は、手続き部を記述しなければならない。 (10)関数開始の直後又は関数開始直後のデータ部の後
に、手続き部を記述した後は、これと同じレベルに再度
手続き部を記述することはできない。 (11)繰返し、及び前判定反復（以下、合わせて反復と記
す）は、手続き部の後に記述できる。 (12)反復と反復終了は対応していなければならない。 (13)反復から反復終了の一連は、入れ子にすることがで
きる。 (14)反復の直後に、データ部を記述することができる。 (15)反復の直後にデータ部が記述された後、反復と対応
する反復終了までの範囲内の入れ子の反復以外には再度
データ部を記述することはできない。 (16)反復の直後又は反復直後のデータ部の後に、手続き
部を記述することができる。 (17)反復の直後又は反復直後のデータ部の後に、手続き
部が記述された後、反復と対応する反復終了までの範囲
内の入れ子の反復以外では再度手続き部を記述すること
はできない。 (18)反復の後にデータ部、手続き部が共に記述されてい
ない場合、手続き部であるとみなす。 (19)反復から反復終了までの範囲内に入れ子の反復を記
述するときは、手続き部、又は手続き部とみなされる位
置に記述しなければならない。

【００３６】次に、第１実施例の構文チェック処理部２
０の処理について説明する。図９は第１実施例の構文チ
ェック処理部２０の処理のフローチャートを示す。ま
た、図１０は、図９の条件翻訳処理のフローチャートを
示す。

【００３７】図１１は構文チェック対象の論理図プログ
ラムの一例を示す。また、図１２は、図１１のプログラ
ムのチェック経過を示す図である。図１１は、条件翻訳
を含まない２６行からなるプログラムの例である。図１
１の各行に、論理図プログラムの命令が記述されてい
る。図１２には、図１１の各行の命令の種別に対応する
行の種別、チェック対象行（○印で示す）、チェック後
の状態を示している。図１１のプログラム例に沿って、
図９の構文チェック処理の説明をする。

【００３８】ステップ３０では、遷移状態を初期値の０
とする。ステップ３１では、編集メモリ１６から論理図
プログラムの１行を取り出す。ステップ３２では、取り
出した行がチェック対象行かどうかを判断する。

【００３９】ステップ３２で、取り出した行がチェック
対象行でないときは、ステップ３９に進み、条件翻訳対
象行かどうかを判断する。ステップ３９で、条件翻訳対
象行でないときは、ステップ３５に進み、最終行かどう
かを判断する。ステップ３５で、最終行でないときは、
ステップ３１へ戻り、次の行のチェックを続ける。

【００４０】図１１の０１行から０７行は、図１２に示
すように、行の命令の種別が順次であり、チェック対象
外の行である。このため、０１行〜０７行では、上記の
ように、ステップ３１、ステップ３２、ステップ３９、
ステップ３５を経由して、ステップ３１へ戻る。従っ
て、０１行〜０７行の間、状態は変化せず、０のままで
ある。

【００４１】ステップ３２で、取り出した行がチェック
対象行のときは、ステップ３３に進む。ステップ３３で
は、図８の状態遷移表を参照して、現在の状態で、取り
出した行の命令の種別に対する遷移可能な状態があるか
どうかを判断する。ステップ３３で、遷移可能な状態が
あるときは、ステップ３４で、状態をこの遷移可能な状
態に変更する。ステップ３４の次には、ステップ３５に
進み、最終行でないときは、ステップ３１に戻り、構文
チェックを続ける。

【００４２】図１１の０８行では、行種別が関数開始で
チェック対象行であるので、ステップ３２のＹＥＳから
ステップ３３に進む。ステップ３３で、図８の状態遷移
表を参照して、現在の状態０と関数開始の交点から次の
遷移状態１を得る。このため、ステップ３４で、現在の
状態を１に変更する。

【００４３】また、図１１の０９行では、行種別がデー
タ部でありチェック対象行であるので、ステップ３２の
ＹＥＳからステップ３３に進む。ステップ３３で、図８
の状態遷移表を参照して、現在の状態１とデータ部の交
点から次の遷移状態２を得る。このため、ステップ３４
で、現在の状態を２に変更する。図１１の１０行以降の
遷移状態の変化は、図１２に示すようになる。

【００４４】ステップ３５で、最終行のときは、ステッ
プ３６に進む。ステップ３６では、現在の状態が最終状
態になっているかどうかを判断する。正しく最終状態に
なっているときは、ステップ３８に進み、エラー無しの
結果を得る。ステップ３８では、エラーが無いことを表
示装置１２に表示して、チェック処理を終了する。

【００４５】ステップ３６で、現在の状態が正しく最終
状態になっていないときは、ステップ３７に進み、エラ
ー有りの結果を得る。ステップ３７では、構文エラー有
りの結果を得て、表示装置１２に、エラーの箇所、エラ
ーの種類等を表示し、処理を終了する。

【００４６】図１１の最終行の２６行では、ステップ３
４にて、状態が０になっているため、ステップ３６で
は、正しく最終状態になっていると判断されて、エラー
無しの結果を得て処理を終了する。

【００４７】ステップ３３で、図８の状態遷移表を参照
して、現在の状態において、取り出した行の種別に対す
る可能な遷移状態が無いときは、構文エラーと判断し、
ステップ３７に進み、エラー有りの結果を得て、処理を
終了する。

【００４８】図１３はエラーのあるプログラムの第１例
を示す。図１３の例では、図１１のプログラム例から２
６行の終了記号を削除したものである。このプログラム
をチェックする場合、２５行までは、図１１のプログラ
ムの場合と全く同じ過程でチェックが行われる。

【００４９】２５行の処理終了後、ステップ３５で、最
終行と判断されてステップ３６に進む。ステップ３６で
は、状態が８で、正しい最終状態ではないため、ステッ
プ３７に進み、エラー有りの結果を得て処理を終了す
る。

【００５０】図１４は、エラーのあるプログラムの第２
例を示す。図１４の例では、図１１のプログラム例に、
１０行のデータ部を追加したものである。このプログラ
ムをチェックする場合、０９行までは、図１１のプログ
ラムの場合と全く同じ過程でチェックが行われ、０９行
のチェック終了時に、状態は２となっている。

【００５１】１０行のチェック時に、ステップ３３で
は、図８の状態遷移表を参照するが、状態２のときの、
行種別のデータ部に対する遷移可能な状態が無く、文法
的に正しくない。このため、ステップ３７に進み、エラ
ー有りの結果を得て処理を終了する。

【００５２】次に、条件翻訳を含む場合の構文チェック
処理について説明する。図１５は、条件翻訳を含む論理
図プログラムの一例である。また、図１６は、図１５の
プログラムのチェック過程を示す図である。図１５のプ
ログラムに沿って図１０に示す条件翻訳処理を説明す
る。

【００５３】図１５のプログラムで、１７行、１８行、
２７行、２９行が条件翻訳対象行である。１７行が条件
翻訳の開始行であり、２９行が条件翻訳の終了行であ
る。図１５のプログラムでは、真の条件と偽の条件の２
つの条件があり、１８行〜２６行が真の条件節で、２７
行〜２８行が偽の条件節である。

【００５４】０１行から１６行までは、図１１のプログ
ラムと同一であり、図９に示す処理により、１６行のチ
ェックが終了した時点では、状態は６となっている。

【００５５】１７行のチェックにおいて、ステップ３２
で構文チェック対象行ではないので、ステップ３９に進
み、条件翻訳対象行であるので、ステップ４０の条件翻
訳処理を実行する。ステップ４０の条件翻訳処理は、図
１０に示される。

【００５６】１７行は条件翻訳開始行であるので、ステ
ップ４１のＹＥＳからステップ４８に進む。ステップ４
８では、条件初期状態を現在の状態の６とする。なお、
この条件初期状態は、各条件節の開始時の状態を意味す
る。図１５のプログラムでは、真の条件節の開始行であ
る１８行、偽の条件節の開始行である２７行での状態が
６であることを意味する。

【００５７】次のステップ４９では、保存状態をクリア
する。この保存状態は、各条件節の終了時点での状態を
保存するためのものである。

【００５８】次の１８行は、条件翻訳の開始行ではない
ので、ステップ４１のＮＯからステップ４２に進む。ま
た、１８行は条件節の終了行ではないので、ステップ４
２のＮＯからステップ４６に進む。１８行は真の条件節
の開始行であるので、ステップ４６のＹＥＳからステッ
プ４７に進む。ステップ４７では、現在の状態を条件初
期状態の６とする。

【００５９】次の１９行〜２６行の処理は、図１１のプ
ログラムの１７行〜２４行の処理と同等であり、２６行
のチェック後の状態は８となっている。

【００６０】次の２７行は、前の条件節（真の条件節）
を終了させるため、ステップ４２のＹＥＳからステップ
４３に進む。この時点で保存状態はクリアされているの
で、ステップ４３のＹＥＳからステップ４５に進む。ス
テップ４５では、保存状態を現在の状態と同じ８にす
る。即ち、真の条件節の終了時点での状態を保存状態と
して保存する。

【００６１】２７行は更に、偽の条件節の開始行である
ので、ステップ４６のＹＥＳからステップ４７に進む。
ステップ４７では、現在の状態を条件初期状態６とす
る。これにより、現在の状態が、偽の条件節の開始時の
状態の６に変更される。

【００６２】次の２８行は、チェック対象外の行で、か
つ、条件翻訳対象外なので、状態を変化させない。この
ため、状態は６のままである。次の２９行は、条件節の
終了行なので、ステップ４２のＹＥＳからステップ４３
に進み、保存状態が８に設定されているので、ステップ
４４に進む。

【００６３】ステップ４４では、図８の状態遷移表を参
照して、現在の状態、即ち、偽の条件節の終了時の状態
と、保存状態、即ち、真の条件節の終了時の状態とを比
較して、制約の大きい状態を現在の状態にする。

【００６４】図８の状態遷移表において、現在の状態６
と保存状態８とでは、状態８の方が記述できる行の命令
の種類が少ない。これにより、状態８は状態６より制約
が大きいと判断できる。従って、ステップ４４では、保
存状態の８を現在の状態とする。

【００６５】次の３０行、３１行は、図１１のプログラ
ムの２５行、２６行と同等であり、３１行のとき、図９
のステップ３６で、正しく最終状態であると判断され
て、ステップ３８でエラー無しの結果を得て、処理を終
了する。

【００６６】図１７は、条件翻訳を含むエラーのあるプ
ログラムの一例を示す。また、図１８は、図１７のプロ
グラムのチェック過程を示す図である。

【００６７】図１７のプログラムで、１７行、１８行、
１９行、２２行が条件翻訳対象行である。１７行が条件
翻訳の開始行であり、２２行が条件翻訳の終了行であ
る。図１７のプログラムでは、真の条件と偽の条件の２
つの条件があり、１８行が真の条件節（ここでは、内容
が無い空である）で、１９行〜２１行が偽の条件節であ
る。

【００６８】１７行〜２２行の条件翻訳の部分で、翻訳
時の条件の指定により、真の条件節が選択された場合
は、図１１のプログラムと同等になるため、構文エラー
は無い。一方、翻訳時の条件の指定により、偽の条件節
が選択された場合は、２０行の手続き部の後に２３行の
データ部が記述されるため、構文エラーとなる。上記の
構文エラーのチェック過程を以下に説明する。

【００６９】図１７のプログラムの０１行から１６行ま
では、図１１のプログラムと同一であり、図９に示す処
理により、１６行のチェックが終了した時点では、状態
は６となっている。

【００７０】１７行のチェックにおいて、ステップ３２
で構文チェック対象行ではないので、ステップ３９に進
み、条件翻訳対象行であるので、ステップ４０の条件翻
訳処理を実行する。

【００７１】１７行は条件翻訳開始行であるので、ステ
ップ４１のＹＥＳからステップ４８に進み、条件初期状
態を現在の状態の６とする。図１７のプログラムでは、
真の条件節の開始行である１８行、偽の条件節の開始行
である１９行での状態が６であることを意味する。次の
ステップ４９では、保存状態をクリアする。

【００７２】次の１８行は、条件翻訳の開始行ではない
ので、ステップ４１のＮＯからステップ４２に進む。ま
た、１８行は条件節の終了行ではないので、ステップ４
２のＮＯからステップ４６に進む。１８行は真の条件節
の開始行であるので、ステップ４６のＹＥＳからステッ
プ４７に進み、現在の状態を条件初期状態の６とする。

【００７３】次の１９行は、前の条件節（真の条件節）
を終了させるため、ステップ４２のＹＥＳからステップ
４３に進む。この時点で保存状態はクリアされているの
で、ステップ４３のＹＥＳからステップ４５に進む。ス
テップ４５では、保存状態を現在の状態と同じ６にす
る。即ち、真の条件節の終了時点での状態を保存状態と
して保存する。

【００７４】１９行は更に、偽の条件節の開始行である
ので、ステップ４６のＹＥＳからステップ４７に進み、
現在の状態を条件初期状態６とする。これにより、現在
の状態が、偽の条件節の開始時の状態の６になる。

【００７５】次の２０行は、チェック対象行で、現在の
状態が６なので、図８の状態遷移表に従って、ステップ
３４にて、状態は８に変更される。次の２１行は、チェ
ック対象外の行で、かつ、条件翻訳対象外なので、状態
を変化させない。このため、状態は８のままである。

【００７６】次の２２行は、条件節の終了行なので、ス
テップ４２のＹＥＳからステップ４３に進み、保存状態
が６に設定されているので、ステップ４４に進む。ステ
ップ４４では、図８の状態遷移表を参照して、現在の状
態、即ち、偽の条件節の終了時の状態と、保存状態、即
ち、真の条件節の終了時の状態とを比較して、制約の大
きい状態を現在の状態にする。

【００７７】図８の状態遷移表において、現在の状態８
と保存状態６とでは、状態８の方が記述できる行の命令
の種類が少ない。これにより、状態８は状態６より制約
が大きいと判断できる。従って、ステップ４４では、現
在の状態の８を選択し、状態は８のままとする。

【００７８】次の２３行は、チェック対象行で、図９の
ステップ３３にて、図８の状態遷移表を参照するが、状
態８のときには、行の命令の種別のデータ部に対する遷
移可能な状態は存在しない。このため、ステップ３３の
ＮＯからステップ３７へ進み、構文エラー有りの結果を
得て、処理を終了する。

【００７９】上記のように、第１実施例では、構文チェ
ック処理部２０が、構文規則を表現する状態遷移表に従
って、論理図プログラムの構文チェックを行うため、論
理図プログラムの編集段階で、確実に構文チェックを行
うことができる。

【００８０】また、構文チェック処理部２０は、論理図
プログラムの条件翻訳に対しては、各条件節の終了時点
での状態を比較して、制約の大きい状態を条件翻訳終了
時の状態として採用するため、条件翻訳の有無にかかわ
らず、構文チェックを行うことができる。

【００８１】また、構文チェック処理部２０は処理が簡
単であるため、大きなメモリを必要とせず、メモリの大
きさに制約のあるシステムでも本実施例のエディタは適
用できる。

【００８２】図１９は、本発明の第２実施例のエディタ
の構文チェック手順を示すフローチャートを示す。第２
実施例の構成図は、図２の第１実施例の構成図と同じで
ある。第２実施例において、編集手段３である編集処理
部１９は、図１９のステップ５１の編集処理に相当す
る。また、構文チェック手段である構文チェック処理部
２０は、図１９のステップ５２〜ステップ５５に相当す
る。

【００８３】図２０は、構文エラーの有る場合の表示装
置１２での表示例を示す。また、図２１は、図２０の構
文エラーを修正後の表示装置１２での表示例を示す。こ
こで、図２０、図２１に沿って第２実施例の構文チェッ
ク手順について説明する。

【００８４】図１９で、ステップ５１では、論理図プロ
グラムの各行の入力処理、編集処理を行う。作業者によ
り、行の先頭から行が入力されて、予め定めた所定単位
の行の入力が確定した時点で、編集処理５１は、処理を
自動的に終了して、ステップ５２〜ステップ５５の構文
チェック処理に進む。

【００８５】入力が確定する所定単位の行としては、例
えば、行の先頭から関数終了の行までとする。図２０の
例では、０１行から１４行まで入力し終わった時点で、
編集処理５１は終了して、構文チェック処理に進む。

【００８６】所定単位の行の入力が確定した後、次の、
ステップ５２に進む。構文チェック処理では、構文エラ
ーが有ったときは、ステップ５５にて、表示装置１２上
で構文エラーのある行を強調して表示する。このため、
ステップ５２では、前回の構文チェックで検出した構文
エラーに対して行った強調表示を、一端クリアする。

【００８７】次のステップ５３では、ステップ５１で行
の入力が確定した論理図プログラムに対して、構文チェ
ックを行う。ステップ５３での構文チェック処理は、第
１実施例で説明した図９，図１０の処理と同等の処理で
ある。ただし、図９のステップ３７，ステップ３８に相
当するステップでは、エラー有り、エラー無しのデータ
を得るだけで、表示装置１２上でエラーの表示は行わな
い。

【００８８】次のステップ５４では、ステップ５３で得
たエラーの有無のデータを調べて、エラーが無かったと
きは、なにもせずに処理を終了する。一方、エラーが有
ったときは、ステップ５５に進む。ステップ５５では、
表示装置１２上で、構文エラーの有る行を強調表示し、
また、構文エラーの種類等を表示する。ステップ５５の
後、処理を終了する。

【００８９】図２０の例では、０８行と０９行の間にあ
るべきデータ部が無いため、ステップ５３で０９行が構
文エラーと判断されて、ステップ５４のＹＥＳからステ
ップ５５へ進み、０９行が強調表示される。

【００９０】図１９の処理が終了した後、再び、ステッ
プ５１の編集処理から処理を開始する。このため、作業
者は、所定単位の行の入力ごとに、エラーがあったとき
は、強調表示された行を確認して、直ぐに修正の作業を
行うことができる。

【００９１】図２１は、図２０で、０９行がエラーで強
調表示された後、０９行にデータ部を記述した場合の表
示を示している。この場合、０９行のデータ部の記述が
確定すると、ステップ５１の編集処理が終了して、再び
ステップ５２〜ステップ５５の構文チェック処理が行わ
れる。

【００９２】今回の構文チェック処理では、０９行にデ
ータ部を記述して構文エラーが無くなっている。このた
め、ステップ５３のチェック処理の結果、エラー無しの
データを得て、ステップ５５の強調表示をしないで、処
理を終了する。このとき、ステップ５２でエラーを示す
強調表示をクリアしているので、表示装置１２上では、
エラーを示す強調表示が無くなっており、作業者は、構
文エラーが無くなったことを確認することができる。

【００９３】上記のように、第２実施例では、所定単位
の行の入力が確定するごとに、自動的に構文チェックが
行われ、表示装置上にエラー位置が強調表示される。こ
のため、論理図プログラムの入力段階で発生した構文エ
ラーを、エラー発生のすぐ後に確認することができ、構
文エラーの訂正作業の効率を高めることができる。な
お、入力する行の所定単位を１行として、１行入力する
ごとに構文チェックを行う構成としても良いことは勿論
である。

【００９４】

【発明の効果】本発明では、構文チェック手段５が、状
態遷移表６に従って論理図プログラムの構文チェックを
行う。このため、大きなメモリを必要とせず、論理図プ
ログラムの編集段階で、構文チェックを行うことがで
き、また、構文チェック手段５は、論理図プログラムの
条件翻訳に対しては、各条件節の終了時点での状態を比
較して、制約の大きい状態を条件翻訳終了時の状態とし
て採用することにより、条件翻訳の有無にかかわらず、
構文チェックを行うことができる等の特長を有する。

【００９５】

【００９６】

【図面の簡単な説明】

【図１】本発明の原理構成図である。

【図２】本発明の第１実施例の構成図である。

【図３】構文規則の一例の定義図である。

【図４】チェック対象外を除いた構文規則の一例の定義
図である。

【図５】最終的な構文規則の定義図である。

【図６】構文規則の状態遷移図への変換の説明図であ
る。

【図７】構文規則の状態遷移図への変換の説明図であ
る。

【図８】本発明の第１実施例の状態遷移表を示す図であ
る。

【図９】第１実施例の構文チェック処理部のフローチャ
ートである。

【図１０】条件翻訳処理のフローチャートである。

【図１１】構文チェック対象の論理図プログラムの一例
を示す図である。

【図１２】図１１のプログラムのチェック過程を示す図
である。

【図１３】エラーのあるプログラムの第１例を示す図で
ある。

【図１４】エラーのあるプログラムの第２例を示す図で
ある。

【図１５】条件翻訳を含むプログラムの一例を示す図で
ある。

【図１６】図１５のプログラムのチェック過程を示す図
である。

【図１７】条件翻訳を含むエラーのあるプログラムの一
例を示す図である。

【図１８】図１７のプログラムのチェック過程を示す図
である。

【図１９】本発明の第２実施例の構文チェック手順を示
すフローチャートである。

【図２０】構文エラーのある場合の表示例を示す図であ
る。

【図２１】構文エラーを修正後の表示例を示す図であ
る。

【符号の説明】

１ 入力手段 ２ 表示手段 ３ 編集手段 ４ 論理図プログラム記憶手段 ５ 構文チェック手段 ６ 状態遷移表 １１ 入力装置 １２ 表示装置 １３ 補助記憶装置 １４ 入出力制御部 １５ 主制御装置 １６ 編集メモリ １７ 作業メモリ １８ メモリ １９ 編集処理部 ２０ 構文チェック処理部

───────────────────────────────────────────────────── フロントページの続き (56)参考文献 特開 平３−271828（ＪＰ，Ａ) 情報処理学会第33回（昭和61年後期) 全国大会講演論文集，ｐ．781−782 インターフェース，ＣＱ出版社，1989 −３，第15巻第３号（ｎｏ．142），ｐ. 171−173 (58)調査した分野(Int.Cl.⁷，ＤＢ名) G06F 9/06 - 9/44

Claims (1)

(57)【特許請求の範囲】
1. 【請求項１】 論理図プログラムの構文規則に基づき、
   複数ある状態の各状態における記述可能な命令に対応し
   て遷移する状態を示す状態遷移表と、 前記論理図プログラムの各行の命令により遷移する状態
   を前記状態遷移表に従って求め、遷移可能な状態の有無
   により、前記論理図プログラム構文チェックを行うとと
   もに、構文チェックを行う論理図プログラムが条件翻訳
   を含む場合に、条件節の開始時の状態と、条件節の終了
   時の状態とを比較し、制約の大きい状態を条件翻訳終了
   時の状態として採用する構文チェック手段とを有するこ
   とを特徴とする論理プログラム用エディタ。