Object-oriented programming in Ada

It is shown that object-oriented designs requiring inheritance and run-time polymorphism can be implemented in Ada. A technique for specifying object classes and relationships is described. Package specifications and subprogram stubs that implement the specified system are automatically generated; the programmer only writes the actual method implementation bodies. The technique presented is an application of the principles presented by P. Baker (1990). Ada is used as a preprocessing language, providing two levels of checking by the compiler. The OOP (object-oriented programming) programmer writes two Ada package specifications and a main program (procedure). One package provides the names of types, classes, and methods that will be used by the object system; the other provides information about the types that are to be declared. The main program specifies methods, classes, inheritance structures, and structures for dealing with polymorphism