Mercurial > hg > truffle

annotate truffle/com.oracle.truffle.tck/src/com/oracle/truffle/tck/ComplexNumber.java @ 22499:9bba3a7b34be

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Check foreign arguments when accessing ComplexNumber/Sequence objects
author Matthias Grimmer <grimmer@ssw.jku.at>
date Mon, 14 Dec 2015 15:07:19 +0100
parents b3569a53c24c
children 89db2519ef18
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
22488
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
1 /*
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
2 * Copyright (c) 2015, 2015, Oracle and/or its affiliates. All rights reserved.
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
4 *
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
7 * published by the Free Software Foundation. Oracle designates this
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
8 * particular file as subject to the "Classpath" exception as provided
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
9 * by Oracle in the LICENSE file that accompanied this code.
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
10 *
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
11 * This code is distributed in the hope that it will be useful, but WITHOUT
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
14 * version 2 for more details (a copy is included in the LICENSE file that
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
15 * accompanied this code).
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
16 *
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
17 * You should have received a copy of the GNU General Public License version
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
18 * 2 along with this work; if not, write to the Free Software Foundation,
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
20 *
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
22 * or visit www.oracle.com if you need additional information or have any
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
23 * questions.
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
24 */
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
25 package com.oracle.truffle.tck;
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
26
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
27 import com.oracle.truffle.api.CallTarget;
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
28 import com.oracle.truffle.api.Truffle;
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
29 import com.oracle.truffle.api.frame.VirtualFrame;
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
30 import com.oracle.truffle.api.interop.ForeignAccess;
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
31 import com.oracle.truffle.api.interop.ForeignAccess.Factory;
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
32 import com.oracle.truffle.api.interop.Message;
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
33 import com.oracle.truffle.api.interop.TruffleObject;
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
34 import com.oracle.truffle.api.nodes.RootNode;
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
35
22496
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22495
diff changeset
36 final class ComplexNumber implements TruffleObject {
22488
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
37
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
38 public static final String REAL_IDENTIFIER = "real";
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
39 public static final String IMAGINARY_IDENTIFIER = "imaginary";
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
40
22495
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
41 private double real;
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
42 private double imag;
22488
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
43
22496
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22495
diff changeset
44 ComplexNumber(double real, double imaginary) {
22495
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
45 this.real = real;
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
46 this.imag = imaginary;
22488
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
47 }
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
48
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
49 public ForeignAccess getForeignAccess() {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
50 return ForeignAccess.create(new ComplexForeignAccessFactory());
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
51 }
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
52
22495
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
53 public void set(String identifier, double value) {
22488
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
54 switch (identifier) {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
55 case REAL_IDENTIFIER:
22495
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
56 this.real = value;
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
57 break;
22488
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
58 case IMAGINARY_IDENTIFIER:
22495
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
59 this.imag = value;
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
60 break;
22488
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
61 default:
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
62 throw new IllegalArgumentException();
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
63 }
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
64 }
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
65
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
66 public double get(String identifier) {
22495
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
67 switch (identifier) {
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
68 case REAL_IDENTIFIER:
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
69 return this.real;
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
70 case IMAGINARY_IDENTIFIER:
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
71 return this.imag;
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
72 default:
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
73 throw new IllegalArgumentException();
aeba89e1d8da Add ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22488
diff changeset
74 }
22488
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
75 }
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
76
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
77 private static class ComplexForeignAccessFactory implements Factory {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
78
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
79 public boolean canHandle(TruffleObject obj) {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
80 return obj instanceof ComplexNumber;
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
81 }
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
82
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
83 public CallTarget accessMessage(Message tree) {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
84 if (Message.IS_NULL.equals(tree)) {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
85 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
86 } else if (Message.IS_EXECUTABLE.equals(tree)) {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
87 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
88 } else if (Message.IS_BOXED.equals(tree)) {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
89 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
90 } else if (Message.HAS_SIZE.equals(tree)) {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
91 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
92 } else if (Message.READ.equals(tree)) {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
93 return Truffle.getRuntime().createCallTarget(new ComplexReadNode());
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
94 } else if (Message.WRITE.equals(tree)) {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
95 return Truffle.getRuntime().createCallTarget(new ComplexWriteNode());
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
96 } else {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
97 throw new IllegalArgumentException(tree.toString() + " not supported");
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
98 }
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
99 }
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
100 }
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
101
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
102 private static class ComplexWriteNode extends RootNode {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
103 protected ComplexWriteNode() {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
104 super(TckLanguage.class, null, null);
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
105 }
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
106
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
107 @Override
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
108 public Object execute(VirtualFrame frame) {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
109 ComplexNumber complex = (ComplexNumber) ForeignAccess.getReceiver(frame);
22499
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
110 String identifier = TckLanguage.expectString(ForeignAccess.getArguments(frame).get(0));
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
111 Number value = TckLanguage.expectNumber(ForeignAccess.getArguments(frame).get(1));
22488
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
112 complex.set(identifier, value.doubleValue());
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
113 return value;
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
114 }
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
115 }
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
116
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
117 private static class ComplexReadNode extends RootNode {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
118 protected ComplexReadNode() {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
119 super(TckLanguage.class, null, null);
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
120 }
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
121
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
122 @Override
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
123 public Object execute(VirtualFrame frame) {
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
124 ComplexNumber complex = (ComplexNumber) ForeignAccess.getReceiver(frame);
22499
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
125 String identifier = TckLanguage.expectString(ForeignAccess.getArguments(frame).get(0));
22488
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
126 return complex.get(identifier);
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
127 }
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
128
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
129 }
fa7b15454c66 Add ComplexNumber test to TCK
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
130 }