Università di Pisa. Gestione delle eccezioni nella composizione di codice intermedio. Tesi di Laurea: Candidato: Federico Valdes

Transcript

1 Unverstà d Psa Facoltà d Scenze Matematche, Fsche e Natural Corso d Laurea Specalstca n Tecnologe Informatche Anno accademco Tes d Laurea: Gestone delle eccezon nella composzone d codce ntermedo Canddato: Federco Valdes Relatore: Prof. Antono Csternno Controrelatore: Prof.ssa Laura Semn

2 2

3 To My Parents 3

4 Rngrazament Vorre esprmere la ma pù sncera grattudne al relatore d questa tes, l prof. Antono Csternno, per averm seguto nella stesura e per la dsponbltà dmostrata. Rngrazo me gentor, per l enorme pazenza avuta durante l mo percorso unverstaro e tutt le persone conoscute n quest ann che m hanno sostenuto durante l corso de me stud, un abbracco specale a tutt gl amc del perodo d C62. 4

5 Indce generale CAPITOLO 1 Introduzone STESURA DELLA TESI CAPITOLO 2 Code Brcks COMMON LANGUAGE RUNTIME Common Type System Common Language Specfcaton Common Intermedate Language Just n Tme Compler Vrtual Exceuton System MANAGED MODULE Metadata Assembly REFLECTION CLI Fle Reader CODE VALUES BINDING Bndng senza code combnators Bndng con code combnators CODE BRICKS CAPITOLO 3 Gestone delle eccezon INTRODUZIONE MODALITA DI GESTIONE Clausole Supporto CIL per le eccezon SINTASSI E SEMANTICA Throw statement Try statement

6 3.4 IMPLEMENTAZIONE Bndng senza code combnators Bndng con code combnators CONCLUSIONI CAPITOLO 4 Modello Formale MODELLO DELL AMBIENTE DI ESECUZIONE Tp e valor Method Bodes Valutazone d method bodes Tpzzazone d method bodes Modello della memora Teorema d valutazone CODE TYPE BINDING CODE VALUES Code transformaton Bndng values Bndπ Bnd χ Funzone Bnd Esecuzone d Code Values MODELLO FORMALE PER LA GESTIONE DELLE ECCEZIONI Estensone all ambente d esecuzone Tpo Code e funzone Bnd Esecuzone d Code Values INTERPRETER THEOREM CAPITOLO 5 - CONCLUSIONI APPENDICE BIBLIOGRAFIA

7 7

8 La generazone d codce runtme è stato un campo d rcerca per svarat ann ma l suo uso pratco è stato n qualche modo lmtato a causa dello svluppo d tool dpendent dal lnguaggo d programmazone utlzzato e anche dalla partcolare pattaforma. Prendendo come esempo un lnguaggo d programmazone come l C l cu codce sorgente vene complato n lnguaggo macchna dpendente dall archtettura su cu vene eseguto dobbamo tenere n consderazone le specfche del complatore e le convenzon adottate dal sstema operatvo. Un modo per essere lber da quest vncol mpost dall archtettura dell elaboratore è stato quello d generare codce runtme su sstem d esecuzone basat sul bytecode, purtroppo però le prestazon d tal programm non erano paragonabl a quell generat n codce natvo dovendo attraversare una fase nterpretatva che consentsse d nterpretare da una macchna vrtuale le struzon scrtte n bytecode per poter essere esegute dalla macchna sottostante. L obbettvo è stato qund quello d combnare vantagg della generazone d codce n bytecode consente una facle generazone e permette la portabltà del codce su dfferent archtetture ) con la generazone del codce n lnguaggo macchna permette una notevole veloctà del codce generato ). Questo è stato possble con l arrvo delle nuove pattaforme d esecuzone basate sul bytecode come la Java Vrtual Machne ed l Common Language Runtme d Mcrosoft che contengono un Just-n-Tme compler che genera codce macchna ottmzzato dal bytecode a runtme. Un complatore just-n-tme o JIT permette un tpo d complazone, conoscuta anche come traduzone dnamca, con la quale è possble aumentare le performance de sstem d programmazone che utlzzano l bytecode, traducendo l bytecode nel codce macchna natvo n fase d run-tme. Graze all ntroduzone de sstem JIT è stato possble combnare vantagg della complazone del bytecode a quell della complazone natva. 8

9 Introduzone Nella fase d complazone del bytecode è eseguta la maggor parte del lavoro pù pesante come anals sntattca e semantca del codce sorgente. La complazone da bytecode a codce natvo nvece è molto pù veloce ed relatv complator molto pù semplc da realzzare n quanto l lavoro pù complesso è eseguto dal complatore che ha prodotto l bytecode. Sa la JVM che l CLR fanno parte d una classe d support run-tme chamata ambente d esecuzone fortemente tpato Strongly Typed Executon Envnronments, STEE ) che mplementa una macchna vrtuale che fornsce un sstema d tp estendble, supporto alla reflecton e l modello d esecuzone garantsce che tp de valor che vengono esegut possono essere sempre stablt e l accesso a quest valor può essere effettuato soltanto utlzzando gl operator defnt su d ess. Il supporto alla reflecton è garantto da quest ambent d esecuzone poché contengono nformazon su tp utlzzat da programm e sulla loro struttura, quest ambent sono n grado d rflettere tp e loro metod a programm n esecuzone. L nput d un STEE è un programma espresso n un lnguaggo chamato lnguaggo ntermedo, l Common Language Runtme esegue programm scrtt n Common Intermedate Language mentre la Java Vrtual Machne esegue l bytecode, l esecuzone nza da un metodo che può nvocare altr metod, ogn nvocazone d un metodo porta all aggunta d un stack frame che contene varabl local e argoment d nput. La lbrera CodeBrcks svluppata utlzzando l lnguaggo d programmazone C# estende l supporto alla reflecton fornto da un ambente STEE defnendo l nuovo tpo Code. I code value che rappresentano le stanze d questo nuovo tpo code possono essere vste come delle scatole nere che rappresentano l corpo d un metodo. Quest valor sono fornt d un operatore chamato Bnd che permette d manpolare code values fornendo un sstema per la generazone d codce durante la fase d esecuzone, meta-programmazone e programmazone mult-stage. Questo meccansmo è potente e facle da usare poché è esposto come tpo nel lnguaggo d programmazone utlzzato e da l mpressone al programmatore che la combnazone d codce avvenga a lvello sorgente nascondendo l fatto che la trasformazone reale avvene a lvello d codce ntermedo. 9

10 Introduzone 1.1 Stesura della tes L obbettvo della tes è d estendere l meccansmo fornto dalla lbrera CodeBrcks per permettere la gestone delle eccezon. Verrà estesa la classe Code con le nformazon necessare per rcostrure la tabella delle eccezon assocata al metodo che l code value rappresenta. Inoltre l operatore d Bnd dovrà permettere d determnare la tabella delle eccezon per l code value creato partendo dalle tabelle delle eccezon de code value da qual l operazone d combnazone d codce vene performata. La tes è stata suddvsa ne seguent captol: Captolo 2: Questo captolo s focalzzerà sulle tecnologe d base d questa tes. Verranno presentate le caratterstche d base dell ambente d esecuzone esteso dalla lbrera CodeBrcks, ovvero l Common Language Runtme. Qund presenteremo l tpo code e l funzonamento dell operatore Bnd fornendo alcun esemp. Captolo 3: Questo è l captolo centrale della tes, verrà presentato l meccansmo d gestone delle eccezon fornto dal Common Language Runtme e presentato una panoramca della soluzone adottata e dscuss alcun aspett dell mplementazone con l auto d esemp. Captolo 4: Vene presentato ed esteso l modello formale d code value e Bnd defnto n [1] per tenere conto delle modfche apportate nel captolo precedente. Captolo 5: Questa è la parte fnale della tes n cu verranno presentate alcune consderazon. 10

11 11

12 CodeBrcks è una lbrera svluppata con l lnguaggo d programmazone C# ed estende l supporto alla reflecton fornto dal.net Common Language Runtme. In questo captolo c preoccuperemo d descrvere le tecnologe sulle qual s basa CodeBrcks, vedremo n cosa consste l.net CLR e da qual component è costtuto descrvendo anche l supporto che fornsce alla reflecton. Nella seconda parte del captolo c concentramo nvece sulla classe attorno alla quale la lbrera è stata costruta, ovvero l tpo Code, analzzando e fornendo esemp sull applcazone dell unco operatore che consente d manpolare Code Values, l operatore Bnd. 12

13 Code Brcks 2.1 Common Language Runtme Il Common Language Runtme è l motore desecuzone della pattaforma.net esegue coè codce IL Intermedate Language) complato con complator che possono avere come target l CLR. Tale componente s occupa d complare Just-In- Tme al volo) l codce IL n lnguaggo comprensble dalla CPU lnguaggo Macchna). Il codce a cu l runtme s rfersce e la cu esecuzone è gestto da esso vene detto codce gestto managed code), ogn volta che vene utlzzato un complatore che ha come target l CLR vene creato un managed module. Fg. 2.1: Complare sorgent n Managed module. Il ruolo crtco del CLR è l fatto che fornsce un ambente d runtme unfcato comune a tutt lnguagg d programmazone. Il CLR può essere vsto come uno strato posto al d sopra del sstema operatvo che è responsable dell esecuzone vera e propra delle applcazon, noltre l common language runtme fornsce servz d base al managed code come la gestone della memora, esecuzone de thread e del codce e altr servz d sstema. Il CLR è composto da seguent cnque component: CTS Common Type System CLS Common Language Specfcaton 13

14 Code Brcks CIL Common Intermedate Language JIT Just In Tme Compler VES Vrtual Executon System Common Type System Il runtme obblga l codce ad avere un comportamento robusto attraverso l nfrastruttura d verfca del codce e del tpo chamata Common Type System. Tutt complator generano managed code conforme al CTS che descrve come tp sono defnt ed l loro comportamento; esso specfca cosa un tpo può contenere e le regole d vsbltà ed accesso a membr. Il CLR s basa su tp, ess espongono funzonaltà all applcazone e ad altr tp; noltre sono l meccansmo che permette a programm scrtt n dfferent lnguagg d poter comuncare tra loro. Il CTS supporta due categore general d tp ognuno de qual è suddvso n sottocategore: Value Types: Contengono drettamente l dato, e le stanze d quest tp vengono allocat drettamente nello stack. Reference Types: Contengono un rfermento al valore della memora ndrzzata, sono allocat nello heap. Fg. 2.2: Relazone tra tp. 14

15 Code Brcks Common Language Specfcaton Quando samo nteressat a defnre oggett che nteragscano con altr ndpendentemente dal lnguaggo con l quale sono stat mplementat dobbamo garantre che quest espongano al chamante solo quelle caratterstche che sono comun a tutt lnguagg con qual dovrà collaborare. Il CLS è stato defnto per questo motvo, è una sere d caratterstche d base de lnguagg necessar ad alcune applcazon. Tutt component defnt che rspettano le caratterstche CLS sono n grado d essere accessbl da altr lnguagg d programmazone che supportano l CLS. La fgura seguente evdenza da un punto d vsta nsemstca come var lnguagg possedono un sottonseme d caratterstche del CTS mentre contengono le specfche del CLS. Fg 2.3: Vsta nsemstca delle caratterstche de lnguagg d programmazone. Quando mplementamo un componente che voglamo sa utlzzato da un altro lnguaggo dobbamo fare attenzone a non utlzzare caratterstche al d fuor dell nseme CLS. 15

16 Code Brcks Common Intermedate Language Il rsultato della complazone del source code è un MSIL Mcrosoft Intermedate Language) che è una sere d struzon ndpendente dalla CPU. Il codce MSIL è una sere d struzon stack-based progettate per essere faclmente generata dal codce sorgente con l uso d complator e altr tool. Esso nclude dvers tp d struzon, struzon per carcare, memorzzare, chamare metod e oggett oltre alle struzon matematche e logche. Questo formato ntermedo ha punt n comune con l tradzonale lnguaggo Assembly, per esempo opera su dat con struzon d tpo push e pop poché gra su un ambente d esecuzone basato sullo stack, a dfferenza del lnguaggo assembly non fa rfermento a nessuna pattaforma hardware partcolare. Il lnguaggo ntermedo esprme un programma eseguto da un thread, l esecuzone nza da un metodo che può nvocare altr metod. Ogn volta che vene nvocato un metodo s aggunge uno stack frame contenente le varabl local e gl argoment d nput. Fg 2.4: Modello della macchna a stat 16

17 Code Brcks Come vene schematzzato n fg 2.4 l common language runtme gestsce dvers thread d controllo, pù managed heap e uno spazo d ndrzzamento condvso. Un thread d controllo tene tracca della lsta lnkata d stat de metod che vene utlzzata per consentre l esecuzone del programma, un nuovo stato vene creato e concatenato detro lo stato corrente ogn volta che vene eseguta una struzone d chamata ad un metodo. Un method state è un astrazone dello stack frame e descrve l ambente entro l quale un metodo vene eseguto, elenchamo d seguto prncpal camp che compongono lo stato d un metodo: Un puntatore struzone IP ) che ndca la prossma struzone MSIL da essere eseguta dal CLR nel metodo presente. Un evaluaton stack. Lo stack è vuoto al momento dell entrata nel metodo e l suo contenuto è completamente locale al metodo e preservato tra le vare chamate d metod. Un array d varabl local alle qual s accede utlzzando le struzon ldloca. Una varable locale può avere solo un tpo d dato e suo valor sono preservat tra le vare chamate d metod. Un array d argoment a qual s accede utlzzando le struzon ldarga. Molte delle struzon del lnguaggo ntermedo recuperano loro argoment dall evaluaton stack e poszona l valore d rtorno sullo stack. Anche gl argoment passat agl altr metod ed l loro valore d rtorno. Quando un metodo vene chamato gl argoment per l metodo chamato dventano gl argoment d nput per l metodo costtuendo l array d argoment presente nel method state. Durante l esecuzone d un metodo sono convolte tre categore d memora locale del metodo pù una categora d memora esterna che comprende camp a cu l meotodo può accedere. Le tre categore d memora locale ncludono l array degl argoment, delle varabl local pù lo stack d valutazone. Consderamo come esempo un metodo che esegue la somma d due valor nter rcevut come argoment d nput, d scuro c aspetteremo che lo stack frame assocato a questo metodo contenga un array degl argoment d lunghezza 2 n quanto contene soltanto due argoment. 17

18 Code Brcks D seguto mostramo l metodo scrtto con un lnguaggo ad alto lvello con accanto la sua possble complazone n codce MSIL: Source Code publc statc nt addnt, nt j) { return +j; MSIL Code ldarg.0 Complazone ldarg.1 add } ret Le prme due struzon leggono gl argoment dal method state assocato e gl carcano sull evaluaton stack, l struzone add legge due valor sullo stack, ne fa la somma e l rsultato è messo n cma allo stack. L struzone ret nfne permette l uscta dal metodo e resttusce l valore al chamante. Se questo metodo fosse stato chamato da un altro metodo allora l valore resttuto venva nserto n cma all evaluaton stack del metodo chamante e l method frame del metodo chamato elmnato. Guardando l codce, sa l sorgente che l rsultato della complazone n codce MSIL c rendamo conto che non vengono utlzzate varabl locale nel codce ntermedo non vengono utlzzare struzon ldloca per carcare delle varabl nell evaluaton stack ) d conseguenza l vettore che contene le varabl local nel method state del metodo sarà vuoto. Il lnguaggo ntermedo non contene struzon per manpolare regstr l chè permette a complator d produrre codce IL n poco tempo e faclmente; un altro grande vantaggo è che IL fornsce robustezza e scurezza. Infatt durante l processo d complazone da IL a struzon per CPU l CLR esegue una operazone d verfca del codce per asscurare che qualsas cosa l codce facca sa scuro; durante questa fase d verfca controlla che ogn metodo sa chamato con l gusto numero d parametr e d tpo corretto, controlla l uso corretto d puntator e asscura che non sano present converson d tpo non consentte. 18

19 Code Brcks Just In Tme Compler Una volta complato l codce sorgente e ottenuto l relatvo MSIL code un ulterore passo è necessaro prma che l codce possa essere eseguto, l MSIL deve essere convertto n codce specfco per la partcolare archtettura dell elaboratore, questo compto è effettuato dal JIT compler. La complazone just n tme s affda al presupposto che non tutto l codce verrà rchamato durante l esecuzone e qund puttosto che convertre tutto l MSIL n ununca passata n codce natvo converte soltanto l codce MSIL necessaro durante la sua esecuzone e ne conserva l codce natvo per le eventual chamate successve. Consderamo un semplce programma: statc vod Man) Console.WrteLne Chama l JIT ); Console.WrteLne NATIVO ); ) Un attmo prma che l metodo Man venga eseguto l CLR rleva tutt tp rfert da Man e vene creata una struttura dat nterna usata per gestre gl access ad altr tp; nel nostro esempo vene rferto soltanto un tpo, Console, n questo modo s alloca soltanto una struttura dat nterna che contene un entry per ogn metodo defnto dal tpo Console. Ogn entry fornsce l ndrzzo dell mplementazone del metodo. Quando la struttura vene nzalzzata ogn entry vene settata a una funzone nterna poché l metodo non è ancora stato convertto n codce natvo. Alla prma chamata del metodo WrteLne, graze alla struttura dat nterna utlzzando l entry assocata al metodo vene rchamata la funzone JIT Compler che s occuperà d convertre l metodo n codce natvo e memorzzarlo n un blocco dnamco d memora. Vene regstrato l ndrzzo del blocco nell entry relatva al metodo chamato all nterno della struttura dat nterna. In questo modo alla seconda chamata del metodo WrteLne leggerò nella struttura dat nterna l ndrzzo del blocco d memora dove s trova l codce natvo del metodo. 19

20 Code Brcks Vrtual Executon System Il vrtual executon system è l equvalente della java vrtual machne per l ambente d esecuzone d java; l VES s occupa d carcare ed esegure programm scrtt per l common language runtme. Esegue le funzonaltà d Loader utlzzando le funzonaltà contenute ne metadat e permette d ntegrare modul complat separatamente che possono anche essere scrtt n dfferent lnguagg d programmazone. Come funzonaltà agguntve durante l esecuzone del codce l VES s occupa della gestone automatca della memora utlzzando meccansm d tpo garbage collecton e fornsce servz per l nteroperabltà con codce d tpo unmanaged. 2.2 Managed Module Un applcazone.net dal punto d vsta del common language runtme consste d uno o pù managed module ognuno de qual contene metadat e codce ntermedo, l managed code vene generato durante la fase d complazone. Il formato d un managed module è un estensone dello standard Mcrosoft Wndows Portable Executable e Common Object Fle Format PE/COFF). Fg 2.5: Struttura d un Managed Module 20

21 Code Brcks Tutt fle mmagne contengono: Intestazon PE/COFF che descrvono le sezon e le nformazon mportant present all nterno. Indca anche su quale sstema operatvo l applcazone deve essere eseguta e d che tpo d fle s tratta pù altre nformazon come la data d creazone del modulo. Intestazone runtme, che contene tutte le nformazon che lo rendono un managed module. L nstestazone nclude la versone del CLR rchesto, qualche flag e l methoddef metadata token del punto d entrata del modulo per l metodo man. Questa ntestazone deve rsedere n una sezone d sola lettura del fle mmagne. Una sezone contenente dat utlzzat dal CLR come l codce prodotto dalla complazone del codce sorgente, nformazon rguardo alla gestone delle eccezon ed metadat Metadat Oltre che alla generazone del codce ntermedo un complatore che ha come target l common language runtme deve produrre metadata all nterno d cascun managed module. In breve metadat sono delle tabelle d dat che descrvono cosa è defnto all nterno del modulo, ogn tpo e membro utlzzat dal programma. Quando l managed module è n esecuzone l runtme utlzza metadat per ottenere nformazon crca le class, membr, eredtà etc. All nterno del managed module metadata sono organzzat n database relazonal che comprendono un certo numero d tabelle. Ogn tabella de metadata contene dat o rferment alle rghe d altre tabelle e non esstono duplcat dello stesso campo poché ogn categora de dat rsede soltanto n una sola tabella del database. I metadat possono essere suddvs n due categore, metadata heaps e metadata tables, entramb sono rappresentat come stream d byte; metadata heaps sono quattro e contengono dat del programma: 21

22 Code Brcks #Strngs: Contene strnghe che ndcano nom de metod, nom de fle etc. #GUID Globally Unque Identfer): Contene tutt gl dentfcator unc. #Blob: Contene dat bnary rfert dall assembly per esempo la segnatura de metod e delle varabl local d un metodo. #UserStrng: Sono present tutte le strnghe defnte all nterno del codce utente. Queste strnghe non sono ma rferte dalle tabelle ma possono essere ndrzzate dal codce ntermedo tramte l struzone ldstr. Fg 2.6: Struttura generale de metadat. Lo stream del metadata table contene un vasto nseme d tabelle puttosto mportant che defnscono l contenuto de.net Assembly l untà d svluppo fondamentale delle applcazon.net, ved paragrafo ). Lo stream può essere d due tp #~ oppure #-; #~ è una versone ottmzzata del metadata dove ogn nseme d records è dsposto n manera ordnata. Vedamo alcune d queste tabelle: AssemblyRef: Include la lsta degl assembly estern da qual questo assembly dpende. 22

23 Code Brcks MethodRef: Include la lsta d tutt metod estern utlzzat. MethodDef: Contene tutt metod defnt nell assembly. Param: Questa tabella contene tutt parametr d tutt metod defnt nella tabella MethodDef. Concentramo la nostra attenzone n partcolare sulla tabella de metod: ogn rga della tabella de metod contene un RVA Relatve Vrtual Address, ) del metodo, alcun flag mplementatv e del metodo ), l nome del metodo, un offset nel #Blob heap alla segnatura del metodo e un ndce all nterno della tabella Param che contene l prmo parametro della funzone. Un RVA è l ndrzzo vrtuale d un oggetto del fle una volta carcato n memora con l ndrzzo base del fle mmagne sottratto da esso, n questo caso ndca l corpo del metodo n codce ntermedo.i flag d mplementazone specfcano se s tratta d un applcazone natva o managed, se è un metodo specale o normale ect. La segnatura del metodo specfca la convenzone d chamata, l tpo resttuto e tp de parametr. Fg 2.7: Relazone tra metadat. In fgura è mostrato un semplce schema d come le metadata tables possano rferrs a vcenda e rferre anche a metadata heaps e alle sequenze d struzon d un metodo n lnguaggo ntermedo. 23

24 Code Brcks Graze anche al fatto che rappresentano tutte le nformazon su dat d un applcazone fornscono uno strumento mportante per facltare l meccansmo della reflecton, nterrogare e rcavare nformazon utl sulla struttura de dat e del corpo de metod durante la fase d esecuzone. Possedere la capactà e gl strument per poter accedere a tutte le sezon degl assembly apre al programmatore nuove possbltà e tecnche programmatve Assembly Il common language runtme non lavora con managed module bens con assembles. L assembly è un untà d svluppo, costtusce blocch delle applcazon.net e logcamente rappresenta un raggruppamento d managed modules e rsorse. Gl assembly sono completamente autodescrttv graze a metadat contenut n esso, nclude anche nformazon sulla versone che permette al common language runtme d usare una versone specfca d un assembly per una partcolare applcazone. Gl assembly possono essere prvat o condvs a seconda che sa permesso a dfferent applcazon d utlzzare lo stesso assembly. Fg 2.8: Combnare managed modules e rsorse n un assembly. 24

25 Code Brcks Ogn assembly che vene costruto può essere o un applcazone eseguble o una lbrera DLL contenente una sere d tp utlzzat da un applcazone. C sono var mod per costrure un assembly, s possono raggruppare gl element costtutv d un assembly managed modules e rsorse ) n un sngolo fle oppure possono essere contenut n pù fle. Fg 2.9: Assembly sngolo e multplo. Ogn assembly contene una collezone d dat che descrvono come gl element nell assembly sono n relazone l uno con l altro, queste nformazon sono contenute nell assembly manfest. Esso contene tutt metadata per specfcare la versone dell assembly, suo requst e tutt metadat necessar a defnre le component e rsolvere rferment alle rsorse e class. Ogn manfest assolve le seguent funzonaltà: Enumera fle che compongono l assembly. Permette gl access a tp e alle rsorse dell assembly al fle che contene la sua dcharazone e mplementazone. Enumera le dpendenze ad altr assembly. Rende gl assembly autodescrttv. 2.3 Reflecton La reflecton è l meccansmo fornto da lnguagg d programmazone per permettere d spezonare la struttura d un componente a tempo d esecuzone puttosto che durante la sua complazone. 25

26 Code Brcks La reflecton è orma dventata una caratterstca essenzale de lnguagg d programmazone. Il sstema d reflecton può essere pù o meno potente a seconda del tpo d lnguaggo d programmazone e dal lvello d complesstà mplementato: l programma può accedere alla rappresentazone del suo stato nterno ed eventualmente modfcarlo a runtme. E nteressante fare un paragone tra lnguagg d programmazone complat e quell nterpretat; tradzonalmente lnguagg complat offrono un supporto alla reflecton lmtato perché dopo la fase d complazone l codce sorgente e tutte le sue astrazon non sono pù dsponbl durante l esecuzone. Per esempo l lnguaggo C++ permette ad un programma d avere nformazon esatte su tp degl oggett durante la sua esecuzone questo purché l supporto contenga codce agguntvo per tenere tracca de tp a runtme. I lnguagg d programmazone nterpretat nvece offrono un rcco supporto alla reflecton poché tengono le esatte nformazon su tp e sul codce sorgente; questo è quello che accade con l common language runtme che utlzzano managed code che contengono metadat e l codce MSIL, mentre per lnguagg complat rsulta puttosto complcato rendere dsponbl element del codce sorgente perché l programma oggetto vene eseguto su d una macchna che generalmente è molto dfferente dalla macchna astratta del lnguaggo sorgente. Il CLR espone l suo sstema d reflecton tramte le class contenuta nel namespace System.Reflecton. La reflecton è usata frequentemente per determnare qual tp sono defnt n un assembly collezone d managed code), le class sono defnte per stanze della classe System.Type. Assembly a = Assembly.LoadFrom "MyExe.exe"); Type [] types = a.gettypes ); foreach Type t n types) Console.WrteLne t.fullname); In questo esempo vengono lett tutt tp defnt n un assembly chamato MyExe.exe e per cascuno vene stampato semplcemente l suo nome. 26

27 Code Brcks Oppure s possono anche ottenere nformazon su metod che un partcolare tpo possede graze al metodo GetMethods) della classe Type che resttusce un array d MethodInfo contenente tutt metod pubblc del Type corrente Cl Fle Reader Le funzonaltà della reflecton generalmente non rendono dsponbl corp de metod nonostante sano parte ntegrante della defnzone del tpo, una delle ragon per cu accade questo è che ne lnguagg d programmazone come l C dopo la fase d complazone del codce sorgente l motore d esecuzone conosce solamente la lsta delle struzon macchna che sono ovvamente sconoscute al lvello del lnguaggo sorgente. Come abbamo vsto precedentemente questo problema vene rsolto dal common language runtme graze all utlzzo de managed module che contengono una sezone dedcata al codce MSIL del metodo. Ispezonando questa partcolare sezone è possble qund ottenere nformazon a runtme sulla struttura del codce d un partcolare metodo. E stata mplementata una lbrera chamata Cl Fle Reader da Antono Csternno durante l suo lavoro [1] che consente d accedere a queste nformazon assocate al metodo n quanto l supporto alla reflecton fornto dal common language runtme non fornva nessuno strumento per recuperare lo stream d struzon ntermede assocate al metodo. I corp de metod possono essere memorzzat n una sezone d sola lettura del portable executable fle, un metodo consste d una ntestazone header) mmedatamente seguta dal corpo del metodo eventualmente seguta da sezon agguntve, generalmente da sezon per la gestone delle eccezon. Header Method Body Addtonal sectons)* Fg 2.10: Struttura d un metodo CIL. 27

28 Code Brcks L accesso al corpo del metodo non è comunque dretto, abbamo vsto nel paragrafo precedente come l untà d svluppo sa l assembly la quale può contenere dvers managed module e d conseguenza la defnzone d molt tp. Il Cl Fle Reader class permette d leggere.net assembles per essere n grado d accedere a corp de metod; utlzzando metadat dell assembly rcerchamo nella tabella TypeDef l tpo a cu appartene l metodo a cu samo nteressat. Dall entry n TypeDef possamo recuperare la lsta de metod della classe che è un segmento contguo d rghe della tabella Method, utlzzando la RVA dell entry del metodo rcercato possamo poszonarc all nzo dello strema delle struzon del suo corpo. Dopo la sezone rguardante l corpo del metodo è possble che v sano altre sezon d dat extra, tpcamente dat per la gestone delle eccezon, queste nformazon sono d fondamentale mportanza per una corretta gestone delle eccezon durante la generazone del codce ntermedo n quanto ndcano qual sono blocch d codce protetto ed gestor del metodo. Il formato bnaro delle nformazon sulla sezone rguardante la gestone delle eccezon [5] è espresso sotto forma d clausole, cascuna delle qual contene camp necessar per dentfcare la porzone d codce protetto, l tpo d gestore e la porzone d codce del gestore dell eccezone. 2.4 Code Values In [1] vene ntrodotto un nuovo tpo d dato, Code, un astrazone per rappresentare l corpo d un metodo eseguto dall ambente d esecuzone; non è altro che una sequenza d struzon assocata ad una segnatura che descrve l numero e l tpo de parametr d nput, ovvero gl argoment del metodo, contene noltre nformazon sul tpo resttuto e sulle varabl local utlzzate. In questo modo vene esteso l supporto alla reflecton fornto dall ambente d esecuzone, le stanze d questo tpo Code sono chamate Code values che rappresentano delle black box contenent l corpo del metodo e l unca operazone fornta per manpolare code values è quella d Bnd che consente d combnare quest valor per crearne d nuov. 28

29 Code Brcks Nel seguente esempo assegnamo alla varable cadd un code value che rappresenta l metodo statco add: publc class Test { publc statc nt addnt, nt j) { return + j;} publc statc vod Manstrng[] args) { Type t = typeoftest); MethodInfo m = t.getmethod"add"); Code cadd = new Codem);} } Graze al supporto della reflecton cerhamo ne metadat l tpo Test, una volta creato questo oggetto Type m rcavo le nformazon sul metodo Add e quando creo un stanza del tpo Code graze alle funzonaltà della classe ClFleReader vado a leggere all nterno dell assembly la porzone d MSIL code relatva a quel partcolare metodo. I code values s possono dstnguere n due categore: Atomc values: ottenut drettamente da metod, come nell esempo. Derved values: ottenut chmando l opeatore bnd su altr valor. In [1] vene ntrodotto un nuovo tpo d dato, Code, un astrazone per rappresentare l corpo d un metodo eseguto dall ambente d esecuzone; non è altro che una sequenza d struzon assocata ad una segnatura che descrve l numero e l tpo de parametr d nput, ovvero gl argoment del metodo, pù l tpo resttuto. Anche se Code Values rappresentano sempre un metodo ess non sono drettamente esegubl, aggungamo un operazone per convertre un code value cadd n un oggetto che ha un metodo la cu segnatura è la stessa d cadd; per fare questo generamo un delegate a partre da un Code Value. Rtornando all esemp precedente nel metodo Man dobbamo aggungere le seguent struzon: Sum s = cadd.makedelegatetypeofsum)) as Sum; Console.WrteLne"{0} == {1}", add1, 1), s1, 1)); 29

30 Code Brcks Dove Sum non è altro che un delegate: delegate nt Sumnt x, nt y); Il Code Value è trasformato n un delegate d tpo Sum che è un oggetto che espone un metodo Invoke con la segnatura nt x nt nt mplctamente chamato quando gl argoment sono assegnat a s. 2.5 Bndng L operazone d Bnd è la sola operazone dsponble per poter manpolare Code values. Bnd permette d fssare parametr d Code values esstent per generare nuov Code values specalzzat per que parametr. A cascun Code value vene assocata una segnatura che rappresenta l nterfacca del frammento d codce a cu è assocato; l operazone d Bnd agsce anche su questa segnatura fssando gl argoment d nput con valor o altr Code values o lascandol nalterat per poter essere utlzzat a loro volta come argoment anche per l codce generato. E possble ndcare che un argomento d nput non è legato a altr argoment d nput utlzzando un valore specale durante l operazone d Bnd ndcato da Code.Free, n questo modo lasceremo la varable aperta. Come esempo consderamo l Code Value cadd vsto nella sezone precedente che rappresenta l metodo add l quale effettua l addzone de suo due argoment nter e applchamo la seguente trasformazone: Code cadd1 = cadd.bnd1, Code.Free); In manera ntutva possamo concludere che l nuovo Code value appena generato esegue la seguente somma: 1 + x n quanto l operazone d Bnd ha legato soltanto l prmo argomento del code value cadd lascando lbero l secondo argomento. statc nt cadd1nt j) { return 1 + j;} 30

31 Code Brcks Questa trasformazone è andata a buon fne poché l tpo d ogn argomento del code value è compatble con l tpo del corrspondente parametro. Nelle tabelle seguent vene mostrato l codce ntermedo relatvo al code value rappresentante l metodo add e quello relatvo al nuovo code value appena creato. Notamo che nel codce generato vene carcato nello stack un solo argomento, l argomento 0 mentre l altro operando è carcato come costante. IL_0000: nop IL_0001: ldarg.0 IL_0002: ldarg.1 IL_0003: add IL_0004: stloc.0 IL_0005: ldloc.0 IL_0006: ret IL_0000: nop IL_0001: ldc.4.1 IL_0002: ldarg.0 IL_0003: add IL_0004: stloc.0 IL_0005: ldloc.0 IL_0006: ret Msl code d cadd Msl code d cadd1 La trasformazone d codce n questo semplce caso ha rguardato soltanto una struzone del codce ntermedo trasformando una struzone per carcare un argomento n una per carcare una costante ma ha agto anche sulla segnatura elmnandone un argomento. Il tpo d trasformazone appena vsta è quella pù semplce che permette d legare gl argoment del metodo con de valor purchè l suo tpo sa compatble con l tpo del parametro corrspondente. Il Bndng values è una caratterstca dell operazone Bnd che non consente d combnare code values n nuov code values, ma sempre con l operazone d Bnd è possble combnare l codce n due mod dfferent: Fssando parametr d nput d tpo Code values con altr. Usando Code combnators, metod che prendono come nput uno o pù tp delegate. In entramb cas la semantca dell operazone d composzone è faclmente comprensble dal programmatore senza pensare n termn dell operazone eseguta a lvello del lnguaggo ntermedo. 31

32 Code Brcks Fg 2.5: Trasformazone percepta e reale dell operazone Bnd. Questo è semplce poché l programmatore utlzzando Code Type defnt nel lnguaggo che sta utlzzando percepsce la combnazone d codce che vuole effettuare come una trasformazone d codce a lvello d codce sorgente puttosto che al reale lvello d trasformazone e coè al lvello d lnguaggo ntermedo Bndng senza Code Combnators Questo caso s presenta quando un argomento d nput d un Code Value vene legato con un altro Code Value, purchè l tpo resttuto da un metodo rappresentato dal Code Value che stamo legando ad un argomento d nput sa compatble con l argomento d nput stesso. Partendo dal metodo che esegue la somma d due nter provamo a creare un Code Value che esegue la somma d tre nter, l dea è quella d legare un argomento d nput del code value cadd con lo stesso cadd: Code cadd3 = cadd.bnd Code.Free, cadd); In questo modo se un code value aperto è utlzzato per essere legato con un argomento d nput suo parametr sono portat nella segnatura del code value che è stato creato. 32

33 Code Brcks La segnatura del code value cadd3 conterrà tre argoment l prmo è lascato aperto durante l operazone d Bnd mentre gl altr due sono ottenut dalla segnatura del code value cadd che vene legato con l secondo argomento del code value cadd al quale s applca l operazone d bndng. Il rsultato d questa operazone è un code value equvalente al seguente metodo: publc statc nt addnt, nt j, nt k) { nt l = j + k; return + l;} Il codce equvalente mette n evdenza come l codce assocato al code value utlzzato come parametro dell operazone d Bnd venga messo prma rspetto al codce assocato al code value sul quale s effettua l bndng. Inoltre l rsultato è memorzzato n una varable locale che è utlzzata al posto dell argomento d nput al quale è stato legato l corrspondente code value. Vene eseguta la somma del secondo e terzo argomento del metodo e successvamente l prmo argomento vene sommato al rsultato della precedente addzone. Questo s può faclmente notare anche analzzando l codce ntermedo generato: IL_0000: nop IL_0001: ldarg.1 IL_0002: ldarg.2 IL_0003: add IL_0004: stloc.1 IL_0005: ldloc.1 IL_0006: stloc.2 IL_0007: nop IL_0008: ldarg.0 IL_0009: ldloc.2 IL_000a: add IL_000b: stloc.0 IL_000c: ldloc.0 IL_000d: ret Sullo stack vengono prma carcat gl argoment 1 e 2 corrspondent alle varabl j e k e l rsultato della somma de due argoment memorzzato n una varable locale, nfne vene carcato l argomento 0 ) e la locazone dove s è memorzzato l rsultato della somma precedente, a questo punto la seconda somma vene eseguta. 33

34 Code Brcks Bndng con Code Combnators Il secondo modo d combnare l codce permette d superare lmt mpost dal metodo precedente per la generazone del codce. Il metodo precedente c permetteva d assocare l valore resttuto da un code value all argomento d un altro e l unco modo possble per generare l codce è quello d prefssare l codce del code value che leghamo ad un argomento d nput rspetto al codce del code value sul quale applchamo l operazone d composzone. Graze a questa alternatva per la composzone d codce possamo nserre l codce d un code value all nterno del codce d un altro code value semplcemente utlzzando un partcolare tpo d argomento d nput che rappresenta una funzone, questo è possble utlzzando delegate. Consderamo l seguente metodo: delegate nt I1nt a); delegate nt I2nt a, nt b); publc statc nt add_posnt a, nt b, nt c,i1 fun1,i2 fun2) { nt k=0; nt temp1 = fun1a); nt temp2 = fun1b); fornt =0; <c; ++) k += fun2temp1, temp2); } return k; La segnatura del metodo add_pos contene cnque argoment, tre nter e due argoment d tpo funzone, la prma funzone è unara mentre la seconda bnara e entrambe resttuscono un valore ntero. Il metodo applca la funzone unara al prmo e al secondo metodo mentre all nterno d un cclo for vene applcata la seconda funzone c volte. Quando l delegate è legato con un code value ogn nvocazone dell argomento è sosttuto con l corpo del code value, noltre questo argomento dovrà essere soltanto nvocato e non può essere utlzzato n altre manere. 34

35 Code Brcks Consderamo la seguente composzone: MethodInfo k = t.getmethod"add_pos"); MethodInfo r = t.getmethod"abs"); Code cadd_pos = new Codek); Code cabs = new Coder); Code crs=cadd_pos.bndcode.free,code.free,code.free, cabs, cadd); Dove l metodo abs calcola l valore assoluto d un valore ntero: publc statc nt absnt x) { f x < 0) return -x; else return x; } Questa operazone d bndng consente d creare un metodo a partre dal code value cadd_pos lascando apert prm tre argoment e assocando al delegate fun1 l code value per l calcolo del valore assoluto e al delegate fun2 l code value che effettua la somma d due nter. In questo modo tutte le occorrenze dell argomento fun1 e fun2 vene sosttuto nel code value generato con l corpo del metodo relatvo al code value assocato. Il rsultato è un code value equvalente al seguente metodo: publc statc nt crsnt a, nt b, nt c) { nt k=0; f a < 0) temp1 = -a; else temp1 = a; f b < 0) temp2 = -b; else temp2 = b; fornt =0; <c; ++) k += temp1 + temp2; } return k; 35

36 Code Brcks La segnatura del metodo contene tre argoment a,b,c) poché durante l operazone d bndng abbamo legato prm tre argoment d nput con l valore Code.Free. Mentre se avessmo legato per esempo l secondo argomento con un valore oppure con un altro code value s sarebbe applcato rspettvamente l Bndng value o l Bndng senza code combnator. Ved appendce paragrafo 6.1 per la consultazone de metod complat n lnguaggo ntermedo). 2.6 CodeBrcks La lbrera CodeBrcks è esposta a lnguagg d programmazone che la utlzzano come una sere d class, l nucleo d CodeBrcks è costuto dalla classe Code attorno alla quale la lbrera è stata svluppata. Altra classe che goca un ruolo fondamentale per l mplementazone d CodeBrcks è data dalla classe ClFleReader che permette d leggere le struzon n lnguaggo ntermedo del corpo del metodo. L untà d svluppo del codce è l assembly l quale contene la defnzone d un certo un numero d tp, per questo motvo è stato necessaro defnre un reader d.net assembly. CodeBrcks può essere utlzzato per generare codce a runtme, questo processo d generazone è abbastanza veloce poché s basa su un semplce processo d composzone d codce al lvello d codce ntermedo ordnando lste d struzon. Questo tpo d generazone del codce a lvello ntermedo favorsce oltretutto la portabltà e l ottmzzazone del codce n quanto rsulterà ndpendente dall archtettura su cu sarà eseguto. Ulteror camp d applcazone d CodeBrcks sono dscuss n [1] captolo 6 come supporto per meta-programmazone e programmazone mult-stage. 36

37 37

38 La gestone delle eccezon ha lo scopo d facltare l uso d meccansm conson per gestre stuazon erronee o eccezonal che s verfcano ne programm; può essere utlzzata per passare nformazon d errore che avvengono all nterno d pezz d codce verso suo utent e rspondere n manera selettva a quegl error. Un possble ruolo della gestone delle eccezon è quella d permettere al programma d contnuare la sua normale esecuzone prevenendo gl error ntern e consentendo una precsa localzzazone della condzone erronea. Il captolo s apre descrvendo l modello d gestone delle eccezon del Common Language Runtme e l supporto fornto a lvello d codce ntermedo. Una volta descrtta la sntass e la semantca de comand fornt per la gestone delle eccezon dal lnguaggo C# con l quale soluzone adottata per estendere CodeBrcks. sono stat scrtt nostr esemp descrvamo la 38

39 Gestone delle eccezon 3.1 Introduzone Un eccezone è una condzone d errore o un comportamento mprevsto verfcatos durante l esecuzone d un programma. Le eccezon vengono generate per dvers motv, per esempo esse vengono generate n caso d error nel codce dell applcazone oppure se qualche rsorsa del sstema operatvo non è dsponble. Vengono generate eccezon anche quando l Common Language Runtme rscontra delle stuazon mprevste. Nel.Net Framework le eccezon sono oggett che eredtano dalla classe Excepton, esse vengono generate nelle aree d codce dell applcazone n cu s è verfcato un problema e contengono nformazon rguardant l errore. Ogn qualvolta che una eccezone vene generata essa è passata a lvell superor dello stack fno a quando vene gestta dall applcazone o s arresta l programma. 3.2 Modaltà d gestone Il Common Language Runtme fornsce un modello d gestone delle eccezon che è basato sulla rappresentazone delle eccezon come oggett e blocch d codce protett. La separazone del codce normale con l codce per la gestone delle eccezon avvene tramte blocch try e catch rspettvamente, vedremo noltre che sono present dfferent blocch per la gestone delle eccezon. C possono essere uno o pù blocch per la gestone delle eccezon cascuno de qual è progettato per gestre un partcolare tpo d eccezone o un blocco per la gestone d una pù specfca eccezone puttosto d un altro blocco. Nel runtme vene creata una tabella per cascun eseguble che contene nformazon sulle eccezon, questa tabella vene creata passo passo a partre dalle tabelle delle eccezon assocata a var metodo. Ad ogn metodo dell applcazone nfatt è assocata a sua volta una tabella delle eccezon contenente nformazon sulla gestone delle eccezon, cascuna entry d questa tabella descrve un blocco d codce protetto e tutt gl eventual blocch d gestone delle eccezon. 39

40 Gestone delle eccezon Questa tabella delle eccezon è molto effcente e fno a quando non s presenta una eccezone non compromette n nessun modo le prestazon sa n termn d tempo del processore sa n termn d occupazone d memora. Soltanto quando s verfca una eccezone queste rsorse vengono utlzzate con un pccolo mpatto sulle prestazon dell applcazone. La tabella delle eccezon rappresenta quattro tp d gestor delle eccezon per blocch protett supportat dal Common Language Runtme [5]: Gestore fnally: vene eseguto ogn volta che l elaborazone del blocco s nterrompe sa per un normale flusso d controllo o n seguto ad una eccezone non gestta. Gestore fault: vene eseguto se s verfca un eccezone ma non esce normalmente, propaga a sua volta un eccezone. Gestore catch: gestore fltrato n base al tpo che gestsce tutte le eccezon d una classe specfcata o delle relatve class dervate. Gestore flter: gestore fltrato dall utente che esegue codce specfcato da esso per determnare se deve essere gestta dal gestore assocato o passato al blocco protetto successvo. Ogn lnguaggo d programmazone mplementa quest gestor secondo le loro specfche, per esempo n Vsual Basc 2005 vene mplementato l gestore flter medante un confronto tra varabl mentre n C# sa l gestore flter che quello fault non sono mplementat. Quando s verfca un eccezone l runtme come prma cosa effettua una rcerca nella tabella delle eccezon assocata al metodo corrente, scopo della rcerca è trovare l prmo blocco protetto che protegge una regone che nclude l struzone n corso d esecuzone che ha generato l eccezone e che contenga un gestore d eccezon d tpo catch oppure un flter che sa n grado d gestre tale eccezone. Vene creato un oggetto Excepton che descrve l eccezone, noltre vengono esegute tutte le struzon fnally o fault present tra l struzone n cu s è verfcata l eccezone e l struzone che gestsce tale struzone. 40

41 Gestone delle eccezon L ordne de gestor è mportante, l gestore delle eccezon pù nterno vene valutato per prmo. Se nvece la rcerca d tale blocco all nterno del metodo corrente fallsce la rcerca contnua n cascun chamante del metodo corrente rpercorrendo qund var lvell dello stack. Se la rcerca ha esto negatvo anche tra tutt chamant allora l gestore delle eccezon d default provvede a gestre l eccezone e a termnare l applcazone Clausole All nterno del PE fle nella sezone per la gestone delle eccezon assocato ad un metodo gestor delle eccezon vengono rappresentat attraverso le excepton clauses [5]. Queste clausole contengono nformazon per dentfcare all nterno del corpo d un metodo le porzon d struzon ntermede che s comportano da gestor e per ndvduare a quale blocco d protezone sono assocat: Flag TryOffset TryLength HandlerOffset HandlerLength ClassToken Identfca l tpo d gestore dell eccezone. Offset n byte del blocco try dall nzo del corpo del metodo. Lunghezza n byte del blocco try. Offset n byte del gestore per questo blocco try dall nzo del corpo del metodo. Lunghezza n byte del gestore. Metadata token per un gestore catch. FlterOffset Offset nel corpo del metodo per un gestore flter. Tabella 3.1: Rappresentazone delle excepton clauses all nterno del excepton handler secton Supporto CIL per le eccezon 41

42 Gestone delle eccezon Il Common Intermedate Language ha dverse struzon specal [5] per: Lancare throw) e rlancare rethrow) un eccezone defnta dall utente. Uscre da un blocco protetto leave) e esegure la clausola fnally approprata senza lancare un eccezone. Leave è utlzzata anche per uscre da una clausola catch. Termnare una clausola flter endflter) e restture un valore che ndca se gestre l eccezone. Termnare una clausola fnally endfnally) e contnuare a segure lo stack. 3.3 Sntass e Semantca Vedamo n questo paragrafo la sntass e la semantca de comand fornt dal lnguaggo C# per la gestone delle eccezon. C lmtamo a trattare gestor d tpo try, catch e fnally poché sono gl unc mplementat nel lnguaggo C# utlzzato per la produzone degl esemp Throw statement Sntass ThrowStatement: throw Expresson opt ; Semantca La produzone ThrowStatement: throw Expresson; è valutata nel seguente modo: 1. Valuta Expresson. 2. GetValueResult1)). 3. Resttusc throw, Result2)). 42

43 Gestone delle eccezon Un throw statement con un espressone lanca l valore prodotto valutando l espressone. L espressone deve denotare un valore d tpo System.Excepton o che derv da essa. Se la valutazone dell espressone produce valore null vene lancato System.NullReferenceExcepton. Un throw statement senza espressone può essere utlzzato soltanto all nterno d un blocco catch per rlancare l eccezone Try statement Sntass TryStatement: try Block catch-clauses try Block fnally-clause try Block catch-clauses fnally-clause catch-clauses: specfc-catch-clauses general-catch- clause opt specfc-catch- clauses general-catch-clause specfc-catch-clauses: specfc-catch-clause specfc-catch-clauses specfc-catch-clause: catch class-type general-catch-clause: catch block fnally-clause: fnally block opt specfc-catch-clause dentfer opt ) block C sono tre possbl forme d statements try: Un blocco try seguto da uno o pù blocch catch. Un blocco try seguto da un fnally block. 43

44 Gestone delle eccezon Un blocco try seguto da uno o pù blocch catch seguto da un blocco fnally. Semantca La produzone TryStatement: try Block catch-clauses; è valutata nel seguente modo: 1. Valuta Block. 2. Se Result1).type non è throw resttusc Result1). 3. Valuta catch-clauses con parametro Result1). 4. Resttusc Result3). La produzone TryStatement: try Block fnally-clause; è valutata nel seguente modo: 1. Valuta Block. 2. Valuta fnally-clause. 3. Resttusc Result2). La produzone TryStatement: try Block catch-caluses fnally-clause; è valutata nel seguente modo: 1. Valuta Block. 2. Se Result1).type non è throw va al passo Valuta catch-clauses con parametro Result1). 4. Se Result4).type è throw resttusc Result4). 5. Valuta fnally-clause. 6. Resttusc Result6). 44

45 Gestone delle eccezon La valutazone d catch-clauses come spegato nella parte rguardante la modaltà con la quale vengono gestte le eccezon consste nel rcercare un gestore che sa n grado d gestre la relatva eccezone lancata, qund questo caso s rduce nella valutaone d un general-catch-clause statement oppure d un specfc-catch-clause. La produzone general-catch-clause: catch Block è valutata nel seguente modo: 1. Valuta Block. 2. Resttusc Result1). La produzone specfc-catch-clause: catch class-type dentfer ) Block è valutata nel seguente modo: 1. Defnamo C l parametro che è stato passato a questa produzone. 2. Creamo un nuovo oggetto new Object). 3. Creamo una property nell oggetto Result2). Il nome è Identfer, valore è C.value e gl attrbut sono { DontDelete }. 4. Aggung Result2) nello scope. 5. Valuta Block. 6. Rmuov Result2) dallo scope. 7. Resttusc Result5). Quando una clausola catch specfca un class-type l tpo deve essere System.Excepton oppure un tpo che derva da esso. Se una clausola catch specfca sa l class-type che dentfer allora vene creata una varable eccezone del dato nome e tpo. La varable eccezone non è altro che una varable locale che estende lo scope del blocco catch e durante l esecuzone d tale blocco la varable rappresenta l eccezone correntemente gestta. La produzone fnally-clause: fnally Block è valutata nello stesso modo d una general-catch-clause. 45