]> source.dussan.org Git - aspectj.git/commitdiff
133532 - testcode for latest case
authoraclement <aclement>
Wed, 27 Sep 2006 08:25:06 +0000 (08:25 +0000)
committeraclement <aclement>
Wed, 27 Sep 2006 08:25:06 +0000 (08:25 +0000)
tests/multiIncremental/PR133532_3/base/pkg/ANewTypeWizardPage.aj [new file with mode: 0644]
tests/multiIncremental/PR133532_3/base/pkg/NewTypeWizardPage.java [new file with mode: 0644]
tests/multiIncremental/PR133532_3/inc1/pkg/ANewTypeWizardPage.aj [new file with mode: 0644]

diff --git a/tests/multiIncremental/PR133532_3/base/pkg/ANewTypeWizardPage.aj b/tests/multiIncremental/PR133532_3/base/pkg/ANewTypeWizardPage.aj
new file mode 100644 (file)
index 0000000..a989f45
--- /dev/null
@@ -0,0 +1,20 @@
+package pkg;
+
+public aspect ANewTypeWizardPage {
+
+       public static int NewTypeWizardPage.F_PRIVILEGED = 1;
+       
+       after() : execution(* NewTypeWizardPage.setModifiers(..)) {
+               if(NewTypeWizardPage.F_PRIVILEGED != 0) {
+                       
+               }
+       }
+       
+       before() : execution(int NewTypeWizardPage.getModifiers()) {
+               int i = 0;
+               if (((NewTypeWizardPage)thisJoinPoint.getThis()).isTrue()) {
+                       i = NewTypeWizardPage.F_PRIVILEGED;
+               }
+       }
+       
+}
diff --git a/tests/multiIncremental/PR133532_3/base/pkg/NewTypeWizardPage.java b/tests/multiIncremental/PR133532_3/base/pkg/NewTypeWizardPage.java
new file mode 100644 (file)
index 0000000..8c74176
--- /dev/null
@@ -0,0 +1,18 @@
+package pkg;
+
+public class NewTypeWizardPage {
+
+       public int getModifiers() {
+               return 1;
+       }
+       
+       public boolean isTrue() {
+               return true;
+       }
+       
+       public void setModifiers(int modifiers, 
+                       boolean canBeModified) {
+               
+       }
+       
+}
diff --git a/tests/multiIncremental/PR133532_3/inc1/pkg/ANewTypeWizardPage.aj b/tests/multiIncremental/PR133532_3/inc1/pkg/ANewTypeWizardPage.aj
new file mode 100644 (file)
index 0000000..9fa5c16
--- /dev/null
@@ -0,0 +1,20 @@
+package pkg;
+
+public aspect ANewTypeWizardPage {
+
+       public static int NewTypeWizardPage.F_PRIVILEGED = 2;
+       
+       after() : execution(* NewTypeWizardPage.setModifiers(..)) {
+               if(NewTypeWizardPage.F_PRIVILEGED != 0) {
+                       
+               }
+       }
+       
+       before() : execution(int NewTypeWizardPage.getModifiers()) {
+               int i = 0;
+               if (((NewTypeWizardPage)thisJoinPoint.getThis()).isTrue()) {
+                       i = NewTypeWizardPage.F_PRIVILEGED;
+               }
+       }
+       
+}