5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23
24 /* @test
25 * @summary smoke test for invokedynamic instructions
26 * @build indify.Indify
27 * @compile InvokeDynamicPrintArgs.java
28 * @run main/othervm
29 * indify.Indify
30 * --verify-specifier-count=3
31 * --expand-properties --classpath ${test.classes}
32 * --java test.java.lang.invoke.InvokeDynamicPrintArgs --check-output
33 * @run main/othervm
34 * indify.Indify
35 * --expand-properties --classpath ${test.classes}
36 * --java test.java.lang.invoke.InvokeDynamicPrintArgs --security-manager
37 */
38
39 package test.java.lang.invoke;
40
41 import java.util.*;
42 import java.io.*;
43
44 import java.lang.invoke.*;
45 import static java.lang.invoke.MethodHandles.*;
46 import static java.lang.invoke.MethodType.*;
47
48 public class InvokeDynamicPrintArgs {
49 public static void main(String... av) throws Throwable {
50 if (av.length > 0 && av[0].equals("--check-output")) openBuf();
51 if (av.length > 0 && av[0].equals("--security-manager")) setSM();
52 System.out.println("Printing some argument lists, starting with a empty one:");
53 INDY_nothing().invokeExact(); // BSM specifier #0 = {bsm}
54 INDY_bar().invokeExact("bar arg", 1); // BSM specifier #1 = {bsm2, Void.class, "void type"}
55 INDY_bar2().invokeExact("bar2 arg", 222); // BSM specifier #1 = (same)
56 INDY_baz().invokeExact("baz arg", 2, 3.14); // BSM specifier #2 = {bsm2, 1234.5}
57 INDY_foo().invokeExact("foo arg"); // BSM specifier #0 = (same)
58 // Hence, BSM specifier count should be 3. See "--verify-specifier-count=3" above.
59 System.out.println("Done printing argument lists.");
60 closeBuf();
61 checkConstantRefs();
62 }
63
64 private static void checkConstantRefs() throws Throwable {
65 // check some constant references:
66 assertEquals(MT_bsm(), MH_bsm().type());
67 assertEquals(MT_bsm2(), MH_bsm2().type());
68 try {
69 assertEquals(MT_bsm(), non_MH_bsm().type());
70 // if SM is installed, must throw before this point
71 assertEquals(false, System.getSecurityManager() != null);
72 } catch (SecurityException ex) {
73 // if SM is installed, must throw to this point
74 assertEquals(true, System.getSecurityManager() != null);
75 }
76 }
77 private static void assertEquals(Object exp, Object act) {
78 if (exp == act || (exp != null && exp.equals(act))) return;
79 throw new AssertionError("not equal: "+exp+", "+act);
80 }
81
82 private static void setSM() {
83 // Test for severe security manager interactions (7050328).
84 class SM extends SecurityManager {
85 public void checkPackageAccess(String pkg) {
86 if (pkg.startsWith("test."))
87 throw new SecurityException("checkPackageAccess "+pkg);
88 }
89 public void checkMemberAccess(Class<?> clazz, int which) {
90 if (clazz == InvokeDynamicPrintArgs.class)
91 throw new SecurityException("checkMemberAccess "+clazz.getName()+" #"+which);
92 }
93 // allow these others:
94 public void checkPermission(java.security.Permission perm) {
95 }
96 }
97 System.setSecurityManager(new SM());
98 }
99
100 private static PrintStream oldOut;
101 private static ByteArrayOutputStream buf;
102 private static void openBuf() {
103 oldOut = System.out;
104 buf = new ByteArrayOutputStream();
105 System.setOut(new PrintStream(buf));
106 }
107 private static void closeBuf() {
108 if (buf == null) return;
109 System.out.flush();
110 System.setOut(oldOut);
111 String[] haveLines = new String(buf.toByteArray()).split("[\n\r]+");
112 for (String line : haveLines) System.out.println(line);
113 Iterator<String> iter = Arrays.asList(haveLines).iterator();
114 for (String want : EXPECT_OUTPUT) {
115 String have = iter.hasNext() ? iter.next() : "[EOF]";
116 if (want.equals(have)) continue;
117 System.err.println("want line: "+want);
233 private static MethodHandle INDY_bar2() throws Throwable {
234 shouldNotCallThis();
235 return ((CallSite) MH_bsm2().invoke(lookup(),
236 "bar2", methodType(void.class, String.class, int.class)
237 , Void.class, "void type!", 1, 234.5F, 67.5, (long)89
238 )).dynamicInvoker();
239 }
240 private static MethodHandle INDY_baz() throws Throwable {
241 shouldNotCallThis();
242 return ((CallSite) MH_bsm2().invoke(lookup(),
243 "baz", methodType(void.class, String.class, int.class, double.class)
244 , 1234.5
245 )).dynamicInvoker();
246 }
247
248 private static void shouldNotCallThis() {
249 // if this gets called, the transformation has not taken place
250 if (System.getProperty("InvokeDynamicPrintArgs.allow-untransformed") != null) return;
251 throw new AssertionError("this code should be statically transformed away by Indify");
252 }
253 }
|
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23
24 /* @test
25 * @bug 7050328 8007035
26 * @summary smoke test for invokedynamic instructions
27 * @build indify.Indify
28 * @compile InvokeDynamicPrintArgs.java
29 * @run main/othervm
30 * indify.Indify
31 * --verify-specifier-count=3
32 * --expand-properties --classpath ${test.classes}
33 * --java test.java.lang.invoke.InvokeDynamicPrintArgs --check-output
34 * @run main/othervm
35 * indify.Indify
36 * --expand-properties --classpath ${test.classes}
37 * --java test.java.lang.invoke.InvokeDynamicPrintArgs --security-manager
38 */
39
40 package test.java.lang.invoke;
41
42 import java.util.*;
43 import java.io.*;
44
45 import java.lang.invoke.*;
46 import java.security.*;
47 import static java.lang.invoke.MethodHandles.*;
48 import static java.lang.invoke.MethodType.*;
49
50 public class InvokeDynamicPrintArgs {
51 public static void main(String... av) throws Throwable {
52 if (av.length > 0 && av[0].equals("--check-output")) openBuf();
53 if (av.length > 0 && av[0].equals("--security-manager")) setSM();
54 System.out.println("Printing some argument lists, starting with a empty one:");
55 INDY_nothing().invokeExact(); // BSM specifier #0 = {bsm}
56 INDY_bar().invokeExact("bar arg", 1); // BSM specifier #1 = {bsm2, Void.class, "void type"}
57 INDY_bar2().invokeExact("bar2 arg", 222); // BSM specifier #1 = (same)
58 INDY_baz().invokeExact("baz arg", 2, 3.14); // BSM specifier #2 = {bsm2, 1234.5}
59 INDY_foo().invokeExact("foo arg"); // BSM specifier #0 = (same)
60 // Hence, BSM specifier count should be 3. See "--verify-specifier-count=3" above.
61 System.out.println("Done printing argument lists.");
62 closeBuf();
63 checkConstantRefs();
64 }
65
66 private static void checkConstantRefs() throws Throwable {
67 // check some constant references to its self class
68 assertEquals(MT_bsm(), MH_bsm().type());
69 assertEquals(MT_bsm2(), MH_bsm2().type());
70 assertEquals(MT_bsm(), non_MH_bsm().type());
71 }
72 private static void assertEquals(Object exp, Object act) {
73 if (exp == act || (exp != null && exp.equals(act))) return;
74 throw new AssertionError("not equal: "+exp+", "+act);
75 }
76
77 private static void setSM() {
78 Policy.setPolicy(new TestPolicy());
79 System.setSecurityManager(new SecurityManager());
80 }
81
82 private static PrintStream oldOut;
83 private static ByteArrayOutputStream buf;
84 private static void openBuf() {
85 oldOut = System.out;
86 buf = new ByteArrayOutputStream();
87 System.setOut(new PrintStream(buf));
88 }
89 private static void closeBuf() {
90 if (buf == null) return;
91 System.out.flush();
92 System.setOut(oldOut);
93 String[] haveLines = new String(buf.toByteArray()).split("[\n\r]+");
94 for (String line : haveLines) System.out.println(line);
95 Iterator<String> iter = Arrays.asList(haveLines).iterator();
96 for (String want : EXPECT_OUTPUT) {
97 String have = iter.hasNext() ? iter.next() : "[EOF]";
98 if (want.equals(have)) continue;
99 System.err.println("want line: "+want);
215 private static MethodHandle INDY_bar2() throws Throwable {
216 shouldNotCallThis();
217 return ((CallSite) MH_bsm2().invoke(lookup(),
218 "bar2", methodType(void.class, String.class, int.class)
219 , Void.class, "void type!", 1, 234.5F, 67.5, (long)89
220 )).dynamicInvoker();
221 }
222 private static MethodHandle INDY_baz() throws Throwable {
223 shouldNotCallThis();
224 return ((CallSite) MH_bsm2().invoke(lookup(),
225 "baz", methodType(void.class, String.class, int.class, double.class)
226 , 1234.5
227 )).dynamicInvoker();
228 }
229
230 private static void shouldNotCallThis() {
231 // if this gets called, the transformation has not taken place
232 if (System.getProperty("InvokeDynamicPrintArgs.allow-untransformed") != null) return;
233 throw new AssertionError("this code should be statically transformed away by Indify");
234 }
235
236 static class TestPolicy extends Policy {
237 final PermissionCollection permissions = new Permissions();
238 TestPolicy() {
239 permissions.add(new java.io.FilePermission("<<ALL FILES>>", "read"));
240 }
241 public PermissionCollection getPermissions(ProtectionDomain domain) {
242 return permissions;
243 }
244
245 public PermissionCollection getPermissions(CodeSource codesource) {
246 return permissions;
247 }
248
249 public boolean implies(ProtectionDomain domain, Permission perm) {
250 return permissions.implies(perm);
251 }
252 }
253 }
|