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
|
/*
* Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 only, as
* published by the Free Software Foundation.
*
* This code is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
* version 2 for more details (a copy is included in the LICENSE file that
* accompanied this code).
*
* You should have received a copy of the GNU General Public License version
* 2 along with this work; if not, write to the Free Software Foundation,
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
*
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
* or visit www.oracle.com if you need additional information or have any
* questions.
*/
/*
* @test
* @bug 8082311 8129962
* @summary Verify that bitwise operators don't allow to mix numeric and boolean operands.
* @library ../lib
* @modules jdk.compiler/com.sun.tools.javac.api
* jdk.compiler/com.sun.tools.javac.code
* jdk.compiler/com.sun.tools.javac.comp
* jdk.compiler/com.sun.tools.javac.main
* jdk.compiler/com.sun.tools.javac.tree
* jdk.compiler/com.sun.tools.javac.util
* @build combo.ComboTestHelper
* @run main BitWiseOperators
*/
import com.sun.tools.javac.util.StringUtils;
import java.io.IOException;
import combo.ComboInstance;
import combo.ComboParameter;
import combo.ComboTask.Result;
import combo.ComboTestHelper;
public class BitWiseOperators extends ComboInstance<BitWiseOperators> {
enum OperandType implements ComboParameter {
BYTE,
CHAR,
SHORT,
INT,
LONG,
BOOLEAN;
public static boolean compatible(OperandType op1, OperandType op2) {
return !(op1 == BOOLEAN ^ op2 == BOOLEAN);
}
@Override
public String expand(String optParameter) {
return StringUtils.toLowerCase(name());
}
}
enum OperatorKind implements ComboParameter {
BITAND("&"),
BITOR("|"),
BITXOR("^");
String op;
OperatorKind(String op) {
this.op = op;
}
@Override
public String expand(String optParameter) {
return op;
}
}
public static void main(String... args) {
new ComboTestHelper<BitWiseOperators>()
.withArrayDimension("TYPE", (x, type, idx) -> x.opTypes[idx] = type, 2, OperandType.values())
.withDimension("OP", OperatorKind.values())
.run(BitWiseOperators::new);
}
OperandType[] opTypes = new OperandType[2];
String template = "class Test {\n" +
" public Object test(#{TYPE[0]} var1, #{TYPE[1]} var2) {\n" +
" return var1 #{OP} var2;\n" +
" }\n" +
"}";
@Override
public void doWork() throws IOException {
Result<?> res = newCompilationTask()
.withSourceFromTemplate(template)
.analyze();
if (res.hasErrors() == OperandType.compatible(opTypes[0], opTypes[1])) {
fail("Unexpected behavior. Type1: " + opTypes[0] +
"; type2: " + opTypes[1] +
"; " + res.compilationInfo());
}
}
}
|
