From: wisberg Date: Sat, 19 Apr 2003 20:47:30 +0000 (+0000) Subject: @testcase PR#36673 privileged aspect main verify error X-Git-Tag: V1_1_0_RC2~168 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=a1f90ec4260a3d328ac7209044ee34f72ed06d9f;p=aspectj.git @testcase PR#36673 privileged aspect main verify error --- 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"); + } +} +