• file
• revisions
• annotate
• diff
• comparison
• raw

test/tools/javac/protectedAccess/ProtectedMemberAccess4.java@2eb010b6cb22 (annotated)

test/tools/javac/protectedAccess/ProtectedMemberAccess4.java

Thu, 31 Aug 2017 15:17:03 +0800

author

aoqi

date

Thu, 31 Aug 2017 15:17:03 +0800

changeset 2525

2eb010b6cb22

parent 611

4172cfff05f0

parent 0

959103a6100f

permissions

-rw-r--r--

merge

aoqi@0	1	/*
aoqi@0	2	* @test /nodynamiccopyright/
aoqi@0	3	* @bug 4319507 4785453
aoqi@0	4	* @summary Verify correct implementation of JLS2e 6.6.2.1
aoqi@0	5	* @author maddox
aoqi@0	6	*
aoqi@0	7	* @compile/fail/ref=ProtectedMemberAccess4.out -XDdiags=-simpleNames -XDdiagsFormat=%b:%l:%_%m ProtectedMemberAccess4.java
aoqi@0	8	*/
aoqi@0	9
aoqi@0	10	// 33 errors expected.
aoqi@0	11
aoqi@0	12	import pkg.SuperClass;
aoqi@0	13
aoqi@0	14	class ProtectedMemberAccess4 extends pkg.SuperClass {
aoqi@0	15
aoqi@0	16	// Access to a protected instance (non-static) field, instance method,
aoqi@0	17	// or member type by a qualified name is always legal in a subclass of
aoqi@0	18	// the class in which the member is declared. Such access to a protected
aoqi@0	19	// instance field or instance method is allowed only if the qualifying type
aoqi@0	20	// or the type of the qualifying expression is (a subclass of) the class
aoqi@0	21	// in which the reference occurs. In this test case, the qualifying type
aoqi@0	22	// is a superclass, thus all of the qualified references to instance fields
aoqi@0	23	// and instance methods are illegal.
aoqi@0	24
aoqi@0	25	pkg.SuperClass x = new pkg.SuperClass();
aoqi@0	26
aoqi@0	27	static pkg.SuperClass sx = new pkg.SuperClass();
aoqi@0	28
aoqi@0	29	int i = x.pi; // illegal
aoqi@0	30	int j = x.spi; // ok
aoqi@0	31
aoqi@0	32	int n = sx.pi; // illegal
aoqi@0	33	int m = sx.spi; // ok
aoqi@0	34
aoqi@0	35	static int sn = sx.pi; // illegal
aoqi@0	36	static int sm = sx.spi; // ok
aoqi@0	37
aoqi@0	38	int w = x.pm(); // illegal
aoqi@0	39	int y = x.spm(); // ok
aoqi@0	40
aoqi@0	41	int u = sx.pm(); // illegal
aoqi@0	42	int v = sx.spm(); // ok
aoqi@0	43
aoqi@0	44	pkg.SuperClass.pC obj1; // ok
aoqi@0	45	pkg.SuperClass.spC obj2; // ok
aoqi@0	46
aoqi@0	47	pkg.SuperClass.pI obj3; // ok
aoqi@0	48	pkg.SuperClass.spI obj4; // ok
aoqi@0	49
aoqi@0	50	Object o1 = (pkg.SuperClass.pC) null; // ok
aoqi@0	51	Object o2 = (pkg.SuperClass.spC) null; // ok
aoqi@0	52
aoqi@0	53	Object o3 = (pkg.SuperClass.pI) null; // ok
aoqi@0	54	Object o4 = (pkg.SuperClass.spI) null; // ok
aoqi@0	55
aoqi@0	56	class C1 extends pkg.SuperClass.pC {} // ok
aoqi@0	57	class C2 extends pkg.SuperClass.spC {} // ok
aoqi@0	58
aoqi@0	59	interface I1 extends pkg.SuperClass.pI {} // ok
aoqi@0	60	interface I2 extends pkg.SuperClass.spI {} // ok
aoqi@0	61
aoqi@0	62	static {
aoqi@0	63
aoqi@0	64	pkg.SuperClass lx = new pkg.SuperClass();
aoqi@0	65
aoqi@0	66	sx.pi = 1; // illegal
aoqi@0	67	sx.spi = 2; // ok
aoqi@0	68
aoqi@0	69	lx.pi = 1; // illegal
aoqi@0	70	lx.spi = 2; // ok
aoqi@0	71
aoqi@0	72	int n = sx.pi; // illegal
aoqi@0	73	int m = sx.spi; // ok
aoqi@0	74
aoqi@0	75	int k = lx.pi; // illegal
aoqi@0	76	int l = lx.spi; // ok
aoqi@0	77
aoqi@0	78	int u = sx.pm(); // illegal
aoqi@0	79	int v = sx.spm(); // ok
aoqi@0	80
aoqi@0	81	int w = lx.pm(); // illegal
aoqi@0	82	int z = lx.spm(); // ok
aoqi@0	83
aoqi@0	84	pkg.SuperClass.pC obj1; // ok
aoqi@0	85	pkg.SuperClass.spC obj2; // ok
aoqi@0	86
aoqi@0	87	pkg.SuperClass.pI obj3; // ok
aoqi@0	88	pkg.SuperClass.spI obj4; // ok
aoqi@0	89
aoqi@0	90	Object o1 = (pkg.SuperClass.pC) null; // ok
aoqi@0	91	Object o2 = (pkg.SuperClass.spC) null; // ok
aoqi@0	92
aoqi@0	93	Object o3 = (pkg.SuperClass.pI) null; // ok
aoqi@0	94	Object o4 = (pkg.SuperClass.spI) null; // ok
aoqi@0	95
aoqi@0	96	//class C1 extends pkg.SuperClass.pC {}
aoqi@0	97	class C2 extends pkg.SuperClass.spC {} // ok
aoqi@0	98
aoqi@0	99	//interface I1 extends pkg.SuperClass.pI {}
aoqi@0	100	//interface I2 extends pkg.SuperClass.spI {}
aoqi@0	101
aoqi@0	102	}
aoqi@0	103
aoqi@0	104	void m() {
aoqi@0	105
aoqi@0	106	pkg.SuperClass lx = new pkg.SuperClass();
aoqi@0	107
aoqi@0	108	x.pi = 1; // illegal
aoqi@0	109	x.spi = 2; // ok
aoqi@0	110
aoqi@0	111	sx.pi = 1; // illegal
aoqi@0	112	sx.spi = 2; // ok
aoqi@0	113
aoqi@0	114	lx.pi = 1; // illegal
aoqi@0	115	lx.spi = 2; // ok
aoqi@0	116
aoqi@0	117	int t = x.pm(); // illegal
aoqi@0	118	int y = x.spm(); // ok
aoqi@0	119
aoqi@0	120	int u = sx.pm(); // illegal
aoqi@0	121	int v = sx.spm(); // ok
aoqi@0	122
aoqi@0	123	int w = lx.pm(); // illegal
aoqi@0	124	int z = lx.spm(); // ok
aoqi@0	125
aoqi@0	126	int i = x.pi; // illegal
aoqi@0	127	int j = x.spi; // ok
aoqi@0	128
aoqi@0	129	int n = sx.pi; // illegal
aoqi@0	130	int m = sx.spi; // ok
aoqi@0	131
aoqi@0	132	int k = lx.pi; // illegal
aoqi@0	133	int l = lx.spi; // ok
aoqi@0	134
aoqi@0	135	pkg.SuperClass.pC obj1; // ok
aoqi@0	136	pkg.SuperClass.spC obj2; // ok
aoqi@0	137
aoqi@0	138	pkg.SuperClass.pI obj3; // ok
aoqi@0	139	pkg.SuperClass.spI obj4; // ok
aoqi@0	140
aoqi@0	141	Object o1 = (pkg.SuperClass.pC) null; // ok
aoqi@0	142	Object o2 = (pkg.SuperClass.spC) null; // ok
aoqi@0	143
aoqi@0	144	Object o3 = (pkg.SuperClass.pI) null; // ok
aoqi@0	145	Object o4 = (pkg.SuperClass.spI) null; // ok
aoqi@0	146
aoqi@0	147	class C1 extends pkg.SuperClass.pC {} // ok
aoqi@0	148	class C2 extends pkg.SuperClass.spC {} // ok
aoqi@0	149
aoqi@0	150	//interface I1 extends pkg.SuperClass.pI {}
aoqi@0	151	//interface I2 extends pkg.SuperClass.spI {}
aoqi@0	152
aoqi@0	153	}
aoqi@0	154
aoqi@0	155	class Inner {
aoqi@0	156
aoqi@0	157	int i = x.pi; // illegal
aoqi@0	158	int j = x.spi; // ok
aoqi@0	159
aoqi@0	160	int n = sx.pi; // illegal
aoqi@0	161	int m = sx.spi; // ok
aoqi@0	162
aoqi@0	163	//static int sn = sx.pi;
aoqi@0	164	//static int sm = sx.spi;
aoqi@0	165
aoqi@0	166	int w = x.pm(); // illegal
aoqi@0	167	int y = x.spm(); // ok
aoqi@0	168
aoqi@0	169	int u = sx.pm(); // illegal
aoqi@0	170	int v = sx.spm(); // ok
aoqi@0	171
aoqi@0	172	pkg.SuperClass.pC obj1; // ok
aoqi@0	173	pkg.SuperClass.spC obj2; // ok
aoqi@0	174
aoqi@0	175	pkg.SuperClass.pI obj3; // ok
aoqi@0	176	pkg.SuperClass.spI obj4; // ok
aoqi@0	177
aoqi@0	178	Object o1 = (pkg.SuperClass.pC) null; // ok
aoqi@0	179	Object o2 = (pkg.SuperClass.spC) null; // ok
aoqi@0	180
aoqi@0	181	Object o3 = (pkg.SuperClass.pI) null; // ok
aoqi@0	182	Object o4 = (pkg.SuperClass.spI) null; // ok
aoqi@0	183
aoqi@0	184	class C1 extends pkg.SuperClass.pC {} // ok
aoqi@0	185	class C2 extends pkg.SuperClass.spC {} // ok
aoqi@0	186
aoqi@0	187	//interface I1 extends pkg.SuperClass.pI {}
aoqi@0	188	//interface I2 extends pkg.SuperClass.spI {}
aoqi@0	189
aoqi@0	190	// Not allowed in inner classes.
aoqi@0	191	// static { ... }
aoqi@0	192
aoqi@0	193	void m() {
aoqi@0	194
aoqi@0	195	pkg.SuperClass lx = new pkg.SuperClass();
aoqi@0	196
aoqi@0	197	x.pi = 1; // illegal
aoqi@0	198	x.spi = 2; // ok
aoqi@0	199
aoqi@0	200	sx.pi = 1; // illegal
aoqi@0	201	sx.spi = 2; // ok
aoqi@0	202
aoqi@0	203	lx.pi = 1; // illegal
aoqi@0	204	lx.spi = 2; // ok
aoqi@0	205
aoqi@0	206	int t = x.pm(); // illegal
aoqi@0	207	int y = x.spm(); // ok
aoqi@0	208
aoqi@0	209	int u = sx.pm(); // illegal
aoqi@0	210	int v = sx.spm(); // ok
aoqi@0	211
aoqi@0	212	int w = lx.pm(); // illegal
aoqi@0	213	int z = lx.spm(); // ok
aoqi@0	214
aoqi@0	215	int i = x.pi; // illegal
aoqi@0	216	int j = x.spi; // ok
aoqi@0	217
aoqi@0	218	int n = sx.pi; // illegal
aoqi@0	219	int m = sx.spi; // ok
aoqi@0	220
aoqi@0	221	int k = lx.pi; // illegal
aoqi@0	222	int l = lx.spi; // ok
aoqi@0	223
aoqi@0	224	pkg.SuperClass.pC obj1; // ok
aoqi@0	225	pkg.SuperClass.spC obj2; // ok
aoqi@0	226
aoqi@0	227	pkg.SuperClass.pI obj3; // ok
aoqi@0	228	pkg.SuperClass.spI obj4; // ok
aoqi@0	229
aoqi@0	230	Object o1 = (pkg.SuperClass.pC) null; // ok
aoqi@0	231	Object o2 = (pkg.SuperClass.spC) null; // ok
aoqi@0	232
aoqi@0	233	Object o3 = (pkg.SuperClass.pI) null; // ok
aoqi@0	234	Object o4 = (pkg.SuperClass.spI) null; // ok
aoqi@0	235
aoqi@0	236	class C1 extends pkg.SuperClass.pC {} // ok
aoqi@0	237	class C2 extends pkg.SuperClass.spC {} // ok
aoqi@0	238
aoqi@0	239	//interface I1 extends pkg.SuperClass.pI {}
aoqi@0	240	//interface I2 extends pkg.SuperClass.spI {}
aoqi@0	241
aoqi@0	242	}
aoqi@0	243
aoqi@0	244	}
aoqi@0	245
aoqi@0	246	}