US 6,237,139 B1Grant
Object-oriented programming support system
Issue Date:2001-05-22
•77 Claims
•23 Drawing Sheets
Abstract
A support system of object oriented programming includes a syntax analysis unit supplied with an object-oriented program and analyzing the same, a storage unit for storing convention information that describes a convention of the program, a collation unit for collating a result of analysis of the syntax analysis unit to the convention information held in the storage unit as to whether or not the result of analysis is in conformity with the convention, and a normalization unit for outputting a corrected program of the object-oriented program such that the corrected program is in conformity with the convention, when the result of analysis is in conflict with the convention.
Metadata
Assignee
- Fujitsu Limited
Inventors
- Yuuji Hotta
- Shigeki Suguta
Application Information
Application Number:US 09/046,557
Filing Date:1998-03-24
Priority Date:1997-09-03
Art Unit:7
Classifications
IPC:
G06F 945
Field of Search:
395704395705395708717 4717 5717 7717 8702 9702119702123703 23714 16
Patent Drawings (23 sheets)
Description
BACKGROUND OF THE INVENTION
[0002] The present invention generally relates to the art of object-oriented programming and more particularly to an object-oriented programming support system for improving productivity of object-oriented programming and program development.
[0003] Program languages are used in computers for formulating a processing to be carried out by the computer. Among others, C and C++ languages are used extensively these days, wherein the C++ language is particularly useful for describing an object-oriented program.
[0004] When developing a program, a newly created program is subjected to a compiling process for converting the program to a form ready for execution by a computer, wherein an error message is issued when there is an error in the compiled program. An error message generally includes information such as the location of the error in the program and a brief explanation on the grammar that caused the error. Thus, the programmer has to verify the program based on the error message for necessary correction.
[0005] However, such conventional error messages have been insufficient as a guidance of error correction for programmers, and the error correction has remained a tedious procedure for a programmer. In object-oriented programs, in particular, there can be a case in which the program includes no grammatical error in spite of the fact that the program contains inadequate description. In such a case, no error message is issued at all. Thus, the inadequate part remains in the program as a bug until it is noticed by an unexpected behavior of the computer system.
SUMMARY OF THE INVENTION
[0006] Accordingly, it is a general object of the present invention to provide a support system of object-oriented programming wherein the foregoing problems are eliminated.
[0007] Another object of the present invention is to provide a support system of object-oriented programming wherein the support system analyzes an object-oriented program and checks for the result of the analysis by using convention information that describes the convention of the object-oriented program. The support system thereby points out the part of the program where the convention is violated as an error and proposes an example program in which the error is corrected.
[0008] Another object of the present invention is to provide a support system of object oriented programming, comprising:
[0009] a syntax analysis unit supplied with an object-oriented program and analyzing said object-oriented program;
[0010] a storage unit for storing convention information that describes a convention of said program;
[0011] a collation unit for collating a result of analysis of said syntax analysis unit to said convention information held in said storage unit; and
[0012] a normalization unit for outputting a corrected program of said object-oriented program based on a result of a collation in said collation unit.
[0013] Another object of the present invention is to provide a computer specially configured by executing program code stored on a computer-usable media for supporting object oriented programming, said program code comprising:
[0014] computer-readable syntax analysis means supplied with an object-oriented program code for analyzing said object-oriented program code;
[0015] computer-readable collation means for collating a result of analysis of said syntax analysis means to a convention information held in a storage unit as to whether or not said result of analysis is in conformity with said convention; and
[0016] computer-readable normalization means for outputting a corrected program of said object-oriented program such that said corrected program is in conformity with said convention, when said result of analysis is in conflict with said convention.
[0017] Another object of the present invention is to provide a processor-readable medium storing program code for supporting object oriented programming, said program code comprising:
[0018] computer-readable syntax analysis means supplied with an object-oriented program code for analyzing said object-oriented program code;
[0019] computer-readable collation means for collating a result of analysis of said syntax analysis means to a convention information held in a storage unit as to whether or not said result of analysis is in conformity with said convention; and
[0020] computer-readable normalization means for outputting a corrected program of said object-oriented program such that said corrected program is in conformity with said convention, when said result of analysis is in conflict with said convention.
[0021] Another object of the present invention is to provide a computer-readable storage medium storing a process for supporting object oriented programming, said process comprises the steps of:
[0022] analyzing an object-oriented program code;
[0023] collating a result of the analyzing step to a convention information held in a storage unit as to whether or not said result of the analyzing step is in conformity with said convention; and
[0024] outputting a corrected program of said object-oriented program such that said corrected program is in conformity with said convention, when said result of the analyzing step is in conflict with said convention.
[0025] Another object of the present invention is to provide a computer-implemented method of supporting object oriented programming, said method comprising the steps of:
[0026] analyzing an object-oriented program code;
[0027] collating a result of said analyzing step to a convention information held in a storage unit as to whether or not said result of the analyzing step is in conformity with said convention; and
[0028] outputting a corrected program of said object-oriented program such that said corrected program is in conformity with said convention, when said result of the analyzing step is in conflict with said convention.
[0029] According to the present invention, a created object-oriented program is checked for the conventions by using the convention information held in the storage unit for any violation of the conventions. When there is a violation of the convention, the support system of the present invention proposes a corrected program.
[0030] Other objects and further features of the present invention will become apparent from the following detailed description when read in conjunction with the attache drawings.
BRIEF DESCRIPTION OF THE DRAWINGS
[0031] FIG. 1 is a block diagram explaining a general constitution of a programming support system of the present invention;
[0032] FIGS. 2A and 2B are diagrams explaining a syntax analysis used in the present invention;
[0033] FIGS. 3A-3C are diagrams explaining convention information used in the present invention;
[0034] FIG. 4 is a flowchart showing the process conducted by the system of FIG. 1 according to a first embodiment of the present invention;
[0035] FIGS. 5A and 5B are diagrams explaining the process of FIG. 4;
[0036] FIGS. 6A-6D are diagrams explaining a process according to a second embodiment of the present invention;
[0037] FIGS. 7A-7D are diagrams explaining a process according to a third embodiment of the present invention;
[0038] FIGS. 8A-8D are diagrams explaining a process according to a fourth embodiment of the present invention;
[0039] FIGS. 9A-9D are diagrams explaining a process according to a fifth embodiment of the present invention;
[0040] FIGS. 10A-10D are diagrams explaining a process according to a sixth embodiment of the present invention;
[0041] FIGS. 11A-11D are diagrams explaining a process according to a seventh embodiment of the present invention;
[0042] FIGS. 12A-12D are diagrams explaining a process according to an eighth embodiment of the present invention;
[0043] FIGS. 13A-13D are diagrams explaining a process according to a ninth embodiment of the present invention;
[0044] FIGS. 14A-14D are diagrams explaining a process according to a tenth embodiment of the present invention;
[0045] FIGS. 15A-15D are diagrams explaining a process according to an eleventh embodiment of the present invention;
[0046] FIGS. 16A-16D are diagrams explaining a process according to a twelfth embodiment of the present invention;
[0047] FIGS. 17A-17D are diagrams explaining a process according to a thirteenth embodiment of the present invention;
[0048] FIGS. 18A-18D are diagrams explaining a process according to a fourteenth embodiment of the present invention;
[0049] FIGS. 19A-19D are diagrams explaining a process according to a fifteenth embodiment of the present invention;
[0050] FIGS. 20A-20D are diagrams explaining a process according to a sixteenth embodiment of the present invention;
[0051] FIGS. 21A-21D are diagrams explaining a process according to a seventeenth embodiment of the present invention;
[0052] FIGS. 22A-22D are diagrams explaining a process according to an eighteenth embodiment of the present invention; and
[0053] FIG. 23 is a diagram showing the hardware construction of the system of FIG. 1.
DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS
[First Embodiment]
[0054] FIG. 1 shows the overall construction of an object-oriented programming support system according to a first embodiment of the present invention.
[0055] Referring to FIG. 1, the support system includes a syntax analysis unit 2 supplied with an object-oriented program 1 for analyzing a syntax thereof. Further, the support system includes a storage unit 8 holding therein syntax analysis information 3 created by the syntax analysis unit 2 as a result of the syntax analysis of the object-oriented program 1 and also convention information 4, and a collation unit 5 compares the syntax analysis information 3 held in the storage unit 8 with the convention information 4. Further, a normalization unit 6 normalizes the result of comparison obtained by the collation unit 5 and creates a proposed program in which any conflict to the convention information 4 is resolved. Further, the support system includes an output unit 7 for outputting the proposed program.
[0056] More in detail, the syntax analysis unit 2 detects, when the program 1 is given, various information such as the name or type of the classes or data members of the classes included in the program 1 and further the information such as parameter type or return information for each of the member functions. Further, the syntax analysis unit 2 detects the information such as operators in the class, equations for conducting a memory operation of objects, inheritance between the classes, and further the information of global variables, wherein the information thus detected are assembled to form the syntax analysis information 3.
[0057] Based on the syntax analysis information 3 thus formed, the collation unit 5 compares the part of the program 1 in which a code convention is described with the convention information 4, and the collation unit 5 transfers the part in which the convention is violated to the output unit 7. Further, the normalization unit 6 is used to normalize or modify the program information included in the syntax information 3 in compliance with the convention information 4, to create a proposed program. The proposed program is forwarded to the output unit 7.
[0058] Hereinafter, the syntax analysis information 3 produced by the syntax analysis unit 2 will be explained with reference to FIG. 2B showing the result of the syntax analysis for an example program of FIG. 2A which is described by the C++ language.
[0059] Referring to FIG. 2B, the syntax analysis information 3 indicative of the result of the syntax analysis of the unit 2 includes various information such as global information (GLOBAL INFO), class definition information (CLASS DEF INFO), function definition list (FUNC DEF INFO), equation information (EQ INFO), member definition table (MEMBER DEF TABLE), definition function list (DEF FUNC LIST), data definition information (DATA DEF INFO), and the like.
[0060] The global information includes the designation of classes, functions, variables, and the like, and further the definition information of these. In the case of a class, for example, a member definition table and a base class list are included as the class definition information. The member definition table, on the other hand, includes definition information for each of the member types, wherein the member types may includes a member function (corresponds to a procedure) and a data member (corresponds to a data structure), wherein the member function and the data member form a struct. It should be noted that the definition information of the member function may include a function definition list, while a function definition list may include call type information, return code return-back information, and the like. Further, the data member includes a type or pointer as the data definition information.
[0061] The base class list includes, on the other hand, the access type or access class as the base class information. For example, the access type “private” indicates that the access to the class is possible only from the objects of the same class, while the access type “public” indicates that the access from the objects of other classes is also possible. Further, the function definition list includes the information of call type and equation, wherein the equation information includes the information of actual equations.
[0062] FIG. 3A shows the structure of the convention information 4.
[0063] Referring to FIG. 3A, the convention information is stored in the storage unit 8 as a convention structure that defines a convention index and a corresponding process. For example, it can be seen that a process index of the process “p34” is defined in correspondence to a convention index “public T1 V1” in the example of FIG. 3A.
[0064] Thus, the normalization unit 6 carries out the normalization processing by describing the content of the processing corresponding to the foregoing process index as indicated in FIG. 3B and executing the described processing when the processing index is given.
[0065] The collation unit 5, on the other hand, extracts the necessary information from the syntax analysis information 3 and converts the same into a convention form as indicated in FIG. 3C.
[0066] Referring to FIG. 3C showing an example of the convention information, the convention information includes global or top level information such as class information or global variable information. These are called convention items, wherein each of the convention items includes one or more conventions. In the case of a class, there is a convention generally applicable to classes. The convention includes an internal convention for the data members, member functions, and the like. It should be noted that the convention describes the processing for normalizing the analysis information.
[0067] FIG. 4 shows the operation of the collation unit 5 corresponding to FIG. 5 showing an example of the input program and the result of the syntax analysis of the input program.
[0068] Referring FIG. 4, the process of the collation unit 5 starts with a step S1 by reading the analysis information and proceeds further to the next step S2 in which a discrimination is made whether or not there exists the analysis information. In the illustrated example of FIG. 5, the process is thus started for a class “Box” based on the global information.
[0069] Next, in the step S3, a discrimination is made whether or not there is a convention corresponding to the analysis information. Generally, a class or a function has a corresponding conversion processing that converts the analysis information to a convention form. In the case of the analysis information for the class “Box” of FIG. 5, a discrimination is made as to whether or not there exists a processing corresponding to the class in the step S3, and if the result is YES, the corresponding processing is stored in a memory.
[0070] Next, the collation unit 5 collects necessary information for conversion in the step S4. In the example of FIG. 5, the conversion to the convention form is conducted by collecting the information necessary for the conversion of the analysis information to the convention form (convention index), starting from the class definition information for the class “Box.” The collation unit 5 then converts the analysis information to the corresponding convention form in the next step S5, wherein the convention index information is created in the step S5.
[0071] Further, in the step S6, the collation unit 5 converts the analysis information pertinent to the class such as “value_t” or “value_x” to more general representation form such as “T1” or “v1,” wherein the generic representation form thus obtained is saved in the step S6. Next, in the step S7, the convention collation unit 5 collates the information in the convention structure with the convention index and extracts the corresponding normalization process. Further, the convention collation unit 5 extracts the content of the process in the step S8 by collating with the extracted process index. Further, the analysis information normalization unit 6 is activated in the step S9 in which a normalized program (corrected program example) is created by executing the content of the processing. Finally, the normalized program is outputted from the output unit 7 in the step S10.
[0072] Hereinafter, various other features of the present invention will be described.
[Second Embodiment]
[0073] According to a second embodiment of the present invention, a conversion of analysis information to a corresponding convention form is conducted and the convention information for the global variables is extracted as a result of the collation to the convention. As there is a convention that global variables should be gathered to form a single struct, a correction program is prepared if it is necessary. The following is an example of the processing of the second embodiment.
[Input Example]
[0074] The following is an example of the input.
[0075] int item_number=100;
[0076] int proc( )
[0077] {
[0078] int num=item_number;
[0079] . . .
[0080] }
[Analysis Information]
[0081] The following information is extracted from the analysis information. See FIG. 6A.
[Convention Form of Analysis Information]
[0082] The result of the analysis is converted to the following convention form. See FIG. 6B.
[Convention Structure]
[0083] A search is made on the convention and the following convention structure is extracted. See FIG. 6C.
[Normalization Processing]
[0084] The processing is extracted and executed. See FIG. 6D.
[Output Example]
[0085] The following is an example of the output.
[0086] struct Global {
[0087] static int item_number;
[0088] };
[0089] int Global::item_number=100;
[0090] int proc( )
[0091] {
[0092] int index=Global::item_number;
[0093] . . .
[0094] }
[0095] The above processing is summarized as follows.
[0096] The convention “global T1 v1” is acquired from the convention structure, and the variable information “item_number” is acquired from the global information. As the variable definition information indicates that this is a global variable, the foregoing convention of the global variable is applied to the variable by conducting the normalization process of FIG. 6D. Thereby all the global variables are gathered to form a struct.
[Third Embodiment]
[0097] According to a third embodiment of the present invention, a conversion of analysis information to a corresponding convention form is conducted and the convention information for creating an object array is extracted as a result of the collation to the convention. As there is a convention that an object array should be created according to the process “new,” a correction program is prepared if it is necessary. The following is an example of the processing of the third embodiment.
[Input Example]
[0098] The following is an example of the input.
[0099] Box*b=(Box*)malloc(sizeof(Box)*max);
[Analysis Information]
[0100] The following information is extracted from the analysis information. See FIG. 7A.
[0101] Equation . . .
[0102] Box*b=(Box*)malloc(sizeof(Box)*max) . . .
[Convention Form of Analysis Information]
[0103] The result of the analysis is converted to the following convention form. See FIG. 7B.
[Convention Structure]
[0104] A search is made on the convention and the following convention structure is extracted. See FIG. 7C.
[Normalization Processing]
[0105] The processing is extracted and executed. See FIG. 7D.
[Output Example]
[0106] The following is an output example.
[0107] Box*b=new Box[max];
[0108] Summarizing above, the convention “T1*v1=(T1*)malloc(sizeof(T1)*v2)” is acquired from the convention structure and the function name A is acquired from the global information. From the function definition information, it is known that there exists an equation Box*b=(Box*)malloc(sizeof(Box)*max). Thus, the foregoing convention for the object array creation is applied to the equation, by conducting the normalization process of FIG. 7D.
[Fourth Embodiment]
[0109] According to a fourth embodiment of the present invention, a conversion of analysis information to the corresponding convention form is conducted and the convention information for destruction of object array is extracted as a result of the collation to the convention. As there is a convention that the destruction of an object array should be achieved by using “delete [ ],” a correction program is prepared if it is necessary. The following is an example of the processing of the fourth embodiment.
[Input Example]
[0110] The following is an example of the input.
[0111] X*p=new X[n]
[0112] delete p;
[Analysis Information]
[0113] The following information in the analysis information is used. See FIG. 8A.
[Convention Form of Analysis Information]
[0114] The result of the analysis is converted to the following convention form. See FIG. 8B.
[Convention Structure]
[0115] A search is made on the convention and the following convention structure is extracted. See FIG. 8C.
[Normalization Processing]
[0116] The processing is extracted and executed. See FIG. 8D.
[Output Example]
[0117] The following is an example of the output.
[0118] X*p=new X[n];
[0119] delete [ ]p;
[0120] Summarizing above, the convention “delete v1 new T1[v2]” is acquired from the convention structure and the function name A is acquired from the global information. From the function definition information, it is known that there exist equations “delete p” and “X*p=new X[n]”. Thus, the foregoing equations are used for the convention for the destruction of the object array, by conducting the normalization process of FIG. 8D.
[Fifth Embodiment]
[0121] According to a fifth embodiment of the present invention, a conversion of analysis information to a convention form is conducted and the convention information for initializing an object is extracted as a result of the collation to the convention. As there is a convention that the initialization of an object should be achieved by using a constructor, a correction program is prepared if it is necessary. The following is an example of the processing of the fifth embodiment.
[Input Example]
[0122] The following is an example of the input.
[0123] T*p;
[0124] p=(T*)malloc(sizeof(T));
[0125] memset(p,0,sizeof(T));
[Analysis Information]
[0126] The following information in the analysis information is used. See FIG. 9A.
[0127] equation . . .
[0128] memset(b, 0, sizeof(Box)) . . .
[Convention Form of Analysis Information]
[0129] The result of the analysis is converted to the following convention form. See FIG. 9B.
[Convention Structure]
[0130] A search is made on the convention and the following convention structure is extracted. See FIG. 9C.
[Normalization Processing]
[0131] The processing is extracted and executed. See FIG. 9D.
[Output Example]
[0132] The following is an example of the output.
[0133] class T {
[0134] public:
[0135] T( ){ . . }
[0136] };
[0137] . .
[0138] T*p;
[0139] p=new T( );
[0140] . .
[0141] Summarizing above, the convention “memset(v1, v2, sizeof(T1))” is acquired from the convention structure and the function name A is acquired from the global information. From the function definition information, it is known that there exist equations “memset(p, 0, sizeof(T)) and T*p=(T*)malloc(sizeof(T)). Thus, the foregoing equations are used for the initialization of the object, by conducting the process of FIG. 9D.
[Sixth Embodiment]
[0142] According to a sixth embodiment of the present invention, a conversion of analysis information to a convention form is conducted and the convention information for copying an object is extracted as a result of the collation to the convention. As there is a convention in the copying of objects that the copying of an object should be conducted by using a copy constructor, a correction program is prepared if it is necessary. The following is an example of the processing of the sixth embodiment.
[Input Example]
[0143] The following is an example of the input.
[0144] class Box {
[0145] public;
[0146] . .
[0147] };
[0148] . .
[0149] Box*src, *dst;
[0150] src=new Box( );
[0151] dst=new Box( );
[0152] . .
[0153] memcpy(dst, src, sizeof(Box));
[Analysis Information]
[0154] The following information in the analysis information is used. See FIG. 10A.
[0155] equation . . .
[0156] memcpy(dst, src, sizeof(Box)); . . .
[Convention Form of Analysis Information]
[0157] The result of the analysis is converted to the following convention form. See FIG. 10B.
[Convention Structure]
[0158] A search is made on the convention and the following convention structure is extracted. See FIG. 10C.
[Normalization Processing]
[0159] The processing is extracted and executed. See FIG. 10D.
[Output Example]
[0160] The following is an example of the output.
[0161] class Box {
[0162] public:
[0163] Box(const Box &b) { . . }
[0164] . .
[0165] };
[0166] . .
[0167] Box *src, *dst;
[0168] src=new Box( );
[0169] . .
[0170] dst =new Box(*src);
[0171] Summarizing above, the convention “memcpy v1 v2 size T1” is acquired from the convention structure and the function name A is acquired from the global information. From the function definition information, it is known that there exist equations “memcpy(dst, src, sizeof(Box)), Box *src, and *dst. Thus, the foregoing convention of copying the object is applied to the equations, by conducting the process of FIG. 10D.
[Seventh Embodiment]
[0172] According to a seventh embodiment of the present invention, a conversion of analysis information to the convention form is conducted and the convention information for calling a parameter is extracted as a result of the collation to the convention. As there is a convention in the process of calling a parameter that the calling should be conducted by reference (call by reference), a correction program is prepared if it is necessary. The following is an example of the processing of the seventh embodiment.
[Input Example]
[0173] The following is an example of the input.
[0174] T data;
[0175] func(data);
[0176] void func(T d)
[0177] {;
[Analysis Information]
[0178] The following information in the analysis information is used. See FIG. 11A.
[Convention Form of Analysis Information]
[0179] The result of the analysis is converted to the following convention form. See FIG. 11B.
[Convention Structure]
[0180] A search is made on the convention and the following convention structure is extracted. See FIG. 11C.
[Normalization Processing]
[0181] The processing is extracted and executed. See FIG. 11D.
[Output Example]
[0182] The following is an example of the output.
[0183] T data
[0184] func(data);
[0185] void func(T &d)
[0186] {
[0187] Summarizing above, the convention “Func Param T1 v1” is acquired from the convention structure and the function name A is acquired from the global information. From the function definition information, it is known that there exists an equation “func(data),” indicating that a call is made by using the variable “data.” Thus, the variable name information of “data” is obtained from the global information, and it is confirmed from the variable definition information that “data” is not a pointer. Thereby, the foregoing convention is applied to the process of calling a parameter, by conducting the normalization process of FIG. 11D.
[Eighth Embodiment]
[0188] According to an eighth embodiment of the present invention, a conversion of analysis information to the convention form is conducted and the convention information for access control is extracted as a result of the collation to the convention. As there is a convention in the access control that the data members accessing an object have to be “private,” a correction program is prepared if it is necessary. The following is an example of the processing of the eighth embodiment.
[Input Example]
[0189] The following is an example of the input.
[0190] class T {
[0191] public:
[0192] C*get_data( ) {return data;}
[0193] private:
[0194] C*data;
[0195] };
[0196] T*t=new T( );
[0197] C*d;
[0198] d=t.get_data( );
[Analysis Information]
[0199] The following information in the analysis information is used. See FIG. 13A.
[Convention Form of Analysis Information]
[0200] The result of the analysis is converted to the following convention form. See FIG. 13B.
[Convention Structure]
[0201] A search is made on the convention and the following convention structure is extracted. See FIG. 13C.
[Normalization Processing]
[0202] The processing is extracted and executed. See FIG. 13D.
[Output Example]
[0203] The following is an example of the output.
[0204] class T {
[0205] public:
[0206] const C*get_data( ) (return data;}
[0207] private:
[0208] C*data;
[0209] };
[0210] T*t=new T( );
[0211] const C*d;
[0212] d=t.get_data( );
[0213] Summarizing above, the convention “class return member” is acquired from the convention structure and the class name information of the class “Box” is acquired from the global information. Thereby, local information is extracted from the corresponding class definition information and the data member “little box” is extracted from the corresponding local information, wherein the variable definition information indicates that the “public” accessing is made to the data member “little_box.” Thus, the access control is changed to from “public” to “private” as explained above by conducting the normalization process of FIG. 12D.
[Ninth Embodiment]
[0214] According to a ninth embodiment of the present invention, a conversion of analysis information to the convention form is conducted and the convention information for return control from a member function is extracted as a result of the collation to the convention. As there is a convention in the return control that the member functions should not return the pointer of the member functions, a correction program is prepared if it is necessary. The following is an example of the processing of the ninth embodiment.
[Input Example]
[0215] The following is an example of the input.
[0216] class T {
[0217] public:
[0218] C*get_data( ) {return data;}
[0219] private:
[0220] C*data;
[0221] };
[0222] T*t=new T( );
[0223] C*d;
[0224] d=t.get_data( );
[0225] . .
[Analysis Information]
[0226] The following information in the analysis information is used. See FIG. 13A.
[Convention Form of Analysis Information]
[0227] The result of the analysis is converted to the following convention form. See FIG. 13B.
[Convention Structure]
[0228] A search is made on the convention and the following convention structure is extracted. See FIG. 13C.
[Normalization Processing]
[0229] The processing is extracted and executed. See FIG. 13D.
[Output Example]
[0230] The following is an example of the output.
[0231] class T {
[0232] public:
[0233] const C*get_data( ) {return data;}
[0234] private:
[0235] C*data;
[0236] };
[0237] T*t=new T( );
[0238] const C*d;
[0239] d=t.get_data( );
[0240] Summarizing above, the convention “class return member” is acquired from the convention structure and the class name information of the class “Box” is acquired from the global information. Thereby, local information is extracted from the corresponding class definition information and the data member “little_box” is extracted from the corresponding local information, wherein the variable definition information indicates that the data member “little_box” is a pointer type. Further, a member function “get—1box” is extracted from the local information, wherein it is known from the function definition information that the member function “get—1box” returns the data member “little_box” as the return value. Thus, this statement of the data member function is modified in conformity with the convention for returning from the member function by conducting the normalization process of FIG. 13D.
[Tenth Embodiment]
[0241] According to a tenth embodiment of the present invention, a conversion of analysis information to the convention form is conducted and the convention information for a simpler data setting function is extracted as a result of the collation to the convention. As there is a convention in the data setting that, whenever it is possible, the data should be set by using a contractor, a correction program is prepared if it is necessary. The following is an example of the processing of the tenth embodiment.
[Input Example]
[0242] The following is an example of the input.
[0243] class T {
[0244] public:
[0245] void set_high(double d) {height=d:}
[0246] private:
[0247] double height;
[0248] };
[Analysis Information]
[0249] The following information in the analysis information is used. See FIG. 14A.
[Convention Form of Analysis Information]
[0250] The result of the analysis is converted to the following convention form. See FIG. 14B.
[Convention Structure]
[0251] A search is made on the convention and the following convention structure is extracted. See FIG. 14C.
[Normalization Processing]
[0252] The processing is extracted and executed. See FIG. 14D.
[Output Example]
[0253] The following is an example of the output.
[0254] class T {
[0255] public:
[0256] T(double_height) {height=_height;}
[0257] void set_height(double d){height=d;}
[0258] private:
[0259] double height;
[0260] };
[0261] Summarizing above, the convention “class InitialValue v1=v2” is acquired from the convention structure and the class name information of the class “T” is acquired from the global information. Thereby, local information is extracted from the corresponding class definition information and the local information indicates that there is a data member “set_height.” Thus, the member function “set_height” is extracted from the local information, wherein it is known that from the function definition information that the member function “set_height” is a simple value-setting function that sets a value to the variable “height.” Thus, the forgoing convention of simple data setting function is applied to the class under consideration by conducting the normalization process of FIG. 14D.
[Eleventh Embodiment]
[0262] According to an eleventh embodiment of the present invention, a conversion of analysis information to the convention form is conducted and the convention information for a pointer member is extracted as a result of the collation to the convention. As there is a convention that a copy constructor has to be defined properly when there is a class including a pointer-type data member. Thus, a correction program is prepared if it is necessary and an example of proper definition of the copy constructor is notified to the programmer. The following is an example of the processing of the eleventh embodiment.
[Input Example]
[0263] The following is an example of the input.
[0264] class T {
[0265] private;
[0266] char *label;
[0267] };
[Analysis Information]
[0268] The following information in the analysis information is used. See FIG. 15A.
[Convention Form of Analysis Information]
[0269] The result of the analysis is converted to the following convention form. See FIG. 15B.
[Convention Structure]
[0270] A search is made on the convention and the following convention structure is extracted. See FIG. 15C.
[Normalization Processing]
[0271] The processing is extracted and executed. See FIG. 15D.
[Output Example]
[0272] The following is an example of the output.
[0273] class T {
[0274] public:
[0275] T(const T&t) fdata=strdup(t.get_label( ))}
[0276] char *get_label( ){return label;}
[0277] private:
[0278] char label;
[0279] };
[0280] Summarizing above, the convention “class PointerMember T1*v1” is acquired from the convention structure and the class name information of the class “T” is acquired from the global information. Thereby, local information is extracted from the corresponding class definition information and the local information indicates that there is a data member “label.” Further, it is known from the variable definition information that “label” is a pointer. Thus, the foregoing convention is applied to the class under consideration by conducting the normalization process of FIG. 15D.
[Twelfth Embodiment]
[0281] According to a twelfth embodiment of the present invention, a conversion of analysis information to the convention form is conducted and the convention information for a pointer member is extracted as a result of the collation to the convention. As there is a convention that a destructor has to be defined properly when there is a class including a pointer-type data member. Thus, a correction program is prepared if it is necessary and an example of proper definition of the destructor is notified to the programmer. The following is an example of the processing of the twelfth embodiment.
[Input Example]
[0282] The following is an example of the input.
[0283] class T {
[0284] private;
[0285] char *label;
[0286] };
[Analysis Information]
[0287] The following information in the analysis information is used. See FIG. 16A.
[Convention Form of Analysis Information]
[0288] The result of the analysis is converted to the following convention form. See FIG. 16B.
[Convention Structure]
[0289] A search is made on the convention and the following convention structure is extracted. See FIG. 16C.
[Normalization Processing]
[0290] The processing is extracted and executed. See FIG. 16D.
[Output Example]
[0291] The following is an example of the output.
[0292] class T {
[0293] public:
[0294] −T( ) {delete [ ]label;}
[0295] private:
[0296] char *label;
[0297] };
[0298] Summarizing above, the convention “class PointerMember T1*v1” is acquired from the convention structure and the class name information of the class “T” is acquired from the global information. Thereby, local information is extracted from the corresponding class definition information and the local information indicates that there is a data member “label.” Further, it is known from the variable definition information that “label” is a pointer. Thus, the foregoing convention is applied to the class under consideration by conducting the normalization process of FIG. 16D.
[Thirteenth Embodiment]
[0299] According to a thirteenth embodiment of the present invention, a conversion of analysis information to the convention form is conducted and the convention information for a pointer member is extracted as a result of the collation to the convention. As there is a convention that an assignment operator has to be defined properly when there is a class including a pointer-type data member. Thus, a correction program is prepared if it is necessary and an example of proper definition of the assignment operator is notified to the programmer. The following is an example of the processing of the thirteenth embodiment.
[Input Example]
[0300] The following is an example of the input.
[0301] class T {
[0302] private;
[0303] char *label;
[0304] };
[Analysis Information]
[0305] The following information in the analysis information is used. See FIG. 17A.
[Convention Form of Analysis Information]
[0306] The result of the analysis is converted to the following convention form. See FIG. 17B.
[Convention Structure]
[0307] A search is made on the convention and the following convention structure is extracted. See FIG. 17C.
[Normalization Processing]
[0308] The processing is extracted and executed. See FIG. 17D.
[Output Example]
[0309] The following is an example of the output.
[0310] class T {
[0311] public:
[0312] const T &operator=(const Box &src) {
[0313] if(&src !=this) {
[0314] delete [ ] label;
[0315] label=new char[str1en(src. label)+1];
[0316] strcpy(label,src.label);
[0317] }
[0318] return *this;
[0319] }
[0320] private:
[0321] char *label;
[0322] };
[0323] Summarizing above, the convention “class PointerMember T1*v1” is acquired from the convention structure and the class name information of the class “T” is acquired from the global information. Thereby, local information is extracted from the corresponding class definition information and the local information indicates that there is a data member “label.” Further, it is known from the variable definition information that “label” is a pointer. Thus, the foregoing convention is applied to the class under consideration by conducting the normalization process of FIG. 17D.
[Fourteenth Embodiment]
[0324] According to a fourteenth embodiment of the present invention, a conversion of analysis information to the convention form is conducted and the convention information for an inheritance method is extracted as a result of the collation to the convention. As there is a convention that the inheritance has to be made public, a correction program is prepared if it is necessary, and an example of proper inheritance is notified to the programmer. The following is an example of the processing of the fourteenth embodiment.
[Input Example]
[0325] The following is an example of the input.
[0326] class T :private U {
[0327] . .
[0328] };
[Analysis Information]
[0329] The following information in the analysis information is used. See FIG. 18A.
[Convention Form Of Analysis Information]
[0330] The result of the analysis is converted to the following convention form. See FIG. 18B.
[Convention Structure]
[0331] A search is made on the convention and the following convention structure is extracted. See FIG. 18C.
[Normalization Processing]
[0332] The processing is extracted and executed. See FIG. 18D.
[Output Example]
[0333] The following is an example of the output.
[0334] class T :public U {
[0335] . .
[0336] Summarizing above, the convention “inherit T1 private T2” is acquired from the convention structure and the class name information of the class “Box” is acquired from the global information. Thereby, local information is extracted from the corresponding class definition information and the local information indicates that the accessing to the base class is “private.” Thus, the “private” inheritance is rewritten to a “public” inheritance and the foregoing convention is applied to the class under consideration by conducting the normalization process of FIG. 18D.
[Fifteenth Embodiment]
[0337] According to a fifteenth embodiment of the present invention, a conversion of analysis information to the convention form is conducted and the convention information for a redefinition of inheritance function is extracted as a result of the collation to the convention. As there is a convention that a function defined in the base class as a non-virtual function should not be redefined in a derived class, a correction program is prepared if it is necessary, and a corrected example in which the inherited non-virtual function is not defined in the derived class is notified to the programmer. The following is an example of the processing of the fifteenth embodiment.
[Input Example]
[0338] The following is an example of the input.
[0339] class T {
[0340] public:
[0341] int get _data( );
[0342] };
[0343] class U : public T{
[0344] public:
[0345] int get _data( );
[Analysis Information]
[0346] The following information in the analysis information is used. See FIG. 19A.
[Convention Form Of Analysis Information]
[0347] The result of the analysis is converted to the following convention form. See FIG. 19B.
[Convention Structure]
[0348] A search is made on the convention and the following convention structure is extracted. See FIG. 19C.
[Normalization Processing]
[0349] The processing is extracted and executed. See FIG. 19D.
[Output]
[0350] The following is an example of the output.
[0351] class T {
[0352] public:
[0353] int get _data( );
[0354] };
[0355] class U :public T {
[0356] public:
[0357] int Uget _data( );//change name
[0358] };
[0359] Summarizing above, the convention “class virtual T1 f1” is acquired from the convention structure and the class name information “U” is acquired from the global information. Further, the base class information is extracted from the class definition information and it is known that there is a base class “T.” Further, the function information “get _data” is extracted from the local information, and it is known from the local information that the function “get _data” is not a virtual function. Based upon this, the convention of the inheritance method is applied to the class by conducting the normalization process of FIG. 19D.
[Sixteenth Embodiment]
[0360] According to a sixteenth embodiment of the present invention, a conversion of analysis information to the convention form is conducted and the convention information for a destructor of base class is extracted as a result of the collation to the convention. As there is a convention that the destructor of a base class should be defined as a virtual function, a correction program is prepared if it is necessary, and an example of correction in which the base class destructor is defined as a virtual function is notified to the programmer. The following is an example of the processing of the sixteenth embodiment.
[Input Example]
[0361] The following is an example of the input.
[0362] class T {
[0363] public:
[0364] ˜T( )
[0365] };
[0366] class U : public T {
[0367] public:
[0368] ˜U( );
[0369] }
[Analysis Information]
[0370] The following information in the analysis information is used. See FIG. 20A.
[Convention Form Of Analysis Information]
[0371] The result of the analysis is converted to the following convention form. See FIG. 20B.
[Convention Structure]
[0372] A search is made on the convention and the following convention structure is extracted. See FIG. 20C.
[Normalization Processing]
[0373] The processing is extracted and executed. See FIG. 20D.
[Output]
[0374] The following is an example of the output.
[0375] class T {
[0376] public:
[0377] virtual ˜T( );
[0378] };
[0379] class U :public T {
[0380] public:
[0381] virtual ˜U( );
[0382] };
[0383] Summarizing above, the convention information “destructor ˜T1 base ˜T2” is acquired from the convention structure and the class name information “U” is acquired from the global information. Further, the base class information is extracted from the class definition information and it is known that there is a base class “T.” Further, the class information is extracted from the local information, and it is known from the destructor information of the class definition information that the destructor is not a virtual function. Based upon this, the convention of the base class destructor is applied to the class by conducting the normalization process of FIG. 20D.
[Seventeenth Embodiment]
[0384] According to a seventeenth embodiment of the present invention, a conversion of analysis information to the convention form is conducted and the convention information for a multiple inheritance is extracted as a result of the collation to the convention. It should be noted that there is a convention that, when a multiple inheritance of classes having the same base class is to be defined. Thus, a virtual base class should be defined for the base class and a correction program is prepared if necessary. Further, an example of correction, in which inheritance of the classes having the same base class is defined for the virtual base class, is notified to the programmer. The following is an example of the processing of the seventeenth embodiment.
[Input Example]
[0385] The following is an example of the input.
[0386] class A {
[0387] . .
[0388] };
[0389] class B: public A {
[0390] . .
[0391] };
[0392] class C: public A {
[0393] . .
[0394] };
[0395] class D; public B, public C {
[0396] . .
[0397] };
[Analysis Information]
[0398] The following information in the analysis information is used. See FIG. 21A.
[Convention Form Of Analysis Information]
[0399] The result of the analysis is converted to the following convention form. See FIG. 21B.
[Convention Structure]
[0400] A search is made on the convention and the following convention structure is extracted. See FIG. 21C.
[Normalization Processing]
[0401] The processing is extracted and executed. See FIG. 21D.
[Output]
[0402] The following is an example of the output.
[0403] class A {
[0404] . .
[0405] };
[0406] class B: public virtual A {
[0407] . .
[0408] };
[0409] class C: public virtual A {
[0410] . .
[0411] };
[0412] class D: public B, public C {
[0413] . .
[0414] };
[0415] Summarizing above, the convention information “T1 base T2 T3 base T4” is acquired from the convention structure and the class name information “D” is acquired from the global information. Further, the base class information is extracted from the class definition information and it is known that there is a multiple inheritance of the classes B and C. Further, the class information for the class B is extracted from the global information and it is known, from the base class information, that there is an inheritance from a non-virtual class A. Further, the class information of the class C is acquired from the global information and it is known from the base class information that there is an inheritance from the non-virtual class A. Based upon the same, the foregoing convention of the multiple inheritance of the classes having the same base class is applied to the classes B and C by conducting the process of FIG. 21D.
[Eighteenth Embodiment]
[0416] According to an eighteenth embodiment of the present invention, a conversion of analysis information to the convention form is conducted and the convention information for a multiple inheritance is extracted as a result of the collation to the convention. As there is a convention in the multiple inheritance that the access level of the base class should be specified for all the base classes, a correction program is prepared if necessary and an example of correction, in which the access level is specified for the base class, is notified to the programmer.
[Input Example]
[0417] The following is an example of the input.
[0418] class A: public B, C {
[0419] . .
[0420] );
[Analysis Information]
[0421] The following information in the analysis information is used. See FIG. 22A.
[Convention Form of Analysis Information]
[0422] The result of the analysis is converted to the following convention form. See FIG. 22B.
[Convention Structure]
[0423] A search is made on the convention and the following convention structure is extracted. See FIG. 22C.
[Normalization Processing]
[0424] The processing is extracted and executed. See FIG. 22D.
[Output]
[0425] The following is an example of the output.
[0426] class A: public B, public C {
[0427] . .
[0428] };
[0429] Summarizing above, the convention information “T1 base T2” is acquired from the convention structure and the class name information “A” is acquired from the global information. Further, the base class information is extracted from the class definition information and it is known that the class C lacks the access level. Thus, the foregoing convention is applied to the class A by conducting the normalization process of FIG. 22D.
[0430] FIG. 23 shows the hardware construction of an object-oriented programming support system 100 according to the present invention, wherein the object-oriented programming support system 100 may conduct any of the foregoing preceding embodiments.
[0431] Referring to FIG. 23, the programming support system 100 is formed by a computer system and includes a main body 101 in which a CPU and one or more disk drives are provided, a display 102 that displays images or data on a screen 102athereof in response to the instruction from the main body 101, a keyboard 103 for inputting various information to the computer system 100, a mouse 104 for pointing an arbitrary position on the screen 102a, and a modem 105 for accessing an external database 106.
[0432] In the computer system 100 of FIG. 23, it should be noted that a removable storage medium 110 such as an optical disk or flexible disk storing therein the process of the steps S1-S10 of FIG. 4 in the form of program is mounted on a corresponding slot of the disk drive of the main body 101. Alternatively, the foregoing program may be downloaded from the external database 106 via the modem 104. Thereby, the CPU in the main body 101 executes the program.
[0433] Further, the present invention is not limited to the embodiments described heretofore, but various variations and modifications may be made without departing from the scope of the invention.
Claims
Certificate of Correction present
The claims shown below may not include correction changes. Use the corrected PDF for authoritative text.
What is claimed is:
1. A support system of object oriented programming, comprising:
a syntax analysis unit supplied with an object-oriented program and analyzing said object-oriented program;
a storage unit storing convention information that describes a convention of said program;
a collation unit collating a result of analysis of said syntax analysis unit to said convention information held in said storage unit as to whether or not said result of analysis is in conformity with said convention; and
a normalization unit outputting a corrected program of said object-oriented program such that said corrected program is in conformity with said convention, when said result of analysis is in conflict with said convention.
2. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis for existence of a global variable, and wherein said normalization unit creates a modified program, when a global variable is detected, such that said modified program does not includes said global variable.
3. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis as to whether or not a creation of an object in said object-oriented program occurs in conformity with said convention, and wherein said normalization unit creates said modified program, when said result of analysis is no, such that said object is created in conformity with said convention.
4. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis as to whether or not a destruction of an object in said object-oriented program occurs in conformity with said convention, and wherein said normalization unit creates said modified program, when said result of analysis is no, such that said object is destroyed in conformity with said convention.
5. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis as to whether or not initialization of an object in said object-oriented program occurs in conformity with said convention by using information on memory management included in said result of analysis, and wherein said normalization unit creates said modified program, when said result of analysis is no, such that said object is initialized in conformity with said convention.
6. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis as to whether or not copying of an object in said object-oriented program occurs in conformity with said convention by using information on memory management included in said result of analysis, and wherein said normalization unit creates said modified program, when said result of analysis is no, such that said object is copied in conformity with said convention.
7. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis as to whether or not there is a call-by-value parameter for said object, and wherein said normalization unit creates said modified program, when said result of analysis is no, such that there is no call-by-value parameter for said object.
8. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis as to whether or not there is a public data member opened to outside a class, and wherein said normalization unit creates said modified program, when said result is no, such that said data member is private.
9. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis as to whether or not a member function returns a pointer of a data member, and wherein said normalization unit creates said modified program, when said result is no, such that said member function does not return said pointer of said data member.
10. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis as to whether or not a member function is a simple data access function, and wherein said normalization unit creates said modified program, when said result is no, such that said member function is not said simple data access function.
11. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis as to whether or not a copy constructor is defined properly when there is a class including a pointer-type data member, and wherein said normalization unit creates, upon confirmation of intent of a user of said support system, said modified program, when said result is no, such that said copy constructor is defined properly.
12. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis as to whether or not a destructor is defined properly when there is a class including a pointer-type data member, and wherein said normalization unit creates, upon confirmation of intent of a user of said support system, said modified program, when said result is no, such that said destructor is defined properly.
13. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis as to whether or not an assignment operator is defined properly when there is a class including a pointer-type data member, and wherein said normalization unit creates, upon confirmation of intent of a user of said support system, said modified program, when said result is no, such that said assignment operator is defined properly.
14. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis as to whether or not there is an inheritance about specific accessing, and wherein said normalization unit creates said modified program, when said result is yes, such that said inheritance is proper.
15. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis as to whether or not there is a redefinition of an inherited non-virtual function, and wherein said normalization unit creates said modified program, when said result is yes, such that said inherited non-virtual function is not redefined.
16. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis as to whether or not a destruction of object is functioning properly in an inherited class, and wherein said normalization unit creates said modified program, when said result is no, such that said destruction of object occurs properly.
17. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis, when there is a multiple inheritance of classes from a common base class, as to whether or not said base class is inherited as a virtual base class, and wherein said normalization unit creates said modified program, when said result is no, such that said base class is inherited as a virtual base class.
18. A support system as claimed in claim 1, wherein said collation unit checks said result of analysis, when there are multiple base classes in a definition of inheritance, as to whether or not all of said base classes are provided with an access level specifier, and wherein said normalization unit creates, upon confirmation of intent of a user of said support system, said modified program, when said result is no, such that all of said base classes are provided with an access level specifier.
19. A computer specially configured by executing program code stored on a computer-usable media for supporting object oriented programming, said program code comprising:
computer-readable syntax analysis means supplied with an object-oriented program code for analyzing said object-oriented program code;
computer-readable collation means for collating a result of analysis of said syntax analysis means to a convention information held in a storage unit as to whether or not said result of analysis is in conformity with said convention; and
computer-readable normalization means for outputting a corrected program of said object-oriented program such that said corrected program is in conformity with said convention, when said result of analysis is in conflict with said convention.
20. A computer as claimed in claim 19, wherein said collation means checks said result of analysis for existence of a global variable, and wherein said normalization means creates a modified program code, when a global variable is detected, such that said modified program code does not includes said global variable.
21. A computer as claimed in claim 19, wherein said collation means checks said result of analysis as to whether or not a creation of an object in said object-oriented program code occurs in conformity with said convention, and wherein said normalization means creates said modified program code, when said result of analysis is no, such that said object is created in conformity with said convention.
22. A computer as claimed in claim 19, wherein said collation means checks said result of analysis as to whether or not a destruction of an object in said object-oriented program code occurs in conformity with said convention, and wherein said normalization means creates said modified program code, when said result of analysis is no, such that said object is destroyed in conformity with said convention.
23. A computer as claimed in claim 19, wherein said collation means checks said result of analysis as to whether or not initialization of an object in said object-oriented program code occurs in conformity with said convention by using information on memory management included in said result of analysis, and wherein said normalization means creates said modified program code, when said result of analysis is no, such that said object is initialized in conformity with said convention.
24. A computer as claimed in claim 19, wherein said collation means checks said result of analysis as to whether or not copying of an object in said object-oriented program code occurs in conformity with said convention by using information on memory management included in said result of analysis, and wherein said normalization means creates said modified program code, when said result of analysis is no, such that said object is copied in conformity with said convention.
25. A computer as claimed in claim 19, wherein said collation means checks said result of analysis as to whether or not there is a call-by-value parameter for said object, and wherein said normalization means creates said modified program code, when said result of analysis is no, such that there is no call-by-value parameter for said object.
26. A computer as claimed in claim 19, wherein said collation means checks said result of analysis as to whether or not there is a public data member opened to outside a class, and wherein said normalization means creates said modified program code, when said result is no, such that said data member is private.
27. A computer as claimed in claim 19, wherein said collation means checks said result of analysis as to whether or not a member function returns a pointer of a data member, and wherein said normalization means creates said modified program code, when said result is no, such that said member function does not return said pointer of said data member.
28. A computer as claimed in claim 19, wherein said collation means checks said result of analysis as to whether or not a member function is a simple data access function, and wherein said normalization means creates said modified program code, when said result is no, such that said member function is not said simple data access function.
29. A computer as claimed in claim 19, wherein said collation means checks said result of 25 analysis as to whether or not a copy constructor is defined properly when there is a class including a pointer-type data member, and wherein said normalization means creates, upon confirmation of intent of a user of said computer, said modified program code, when said result is no, such that said copy constructor is defined properly.
30. A computer as claimed in claim 19, wherein said collation unit checks said result of analysis as to whether or not a destructor is defined properly when there is a class including a pointer-type data member, and wherein said normalization unit creates, upon confirmation of intent of a user of said computer, said modified program, when said result is no, such that said destructor is defined properly.
31. A computer as claimed in claim 19, wherein said collation means checks said result of analysis as to whether or not an assignment operator is defined properly when there is a class including a pointer-type data member, and wherein said normalization means creates, upon confirmation of intent of a user of said computer, said modified program code, when said result is no, such that said assignment operator is defined properly.
32. A computer as claimed in claim 19, wherein said collation means checks said result of analysis as to whether or not there is an inheritance about specific accessing, and wherein said normalization means creates said modified program, when said result is yes, such that said inheritance is proper.
33. A computer as claimed in claim 19, wherein said collation means checks said result of analysis as to whether or not there is a redefinition of an inherited non-virtual function, and wherein said normalization means creates said modified program code, when said result is yes, such that said inherited non-virtual function is not redefined.
34. A computer as claimed in claim 19, wherein said collation means checks said result of analysis as to whether or not a destruction of object is functioning properly in an inherited class, and wherein said normalization means creates said modified program code, when said result is no, such that said destruction of object occurs properly.
35. A computer as claimed in claim 19, wherein said collation means checks said result of analysis, when there is a multiple inheritance of classes from a common base class, as to whether or not said base class is inherited as a virtual base class, and wherein said normalization means creates said modified program code, when said result is no, such that said base class is inherited as a virtual base class.
36. A computer as claimed in claim 19, wherein said collation means checks said result of analysis, when there are multiple base classes in a definition of inheritance, as to whether or not all of said base classes are provided with an access level specifier, and wherein said normalization means creates said modified program code, when said result is no, such that all of said base classes are provided with an access level specifier.
37. A processor-readable medium storing program code for supporting object oriented programming, said program code comprising:
computer-readable syntax analysis means supplied with an object-oriented program code for analyzing said object-oriented program code;
computer-readable collation means for collating a result of analysis of said syntax analysis means to a convention information held in a storage unit as to whether or not said result of analysis is in conformity with said convention; and
computer-readable normalization means for outputting a corrected program of said object-oriented program such that said corrected program is in conformity with said convention, when said result of analysis is in conflict with said convention.
38. A processor-readable medium as claimed in claim 37, wherein said collation means checks said result of analysis for existence of a global variable, and wherein said normalization means creates a modified program code, when a global variable is detected, such that said modified program code does not includes said global variable.
39. A processor-readable medium as claimed in claim 37, wherein said collation means checks said result of analysis as to whether or not a creation of an object in said object-oriented program code occurs in conformity with said convention, and wherein said normalization means creates said modified program code, when said result of analysis is no, such that said object is created in conformity with said convention.
40. A processor-readable medium as claimed in claim 37, wherein said collation means checks said result of analysis as to whether or not a destruction of an object in said object-oriented program code occurs in conformity with said convention, and wherein said normalization means creates said modified program code, when said result of analysis is no, such that said object is destroyed in conformity with said convention.
41. A processor-readable medium as claimed in claim 37, wherein said collation means checks said result of analysis as to whether or not initialization of an object in said object-oriented program code occurs in conformity with said convention by using information on memory management included in said result of analysis, and wherein said normalization means creates said modified program code, when said result of analysis is no, such that said object is initialized in conformity with said convention.
42. A processor-readable medium as claimed in claim 37, wherein said collation means checks said result of analysis as to whether or not copying of an object in said object-oriented program code occurs in conformity with said convention by using information on memory management included in said result of analysis, and wherein said normalization means creates said modified program code, when said result of analysis is no, such that said object is copied in conformity with said convention.
43. A processor-readable medium as claimed in claim 37, wherein said collation means checks said result of analysis as to whether or not there is a call-by-value parameter for said object, and wherein said normalization means creates said modified program code, when said result of analysis is no, such that there is no call-by-value parameter for said object.
44. A processor-readable medium as claimed in claim 37, wherein said collation means checks said result of analysis as to whether or not there is a public data member opened to outside a class, and wherein said normalization means creates said modified program code, when said result is no, such that said data member is private.
45. A processor-readable medium as claimed in claim 37, wherein said collation means checks said result of analysis as to whether or not a member function returns a pointer of a data member, and wherein said normalization means creates said modified program code, when said result is no, such that said member function does not return said pointer of said data member.
46. A processor-readable medium as claimed in claim 37, wherein said collation means checks said result of analysis as to whether or not a member function is a simple data access function, and wherein said normalization means creates said modified program code, when said result is no, such that said member function is not said simple data access function.
47. A processor-readable medium as claimed in claim 37, wherein said collation means checks said result of analysis as to whether or not a copy constructor is defined properly when there is a class including a pointer-type data member, and wherein said normalization means creates, upon confirmation of intent of a user of said processor, said modified program code, when said result is no, such that said copy constructor is defined properly.
48. A processor-readable medium as claimed in claim 37, wherein said collation unit checks said result of analysis as to whether or not a destructor is defined properly when there is a class including a pointer-type data member, and wherein said normalization unit creates, upon confirmation of intent of a user of said processor, said modified program, when said result is no, such that said destructor is defined properly.
49. A processor-readable medium as claimed in claim 37, wherein said collation means checks said result of analysis as to whether or not an assignment operator is defined properly when there is a class including a pointer-type data member, and wherein said normalization means creates, upon confirmation of intent of a user of said processor, said modified program code, when said result is no, such that said assignment operator is defined properly.
50. A processor-readable medium as claimed in claim 37, wherein said collation means checks said result of analysis as to whether or not there is an inheritance about specific accessing, and wherein said normalization means creates said modified program, when said result is yes, such that said inheritance is proper.
51. A processor-readable medium as claimed in claim 37, wherein said collation means checks said result of analysis as to whether or not there is a redefinition of an inherited non-virtual function, and wherein said normalization means creates said modified program code, when said result is yes, such that said inherited non-virtual function is not redefined.
52. A processor-readable medium as claimed in claim 37, wherein said collation means checks said result of analysis as to whether or not a destruction of object is functioning properly in an inherited class, and wherein said normalization means creates said modified program code, when said result is no, such that said destruction of object occurs properly.
53. A processor-readable medium as claimed in claim 37, wherein said collation means checks said result of analysis, when there is a multiple inheritance of classes from a common base class, as to whether or not said base class is inherited as a virtual base class, and wherein said normalization means creates said modified program code, when said result is no, such that said base class is inherited as a virtual base class.
54. A processor-readable medium as claimed in claim 37, wherein said collation means checks said result of analysis, when there are multiple base classes in a definition of inheritance, as to whether or not all of said base classes are provided with an access level specifier, and wherein said normalization means creates said modified program code, when said result is no, such that all of said base classes are provided with an access level specifier.
55. A computer-readable storage medium storing a process supporting object oriented programming, said process comprising:
analyzing an object-oriented program code;
collating a result of the analyzing process to a convention information held in a storage unit as to whether or not said analysis result is in conformity with said convention; and
outputting a corrected program of said object-oriented program such that said corrected program is in conformity with said convention, when said analysis result is in conflict with said convention.
56. A computer-implemented method of supporting object oriented programming, said method comprising:
analyzing an object-oriented program code;
collating a result of said analyzing process to a convention information held in a storage unit as to whether or not said analysis result is in conformity with said convention; and
outputting a corrected program of said object-oriented program such that said corrected program is in conformity with said convention, when said analysis result is in conflict with said convention.
57. A method as claimed in claim 56, wherein said collating process comprises checking said analysis result for existence of a global variable, and wherein said outputting process comprises creating a modified program, when a global variable is detected, such that said modified program does not includes said global variable.
58. A method as claimed in claim 56, wherein said collating process comprises checking said analysis result as to whether or not a creation of an object in said object-oriented program occurs in conformity with said convention, and wherein said outputting process comprises creating said modified program, when said result of said collating process is no, such that said object is created in conformity with said convention.
59. A method as claimed in claim 56, wherein said collating process comprises checking said analysis result as to whether or not a destruction of an object in said object-oriented program occurs in conformity with said convention, and wherein said outputting process comprises creating said modified program, when said result of said collation process is no, such that said object is destroyed in conformity with said convention.
60. A method as claimed in claim 56, wherein said collating process comprises checking said analysis result as to whether or not initialization of an object in said object-oriented program occurs in conformity with said convention by using information on memory management included in said analysis result, and wherein said outputting process comprises creating said modified program, when said result of said collation process is no, such that said object is initialized in conformity with said convention.
61. A method as claimed in claim 56, wherein said collating process comprises checking said analysis result as to whether or not copying of an object in said object-oriented program occurs in conformity with said convention by using information on memory management included in said analysis result, and wherein said outputting process comprises creating said modified program, when said result of said collation step is no, such that said object is copied in conformity with said convention.
62. A method as claimed in claim 56, wherein said collating process comprises checking said analysis result as to whether or not there is a call-by-value parameter for said object, and wherein said outputting process comprises creating said modified program, when said result of said collation process is no, such that there is no call-by-value parameter for said object.
63. A method as claimed in claim 56, wherein said collating process comprises checking said analysis result as to whether or not there is a public data member opened to outside a class, and wherein said outputting process comprises creating said modified program, when said result of said collation process is no, such that said data member is private.
64. A method as claimed in claim 56, wherein collating process comprises checking said analysis result as to whether or not a member function returns a pointer of a data member, and wherein said outputting process comprises creating said modified program, when said result of said collation process is no, such that said member function does not return said pointer of said data member.
65. A method as claimed in claim 56, wherein said collating process comprises checking said analysis result as to whether or not a member function is a simple data access function, and wherein said outputting process comprises creating said modified program, when said result of said collation process is no, such that said member function is not said simple data access function.
66. A method as claimed in claim 56, wherein said collating process comprises checking said analysis result as to whether or not a copy constructor is defined properly when there is a class including a pointer-type data member, and wherein said outputting process comprises creating, upon confirmation of intent of a user of said support system, said modified program, when said result of said collation process is no, such that said copy constructor is defined properly.
67. A method as claimed in claim 56, wherein said collating process comprises checking said analysis result as to whether or not a destructor is defined properly when there is a class including a pointer-type data member, and wherein said outputting process comprises creating, upon confirmation of intent of a user of said support system, said modified program, when said result of said collation process is no, such that said destructor is defined properly.
68. A method as claimed in claim 56, wherein said collating process comprises checking said analysis result as to whether or not an assignment operator is defined properly when there is a class including a pointer-type data member, and wherein said outputting comprises creating, upon confirmation of intent of a user of said support system, said modified program, when said result of said collation process is no, such that said assignment operator is defined properly.
69. A method as claimed in claim 56, wherein said collating process comprises checking said analysis result as to whether or not there is an inheritance about specific accessing, and wherein said outputting process comprises creating said modified program, when said result of said collation process is yes, such that said inheritance is proper.
70. A method as claimed in claim 56, wherein said collating process comprises checking said analysis result as to whether or not there is a redefinition of an inherited non-virtual function, and wherein said outputting process comprises creating said modified program, when said result of said collation process is yes, such that said inherited non-virtual function is not redefined.
71. A method as claimed in claim 56, wherein said collating process comprises checking said analysis result as to whether or not a destruction of object is functioning properly in an inherited class, and wherein said outputting process comprises creating said modified program, when said result of said collation process is no, such that said destruction of object occurs properly.
72. A method as claimed in claim 56, wherein said collating process comprises checking said analysis result, when there is a multiple inheritance of classes from a common base class, as to whether or not said base class is inherited as a virtual base class, and wherein said outputting process comprises creating said modified program, when said result of said collation process is no, such that said base class is inherited as a virtual base class.
73. A method as claimed in claim 56, wherein said collating process comprises checking said analysis result, when there are multiple base classes in a definition of inheritance, as to whether or not all of said base classes are provided with an access level specifier, and wherein said outputting process comprises creating, upon confirmation of intent of a user of said support system, said modified program, when said result of said collation process is no, such that all of said base classes are provided with an access level specifier.
74. A support system of object oriented programming, comprising:
a syntax analysis unit analyzing object-oriented convention of an object-oriented program; and
a processing unit collating a result of analysis of the syntax analysis unit to a stored convention information corresponding to the object-oriented program correcting the object-oriented program and outputting a corrected program of the object-oriented program if the analysis result conflicts with the convention such that the corrected program conforms with the convention.
75. A computer specially configured by executing program code stored on a computer-usable media supporting object oriented programming, said program code comprising:
a computer-readable syntax analysis unit supplied with an object-oriented program code analyzing object-oriented convention of said object-oriented program code;
a computer-readable collation unit collating a result of analysis of said syntax analysis unit to a convention information, which corresponds to said object-oriented program and held in a storage unit, as to whether said result of analysis is in conformity with said convention; and
a computer-readable normalization unit correcting said object-oriented program and outputting a corrected program of said object-oriented program such that said corrected program is in conformity with said convention, when said result of analysis is in conflict with said convention.
76. A processor-readable medium storing program code supporting object oriented programming, said program code comprising:
a computer-readable syntax analysis unit supplied with an object-oriented program code analyzing object-oriented convention of said object-oriented program code;
a computer-readable collation means collating a result of analysis of said syntax analysis unit to a convention information, which corresponds to said object-oriented program and held in a storage unit, as to whether said result of analysis is in conformity with said convention; and
a computer-readable normalization unit correcting said object-oriented program and outputting a corrected program of said object-oriented program such that said corrected program is in conformity with said convention, when said result of analysis is in conflict with said convention.
77. A method of conforming an object oriented program to a convention corresponding to the program, comprising:
determining by a computer an object oriented convention from the object oriented program;
comparing by the computer the determined object oriented information to the convention; and
modifying by the computer the object oriented program based on the comparing to conform to the convention.
Patent Citations (19)
| Patent | Date | Inventor | Cited By |
|---|---|---|---|
| US4924219 | 1990-05-01 | Sato | Examiner |
| US5428792 | 1995-06-01 | Conner et al. | Examiner |
| US5450586 | 1995-09-01 | Kuzara et al. | Examiner |
| US5493680 | 1996-02-01 | Danforth | Examiner |
| US5560009 | 1996-09-01 | Lenkov et al. | Examiner |
| US5590330 | 1996-12-01 | Coskun et al. | Examiner |
| US5640558 | 1997-06-01 | Li | Examiner |
| US5699271 | 1997-12-01 | Sagawa et al. | Examiner |
| US5754860 | 1998-05-01 | Mckeeman et al. | Examiner |
| US5799266 | 1998-08-01 | Hayes | Examiner |
| US5864700 | 1999-01-01 | Barton et al. | Examiner |
| US5864862 | 1999-01-01 | Kriens et al. | Examiner |
| US5911076 | 1999-06-01 | Acker et al. | Examiner |
| US5953526 | 1999-09-01 | Day et al. | Examiner |
| US6002874 | 1999-12-01 | Bahrs et al. | Examiner |
| US6093215 | 2000-07-01 | Buxton et al. | Examiner |
| US6108659 | 2000-08-01 | Vincent | Examiner |
| US6148277 | 2000-11-01 | Asava et al. | Examiner |
| US6148417 | 2000-11-01 | Da Silva | Examiner |
Non-Patent Literature (9)
- Dean et al, “Vortes: an optimizing compiler for object oriented languages”, OOPSLA ACM pp. 83-100, 1996.Applicant
- Marques et al, “Extending the operating system to support an object orienetd environment”, OOPSLA ACM pp. 113-122, Oct. 1989.Applicant
- Pope et al, “Object oriented approaches to the software life cycle using the smalltalk 80 system as a CASE toolkit”, IEEE, pp. 13-20, Jul. 1987.Applicant
- Lin, “A system design methodology for software/hardware co development of telecommunication network applications”, DAC ACM pp. 1-6, Jun. 1996.Applicant
- Tarr et al, “Pleiades: an objcet management system for software engineering environments”, SIGSOFT ACM pp. 56-70, 1996.Applicant
- Schonberg et al, The GNAT project and GNU Ada 9x compiler, ACM pp. 48-57, Feb. 1994.Applicant
- Preston et al. “Object orienetd analysis transformations in Ada for real time systems with resources constraints”, Washington Ada Symposium, ACM pp. 53-63, Mar. 1993.Applicant
- Ladkin et al. “Compile time analysis of communicating procesess”, ICS ACM, pp. 248-259, Jun. 1992.Applicant
- Khwaja et al, “Syntax direcetd editing environments: issues and features”, ACM SAC, pp. 230-237, Feb. 1993.Examiner