Abstraction ADTs, Information Hiding and Encapsulation

Abstraction

ADTs, Information Hiding and Encapsulation

ADT

• ADT = Abstract Data Type– A theoretical concept– A set of (homogeneous) objects together with a

set of operations on those objects– NO mention of how the operations are

implemented– NO rules tell which operations are required

• A design decision

Two Faces of an ADT

• From the outside, the user sees only a collection of operations that together define the behavior of the abstraction

• On the other side, the programmer defining the abstraction sees the data variables that are used to maintain the state

Stack ADT

• The user sees only the description of the legal operations -- push and pop

• The implementer knows the concrete data structure used to implement the abstraction

• The concrete details are encapsulated within a more abstract framework

ADTs (cont’d)

To build an ADT, we must1. Export the type definition

2. Make available a set of operations to manipulate instances of this type

3. Protect the data associated with the type so they can be operated on only by provided operations

4. Make multiple instances of the type

Abstraction

• A mechanism to control complexity– Complexity due to interconnections between software

components. I.e. the dependence of one portion of code on another section of code

• The ability to encapsulate and isolate design and execution information

• Using data abstraction is a methodology wherein information is consciously hidden in a small part of a program

Procedures

• First Abstraction Method– Allowed repeated tasks to be collected in one

place and be reused– Gave possibility for information hiding

• One programmer writes procedure(s)

• Other programmers just need to know interface, not implementation

Characteristics

Behaviors

Function 2

Function 1

Function N

In a procedural application, the characteristics (data) and behaviors (functions) may be in the same file

Characteristics

Or may be in different files. There may be more than one set of data which use the same functions.

Behaviors

Procedural Stack Example

main ( ){ STACK s1; STACK s2;

push (s1, 7); push (s1, 10); push (s2, 5); push (s2, pop(s1));

. ……….

}

void push (STACK s, int i){ // code for push}

int pop (STACK s){ // code for pop}

What’s the Problem?

• The data (STACK variables s1 and s2) are changeable by any line of code in main( )

• The data is “public”

Modules

• A collection of procedures and related data (a .C file) divided into two parts– Public part accessible outside the module– Private part accessible only within the module

Modules (cont’d)

• Popularized by David Parnas– “[A module] must provide the intended user

with all the information needed to use the module correctly, and with nothing more.”

– “[A module] must provide the implementer with all the information needed to complete the module, and nothing more”.

• Like the military “need to know” philosophy

Modules (cont’d)

• Solve some (not all) software development problems

• Ex: Stack module– Stack data private– Stack routines public

main ( )

{

….

}

Private

Characteristics

Public

Behaviors

Main.C Stack.C

Modular Stack Examplemain ( ){ push (7); push (12): push (15);

int x = pop ( );

……….

}

static STACK s;

void push (int i){ // code for push}

int pop ( void ){ // code for pop}

What’s the Problem?

Question:How do you use more than one stack at a time?

Answer:You don’t

ADTs with OOP

• OOP allows us to instantiate multiple instances of each object.

• Each gets its own set of characteristics.

• Conceptually, each gets its own set of behaviors

• This was what procedures and modules couldn’t give us

Objects

• The characteristics and behaviors are encapsulated in a single entity (an object).

• That entity decides which characteristics and which behaviors are publicly available and which remain private.

Encapsulation

• Restricting the effects of change by putting a “wall of code” around the data

• All access to the data is handle by procedures (functions, behaviors) that were put there to mediate access to the data

An OOP ApplicationAn OOP Application

Object Oriented Application Public Behaviors

private

Characteristics

An Object

Message Passing

• OOP extends the concept of ADT by adding the concept of message passing.

• A program requests that an object perform a certain operation.

• Objects can also request that other objects perform operations

A Change of Emphasis

• Do you call the push routine with a stack and a data value

OR

• Do you ask a stack object to push a value onto itself

Inheritance

• Allows different data types to share the same code– Reduced code size– Increased functionality

VEHICLE

Land Vehicle

Car Bicycle Train Boat Submarine Plane Zeppelin

Water Vehicle

Commercial Military Private

Air Vehicle

Procedural “Polymorphism”

Procedural Application

Characteristics

Similar behavior for each representation

OO Polymorphism

OO Application

Single Interface

Similar behavior for each representation