摘要 |
PURPOSE: A method of detecting error of abstract attribute about reference mode hierarchy construction under a single inheritance is provided so that an error in using according to rule of specifying abstract attribute relating to the modularity and inheritance, as main characteristics in the object-orientation, by detecting an error when specifying an abstract attribute object at a static compile time, thereby improving the accuracy of execution and flexibility of the object-orientation program. CONSTITUTION: A method of detecting error of abstract attribute about reference mode hierarchy construction under a single inheritance includes a first step(201), which discriminates whether the inputted reference mode entry has an abstract attribute or not. A second step is that, according to the result of the first step, if the inputted reference mode entry has an abstract attribute, by grasping information on incomplete primitive substance procedure in the abstract reference mode and the upper reference mode, an abstract attribute error of the reference mode detects (202). If the inputted reference mode entry has not an abstract attribute, at a third step, by grasping information on incomplete primitive substance procedure in the node reference mode and the upper reference mode, an abstract attribute error of the reference mode detects (206).
|