Les objets Schemas de compilations et techniques d'implementations Evaluation et resultats

De
Publié par

Les objets Schemas de compilations et techniques d'implementations Evaluation et resultats Evaluation des implementations de l'heritage multiple Floreal Morandat 21 janvier 2009 1 / 30 Evaluation des implementations de l'heritage multiple

  • techniques d'implementations techniques d'implementations schemas de compilations

  • classe specialise

  • techniques d'implementations evaluation

  • evaluation des implementations de l'heritage multiple

  • super


Publié le : jeudi 1 janvier 2009
Lecture(s) : 30
Source : lirmm.fr
Nombre de pages : 30
Voir plus Voir moins
LesobjetsSch´emsaedocpmlitaoisnteetnichesquimde´lptnemoitaE´snatiovalu´esunetrstlta03/1
Evaluationdesimpl´ementationsdelh´eritagemultiple
Flor´ealMorandat
21 janvier 2009
Evaluationdesimple´mentationsdelhe´ritagemultiple
0/32
1
Sche´masdecompilationsettechniquesdimpl´ementations Techniquesdimple´mentations S h´mas de compilations c e
Evaluationdesimple´mentationsdelh´eritagemultiple
Les objets Lespropri´ete´s Les instances Lesm´ecanismes Lhe´ritagemultiple
3
2
´ Evaluationetr´esultats Protocolede´valuation R´esultats
ma´echsSetbjsoLecettqinhdseupmiecsdpiomtilaseonlaauitnote´rselul´ementations´Evtsta
Leslangages`aobjets
Evaluationdesimpl´ementationsdelhe´ritagemultiple
Paradigmedeprogrammationcaracte´ris´epar:
Hypoth`esedumondeouvert(OWA) favorable `c texte on a l´evolution
Envoi de messageatdrvi,eniovacit,liaisonedohte´medno
Donne´esetproc´edures´r´iese
He´ritageqet´salilibi´ralitueepiutemr
Classesonsatiaiil´pcednsetaoielerundieunm
03/3seLdeasemh´SctsjeobE´snulavtnemoitasu´eatltioattrneoisnteetocpmlitadimpl´echniquess
atitmenevElano´sonetuatiultar´essteLsobjetsSch´emasdmocealipnoittteshnecueiqisdl´mp
Evaluationdesimple´mentationsdelh´eritagemultiple
Lesproprie´te´s:LIntension
Onditquuneclassespe´cialiseuneautreclasse(ex:Grecspe´cialise Homme),ellehe´ritedoncdesproprie´te´sdesessuper-classes Lintensionduneclasseestinclusdansluniondespropri´t´esde e ses super-classe
Example (le syllogisme d’Aristote) Tous les hommes sont mortels, or les Grecs sont des hommes, donc les Grecs sont mortels.
0/34
itno´svElaauitnoetr´esultatsesnoitalqinhcettmpisduetaeneml´jbteeLos´emasSchompisdec
Exemplesdeproprie´t´es
Evaluationdesimpl´ementationsdelh´eritagemultiple
Les Attributssont des variables d’instances (cad chaque instance posse`desaproprevaleur) LesM´ethodessont des fonctionsinvoquablessur un receveur (instance) Les Types virtuelsypesrest´rse´mteatuapdrstdentsorapaesyp Et d’autres...
3/50
luatsteLjbosSstee´hccenhesttdsiqieuecommasdtionpilaitaulavEse´rtenoeneml´mps´ontita
L’Extension d’une classe est inclue dans l’intersection des instances de ses super-classe
Example (le syllogisme d’Aristote (bis)) Tous les hommes sont mortels, or Socrate est un Grec, donc Socrate est mortel.
Evaluationdesimpl´ementationsdelh´eritagemultiple
Les instances : L’Extension
03/6
LseboemasdecojetsSch´hcettesnoitalipmme´eplimdesquniultaE´avoisntntaatssulttr´eione/730
Bassocielade´nition(proprie´te´locale)laplusspe´cique(celle de´niedansBavantcelled´eniesdansA).
Bh´eritedespropri´ete´s(propri´et´esglobales)de´niesdansA
La classeAnide´prneriopt´´eeufoo
De´nielesnouvellesproprie´t´eglobalesassocie´sauxproprie´t´es introduites.
Sinon c’est uneedrntioie´ndefoo
Sifoon’existe dans aucune des super-classes de A, elle est introduitepar A
Lesme´canismes:Lh´eritage
Lhe´ritage LorsquuneclasseB´ecialiseuneclasseA sp
Evaluationdesimpl´ementationsdelh´eritagemultiple
netr´esultatstaoisnE´avultaoiocpmsaed´hmestcSobjeLestneme´lpmidseuqnichteetnsioatil
Et le typage statique la dedans ?
Ajout d’annotations de types dans le code
Evaluationdesimpl´ementationsdelh´eritagemultiple
Assurerlexistencedesproprie´te´s
Eac´eeslorsdelacompilation
V´eriableparunalgorithme
Lesyste`medetype:
Peuteˆtresur...oupas!
Permet des analyses (statiques)
03/8
obesLcS´hejstedocmesaatiompiltechnsetsatltsu´etrneioultaE´avoisntnta´emeimplesdniqu
Evaluationdesimple´mentationsdelh´eritagemultiple
Lesme´canismes:Dynamiques
Lanotiondesous-typagenestpasdelaspe´cialisation
Envoi de messageniceeeuqluapp´ssth´eelodeplllemapA fonction du type dynamique de l’instance Acce`sauxattributsleenesc`´ee/urctcAdunerctiruaexuhcmasp instance Test de sous-typageetrmr´deonepe`drePn:iostueaqal xest-il une instance de la classeC? En typage statique : x:Aest-il une instance de la classeC?
03/9
me´hedsapmoctalinsioteetnichesquLesobjetsSctatluse´slpe´dmitaoiemtnvaluns´Enetratio10/30
C’estindispensablendmoeiselleeropruom´d´erle.
Lesinterfacessontuneformedh´eritagemultipled´ege´n´ere´.
Rajoute de nombreux problemes : ` de conceptionpour le programmeur. Cestcompliqu´e,onpeutfairebeaucoupdechoses pirequenhe´ritagesimple.Ne´cessitedebonsoutils (EDI, ...) despe´cicationgnga.eeursdela´eveloppruopdsel Superetcombinaisondeme´thodes,conits(cfdiapo suivante),m´eta-discours. dimple´mentationpuod´evrlespeurelopipmoceds.sruetal Il n’existeAUCUNEmilpe´emtntaoienntemps constantaussiecacequenh´eritagesimple.
Evaluationdesimple´mentationsdelhe´ritagemultiple
Lhe´ritagemultiple:pourquoi?
Les
objets
Sche´masdecompilationsettechniquesdimpl´ementations
Les
conits
de
lh´eritage
´E
multiple
avluationte´r
Evaluationdesimple´mentationsdelhe´ritagemultiple
seluatst
11 /
30
Soyez le premier à déposer un commentaire !

17/1000 caractères maximum.