Table of ContentsObject Oriented Languages Concepts: 1 Mechanisms to Produce flexible and understandable software OOP paradigm Ada Ada Major Features Ada - a “new” beginning Type Equivalence Type Equivalence Answer Name Equivalence Structural Equivalence Testing Equivalence Is Name Equivalence Safer and Simpler? Is Name Equivalence Safer and Simpler? Name Equivalence Name Equivalence Types in Ada Subtypes Subtypes Derived Types Derived Types Overloading Overloading Polymorphism Polymorphism Kinds of Polymorphism Ad hoc versus Universal Overloading and Implicit Coercion Coercion Parametric and Inclusion Polymorphism Parametric and Inclusion Polymorphism Parametric Ada Generics Generic Record model of OO programming Ada Language Evaluation Ada Language Evaluation Abstract Data Types Data Abstraction Data Abstraction Encapsulation Reviewed No language support for encapsulation of abstract type definitions Language Support for encapsulation of abstract type definitions Example of a Package defining an abstract data type Other observations on Package SectionType Package SectionType Body Other comments about SectionType Implementations for abstract data types PPT Slide PPT Slide PPT Slide Encapsulation Models Encapsulation Models Two encapsulation examples for Ada data Inheritance Derived Classes Derived Classes in C++ Implementing classes Implementation of Classes Implementation of Inheritance Methods Virtual Function Virtual Function C++ The three guiding principles Most Principles Met A similar concept Polymorphism Revisited C++ Language Evaluation C++ Language Evaluation C++ Language Evaluation Smalltalk Smalltalk |
Author: Dolores Zage
Email: dmz@cs.bsu.edu Home Page: http://www.cs.bsu.edu/homepages/dmz/cs335/ |