From a1f90ec4260a3d328ac7209044ee34f72ed06d9f Mon Sep 17 00:00:00 2001 From: wisberg Date: Sat, 19 Apr 2003 20:47:30 +0000 Subject: [PATCH] @testcase PR#36673 privileged aspect main verify error --- tests/ajcTestsFailing.xml | 7 +++++-- tests/new/verifyError/Privilege.java | 19 +++++++++++++++++++ 2 files changed, 24 insertions(+), 2 deletions(-) create mode 100644 tests/new/verifyError/Privilege.java diff --git a/tests/ajcTestsFailing.xml b/tests/ajcTestsFailing.xml index 1b2b82f8c..a2441ef78 100644 --- a/tests/ajcTestsFailing.xml +++ b/tests/ajcTestsFailing.xml @@ -4,6 +4,9 @@ - - + + + + diff --git a/tests/new/verifyError/Privilege.java b/tests/new/verifyError/Privilege.java new file mode 100644 index 000000000..a49850f84 --- /dev/null +++ b/tests/new/verifyError/Privilege.java @@ -0,0 +1,19 @@ + +import org.aspectj.testing.Tester; + +class C { + private int i; +} + +privileged aspect A { + private int C.j = 1; +} + +/** @testcase PR#36673 privileged aspect main verify error */ +public privileged aspect Privilege { + public static void main(String[] args) { + C c = new C(); + Tester.check(1 == c.j, "wrong value for c.j"); + } +} + -- 2.39.5