Az Ada95 programozási nyelv

Egyetemi tankönyv

Szerző

Belokosztolszki András

Czabala Péter

Horváth Zoltán

Kozics Sándor

Kozsik Tamás

Pécsy Gábor

Steingart Ferenc

'Belokosztolszki András: Az Ada95 programozási nyelv ' összes példány

Kiadó:	ELTE Eötvös Kiadó
Kiadás helye:	Budapest
Kiadás éve:	1998
Kötés típusa:	Fűzött papírkötés
Oldalszám:	576 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 16 cm
ISBN:	963-463-238-6

Értesítőt kérek a kiadóról

A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Fülszöveg

"A tankönyv egységes, összefoglaló képet ad az Ada95 programozási nyelvvel kapcsolatos eredményekről. Alapvető tulajdonságainak, lehetőségeinek bemutatásán túl (a nyelv kialakításának, céljainak megfelelően) általános programozási módszertant, stílust is "tanít". Az Ada nyelv megismerése segített hozzá, hogy igazából egyetlen nyelv sem tudott "meglepetést" okozni, legfeljebb egy kicsit más formában kell a programot megírni."

Tartalom

Előszó	13
Bevezetés	15
Az Ada nyelv áttekintése	25
Az Ada kialakulásának történeti háttere	25
Az Ada rövid jellemzése	27
Lexikális elemek	31
Feladatok	33
Típusok és kifejezések	35
Típusok	35
Altípusok	38
Származtatott típusok	40
Objektum deklarációk és értékadások	42
Skalár típusok	45
Attribútumok	46
A diszkrét típusok	48
A valós típusok	56
A tömb típus	61
Tömb típusú objektumok műveletei	64
Szöveg típusok	67
A rekord típus	68
A rekord diszkriminánsai	71
A variáns rekord	73
Mutató típusok	77
Feladatok	89
Utasítások	91
Egyszerű utasítások	91
Az értékadás	91
A null utasítás	92
Alprogramok hívása és a return utasítás	92
Összetett utasítások	93
Elágazás: if-then-elsif-else, case	93
Ciklus utasítások: for, while, exit	94
A blokk és a declare utasítás	96
A goto utasítás	98
Feladatok	98
Alprogramok	101
Paraméterek	104
A paraméterek módja	105
Másolat és hivatkozás szerinti paraméterátadás	107
Mutató paraméter	110
Az aktuális paraméter megfeleltetése a formálisnak	112
Paraméterek feltételezett értéke	112
Alprogram definiálása	113
Megvalósítás megadásának módjai	116
További, az alprogramok közé sorolt entitások	116
Alprogramok átlapolása	117
Operátorok átlapolása	118
Alprogramok a könyv további fejezeteiben	120
Feladatok	120
Kivételek, kivételkezelés	123
Kivételkezelés az Ada nyelvben	125
A kivételek fajtái	126
A kivételkezelő rész	127
Kivételek kiváltódása, terjedése	130
Kivételek kiváltása, terjesztése	131
Kivétel példányok	132
Példák kivételek használatára	134
Mire használhatjuk a kivételeket?	134
További példák	137
Az Ada kivételezésének hiányosságai	139
Utalás a következő fejezetekre	140
Az előre definiált könyvtárak kivételei	140
Feladatok	141
A csomag	143
A csomag specifikációja	143
A csomag törzse	144
Az átlátszatlan típus	146
Késleltetett definíciójú konstansok	148
Az átlátszatlan típusok műveletei	148
A korlátozott átlátszatlan típus	150
Átlátszatlan kiterjesztések	152
Illeszkedési szabályok	152
Példaprogramok	153
Véletlenszámok előállítása	153
Halmaz megvalósítása	154
A Kupac osztály megvalósítása	155
Ellenőrzött típusok	158
Gyermekcsomagok	159
Feladatok	162
Hatáskör és láthatóság	163
Deklarációs környezet	163
Hatáskör	164
Láthatóság	165
A use utasítás	168
Az átnevezés	169
A program szerkezete	171
Partíciók, fordítási egységek	171
Könyvtári elemek	173
Alegységek	175
Szemantikus függőség	176
Példaprogramok	177
Prioritási sorok	177
Keresztreferencia lista készítése	180
Feladatok	187
Az Input-Output használata	189
Külső fájlok és fájlobjektumok	189
Soros és közvetlen elérésű fájlok	190
Szekvenciális fájlok	193
Közvetlen elérésű fájlok	194
A Storage_IO csomag	196
Textfájlok kezelése	197
Sor- és oldalhosszok beállítása és lekérdezése	201
Oszlopok, sorok, és oldalak műveletei	202
Get és Put eljárások	206
Egész típusok input-outputja	210
Valós típusok input-outputja	212
Felsorolási típusok input-outputja	215
Wide_Character és Wide_String input-output	217
Adatfolyam input-output	217
A Streams.Stream_IO csomag	217
A Text_IO.Text_Streams csomag	220
A Wide_Text_IO.Text_Streams csomag	221
Az input-output során fellépő kivételek	221
Fájlok megosztása	222
Az SVGALib könyvtár	223
Az svgalib.ads	223
Az svgalibmouse.ads	225
Feladatok	226
Sablonok	227
Sablonok definiálása	228
Sablonok példányosítása	231
A sablon-szerződés modell	232
Sablon paraméterek	234
Paraméter objektumok	234
A paraméter típusok fajtái	235
Paraméter alprogramok	247
Csomagparaméterek	250
Példák sablonok használatára	253
Sablonok az előre definiált könyvtárakban	253
Sablonban, illetve sablonként megvalósított típusok	253
Üres sablon csomag, mint absztrakció	255
Kivételek sablon formális paraméterként	257
Feladatok	257
Objektum-orientált programozás	259
Az objektum-orientált tervezés	259
Öröklődés	262
Primitív műveletek	266
Konverzió	267
Jelölt típusok a variáns rekord helyett	268
Többalakúság	273
Osztályok és futásidejű azonosítás	273
Kiválasztás	276
Egy lehetséges megvalósítás	278
Az objektumok címkéje és a 'Tag attribútum	278
Egyenlőség és tartalmazás operátorok	278
Eltakart implementáció hívása	280
Újrakiválasztás	280
Absztrakt típusok és műveletek	282
Konstruktorok, destruktorok, értékadás	286
Feladatok	287
Konténer típusok	289
A Lista típus	289
A Lista típus megvalósítása	291
Esemény-listák	299
Feladatok	302
Adatfolyamok	303
Az Ada.Streams csomag	303
Adatfolyam-attribútumok	304
Objektum-hierarchiák tárolása adatfolyamokban	306
Feladatok	308
Taszkok	309
A taszk specifikációja és törzse	310
Taszk típusok, taszk objektumok	312
Taszkok elindítása, végrehajtása	313
Taszkok terminálása	313
A taszkok attribútumai	315
Belépési pont, belépési pont hívás, accept utasítás	315
Belépésipont-családok	318
A select utasítás	318
A szelektív várakoztatás	319
A select utasítás hívó taszkban	323
Kivételkezelés	324
Példák	324
Feladatok	332
Védett típusok és objektumok	333
Áttekintés	334
Védett egységek készítése	337
Típus és objektum	338
Szerkezet	339
Diszkrimináns	340
Őrfelvételek	341
A műveletek belseje	342
Működés	344
A védett egységek használata	347
Értékelés	349
Példák	350
Korlátos buffer	351
Üzenetszórásos szignál	351
Feladatok	353
Reprezentációs specifikációk	355
Reprezentációs elemek	355
A Pack direktíva	356
Reprezentációs attribútumok	356
Felsorolási típus reprezentációs záradékai	359
Rekordok kialakításának szabályozása	360
Fagyasztási szabályok	362
A System csomag	363
Assembly részek beillesztése	365
Ellenőrzés nélküli adatelérés	366
Ellenőrzés nélküli típuskonverzió	366
Nem ellenőrzött referenciaképzés	368
Memóriagazdálkodás	369
Szabadlista-kezelés	369
Ellenőrzés nélküli tárfelszabadítás	371
A Controlled pragma	372
További fordítási direktívák	372
Előre definiált nyelvi környezet	377
A Standard csomag	377
Karakterkezelés	383
Sztringkezelés	386
Fix hosszúságú sztringek kezelése	390
Korlátos hosszúságú sztringek kezelése	397
Nemkorlátos hosszúságú sztringek kezelése	406
Sztringkezelést támogató halmazok és leképezések	413
Wide_String kezelés	414
A numerikus csomagok	414
Elemi függvények	414
Véletlenszámok generálása	418
A lebegőpontos típusok attribútumai	420
A fixpontos típusok attribútumai	424
Input-Output	425
A Sequential_IO sablon csomag deklarációja	425
A Direckt_IO sablon csomag deklarációja	427
A Storage_IO sablon csomag deklarációja	428
A Text_IO csomag deklarációja	429
A Streams.Stream_IO csomag deklarációja	437
A Text_IO.Text_Streams csomag deklarációja	439
A Wide_Text_IO.Text_Streams csomag	439
Az IO_Exceptions csomag deklarációja	440
A Command_Line csomag	440
Kapcsolódás más nyelvekhez	443
A kapcsolódást leíró pragmák	443
Az Interfaces csomag	445
Kapcsolódás a C nyelvhez	446
Az Interfaces.C.Strings csomag	450
Az Interfaces.C.Pointers sablon csomag	452
Kapcsolódás a COBOL nyelvhez	455
Kapcsolódás a Fortran nyelvhez	461
Rendszerprogramozás	465
A gépi utasítások elérése	465
Megszakításkezelés	465
Védett kezelőeljárások	466
Az Interrupts csomag	467
A Discard_Names pragma	468
Osztott elérésű változók	469
Taszkok azonosítása	470
A Task_Attributes sablon csomag	471
Valós idejű rendszerek	473
Taszk prioritások	473
Prioritás ütemezés	475
A taszk ütemezési modell	475
A szabványos taszk ütemező technika	476
Maximált prioritás kizárási technika	477
Belépési pont besorolási technikák	478
Dinamikus prioritáskezelés	479
Monoton idő	479
Szinkron taszk vezérlés	482
Aszinkron taszk vezérlés	483
Osztott rendszerek	485
Partíciók	485
A könyvtári egységek osztályozása	486
Osztott passzív könyvtári egységek	487
Távoli típus könyvtári egységek	488
Távoli hívás interfész könyvtári egységek	489
Távoli alprogramhívások	490
Dinamikus összekapcsolás	492
Alprogramra vonatkozó mutató típus	492
Osztályszintű korlátozott típusra mutató típus	493
Információs rendszerek	497
A gépi alapszám definiálása	497
A Decimal csomag	497
Decimális típusok formázott megjelenítése	498
A Text_IO.Editing csomag	501
A Wide_Text_IO.Editing csomag	504
Numerikus műveletek	505
Komplex aritmetika	505
Komplex típusok	505
Komplex elemi függvények	510
Komplex input-output	513
A Wide_Text_IO.Complex_IO csomag	515
Hatékonysági követelmények	515
A lebegőpontos aritmetika modellje	516
Lebegőpontos típusok modellorientált attribútumai	517
A magasszintű programozási nyelvek alapfogalmai	519
A számítási modellek fajtái	519
Neumann-elvű nyelvek	520
A nyelvi elemek, alapfogalmak	520
Általános fogalmak	520
Programszerkezet	521
Deklarációk	521
Memóriakezelés	523
Paraméterátadás	524
Feladatok	527
Szótár	553
Irodalomjegyzék	557
Tárgymutató	559