Explain the distinction between redefining and overriding a method. What is a class-wide type in Ada 95? Explain the connection between dynamic method binding and polymorphism. What is an abstract...

Explain the distinction between redefining and overriding a method. What is a class-wide type in Ada 95? Explain the connection between dynamic method binding and polymorphism. What is an abstract method (also called a pure virtual method in C++ and a deferred feature in Eiffel)?