KR100279731B1 - 칠 언어에 대한 제어 흐름 표시방법 - Google Patents
칠 언어에 대한 제어 흐름 표시방법 Download PDFInfo
- Publication number
- KR100279731B1 KR100279731B1 KR1019970065708A KR19970065708A KR100279731B1 KR 100279731 B1 KR100279731 B1 KR 100279731B1 KR 1019970065708 A KR1019970065708 A KR 1019970065708A KR 19970065708 A KR19970065708 A KR 19970065708A KR 100279731 B1 KR100279731 B1 KR 100279731B1
- Authority
- KR
- South Korea
- Prior art keywords
- node
- information
- program
- null
- control flow
- 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.)
- Expired - Fee Related
Links
- 238000000034 method Methods 0.000 claims abstract description 28
- 238000007373 indentation Methods 0.000 claims abstract description 12
- 238000005206 flow analysis Methods 0.000 abstract description 2
- 238000010586 diagram Methods 0.000 description 3
- 238000004458 analytical method Methods 0.000 description 2
- 238000003745 diagnosis Methods 0.000 description 2
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- NHDHVHZZCFYRSB-UHFFFAOYSA-N pyriproxyfen Chemical compound C=1C=CC=NC=1OC(C)COC(C=C1)=CC=C1OC1=CC=CC=C1 NHDHVHZZCFYRSB-UHFFFAOYSA-N 0.000 description 1
- 230000003068 static effect Effects 0.000 description 1
- 230000000007 visual effect Effects 0.000 description 1
Images
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
- Computing Systems (AREA)
Abstract
Description
Claims (5)
- 교환기용 소프트웨어를 프로그램 하는 칠(CHILL) 언어에 대한 프로그램 실행 순서를 분석하기 위한 제어 흐름의 표시방법에 있어서,20개의 단위 프로그램 탐색이 완료되었는가의 여부를 판단하는 제 1 과정과;상기 제 1 과정에서 완료되지 않은 경우 한 개의 단위 프로그램 정보를 읽는 제 2 과정과;상기 제 2 과정에서 읽은 단위 프로그램과 연관된 추상 구문 트리를 순회하면서 추상 구문 트리를 구성하는 단위 프로그램 내의 모듈리언과 블록의 정보를 탐색하여 연결 리스트에 저장하는 제 3 과정과;상기 제 3 과정에서 탐색된 모듈리언과 블록내 실행문중 제어에 영향을 주는 요소들만 탐색하여 그 정보를 연결 리스트에 저장하고, 제 1 과정으로 귀환하여 상기 과정들을 반복하여 수행하는 제 4 과정과;상기 제 1 과정에서 20개의 단위 프로그램 탐색이 완료된 경우, 각 노드에 대한 인덴트 값을 설정하는 제 5 과정과;상기 제 5 과정에서 인덴트 값이 설정된 각 노드를 차례대로 읽고 프로그램의 제어 흐름 구조 정보를 시각적으로 인덴테이션 하여 리스트 형식으로 출력하는 제 6 과정을 포함하는 것을 특징으로 하는 칠 언어에 대한 제어 흐름 표시방법.
- 제 1 항에 있어서,상기 제 3 과정은, 추상 구문 트리를 처음부터 검색하여 각 노드의 노드 종류가 모듈리언과 블록인지를 검사하여 현재 노드에 대한 그룹명을 정의하는 제 1 단계와;상기 제 1 단계의 현재 노드의 시작 포인트에 대한 정보를 연결 리스트로 구성할 노드를 생성하여 저장하고, 그 포인트를 연결 리스트에 삽입하는 제 2 단계와;마지막 포인트에 대한 정보를 연결 리스트로 구성할 노드를 생성하여 연결 리스트에 삽입하는 제 3 단계를 포함하는 것을 특징으로 하는 칠 언어에 대한 제어 흐름 표시방법.
- 제 1 항에 있어서,상기 제 4 과정은, 노드 엔트리가 널인가의 여부를 판단하여, 널일 경우에는 종료하는 제 1 단계와;상기 제 1 단계에서 널이 아닐 경우 노드 엔트리가 넌터미널인가의 여부를 판단하는 제 2 단계와;상기 제 2 단계에서 넌터미널일 경우 제어에 영향을 주는 요소들만을 탐색하고, 엔트리에 대한 노드를 생성하여 연결 리스트에 삽입하는 제 3 단계와;상기 제 3 단계를 수행한 후, 또는 상기 제 2 단계에서 노드 엔트리가 넌터미널이 아닐 경우 형제 엔트리로 포인트를 재설정하여 추상 구문 트리상의 형제 노드들을 차례로 탐색하면서 나머지 실행에 영향을 주는 노드를 탐색하고, 상기 제 1 단계로 귀환하여 노드 엔트리가 널이 될 때까지 상기 단계들을 반복하는 제 4 단계를 포함하는 것을 특징으로 하는 칠 언어에 대한 제어 흐름 표시방법.
- 제 1 항에 있어서,상기 제 5 과정은, 연결 리스트에서 현재 노드와 현재 노드에 대한 깊이 정보를 탐색하는 제 1 단계와;상기 제 1 단계에서 탐색된 현재 노드가 단일 제어문인가의 여부를 판단하는 제 2 단계와;상기 제 2 단계에서 단일 제어문일 경우 기본적인 형태의 인덴트 처리를 하는 제 3 단계와;상기 제 2 단계에서 단일 제어문이 아닐 경우(즉, 다중 제어문일 경우) 특수한 형태의 인덴트 처리를 하는 제 4 단계를 포함하는 것을 특징으로 하는 칠 언어에 대한 제어 흐름 표시방법.
- 제 1 항에 있어서,상기 제 5 과정은, 연결 리스트가 널인가의 여부를 판단하여 널일 경우에는 종료하는 제 1 단계와;상기 제 1 단계에서 널이 아닐 경우에는 모듈리언, 블록 그리고 제어에 영향을 주는 실행문들의 정보로 구성된 연결 리스트의 각 노드를 차례대로 읽고, 읽은 노드의 인덴트 값에 따라서 인덴테이션하여 각 노드들간의 내포 관계를 시각적으로 출력하고, 다시 상기 제 1 단계로 귀환하여 연결 리스트가 널일때까지 반복하여 수행하는 제 2 단계를 포함하는 것을 특징으로 하는 칠 언어에 대한 제어 흐름 표시방법.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
KR1019970065708A KR100279731B1 (ko) | 1997-12-03 | 1997-12-03 | 칠 언어에 대한 제어 흐름 표시방법 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
KR1019970065708A KR100279731B1 (ko) | 1997-12-03 | 1997-12-03 | 칠 언어에 대한 제어 흐름 표시방법 |
Publications (2)
Publication Number | Publication Date |
---|---|
KR19990047347A KR19990047347A (ko) | 1999-07-05 |
KR100279731B1 true KR100279731B1 (ko) | 2001-02-01 |
Family
ID=66095481
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
KR1019970065708A Expired - Fee Related KR100279731B1 (ko) | 1997-12-03 | 1997-12-03 | 칠 언어에 대한 제어 흐름 표시방법 |
Country Status (1)
Country | Link |
---|---|
KR (1) | KR100279731B1 (ko) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR100692172B1 (ko) | 2005-03-30 | 2007-03-12 | 아이티플러스 주식회사 | 종합 문자열 분석기 및 그 분석 방법 |
-
1997
- 1997-12-03 KR KR1019970065708A patent/KR100279731B1/ko not_active Expired - Fee Related
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR100692172B1 (ko) | 2005-03-30 | 2007-03-12 | 아이티플러스 주식회사 | 종합 문자열 분석기 및 그 분석 방법 |
Also Published As
Publication number | Publication date |
---|---|
KR19990047347A (ko) | 1999-07-05 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
AU2003231305B2 (en) | System and method for transformation of XML documents using stylesheets | |
EP0643851B1 (en) | Debugger program which includes correlation of computer program source code with optimized objet code | |
US6353925B1 (en) | System and method for lexing and parsing program annotations | |
US7308680B2 (en) | Intermediate representation for multiple exception handling models | |
EP0406602B1 (en) | Method and apparatus for debugging parallel programs by serialization | |
US5276880A (en) | Method for parsing and representing multi-versioned computer programs, for simultaneous and synchronous processing of the plural parses | |
JPS61103247A (ja) | 翻訳プログラム作成システム | |
US20150128114A1 (en) | Parser | |
US20080320031A1 (en) | Method and device for analyzing an expression to evaluate | |
US7313785B2 (en) | Method and system for generating executable code for formatting and printing complex data structures | |
US5822592A (en) | Method and system for determining source code location | |
KR100279731B1 (ko) | 칠 언어에 대한 제어 흐름 표시방법 | |
JPH0736680A (ja) | 並列化プログラム開発支援装置 | |
Bülow | Proof visualization for the lean 4 theorem prover | |
Oorschot | VCLLVM: A Transformation Tool for LLVM IR programs to aid Deductive Verification | |
CN120030083B (en) | Document visualization method and device based on GQL grammar of graph database | |
JPH09288580A (ja) | ソースプログラムの最適化装置および最適化方法 | |
Mennicken | Locating and presenting lexical references in a theorem prover | |
Elgh | Bridging of complex data structures between xtUML domains | |
KR100276086B1 (ko) | 로토스 명세로부터 씨 플러스 플러스 코드 생성방법 | |
JPH05108372A (ja) | コンパイラ最適化処理内容の出力方式 | |
Maris | FORTRAN 90 Programming Guidelines for PLANCK/LFI | |
Palanisamy | Extended Metamodelica Based Integrated Copiler Generator | |
Weijnitz et al. | Uppsala Chart Parser Light Improving Efficiency in a Chart Parser | |
Sawamiphakdi | A multiprocess design for an integrated programming environment |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A201 | Request for examination | ||
PA0109 | Patent application |
Patent event code: PA01091R01D Comment text: Patent Application Patent event date: 19971203 |
|
PA0201 | Request for examination |
Patent event code: PA02012R01D Patent event date: 19971203 Comment text: Request for Examination of Application |
|
PG1501 | Laying open of application | ||
E701 | Decision to grant or registration of patent right | ||
PE0701 | Decision of registration |
Patent event code: PE07011S01D Comment text: Decision to Grant Registration Patent event date: 20000823 |
|
GRNT | Written decision to grant | ||
PR0701 | Registration of establishment |
Comment text: Registration of Establishment Patent event date: 20001103 Patent event code: PR07011E01D |
|
PR1002 | Payment of registration fee |
Payment date: 20001104 End annual number: 3 Start annual number: 1 |
|
PG1601 | Publication of registration | ||
PR1001 | Payment of annual fee |
Payment date: 20031030 Start annual number: 4 End annual number: 4 |
|
FPAY | Annual fee payment |
Payment date: 20041101 Year of fee payment: 5 |
|
PR1001 | Payment of annual fee |
Payment date: 20041101 Start annual number: 5 End annual number: 5 |
|
LAPS | Lapse due to unpaid annual fee | ||
PC1903 | Unpaid annual fee |