Mirrors/org.aspectj
1
0
Fork 0
mirror of https://github.com/eclipse-aspectj/aspectj.git synced 2024-09-13 15:45:38 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix for bugzilla bug 71393:

Browse Source 
Specify how does args pointcut collect context for pointcuts which are used in cflow
This commit is contained in:
ehilsdal 2004-08-23 02:51:10 +00:00
parent acaeeaf485
commit df55b490f7
1 changed files with 52 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

52
docs/progGuideDB/semantics.xml
View File

@ -696,6 +696,7 @@
argument was an <literal>int</literal>, then the value passed to
advice will be of type <literal>java.lang.Integer</literal>.
</para>
</sect2>
<sect2>
@ -929,6 +930,57 @@
picked out by <replaceable>Pointcut</replaceable>.
</para>
<sect4>
<title>Context exposure from control flows</title>
<para>
The <literal>cflow</literal> and
<literal>cflowbelow</literal> pointcuts may expose context
state through enclosed <literal>this</literal>,
<literal>target</literal>, and <literal>args</literal>
pointcuts.
</para>
<para>
Anytime such state is accessed, it is accessed through the
<emphasis>most recent</emphasis> control flow that
matched. So the "current arg" that would be printed by
the following program is zero, even though it is in many
control flows.
</para>
<programlisting>
class Test {
public static void main(String[] args) {
fact(5);
}
static int fact(int x) {
if (x == 0) {
System.err.println("bottoming out");
return 1;
}
else return x * fact(x - 1);
}
}
aspect A {
pointcut entry(int i): call(int fact(int)) <![CDATA[&&]]> args(i);
pointcut writing(): call(void println(String)) <![CDATA[&&]]> ! within(A);
before(int i): writing() <![CDATA[&&]]> cflow(entry(i)) {
System.err.println("Current arg is " + i);
}
}
</programlisting>
<para>
It is an error to expose such state through
<emphasis>negated</emphasis> control flow pointcuts, such
as within <literal>!
cflowbelow(<replaceable>P</replaceable>)</literal>.
</para>
</sect4>
</sect3>
<sect3>