Komputeralgebra rendszerek

Átírás

1 Komputeralgebra rendszerek Haladó programozás Czirbusz Sándor Komputeralgebra Tanszék ELTE Informatika Kar ősz

2 Index 1 Procedúrák, változók, a Maple kiterjesztése Egymásba ágyazott procedúrák "Apróságok" 2 Modulok Célok Szintaxis Modultest, információkérés Opciók, egyebek Modultípusok A use utasítás 3 Összekapcsolhatóság 4 Programtesztelés Debug trace Kivételkezelés Szintaktikai ellenőrzés Egyebek

3 Egymásba ágyazott procedúrák Egymásba ágyazott procedúrák A változók hatáskörének megállapítása

4 Egymásba ágyazott procedúrák Egymásba ágyazott procedúrák A változók hatáskörének megállapítása 1 A belső procedúra paraméterei

5 Egymásba ágyazott procedúrák Egymásba ágyazott procedúrák A változók hatáskörének megállapítása 1 A belső procedúra paraméterei 2 A belső procedúra lokális/globális változói

6 Egymásba ágyazott procedúrák Egymásba ágyazott procedúrák A változók hatáskörének megállapítása 1 A belső procedúra paraméterei 2 A belső procedúra lokális/globális változói 3 A külső eljárás praméterei

7 Egymásba ágyazott procedúrák Egymásba ágyazott procedúrák A változók hatáskörének megállapítása 1 A belső procedúra paraméterei 2 A belső procedúra lokális/globális változói 3 A külső eljárás praméterei 4 A külső eljárás lokális/globális változói

8 Egymásba ágyazott procedúrák Egymásba ágyazott procedúrák A változók hatáskörének megállapítása 1 A belső procedúra paraméterei 2 A belső procedúra lokális/globális változói 3 A külső eljárás praméterei 4 A külső eljárás lokális/globális változói 5 A külső procedúrák implicit lokális változói

9 Egymásba ágyazott procedúrák Egymásba ágyazott procedúrák A változók hatáskörének megállapítása 1 A belső procedúra paraméterei 2 A belső procedúra lokális/globális változói 3 A külső eljárás praméterei 4 A külső eljárás lokális/globális változói 5 A külső procedúrák implicit lokális változói Kiegészítő szabályok

10 Egymásba ágyazott procedúrák Egymásba ágyazott procedúrák A változók hatáskörének megállapítása 1 A belső procedúra paraméterei 2 A belső procedúra lokális/globális változói 3 A külső eljárás praméterei 4 A külső eljárás lokális/globális változói 5 A külső procedúrák implicit lokális változói Kiegészítő szabályok A for kontrollváltozója, illetve explicit értékadás baloldali változója lokális

11 Egymásba ágyazott procedúrák Egymásba ágyazott procedúrák A változók hatáskörének megállapítása 1 A belső procedúra paraméterei 2 A belső procedúra lokális/globális változói 3 A külső eljárás praméterei 4 A külső eljárás lokális/globális változói 5 A külső procedúrák implicit lokális változói Kiegészítő szabályok A for kontrollváltozója, illetve explicit értékadás baloldali változója lokális Minden más változó globális

12 "Apróságok" "Apróságok" Procedúrák melyek visszaadott értéke procedúra : "gyári" procedúrák, pl.dsolve mi is készíthetünk

13 "Apróságok" "Apróságok" Procedúrák melyek visszaadott értéke procedúra : "gyári" procedúrák, pl.dsolve mi is készíthetünk Lokális változól élettartama : a procedúra befejeztéig

14 "Apróságok" "Apróságok" Procedúrák melyek visszaadott értéke procedúra : "gyári" procedúrák, pl.dsolve mi is készíthetünk Lokális változól élettartama : a procedúra befejeztéig Interaktív input : readline(file) Ha a file=terminal, egy sort kér tőlünk. A parse konvertálja kifejezéssé.

15 "Apróságok" "Apróságok" Procedúrák melyek visszaadott értéke procedúra : "gyári" procedúrák, pl.dsolve mi is készíthetünk Lokális változól élettartama : a procedúra befejeztéig Interaktív input : readline(file) Ha a file=terminal, egy sort kér tőlünk. A parse konvertálja kifejezéssé. Kifejezés bevitele : readstat(prompt)

16 "Apróságok" "Apróságok" Procedúrák melyek visszaadott értéke procedúra : "gyári" procedúrák, pl.dsolve mi is készíthetünk Lokális változól élettartama : a procedúra befejeztéig Interaktív input : readline(file) Ha a file=terminal, egy sort kér tőlünk. A parse konvertálja kifejezéssé. Kifejezés bevitele : readstat(prompt) Új típus definiálása : type/újtípus :=kifejezés (többnyire procedúra)

17 "Apróságok" "Apróságok" Procedúrák melyek visszaadott értéke procedúra : "gyári" procedúrák, pl.dsolve mi is készíthetünk Lokális változól élettartama : a procedúra befejeztéig Interaktív input : readline(file) Ha a file=terminal, egy sort kér tőlünk. A parse konvertálja kifejezéssé. Kifejezés bevitele : readstat(prompt) Új típus definiálása : type/újtípus :=kifejezés (többnyire procedúra) Semleges operátorok : &operátor

18 "Apróságok" "Apróságok" Procedúrák melyek visszaadott értéke procedúra : "gyári" procedúrák, pl.dsolve mi is készíthetünk Lokális változól élettartama : a procedúra befejeztéig Interaktív input : readline(file) Ha a file=terminal, egy sort kér tőlünk. A parse konvertálja kifejezéssé. Kifejezés bevitele : readstat(prompt) Új típus definiálása : type/újtípus :=kifejezés (többnyire procedúra) Semleges operátorok : &operátor Parancsok kiterjesztése : proc/típus :=proc... userinfo(string) Tájékoztató a folyamatról

19 Célok Célok Csomagok írása

20 Célok Célok Csomagok írása Objektum modellezés

21 Célok Célok Csomagok írása Objektum modellezés Portábilitás

22 Szintaxis Szintaxis module() local L ; export E ; global G ; options O ; description D ; Body end module A module() end module kivételével minden opcionális. Alkalmazás : name:=module()...end module Vagy : modul name()... end module (Nem vehet részt értékadásban) Hivatkozásoknál írásképben megkülönbözteti a Maple a kettőt.

23 Modultest, információkérés Modultest, információkérés Modultest : Maple utasítássorozat,lehet üres Nem lehet break, next benne.

24 Modultest, információkérés Modultest, információkérés Modultest : Maple utasítássorozat,lehet üres Nem lehet break, next benne. A thismodule hivatkozás

25 Modultest, információkérés Modultest, információkérés Modultest : Maple utasítássorozat,lehet üres Nem lehet break, next benne. A thismodule hivatkozás export elérése. modulkif:-exportnév.

26 Modultest, információkérés Modultest, információkérés Modultest : Maple utasítássorozat,lehet üres Nem lehet break, next benne. A thismodule hivatkozás export elérése. modulkif:-exportnév. Nevük lekérdezhető az exports(modulnév), exports(modulnév, instance )vagy hívatkozással.

27 Modultest, információkérés Modultest, információkérés Modultest : Maple utasítássorozat,lehet üres Nem lehet break, next benne. A thismodule hivatkozás export elérése. modulkif:-exportnév. Nevük lekérdezhető az exports(modulnév), exports(modulnév, instance )vagy hívatkozással. A member(modul, név) teszteli a tartalmazást.

28 Opciók, egyebek Opciók load=proc és unload=proc : Híváskor/törléskor végreahjtódó procedúra.

29 Opciók, egyebek Opciók load=proc és unload=proc : Híváskor/törléskor végreahjtódó procedúra. package

30 Opciók, egyebek Opciók load=proc és unload=proc : Híváskor/törléskor végreahjtódó procedúra. package record

31 Opciók, egyebek Opciók load=proc és unload=proc : Híváskor/törléskor végreahjtódó procedúra. package record Hatáskörök, egymásbaágyazás : minta a procedúráknál.

32 Opciók, egyebek Opciók load=proc és unload=proc : Híváskor/törléskor végreahjtódó procedúra. package record Hatáskörök, egymásbaágyazás : minta a procedúráknál. Paraméterezett modul (generikus modul) : procedúrába ágyazva (pl modulo aritmetika) (Lényegében konstruktor)

33 Opciók, egyebek Opciók load=proc és unload=proc : Híváskor/törléskor végreahjtódó procedúra. package record Hatáskörök, egymásbaágyazás : minta a procedúráknál. Paraméterezett modul (generikus modul) : procedúrába ágyazva (pl modulo aritmetika) (Lényegében konstruktor) Típusok : a modul egyben típus is, a defíníciója pedig moduldefinition típus

34 Modultípusok Modultípusok record

35 Modultípusok Modultípusok record package - ez az új trendi. A :- hívatkozás bal-asszociatív

36 A use utasítás A use utasítás Nemcsak moduloknál használjuk (Pascal width) use environment in body end use;

37 Összekapcsolhatóság Külső - C, FORTRAN - eljárás hívása Maple-ból

38 Összekapcsolhatóság Külső - C, FORTRAN - eljárás hívása Maple-ból OpenMaple : Maple eljárások hívása más nyelvből.

39 Debug Debug Sorszámkijelzés : showstat(proc)

40 Debug Debug Sorszámkijelzés : showstat(proc) Breakpoint : stopat(proc,sorszám, cond) átmegy debug módba A sorszám és a feltétel opcionális

41 Debug Debug Sorszámkijelzés : showstat(proc) Breakpoint : stopat(proc,sorszám, cond) átmegy debug módba A sorszám és a feltétel opcionális Visszavonása : unstopat(proc, sorszám)

42 Debug Debug Sorszámkijelzés : showstat(proc) Breakpoint : stopat(proc,sorszám, cond) átmegy debug módba A sorszám és a feltétel opcionális Visszavonása : unstopat(proc, sorszám) prompt :DBG>

43 Debug Debug Sorszámkijelzés : showstat(proc) Breakpoint : stopat(proc,sorszám, cond) átmegy debug módba A sorszám és a feltétel opcionális Visszavonása : unstopat(proc, sorszám) prompt :DBG> parancsok : next, step, showstat, list, outfrom, cont, quit, where, showstop

44 Debug Debug Sorszámkijelzés : showstat(proc) Breakpoint : stopat(proc,sorszám, cond) átmegy debug módba A sorszám és a feltétel opcionális Visszavonása : unstopat(proc, sorszám) prompt :DBG> parancsok : next, step, showstat, list, outfrom, cont, quit, where, showstop watchpoint : stopwhen([proc,var]), unstopwhen()

45 Debug Debug Sorszámkijelzés : showstat(proc) Breakpoint : stopat(proc,sorszám, cond) átmegy debug módba A sorszám és a feltétel opcionális Visszavonása : unstopat(proc, sorszám) prompt :DBG> parancsok : next, step, showstat, list, outfrom, cont, quit, where, showstop watchpoint : stopwhen([proc,var]), unstopwhen() Explicit meghívás procedúrából : DEBUG(arg)

46 Debug Debug Sorszámkijelzés : showstat(proc) Breakpoint : stopat(proc,sorszám, cond) átmegy debug módba A sorszám és a feltétel opcionális Visszavonása : unstopat(proc, sorszám) prompt :DBG> parancsok : next, step, showstat, list, outfrom, cont, quit, where, showstop watchpoint : stopwhen([proc,var]), unstopwhen() Explicit meghívás procedúrából : DEBUG(arg) stoperror(string) a figyelt hiba jelzése Speciális nevek :

47 Debug Debug Sorszámkijelzés : showstat(proc) Breakpoint : stopat(proc,sorszám, cond) átmegy debug módba A sorszám és a feltétel opcionális Visszavonása : unstopat(proc, sorszám) prompt :DBG> parancsok : next, step, showstat, list, outfrom, cont, quit, where, showstop watchpoint : stopwhen([proc,var]), unstopwhen() Explicit meghívás procedúrából : DEBUG(arg) stoperror(string) a figyelt hiba jelzése Speciális nevek : all bármilyen olyan hibánál, amelyik nincs a try konstrukcióban

48 Debug Debug Sorszámkijelzés : showstat(proc) Breakpoint : stopat(proc,sorszám, cond) átmegy debug módba A sorszám és a feltétel opcionális Visszavonása : unstopat(proc, sorszám) prompt :DBG> parancsok : next, step, showstat, list, outfrom, cont, quit, where, showstop watchpoint : stopwhen([proc,var]), unstopwhen() Explicit meghívás procedúrából : DEBUG(arg) stoperror(string) a figyelt hiba jelzése Speciális nevek : all bármilyen olyan hibánál, amelyik nincs a try konstrukcióban traperror

49 trace trace printlevel=n

50 trace trace printlevel=n trace(proclist)

51 trace trace printlevel=n trace(proclist) untrace(proclist)

52 trace trace printlevel=n trace(proclist) untrace(proclist) ASSERT(felt, üzenet) kernelopts(assert=true) a bekapcsolása

53 trace trace printlevel=n trace(proclist) untrace(proclist) ASSERT(felt, üzenet) kernelopts(assert=true) a bekapcsolása WARNING(üzenet,par1,par2,...), interface(warnlevel=n)

54 Kivételkezelés Kivételkezelés try catch finally Üzenet : error(string1,string2,...)

55 Szintaktikai ellenőrzés Szintaktikai ellenőrzés maplemint(proc)

56 Egyebek Egyebek showtime(), kikapcsolása : off

57 Egyebek Egyebek showtime(), kikapcsolása : off time()

58 Egyebek Egyebek showtime(), kikapcsolása : off time() profile(procs), showprofile(procs), unprofile(procs)

59 Egyebek Egyebek showtime(), kikapcsolása : off time() profile(procs), showprofile(procs), unprofile(procs) timelimit(time, expr)

60 Egyebek Egyebek showtime(), kikapcsolása : off time() profile(procs), showprofile(procs), unprofile(procs) timelimit(time, expr) gc() garbage collection