Re: [abc-users] Determine a basic block

From: Thomas Pawlitzki <>
Date: Wed, 16 Apr 2008 10:18:31 +0200

Hello again,

i tried a little bit with a new ShadowType and a new ShadowMatch.

But i can not figure out how to implement the
BlockShadowMatch.matchesAt() method.

I compile the following mini example and log the infos i have for the
matching test.

Source Code:
public static void main(String[] args) {
                        int i = 0;
                        System.out.println("Hello World");
                Test t = new Test();

This infos i reveive at the matching test:
public static void main(java.lang.String[])
        java.lang.String[] args;
        int i; temp$0;
        aspectjtest.Test t, temp$1;

        args := @parameter0: java.lang.String[];
        i = 0;
        temp$0 = <java.lang.System: out>;
        virtualinvoke temp$0.< void
println(java.lang.String)>("Hello World");
        temp$1 = new aspectjtest.Test;
        specialinvoke temp$1.<aspectjtest.Test: void <init>()>();
        t = temp$1;
        virtualinvoke t.<aspectjtest.Test: void foo()>();

As you can see the blocks are not recognisable any more. So how can i
decide when a block is entered?

Received on Wed Apr 16 2008 - 09:18:34 BST

This archive was generated by hypermail 2.2.0 : Wed Apr 16 2008 - 15:00:12 BST