1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
|
/*******************************************************************************
* Copyright (c) 2013, 2014 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* This is an implementation of an early-draft specification developed under the Java
* Community Process (JCP) and is made available for testing and evaluation purposes
* only. The code is not compatible with any specification of the JCP.
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.jdt.core.tests.builder;
import junit.framework.Test;
import org.eclipse.core.runtime.IPath;
import org.eclipse.jdt.core.JavaCore;
import org.eclipse.jdt.core.JavaModelException;
import org.eclipse.jdt.core.tests.util.AbstractCompilerTest;
import org.eclipse.jdt.core.tests.util.Util;
public class IncrementalTests18 extends BuilderTests {
public IncrementalTests18(String name) {
super(name);
}
public static Test suite() {
return AbstractCompilerTest.buildMinimalComplianceTestSuite(IncrementalTests18.class, AbstractCompilerTest.F_1_8);
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=423122, [1.8] Missing incremental build dependency from lambda expression to functional interface.
public void test423122() throws JavaModelException {
IPath projectPath = env.addProject("Project", "1.8");
env.addExternalJars(projectPath, Util.getJavaClassLibs());
// remove old package fragment root so that names don't collide
env.removePackageFragmentRoot(projectPath, "");
IPath root = env.addPackageFragmentRoot(projectPath, "src");
env.setOutputFolder(projectPath, "bin");
env.addClass(root, "p", "I",
"package p; \n"+
"public interface I { void foo(); } \n"
);
env.addClass(root, "p", "X",
"package p; \n"+
"public class X { I i = () -> {}; } \n"
);
fullBuild(projectPath);
expectingNoProblems();
env.addClass(root, "p", "I",
"package p; \n"+
"public interface I { } \n"
);
incrementalBuild(projectPath);
expectingProblemsFor(
projectPath,
"Problem : The target type of this expression must be a functional interface [ resource : </Project/src/p/X.java> range : <35,40> category : <40> severity : <2>]"
);
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=423122, [1.8] Missing incremental build dependency from lambda expression to functional interface.
public void test423122a() throws JavaModelException {
IPath projectPath = env.addProject("Project", "1.8");
env.addExternalJars(projectPath, Util.getJavaClassLibs());
// remove old package fragment root so that names don't collide
env.removePackageFragmentRoot(projectPath, "");
IPath root = env.addPackageFragmentRoot(projectPath, "src");
env.setOutputFolder(projectPath, "bin");
env.addClass(root, "test1", "I",
"package test1;\n" +
"public interface I {\n" +
" int method(int a); // change argument type to Object\n" +
"}\n"
);
env.addClass(root, "test1", "E",
"package test1;\n" +
"public class E {\n" +
" void take(I i) {\n" +
" }\n" +
"}\n"
);
env.addClass(root, "test1", "Ref",
"package test1;\n" +
"public class Ref {\n" +
" void foo(E e) {\n" +
" e.take((x) -> x+2); // not recompiled when I#method changed\n" +
" }\n" +
"}\n"
);
fullBuild(projectPath);
expectingNoProblems();
env.addClass(root, "test1", "I",
"package test1;\n" +
"public interface I {\n" +
" int method(Object a); // change argument type to Object\n" +
"}\n"
);
incrementalBuild(projectPath);
expectingProblemsFor(
projectPath,
"Problem : The operator + is undefined for the argument type(s) Object, int [ resource : </Project/src/test1/Ref.java> range : <76,79> category : <60> severity : <2>]"
);
env.addClass(root, "test1", "I",
"package test1;\n" +
"public interface I {\n" +
" int method(int a); // change argument type back to int\n" +
"}\n"
);
incrementalBuild(projectPath);
expectingNoProblems();
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=427105, [1.8][builder] Differences between incremental and full builds in method contract verification in the presence of type annotations
public void test427105() throws JavaModelException {
IPath projectPath = env.addProject("Project", "1.8");
env.addExternalJars(projectPath, Util.getJavaClassLibs());
// remove old package fragment root so that names don't collide
env.removePackageFragmentRoot(projectPath, "");
IPath root = env.addPackageFragmentRoot(projectPath, "src");
env.setOutputFolder(projectPath, "bin");
env.addClass(root, "", "X",
"import java.util.List;\n" +
"public class X implements I {\n" +
" public void f(List x, List<I> ls) { \n" +
" }\n" +
"}\n"
);
env.addClass(root, "", "I",
"import java.util.List;\n" +
"public interface I {\n" +
" void f(@T List x, List<I> ls);\n" +
"}\n"
);
env.addClass(root, "", "T",
"import java.lang.annotation.ElementType;\n" +
"import java.lang.annotation.Target;\n" +
"@Target(ElementType.TYPE_USE)\n" +
"public @interface T {\n" +
"}\n"
);
// force annotation encoding into bindings which is necessary to reproduce.
env.getJavaProject("Project").setOption(JavaCore.COMPILER_ANNOTATION_NULL_ANALYSIS, JavaCore.ENABLED);
fullBuild(projectPath);
expectingProblemsFor(
projectPath,
"Problem : List is a raw type. References to generic type List<E> should be parameterized [ resource : </Project/src/I.java> range : <55,59> category : <130> severity : <1>]\n" +
"Problem : List is a raw type. References to generic type List<E> should be parameterized [ resource : </Project/src/X.java> range : <68,72> category : <130> severity : <1>]"
);
env.addClass(root, "", "X",
"import java.util.List;\n" +
"public class X implements I {\n" +
" public void f(List x, List<I> ls) { \n" +
" }\n" +
"}\n"
);
incrementalBuild(projectPath);
expectingProblemsFor(
projectPath,
"Problem : List is a raw type. References to generic type List<E> should be parameterized [ resource : </Project/src/I.java> range : <55,59> category : <130> severity : <1>]\n" +
"Problem : List is a raw type. References to generic type List<E> should be parameterized [ resource : </Project/src/X.java> range : <68,72> category : <130> severity : <1>]"
);
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=427105, [1.8][builder] Differences between incremental and full builds in method contract verification in the presence of type annotations
public void test427105a() throws JavaModelException {
IPath projectPath = env.addProject("Project", "1.8");
env.addExternalJars(projectPath, Util.getJavaClassLibs());
// remove old package fragment root so that names don't collide
env.removePackageFragmentRoot(projectPath, "");
IPath root = env.addPackageFragmentRoot(projectPath, "src");
env.setOutputFolder(projectPath, "bin");
env.addClass(root, "", "X",
"import java.util.List;\n" +
"public class X implements I {\n" +
" public void f(List x, List<I> ls) { \n" +
" }\n" +
"}\n"
);
env.addClass(root, "", "I",
"import java.util.List;\n" +
"public interface I {\n" +
" void f(@T List x, List<I> ls);\n" +
"}\n"
);
env.addClass(root, "", "T",
"import java.lang.annotation.ElementType;\n" +
"import java.lang.annotation.Target;\n" +
"@Target(ElementType.TYPE_USE)\n" +
"public @interface T {\n" +
"}\n"
);
// force annotation encoding into bindings which is necessary to reproduce.
env.getJavaProject("Project").setOption(JavaCore.COMPILER_ANNOTATION_NULL_ANALYSIS, JavaCore.ENABLED);
fullBuild(projectPath);
expectingProblemsFor(
projectPath,
"Problem : List is a raw type. References to generic type List<E> should be parameterized [ resource : </Project/src/I.java> range : <55,59> category : <130> severity : <1>]\n" +
"Problem : List is a raw type. References to generic type List<E> should be parameterized [ resource : </Project/src/X.java> range : <68,72> category : <130> severity : <1>]"
);
env.addClass(root, "", "X",
"import java.util.List;\n" +
"public class X implements I {\n" +
" public void f(@T List x, List<I> ls) { \n" +
" }\n" +
"}\n"
);
incrementalBuild(projectPath);
expectingProblemsFor(
projectPath,
"Problem : List is a raw type. References to generic type List<E> should be parameterized [ resource : </Project/src/I.java> range : <55,59> category : <130> severity : <1>]\n" +
"Problem : List is a raw type. References to generic type List<E> should be parameterized [ resource : </Project/src/X.java> range : <71,75> category : <130> severity : <1>]"
);
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=428071, [1.8][compiler] Bogus error about incompatible return type during override
public void test428071() throws JavaModelException {
IPath projectPath = env.addProject("Project", "1.8");
env.addExternalJars(projectPath, Util.getJavaClassLibs());
// remove old package fragment root so that names don't collide
env.removePackageFragmentRoot(projectPath, "");
IPath root = env.addPackageFragmentRoot(projectPath, "src");
env.setOutputFolder(projectPath, "bin");
env.addClass(root, "", "K1",
"import java.util.List;\n" +
"import java.util.Map;\n" +
"interface K1 {\n" +
" public Map<String,List> get();\n" +
"}\n"
);
env.addClass(root, "", "K",
"import java.util.List;\n" +
"import java.util.Map;\n" +
"public class K implements K1 {\n" +
" public Map<String, List> get() {\n" +
" return null;\n" +
" }\n" +
"}\n"
);
env.getJavaProject("Project").setOption(JavaCore.COMPILER_PB_RAW_TYPE_REFERENCE, JavaCore.IGNORE);
fullBuild(projectPath);
expectingNoProblems();
env.addClass(root, "", "K",
"import java.util.List;\n" +
"import java.util.Map;\n" +
"public class K implements K1 {\n" +
" public Map<String, List> get() {\n" +
" return null;\n" +
" }\n" +
"}\n"
);
incrementalBuild(projectPath);
expectingNoProblems();
}
}
|
