initial version

1 files changed, 119 insertions, 0 deletions

diff --git a/weaver/testdata/CflowStateResidueDynamicHelloWorld.txt b/weaver/testdata/CflowStateResidueDynamicHelloWorld.txt
new file mode 100644
index 000000000..fd6bfd650
--- /dev/null
+++ b/weaver/testdata/CflowStateResidueDynamicHelloWorld.txt
@@ -0,0 +1,119 @@
+public class DynamicHelloWorld extends java.lang.Object implements java.io.Serializable:
+  public void <init>():
+                    ALOAD_0     // DynamicHelloWorld this   (line 8)
+                    INVOKESPECIAL java.lang.Object.<init> ()V
+    constructor-execution(void DynamicHelloWorld.<init>())
+    |               RETURN
+    constructor-execution(void DynamicHelloWorld.<init>())
+  end public void <init>()
+
+  public static void main(String[]):
+    method-execution(void DynamicHelloWorld.main(java.lang.String[]))
+    |               GETSTATIC Aspect.ajc$cflowStack$0 Lorg/aspectj/runtime/internal/CFlowStack;
+    |               INVOKEVIRTUAL org.aspectj.runtime.internal.CFlowStack.isValid ()Z
+    |               IFEQ L0
+    |               GETSTATIC Aspect.ajc$cflowStack$0 Lorg/aspectj/runtime/internal/CFlowStack;
+    |               BIPUSH 0
+    |               INVOKEVIRTUAL org.aspectj.runtime.internal.CFlowStack.get (I)Ljava/lang/Object;
+    |               CHECKCAST java.util.ArrayList
+    |               INVOKESTATIC Aspect.ajc_before_0 (Ljava/util/ArrayList;)V
+    | catch java.lang.UnsupportedOperationException -> E0
+    | |         L0: NEW DynamicHelloWorld   (line 12)
+    | |             DUP
+    | | constructor-call(void DynamicHelloWorld.<init>())
+    | | |           INVOKESPECIAL DynamicHelloWorld.<init> ()V
+    | | constructor-call(void DynamicHelloWorld.<init>())
+    | |             LDC "hello"
+    | | field-get(java.util.List java.util.Collections.EMPTY_LIST)
+    | | |           GETSTATIC java.util.Collections.EMPTY_LIST Ljava/util/List;
+    | | field-get(java.util.List java.util.Collections.EMPTY_LIST)
+    | | method-call(java.lang.String DynamicHelloWorld.doit(java.lang.String, java.util.List))
+    | | |           INVOKEVIRTUAL DynamicHelloWorld.doit (Ljava/lang/String;Ljava/util/List;)Ljava/lang/String;
+    | | method-call(java.lang.String DynamicHelloWorld.doit(java.lang.String, java.util.List))
+    | |             POP
+    | |             GOTO L1
+    | catch java.lang.UnsupportedOperationException -> E0
+    |           E0: ASTORE_1   (line 13)
+    | field-get(java.io.PrintStream java.lang.System.out)
+    | |             GETSTATIC java.lang.System.out Ljava/io/PrintStream;   (line 14)
+    | field-get(java.io.PrintStream java.lang.System.out)
+    |               NEW java.lang.StringBuffer
+    |               DUP
+    |               LDC "expected and caught: "
+    | constructor-call(void java.lang.StringBuffer.<init>(java.lang.String))
+    | |             INVOKESPECIAL java.lang.StringBuffer.<init> (Ljava/lang/String;)V
+    | constructor-call(void java.lang.StringBuffer.<init>(java.lang.String))
+    |               ALOAD_1     // java.lang.UnsupportedOperationException t
+    | method-call(java.lang.StringBuffer java.lang.StringBuffer.append(java.lang.Object))
+    | |             INVOKEVIRTUAL java.lang.StringBuffer.append (Ljava/lang/Object;)Ljava/lang/StringBuffer;
+    | method-call(java.lang.StringBuffer java.lang.StringBuffer.append(java.lang.Object))
+    | method-call(java.lang.String java.lang.StringBuffer.toString())
+    | |             INVOKEVIRTUAL java.lang.StringBuffer.toString ()Ljava/lang/String;
+    | method-call(java.lang.String java.lang.StringBuffer.toString())
+    | method-call(void java.io.PrintStream.println(java.lang.String))
+    | |             INVOKEVIRTUAL java.io.PrintStream.println (Ljava/lang/String;)V
+    | method-call(void java.io.PrintStream.println(java.lang.String))
+    |               RETURN   (line 15)
+    |           L1: NEW java.lang.RuntimeException   (line 17)
+    |               DUP
+    |               LDC "should have caught exception"
+    | constructor-call(void java.lang.RuntimeException.<init>(java.lang.String))
+    | |             INVOKESPECIAL java.lang.RuntimeException.<init> (Ljava/lang/String;)V
+    | constructor-call(void java.lang.RuntimeException.<init>(java.lang.String))
+    |               ATHROW
+    method-execution(void DynamicHelloWorld.main(java.lang.String[]))
+  end public static void main(String[])
+
+  String doit(String, java.util.List):
+    method-execution(java.lang.String DynamicHelloWorld.doit(java.lang.String, java.util.List))
+    |               ALOAD_2     // java.util.List l   (line 21)
+    |               ALOAD_1     // java.lang.String arg0
+    |               ASTORE_3
+    |               ASTORE 4
+    | method-call(boolean java.util.List.add(java.lang.Object))
+    | |             BIPUSH 0
+    | |             ISTORE 5
+    | |             ALOAD 4
+    | |             INSTANCEOF java.util.ArrayList
+    | |             IFEQ L0
+    | |             BIPUSH 1
+    | |             ISTORE 5
+    | |             BIPUSH 1
+    | |             ANEWARRAY java.lang.Object
+    | |             ASTORE 6
+    | |             ALOAD 6
+    | |             BIPUSH 0
+    | |             ALOAD 4
+    | |             AASTORE
+    | |             GETSTATIC Aspect.ajc$cflowStack$0 Lorg/aspectj/runtime/internal/CFlowStack;
+    | |             ALOAD 6
+    | |             INVOKEVIRTUAL org.aspectj.runtime.internal.CFlowStack.push ([Ljava/lang/Object;)V
+    | | catch java.lang.Throwable -> E0
+    | | |       L0: ALOAD 4
+    | | |           ALOAD_3
+    | | |           INVOKEINTERFACE java.util.List.add (Ljava/lang/Object;)Z
+    | | catch java.lang.Throwable -> E0
+    | |             GOTO L2
+    | |         E0: ASTORE 7
+    | |             ILOAD 5
+    | |             IFEQ L1
+    | |             GETSTATIC Aspect.ajc$cflowStack$0 Lorg/aspectj/runtime/internal/CFlowStack;
+    | |             INVOKEVIRTUAL org.aspectj.runtime.internal.CFlowStack.pop ()V
+    | |         L1: ALOAD 7
+    | |             ATHROW
+    | |         L2: NOP
+    | |             ILOAD 5
+    | |             IFEQ L3
+    | |             GETSTATIC Aspect.ajc$cflowStack$0 Lorg/aspectj/runtime/internal/CFlowStack;
+    | |             INVOKEVIRTUAL org.aspectj.runtime.internal.CFlowStack.pop ()V
+    | |         L3: NOP
+    | method-call(boolean java.util.List.add(java.lang.Object))
+    |               POP
+    |               ALOAD_2     // java.util.List l   (line 22)
+    | method-call(java.lang.String java.lang.Object.toString())
+    | |             INVOKEVIRTUAL java.lang.Object.toString ()Ljava/lang/String;
+    | method-call(java.lang.String java.lang.Object.toString())
+    |               ARETURN
+    method-execution(java.lang.String DynamicHelloWorld.doit(java.lang.String, java.util.List))
+  end String doit(String, java.util.List)
+end public class DynamicHelloWorld