IPC분류정보
국가/구분 |
United States(US) Patent
등록
|
국제특허분류(IPC7판) |
|
출원번호 |
US-0725936
(1991-06-27)
|
발명자
/ 주소 |
- Marmelstein Robert E. (Huber Height OH)
|
출원인 / 주소 |
- The United States of America as represented by the Secretary of the Air Force (Washington DC 06)
|
인용정보 |
피인용 횟수 :
115 인용 특허 :
0 |
초록
▼
The Avionics Program Expert (APEX) is an automatic code generation tool for the Ada programming language (MIL-STD 1815A). It provides the programmer using APEX with the ability to quickly create a graphical representation of his initial program design. The graphical representation used by APEX is ak
The Avionics Program Expert (APEX) is an automatic code generation tool for the Ada programming language (MIL-STD 1815A). It provides the programmer using APEX with the ability to quickly create a graphical representation of his initial program design. The graphical representation used by APEX is akin to a flowchart, but the interactive capabilities of the tool make design creation much faster and more efficient. Once the programmer has created his complete (or even partial) representation of a program, Ada code can then be generated with (from) APEX. The APEX program representation provides the user with three different, yet consistent, views of his program. The first view allows the programmer to lay out his initial Ada package specifications; this view is called the APEX view. A second view allows the programmer to create and manipulate complex data structures and define local variables; this view is the Data Structure view. The last view allows the programmer to define the control flow of his specific subprogram; this view is called the REM-Net view. APEX has been implanted on two host platforms; these are a Symbolics 3600 Lisp Machine and a Sun 3/XXX Workstation.
대표청구항
▼
A method of automatic code generation for the Ada programming language, which provides a User with the ability to quickly create a graphical representation of an initial program design, the graphical representation being in a form from which the Ada code is generated and then compiled; wherein the r
A method of automatic code generation for the Ada programming language, which provides a User with the ability to quickly create a graphical representation of an initial program design, the graphical representation being in a form from which the Ada code is generated and then compiled; wherein the representation provides a User with a plurality of different but consistent views of an Ada program, with graphic symbols representing objects defined as entities including constants and variables having values, wherein the objects include packages, operations, data types, states, slots, events and connections as defined for the Ada language, and wherein operations comprise tasks, procedures and functions; wherein said method comprises the steps: using a first editor for providing a first view wherein the User defines an initial Ada package specification, using a combination of graphical means and text, using a second editor for providing a second view with which the User creates and manipulates complex data structures and defines local variables, data structures and local variables being used in the Ada program, and using a third editor for providing a third view with which the User defines the control flow of a specific subprogram; and using first, second and third event handlers for the first, second and third editors respectively; using the first editor and first event handler to create, select, edit and delete graphic symbols, including graphic symbols representing packages, and to create connections between graphic symbols which correspond to Ada with and use statements, and to create package operations and data structures, inserting graphic symbols into the data of the common data base, and updating data in a common data base for objects which have been edited and not deleted; using the third editor and third event handler to create, select, edit and delete graphic symbols representing states, events, slots and transitions, wherein states represent actions or sequences of actions including procedure calls, function calls, code blocks, raise exception statements, and rendezvous statements, wherein events represent Ada select or accept statements, wherein slots represent paths of communication between tasks, and wherein transitions describe conditions whereby control is passed to another state, wherein transitions between states include while statements, for/in statements, loops, and unconditional flow of control, and updating data in the common data base for objects which have been edited and not deleted; using the second editor and second event handler to create, select, edit and delete graphic symbols representing the data structure, and updating data in the common data base for objects which have been edited and not deleted; entering a “generate Ada”command with the first editor to initiate Ada source code generation for the Ada packages defined for the Ada program, using templates which are generic structure types having a plurality of data members, there being a template for each type of object, Ada code being generated in the system by declaring specific data structures of the template types with allocation of memory, traversing said common database, extracting relevant information needed to produce the Ada code from each object in the common database and inserting the relevant information into members of the specific data structures, and executing a print function with the data members of the templates as parameters.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.