Презентация Introduction to Programming онлайн
На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Introduction to Programming абсолютно бесплатно. Урок-презентация на эту тему содержит всего 41 слайд. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.
Оцените презентацию от 1 до 5 баллов!
- Тип файла:ppt / pptx (powerpoint)
- Всего слайдов:41 слайд
- Для класса:1,2,3,4,5,6,7,8,9,10,11
- Размер файла:201.55 kB
- Просмотров:92
- Скачиваний:0
- Автор:неизвестен
Слайды и текст к этой презентации:
№1 слайд
Содержание слайда: Einführung in die Programmierung
Introduction to Programming
Prof. Dr. Bertrand Meyer
Exercise Session 3
№2 слайд
Содержание слайда: Today
We will revisit classes, features and objects.
We will see how program execution starts.
We will play a game.
№3 слайд
Содержание слайда: Static view
A program consists of a set of classes.
Features are declared in classes. They define operations on objects constructed from the class.
Queries answer questions. They have a result type.
Commands execute actions. They do not have a result type.
Terms “class” and “type” used interchangeably for now.
№4 слайд
Содержание слайда: Dynamic view
At runtime we have a set of objects (instances) constructed from the classes.
An object has a type that is described in a class.
Objects interact with each other by calling features on each other.
№5 слайд
Содержание слайда: Static view vs. dynamic view
Queries (attributes and functions) have a return type. However, when executing the query, you get an object.
Routines have formal arguments of certain types. During the execution you pass objects as actual arguments in a routine call.
During the execution local variables declared in a routine are objects. They all have certain types.
№6 слайд
Содержание слайда: Declaring the type of an object
The type of any object you use in your program must be declared somewhere.
Where can such declarations appear in a program?
in feature declarations
formal argument types
return type for queries
in the local clauses of routines
№7 слайд
Содержание слайда: Declaring the type of an object
class DEMO
feature
procedure_name (a1: T1; a2, a3: T2)
-- Comment
local
l1: T3
do
…
end
function_name (a1: T1; a2, a3: T2): T3
-- Comment
do
…
end
attribute_name: T3
-- Comment
end
№8 слайд
Содержание слайда: Exercise: Find the classes / objects
class
game
feature
map_name: string
-- Name of the map to be loaded for the game
last_player: player
-- Last player that moved
players: player_list
-- List of players in this game.
...
№9 слайд
Содержание слайда: Exercise: Find the classes / objects
feature
is_occupied (a_location: traffic_place): boolean
-- Check if `a_location' is occupied by some flat hunter.
require
a_location_exists: a_location /= Void
local
old_cursor: cursor
do
Result := False
-- Remember old cursor position.
old_cursor := players.cursor
...
№10 слайд
Содержание слайда: Exercise: Find the classes / objects
-- Loop over all players to check if one occupies
-- `a_location'.
from
players.start
-- do not consider estate agent, hence skip the first
-- entry in `players'.
players.forth
until
players.after or Result
loop
if players.item.location = a_location then
Result := True
end
players.forth
end
-- Restore old cursor position.
players.go_to(old_cursor)
end
№11 слайд
Содержание слайда: Who are Adam and Eve?
Who creates the first object? The runtime creates a so called root object.
The root object creates other objects, which in turn create other objects, etc.
You define the type of the root object in the project settings.
You select a creation procedure of the root object as the first feature to be executed.
№12 слайд
Содержание слайда: Acrobat game
We will play a little game now.
Everyone will be an object.
There will be different roles.
№13 слайд
Содержание слайда: You are an acrobat
When you are asked to Clap, you will be given a number. Clap your hands that many times.
When you are asked to Twirl, you will be given a number. Turn completely around that many times.
When you are asked for Count, announce how many actions you have performed. This is the sum of the numbers you have been given to date.
№14 слайд
Содержание слайда: You are an ACROBAT
class
ACROBAT
feature
clap (n: INTEGER)
do
-- Clap `n’ times and adjust `count’.
end
twirl (n: INTEGER)
do
-- Twirl `n’ times and adjust `count’.
end
count: INTEGER
end
№15 слайд
Содержание слайда: You are an acrobat with a buddy
You will get someone else as your Buddy.
When you are asked to Clap, you will be given a number. Clap your hands that many times. Pass the same instruction to your Buddy.
When you are asked to Twirl, you will be given a number. Turn completely around that many times. Pass the same instruction to your Buddy.
If you are asked for Count, ask your Buddy and answer with the number he tells you.
№16 слайд
Содержание слайда: You are an ACROBAT_WITH_BUDDY
class
ACROBAT_WITH_BUDDY
inherit
ACROBAT
redefine
twirl, clap, count
end
create
make
feature
make (p: ACROBAT)
do
-- Remember `p’ being the buddy.
end
clap (n: INTEGER)
do
-- Clap `n’ times and forward to buddy.
end
№17 слайд
Содержание слайда: You are an ACROBAT_WITH_BUDDY
twirl (n: INTEGER)
do
-- Twirl `n’ times and forward to buddy.
end
count: INTEGER
do
-- Ask buddy and return his answer.
end
buddy: ACROBAT
end
№18 слайд
Содержание слайда: You are an author
When you are asked to Clap, you will be given a number. Clap your hands that many times. Say “Thank You.” Then take a bow (as dramatically as you like).
When you are asked to Twirl, you will be given a number. Turn completely around that many times. Say “Thank You.” Then take a bow (as dramatically as you like).
When you are asked for Count, announce how many actions you have performed. This is the sum of the numbers you have been given to date.
№19 слайд
Содержание слайда: You are an AUTHOR
class
AUTHOR
inherit
ACROBAT
redefine
clap, twirl
end
feature
clap (n: INTEGER)
do
-- Clap `n’ times say thanks and bow.
end
twirl (n: INTEGER)
do
-- Twirl `n’ times say thanks and bow.
end
end
№20 слайд
Содержание слайда: You are a curmudgeon
When given any instruction (Twirl or Clap), ignore it, stand up and say (as dramatically as you can) “I REFUSE”.
If you are asked for Count, always answer with 0.
Then sit down again if you were originally sitting.
№21 слайд
Содержание слайда: You are a CURMUDGEON
class
CURMUDGEON
inherit
ACROBAT
redefine
clap, twirl
end
feature
clap (n: INTEGER)
do
-- Say “I refuse”.
end
twirl (n: INTEGER)
do
-- Say “I refuse”.
end
end
№22 слайд
Содержание слайда: I am the root object
I got created by the runtime.
I am executing the first feature.
№23 слайд
Содержание слайда: I am a DIRECTOR
№24 слайд
Содержание слайда: Let’s play
№25 слайд
Содержание слайда: I am the root object
prepare_and_play
local
acrobat1, acrobat2, acrobat3 : ACROBAT
partner1, partner2: ACROBAT_WITH_BUDDY
author1: AUTHOR
curmudgeon1: CURMUDGEON
do
create acrobat1
create acrobat2
create acrobat3
create partner1.make (acrobat1)
create partner2.make (partner1)
create author1
create curmudgeon1
author1.clap (4)
partner1.twirl (2)
curmudgeon1.clap (7)
acrobat2.clap (curmudgeon1.count)
acrobat3.twirl (partner2.count)
partner1.buddy.clap (partner1.count)
partner2.clap (2)
end
№26 слайд
Содержание слайда: Concepts seen
№27 слайд
Содержание слайда: Concepts seen
№28 слайд
Содержание слайда: Advanced Material
№29 слайд
Содержание слайда: Outline
Invariants
Marriage problems
Violating the invariant
№30 слайд
Содержание слайда: Invariants explained in 60 seconds
Consistency requirements for a class
Established after object creation
Hold, when an object is visible
Entry of a routine
Exit of a routine
class
ACCOUNT
feature
balance: INTEGER
invariant
balance >= 0
end
№31 слайд
Содержание слайда: Public interface of person (without contracts)
class
PERSON
feature
spouse: PERSON
-- Spouse of Current.
marry (a_other: PERSON)
-- Marry `a_other’.
end
№32 слайд
Содержание слайда: Write the contracts
class PERSON
feature
spouse: PERSON
marry (a_other: PERSON)
require
??
ensure
??
invariant
??
end
№33 слайд
Содержание слайда: A possible solution
class PERSON
feature
spouse: PERSON
marry (a_other: PERSON)
require
a_other /= Void
a_other.spouse = Void
spouse = Void
ensure
spouse = a_other
a_other.spouse = Current
end
invariant
spouse /= Void implies spouse.spouse = Current
end
№34 слайд
Содержание слайда: Implementing marry
class PERSON
feature
spouse: PERSON
marry (a_other: PERSON)
require
a_other /= Void
a_other.spouse = Void
spouse = Void
do
??
ensure
spouse = a_other
a_other.spouse = Current
end
invariant
spouse /= Void implies spouse.spouse = Current
end
№35 слайд
Содержание слайда: Implementing marry I
class PERSON
feature
spouse: PERSON
marry (a_other: PERSON)
require
a_other /= Void
a_other.spouse = Void
spouse = Void
do
a_other.spouse := Current
spouse := a_other
ensure
spouse = a_other
a_other.spouse = Current
end
invariant
spouse /= Void implies spouse.spouse = Current
end
№36 слайд
Содержание слайда: Implementing marry II
class PERSON
feature
spouse: PERSON
marry (a_other: PERSON)
require
a_other /= Void
a_other.spouse = Void
spouse = Void
do
a_other.set_spouse (Current)
spouse := a_other
ensure
spouse = a_other
a_other.spouse = Current
end
set_spouse (a_person: PERSON)
do
spouse := a_person
end
invariant
spouse /= Void implies spouse.spouse = Current
end
№37 слайд
Содержание слайда: Implementing marry III
class PERSON
feature
spouse: PERSON
marry (a_other: PERSON)
require
a_other /= Void
a_other.spouse = Void
spouse = Void
do
a_other.set_spouse (Current)
spouse := a_other
ensure
spouse = a_other
a_other.spouse = Current
end
feature {PERSON}
set_spouse (a_person: PERSON)
do
spouse := a_person
end
invariant
spouse /= Void implies spouse.spouse = Current
end
№38 слайд
Содержание слайда: Implementing marry : final version
class PERSON
feature
spouse: PERSON
marry (a_other: PERSON)
require
a_other /= Void
a_other.spouse = Void
spouse = Void
do
spouse := a_other
a_other.set_spouse (Current)
ensure
spouse = a_other
a_other.spouse = Current
end
feature {PERSON}
set_spouse (a_person: PERSON)
do
spouse := a_person
end
invariant
spouse /= Void implies spouse.spouse = Current
end
№39 слайд
Содержание слайда: Ending the marriage
class PERSON
feature
spouse: PERSON
divorce
require
spouse /= Void
do
spouse.set_spouse (Void)
spouse := Void
ensure
spouse = Void
(old spouse).spouse = Void
end
invariant
spouse /= Void implies spouse.spouse = Current
end
№40 слайд
Содержание слайда: Violating the invariant
See demo
№41 слайд
Содержание слайда: What we have seen
Invariant should only depend on Current object
If invariant depends on other objects
Take care who can change state
Take care in which order you change state
Invariant can be temporarily violated
You can still call features on Current object
Take care calling other objects, they might call back
Although writing invariants is not that easy, they are necessary to do formal proofs. This is also the case for loop invariants (which will come later).
Скачать все slide презентации Introduction to Programming одним архивом:
