| changeset 7335 | 8b390fd27190 |
| parent 5520 | 86e4b9a9da40 |
| child 7681 | 1f0819a3341f |
| 7334:f432af22de29 | 7335:8b390fd27190 |
|---|---|
95 a_class.delete(); |
95 a_class.delete(); |
96 b_class.delete(); |
96 b_class.delete(); |
97 processorServices.delete(); |
97 processorServices.delete(); |
98 |
98 |
99 List<String> opts = new ArrayList<String>(); |
99 List<String> opts = new ArrayList<String>(); |
100 opts.addAll(Arrays.asList("-d", ".", "-sourcepath", testSrc, "-classpath", testClasses, "-source", "1.6")); |
100 opts.addAll(Arrays.asList("-d", ".", "-sourcepath", testSrc, "-classpath", testClasses, "-source", "1.6", "-Xlint:-options")); |
101 if (implicitType.opt != null) |
101 if (implicitType.opt != null) |
102 opts.add(implicitType.opt); |
102 opts.add(implicitType.opt); |
103 |
103 |
104 switch (annoType) { |
104 switch (annoType) { |
105 case SERVICE: |
105 case SERVICE: |