Re: Completeness and Correctness of AspectJ Weaving
Arthur Marques <[email protected]> Thu, 22 Jan 2009 10:34:25 -0300
| Newsgroups | gmane.comp.programming.aspect.general |
|---|---|
| Message-ID | <[email protected]> |
--===============0473548289889880713== Content-Type: multipart/alternative; boundary=000325574d8eb22e4004611254e8 --000325574d8eb22e4004611254e8 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable but you can assure priority between aspects, so you=B4ll be sure what advic= e will come firsrt. 2009/1/22 Pascal Costanza <[email protected]> > > On 21 Jan 2009, at 20:21, DIMA MOHAMMED ALHADIDI wrote: > > Hi, > > Is AspectJ has a complete and correct weaving taking into consideration > aspect interference and interaction? > > What I mean by completeness that every aspect advice must be applied at > all the join points matched by the associated pointcut whereas what I mea= n > by correctness that every aspect advice must be applied only at the join > points that match the associated pointcut. > > > There is no such thing as an assurance that all aspects are triggered at = a > specific join point. If several pieces of advice apply at a join point, t= he > first may, for example, throw an exception, which means that the other on= es > are not called. Or, the first may be a piece of around advice that doesn'= t > proceed (or worse, proceeds only conditionally). Etc. > > > Pascal > > -- > Pascal Costanza, mailto:[email protected], http://p-cos.net > Vrije Universiteit Brussel > Programming Technology Lab > Artificial Intelligence Lab > Pleinlaan 2, B-1050 Brussel, Belgium > > > > > _______________________________________________ > discuss mailing list - [email protected] > > To unsubscribe and change options, go to: > http://aosd.net/mailman/listinfo/discuss_aosd.net > > Check out the AOSD.net Wiki: http://aosd.net/wiki > > --=20 Arthur de Sousa Marques Ci=EAncia da Computa=E7=E3o - UFCG Microsoft Academic Alliance - MSDNAA Grupo de M=E9todos Formais - GMF --000325574d8eb22e4004611254e8 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable but you can assure priority between aspects, so you=B4ll be sure what advic= e will come firsrt.<br><br><div class=3D"gmail_quote">2009/1/22 Pascal Cost= anza <span dir=3D"ltr"><<a href=3D"mailto:[email protected]">[email protected]</a>= ></span><br> <blockquote class=3D"gmail_quote" style=3D"border-left: 1px solid rgb(204, = 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div style=3D""><= div><div></div><div class=3D"Wj3C7c"><br><div><div>On 21 Jan 2009, at 20:21= , DIMA MOHAMMED ALHADIDI wrote:</div> <br><blockquote type=3D"cite"><span style=3D"border-collapse: separate; col= or: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: norm= al; font-variant: normal; font-weight: normal; letter-spacing: normal; line= -height: normal; text-indent: 0px; text-transform: none; white-space: norma= l; word-spacing: 0px;"><div> <div><div dir=3D"ltr"><font color=3D"#000000" size=3D"2" face=3D"Tahoma">Hi= ,</font></div><div dir=3D"ltr"><font size=3D"2" face=3D"tahoma"></font>&nbs= p;</div><div dir=3D"ltr"><font size=3D"2" face=3D"tahoma">Is AspectJ<a= ></a><span> </span>has a complete and correct weaving taking into cons= ideration aspect interference and interaction?</font></div> <div dir=3D"ltr"><font size=3D"2" face=3D"tahoma"></font> </div><div d= ir=3D"ltr"><font face=3D"CMBX9"><font face=3D"CMBX9"></font></font><div sty= le=3D"margin-top: 0px; margin-bottom: 0px;"><font face=3D"CMBX9"><font face= =3D"CMBX9"><font size=3D"2" face=3D"Tahoma">What I mean by completeness&nbs= p;that</font></font></font><font size=3D"2" face=3D"Tahoma"><span> </s= pan>every aspect advice must be applied<span> </span></font><font= size=3D"2"><font face=3D"Tahoma">at all<span> </span></font><font fac= e=3D"Tahoma">the join points matched by the associated pointcut<a></a>= <span> </span>whereas what I mean by </font></font><font face=3D"= CMR9"><font face=3D"CMR9"><font size=3D"2" face=3D"Tahoma">correctness = ;that<span> </span></font><font face=3D"Tahoma"><font face=3D"CMR9"><f= ont face=3D"CMR9"><font size=3D"2">every aspect advice must be applied= <span> </span></font></font></font><font face=3D"CMTI9"><font face=3D"= CMTI9"><font size=3D"2">only at<span> </span></font></font></font><fon= t face=3D"CMR9"><font face=3D"CMR9"><font size=3D"2">the join points that m= atch the associated pointcut<a></a>.</font></font></font></font></font></fo= nt></div> </div></div></div></span></blockquote><br></div></div></div><div>There is n= o such thing as an assurance that all aspects are triggered at a specific j= oin point. If several pieces of advice apply at a join point, the first may= , for example, throw an exception, which means that the other ones are not = called. Or, the first may be a piece of around advice that doesn't proc= eed (or worse, proceeds only conditionally). Etc.</div> <div><br></div><div><br></div><div>Pascal</div><div><br></div><div> <span s= tyle=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvet= ica; font-size: 12px; font-style: normal; font-variant: normal; font-weight= : normal; letter-spacing: normal; line-height: normal; text-indent: 0px; te= xt-transform: none; white-space: normal; word-spacing: 0px;"><div style=3D"= "> <span style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family:= Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font= -weight: normal; letter-spacing: normal; line-height: normal; text-indent: = 0px; text-transform: none; white-space: normal; word-spacing: 0px;"><div st= yle=3D""> <span style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family:= Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font= -weight: normal; letter-spacing: normal; line-height: normal; text-indent: = 0px; text-transform: none; white-space: normal; word-spacing: 0px;"><div st= yle=3D""> <span style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family:= Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font= -weight: normal; letter-spacing: normal; line-height: normal; text-indent: = 0px; text-transform: none; white-space: normal; word-spacing: 0px;"><div st= yle=3D""> <span style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family:= Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font= -weight: normal; letter-spacing: normal; line-height: normal; text-indent: = 0px; text-transform: none; white-space: normal; word-spacing: 0px;"><div st= yle=3D""> <span style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family:= Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font= -weight: normal; letter-spacing: normal; line-height: normal; text-indent: = 0px; text-transform: none; white-space: normal; word-spacing: 0px;"><div st= yle=3D""> <div>-- </div><div>Pascal Costanza, mailto:<a href=3D"mailto:pc@p-cos.= net" target=3D"_blank">[email protected]</a>, <a href=3D"http://p-cos.net" targe= t=3D"_blank">http://p-cos.net</a></div><div>Vrije Universiteit Brussel</div= ><div>Programming Technology Lab</div> <div>Artificial Intelligence Lab</div><div>Pleinlaan 2, B-1050 Brussel, Bel= gium</div><div><br></div></div></span></div></span></div></span></div></spa= n></div></span></div></span><br> </div><br></div><br>______________________= _________________________<br> discuss mailing list - <a href=3D"mailto:discuss@= aosd.net">[email protected]</a><br> <br> To unsubscribe and change options, go to:<br> <a href=3D"http://aosd.net/mailman/listinfo/discuss_aosd.net" target=3D"_bl= ank">http://aosd.net/mailman/listinfo/discuss_aosd.net</a><br> <br> Check out the AOSD.net Wiki: <a href=3D"http://aosd.net/wiki" target=3D"_bl= ank">http://aosd.net/wiki</a><br> <br></blockquote></div><br><br clear=3D"all"><br>-- <br>Arthur de Sousa Mar= ques<br>Ci=EAncia da Computa=E7=E3o - UFCG<br>Microsoft Academic Alliance -= MSDNAA<br>Grupo de M=E9todos Formais - GMF<br> --000325574d8eb22e4004611254e8-- --===============0473548289889880713== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ discuss mailing list - [email protected] To unsubscribe and change options, go to: http://aosd.net/mailman/listinfo/discuss_aosd.net Check out the AOSD.net Wiki: http://aosd.net/wiki --===============0473548289889880713==--