JP2014203343A5 - - Google Patents

Download PDF

Info

Publication number
JP2014203343A5
JP2014203343A5 JP2013080472A JP2013080472A JP2014203343A5 JP 2014203343 A5 JP2014203343 A5 JP 2014203343A5 JP 2013080472 A JP2013080472 A JP 2013080472A JP 2013080472 A JP2013080472 A JP 2013080472A JP 2014203343 A5 JP2014203343 A5 JP 2014203343A5
Authority
JP
Japan
Prior art keywords
information
instruction
command
word
program analysis
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
JP2013080472A
Other languages
English (en)
Other versions
JP2014203343A (ja
JP6243619B2 (ja
Filing date
Publication date
Application filed filed Critical
Priority to JP2013080472A priority Critical patent/JP6243619B2/ja
Priority claimed from JP2013080472A external-priority patent/JP6243619B2/ja
Publication of JP2014203343A publication Critical patent/JP2014203343A/ja
Publication of JP2014203343A5 publication Critical patent/JP2014203343A5/ja
Application granted granted Critical
Publication of JP6243619B2 publication Critical patent/JP6243619B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Claims (12)

  1. ラダー言語に基づくデバイス素子を連結したラダー図をコンパイルした結果であり、入力命令語、演算命令語及び出力命令語を含む命令語の集合体である中間語を処理対象として前記入力命令語を検出し、前記入力命令語に関する情報を前記入力命令語から抽出して、当該抽出した入力命令語に関する情報を命令情報テーブルに格納する入力命令解析部と、
    前記入力命令解析部における処理の終了後、前記中間語において、前記入力命令語に続く前記命令語が前記演算命令語であるとみなし、前記演算命令語に関する情報を前記命令情報テーブルに格納する演算命令解析部と、
    前記演算命令解析部における処理の終了後、前記中間語において、前記演算命令語に続く前記命令語が前記出力命令語であるとみなし、前記出力命令語に関する情報を前記出力命令語から抽出して、前記命令情報テーブルに格納する出力命令解析部と、
    前記出力命令解析部における処理の終了後、前記命令情報テーブルを基に、前記デバイス素子を生成する変換部と、
    を有することを特徴とするプログラム解析装置。
  2. 前記演算命令語の形式に関する情報と、前記演算命令語の形式に関する形式識別情報とが対応付けられるテンプレートテーブルが格納される記憶部を、さらに有し、
    前記演算命令解析部は、
    前記テンプレートテーブルを参照して、処理対象となっている前記演算命令語の形式を判定し、当該演算命令語の形式に該当する形式識別情報を、前記演算命令語に関する情報として前記命令情報テーブルに格納する
    ことを特徴とする請求項1に記載のプログラム解析装置。
  3. 前記入力命令語に関する情報及び前記出力命令語に関する情報は、当該入力命令語及び当該出力命令語において使用されているパラメータに関する情報である
    ことを特徴とする請求項1に記載のプログラム解析装置。
  4. 前記パラメータに関する情報は、前記パラメータの読込方式又は書込方式を含み、さらに前記パラメータが格納されるアドレス値、及び前記パラメータのサイズに関する情報が前記パラメータに関する情報に含まれる
    ことを特徴とする請求項3に記載のプログラム解析装置。
  5. 前記入力命令語及び前記出力命令語の形式に関する情報であるパラメータテンプレートテーブルが格納されるとともに、前記演算命令語の形式に関する情報と、前記演算命令語の形式に関する形式識別情報とが対応付けられるテンプレートテーブルが格納される記憶部と、
    ラダー言語におけるシンボルに付随する文字列を、所定の書式に従って分解する文字列分解部と、
    前記文字列分解部によって分解された文字列を基に、前記分解された文字列に関する情報を前記命令情報テーブルに格納する情報格納部と、
    前記命令情報テーブルと、前記パラメータテンプレートテーブルと、前記テンプレートテーブルと、を基に、前記入力命令語と、前記演算命令語と、前記出力命令語による前記中間語を出力する中間語生成部と
    をさらに有することを特徴とする請求項1に記載のプログラム解析装置。
  6. 前記命令情報テーブルには、条件付実行命令語に関する情報が格納され、
    前記中間語生成部は、前記命令情報テーブルに前記条件付実行命令語に関する情報が格納される場合、当該条件付実行命令語に対応する命令語を前記中間語に付加する
    ことを特徴とする請求項5に記載のプログラム解析装置。
  7. ラダー言語に基づくデバイス素子を連結したラダー図をコンパイルした結果であり、入力命令語、演算命令語及び出力命令語を含む命令語の集合体である中間語を処理対象として逆コンパイルを行うプログラム解析装置が、
    前記中間語から前記入力命令語を検出し、前記入力命令語に関する情報を前記入力命令語から抽出し、
    当該抽出した入力命令語に関する情報を命令情報テーブルに格納し、
    すべての前記入力命令語に関する情報を前記命令情報テーブルに格納した後、前記中間語において、前記入力命令語に続く前記命令語が前記演算命令語であるとみなし、前記演算命令語に関する情報を前記命令情報テーブルに格納し、
    すべての前記演算命令語に関する情報を前記命令情報テーブルに格納した後、前記中間語において、前記演算命令語に続く前記命令語が前記出力命令語であるとみなし、前記出力命令語に関する情報を前記出力命令語から抽出し、
    当該抽出した出力命令語に関する情報を前記命令情報テーブルに格納し、
    すべての前記入力命令語に関する情報を前記命令情報テーブルに格納した後、前記命令情報テーブルを基に、前記デバイス素子を生成する
    ことを特徴とするプログラム解析方法。
  8. 前記プログラム解析装置は、
    前記演算命令語の形式に関する情報と、前記演算命令語の形式に関する形式識別情報とが対応付けられるテンプレートテーブルが格納される記憶部を有し、
    前記プログラム解析装置が、
    前記テンプレートテーブルを参照して、処理対象となっている前記演算命令語の形式を判定し、当該演算命令語の形式に該当する形式識別情報を、前記演算命令語に関する情報として前記命令情報テーブルに格納する
    ことを特徴とする請求項7に記載のプログラム解析方法。
  9. 前記入力命令語に関する情報及び前記出力命令語に関する情報は、当該入力命令語及び当該出力命令語において使用されているパラメータに関する情報である
    ことを特徴とする請求項7に記載のプログラム解析方法。
  10. 前記パラメータに関する情報は、前記パラメータの読込方式又は書込方式を含み、さらに前記パラメータが格納されるアドレス値、及び前記パラメータのサイズに関する情報が前記パラメータに関する情報に含まれる
    ことを特徴とする請求項9に記載のプログラム解析方法。
  11. 前記プログラム解析装置は、
    前記入力命令語及び前記出力命令語の形式に関する情報であるパラメータテンプレートテーブルが格納されるとともに、前記演算命令語の形式に関する情報と、前記演算命令語の形式に関する形式識別情報とが対応付けられるテンプレートテーブルが格納される記憶部を有し、
    前記プログラム解析装置が、
    ラダー言語におけるシンボルに付随する文字列を、所定の書式に従って分解し、
    前記分解された文字列を基に、前記分解された文字列に関する情報を前記命令情報テーブルに格納し、
    前記命令情報テーブルと、前記パラメータテンプレートテーブルと、前記テンプレートテーブルと、を基に、前記入力命令語と、前記演算命令語と、前記出力命令語による前記中間語を出力することによる前記ラダー図のコンパイルを行う
    ことを特徴とする請求項7に記載のプログラム解析方法。
  12. 前記命令情報テーブルには、条件付実行命令語に関する情報が格納され、
    前記命令情報テーブルに前記条件付実行命令語に関する情報が格納される場合、前記プログラム解析装置が、当該条件付実行命令語に対応する命令語を前記中間語に付加する
    ことを特徴とする請求項11に記載のプログラム解析方法。
JP2013080472A 2013-04-08 2013-04-08 プログラム解析装置及びプログラム解析方法 Active JP6243619B2 (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2013080472A JP6243619B2 (ja) 2013-04-08 2013-04-08 プログラム解析装置及びプログラム解析方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2013080472A JP6243619B2 (ja) 2013-04-08 2013-04-08 プログラム解析装置及びプログラム解析方法

Publications (3)

Publication Number Publication Date
JP2014203343A JP2014203343A (ja) 2014-10-27
JP2014203343A5 true JP2014203343A5 (ja) 2016-04-28
JP6243619B2 JP6243619B2 (ja) 2017-12-06

Family

ID=52353711

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2013080472A Active JP6243619B2 (ja) 2013-04-08 2013-04-08 プログラム解析装置及びプログラム解析方法

Country Status (1)

Country Link
JP (1) JP6243619B2 (ja)

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2010204998A (ja) * 2009-03-04 2010-09-16 Koyo Electronics Ind Co Ltd 学習機能型プログラマブルコントローラ

Similar Documents

Publication Publication Date Title
GB2555544A9 (en) International multi-language implementation method of configuration software
JP2010009509A5 (ja)
RU2016133850A (ru) Определение задач в сообщениях
Prentice et al. Dynamic global vegetation models
JP2013533527A5 (ja)
JP2010128941A5 (ja)
GB2546912A (en) Emulating manual system of filing using electronic document and electronic file
JP2008287744A5 (ja)
JP2014192553A5 (ja)
CN103488627B8 (zh) 全篇专利文献翻译方法及翻译系统
JP2022141914A5 (ja)
JP2015041081A5 (ja)
JP2014203343A5 (ja)
JP2009059215A5 (ja)
JP2010182165A5 (ja)
Singh Decision Tree J48 at SemEval-2020 Task 9: Sentiment Analysis for Code-Mixed Social Media Text (Hinglish)
JP2013025456A5 (ja)
JP2017201450A5 (ja)
Zachrisson et al. Defining ecological restoration policy in Sweden
Taegi The Impacts of Trade Openness and Foreign Direct Investment on CO2 Emission in Vietnam
Mukuan Speaking Skills Improvement Through Storytelling Techniques Using Drawings AS The Media
Ebbesson et al. Criteria for social software implementation in Living Labs
Resmini Ghost in the Shell: Navigation, meaning and place-making in information space
Guerrero et al. Arguing through the well-founded semantics: an argumentation engine
Bolander et al. of host publication: Proceedings of the 5th International Workshop on Logic, Rationality, and Interaction (LORI 2015)