Mercurial > hg > graal-compiler

comparison graal/com.oracle.truffle.api.dsl.test/src/com/oracle/truffle/api/dsl/test/ImportGuardsTest.java @ 16832:13cf9b6b325c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Truffle-DSL: implemented import guards feature.
author Christian Humer <christian.humer@gmail.com>
date Thu, 14 Aug 2014 16:49:18 +0200
parents
children 2db61eddcb97
comparison
equal deleted inserted replaced
16830:c3c07046a74b 16832:13cf9b6b325c
1 /*
2 * Copyright (c) 2012, 2013, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
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 package com.oracle.truffle.api.dsl.test;
24
25 import static com.oracle.truffle.api.dsl.test.TestHelper.*;
26
27 import org.junit.*;
28
29 import com.oracle.truffle.api.dsl.*;
30 import com.oracle.truffle.api.dsl.test.ImportGuardsTestFactory.ImportGuards6Factory;
31 import com.oracle.truffle.api.dsl.test.TypeSystemTest.ValueNode;
32
33 public class ImportGuardsTest {
34
35 @ImportGuards(Imports0.class)
36 @NodeChild("a")
37 static class ImportGuards0 extends ValueNode {
38
39 @Specialization(guards = "staticGuard")
40 int f0(int a) {
41 return a;
42 }
43 }
44
45 @NodeChild("a")
46 @ImportGuards(Imports0.class)
47 static class ImportGuards1 extends ValueNode {
48
49 @ExpectError("No compatible guard with method name 'nonStaticGuard' found. Please note that all signature types of the method guard must be declared in the type system.")
50 @Specialization(guards = "nonStaticGuard")
51 int f1(int a) {
52 return a;
53 }
54
55 @ExpectError("No compatible guard with method name 'protectedGuard' found. Please note that all signature types of the method guard must be declared in the type system.")
56 @Specialization(guards = "protectedGuard")
57 int f2(int a) {
58 return a;
59 }
60
61 @ExpectError("No compatible guard with method name 'packageGuard' found. Please note that all signature types of the method guard must be declared in the type system.")
62 @Specialization(guards = "packageGuard")
63 int f3(int a) {
64 return a;
65 }
66
67 @ExpectError("No compatible guard with method name 'privateGuard' found. Please note that all signature types of the method guard must be declared in the type system.")
68 @Specialization(guards = "privateGuard")
69 int f4(int a) {
70 return a;
71 }
72 }
73
74 public static class Imports0 {
75 public static boolean staticGuard(int a) {
76 return a == 0;
77 }
78
79 public boolean nonStaticGuard(int a) {
80 return a == 0;
81 }
82
83 protected static boolean protectedGuard(int a) {
84 return a == 0;
85 }
86
87 static boolean packageGuard(int a) {
88 return a == 0;
89 }
90
91 @SuppressWarnings("unused")
92 private static boolean privateGuard(int a) {
93 return a == 0;
94 }
95
96 }
97
98 @ExpectError("The specified import guard class 'com.oracle.truffle.api.dsl.test.ImportGuardsTest.Imports1' must be public.")
99 @NodeChild("a")
100 @ImportGuards(Imports1.class)
101 static class ImportGuards2 extends ValueNode {
102
103 int do1(int a) {
104 return a;
105 }
106 }
107
108 static class Imports1 {
109
110 }
111
112 @ExpectError("The specified import guard class 'com.oracle.truffle.api.dsl.test.ImportGuardsTest.Imports2' must be public.")
113 @NodeChild("a")
114 @ImportGuards(Imports2.class)
115 static class ImportGuards3 extends ValueNode {
116
117 int do1(int a) {
118 return a;
119 }
120 }
121
122 @ExpectError("The specified import guard class 'boolean' is not a declared type.")
123 @NodeChild("a")
124 @ImportGuards(boolean.class)
125 static class ImportGuards4 extends ValueNode {
126
127 int do1(int a) {
128 return a;
129 }
130 }
131
132 private static class Imports2 {
133
134 }
135
136 @ExpectError("At least import guard classes must be specified.")
137 @NodeChild("a")
138 @ImportGuards({})
139 static class ImportGuards5 extends ValueNode {
140
141 int do1(int a) {
142 return a;
143 }
144 }
145
146 @Test
147 public void testImportGuards6() {
148 // should use the guar declared in the node instead of the imported one.
149 assertRuns(ImportGuards6Factory.getInstance(), //
150 array(1, 1), //
151 array(1, 1));
152 }
153
154 @ImportGuards(Imports0.class)
155 @NodeChild("a")
156 static class ImportGuards6 extends ValueNode {
157
158 static boolean staticGuard(int a) {
159 return a == 1;
160 }
161
162 @Specialization(guards = "staticGuard")
163 int f0(int a) {
164 return a;
165 }
166 }
167
168 }