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

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
22496
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
1 /*
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
2 * Copyright (c) 2015, 2015, Oracle and/or its affiliates. All rights reserved.
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
4 *
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
7 * published by the Free Software Foundation. Oracle designates this
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
8 * particular file as subject to the "Classpath" exception as provided
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
9 * by Oracle in the LICENSE file that accompanied this code.
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
10 *
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
11 * This code is distributed in the hope that it will be useful, but WITHOUT
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
14 * version 2 for more details (a copy is included in the LICENSE file that
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
15 * accompanied this code).
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
16 *
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
17 * You should have received a copy of the GNU General Public License version
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
18 * 2 along with this work; if not, write to the Free Software Foundation,
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
20 *
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
22 * or visit www.oracle.com if you need additional information or have any
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
23 * questions.
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
24 */
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
25 package com.oracle.truffle.tck;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
26
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
27 import com.oracle.truffle.api.CallTarget;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
28 import com.oracle.truffle.api.CompilerDirectives;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
29 import com.oracle.truffle.api.Truffle;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
30 import com.oracle.truffle.api.frame.VirtualFrame;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
31 import com.oracle.truffle.api.interop.ForeignAccess;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
32 import com.oracle.truffle.api.interop.ForeignAccess.Factory;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
33 import com.oracle.truffle.api.interop.Message;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
34 import com.oracle.truffle.api.interop.TruffleObject;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
35 import com.oracle.truffle.api.nodes.Node;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
36 import com.oracle.truffle.api.nodes.RootNode;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
37
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
38 final class ComplexNumbersColumnBased implements TruffleObject {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
39
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
40 private final double[] reals;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
41 private final double[] imags;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
42
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
43 ComplexNumbersColumnBased(double[] reals, double[] imags) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
44 assert reals.length == imags.length;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
45 this.reals = reals;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
46 this.imags = imags;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
47 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
48
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
49 public double[] getData() {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
50 double[] data = new double[reals.length * 2];
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
51 for (int i = 0; i < reals.length; i++) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
52 data[i * 2] = reals[i];
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
53 data[i * 2 + 1] = imags[i];
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
54 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
55 return data;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
56 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
57
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
58 public ForeignAccess getForeignAccess() {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
59 return ForeignAccess.create(new ComplexNumbersBForeignAccessFactory());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
60 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
61
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
62 private static class ComplexNumbersBForeignAccessFactory implements Factory {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
63
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
64 public boolean canHandle(TruffleObject obj) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
65 return obj instanceof ComplexNumbersColumnBased;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
66 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
67
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
68 public CallTarget accessMessage(Message tree) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
69 if (Message.IS_NULL.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
70 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
71 } else if (Message.IS_EXECUTABLE.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
72 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
73 } else if (Message.IS_BOXED.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
74 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
75 } else if (Message.HAS_SIZE.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
76 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(true));
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
77 } else if (Message.READ.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
78 return Truffle.getRuntime().createCallTarget(new ComplexNumbersBReadNode());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
79 } else if (Message.WRITE.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
80 return Truffle.getRuntime().createCallTarget(new ComplexNumbersBWriteNode());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
81 } else if (Message.GET_SIZE.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
82 return Truffle.getRuntime().createCallTarget(new ComplexNumbersBSizeNode());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
83 } else {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
84 throw new IllegalArgumentException(tree.toString() + " not supported");
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
85 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
86 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
87 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
88
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
89 private static class ComplexNumbersBWriteNode extends RootNode {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
90 protected ComplexNumbersBWriteNode() {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
91 super(TckLanguage.class, null, null);
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
92 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
93
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
94 @Child private Node readReal;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
95 @Child private Node readImag;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
96
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
97 @Override
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
98 public Object execute(VirtualFrame frame) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
99 ComplexNumbersColumnBased complexNumbers = (ComplexNumbersColumnBased) ForeignAccess.getReceiver(frame);
22499
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
100 Number index = TckLanguage.expectNumber(ForeignAccess.getArguments(frame).get(0));
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
101 TruffleObject value = TckLanguage.expectTruffleObject(ForeignAccess.getArguments(frame).get(1));
22496
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
102 if (readReal == null || readImag == null) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
103 CompilerDirectives.transferToInterpreterAndInvalidate();
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
104 this.readReal = insert(Message.READ.createNode());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
105 this.readImag = insert(Message.READ.createNode());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
106 }
22499
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
107 Number realPart = TckLanguage.expectNumber(ForeignAccess.execute(readReal, frame, value, new Object[]{ComplexNumber.REAL_IDENTIFIER}));
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
108 Number imagPart = TckLanguage.expectNumber(ForeignAccess.execute(readImag, frame, value, new Object[]{ComplexNumber.IMAGINARY_IDENTIFIER}));
22496
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
109
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
110 complexNumbers.reals[index.intValue()] = realPart.doubleValue();
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
111 complexNumbers.imags[index.intValue()] = imagPart.doubleValue();
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
112 return value;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
113 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
114 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
115
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
116 private static class ComplexNumbersBReadNode extends RootNode {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
117 protected ComplexNumbersBReadNode() {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
118 super(TckLanguage.class, null, null);
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
119 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
120
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
121 @Override
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
122 public Object execute(VirtualFrame frame) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
123 ComplexNumbersColumnBased complexNumbers = (ComplexNumbersColumnBased) ForeignAccess.getReceiver(frame);
22499
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
124 Number index = TckLanguage.expectNumber(ForeignAccess.getArguments(frame).get(0));
22496
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
125 return new ComplexNumberBEntry(complexNumbers, index.intValue());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
126 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
127
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
128 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
129
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
130 private static class ComplexNumbersBSizeNode extends RootNode {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
131 protected ComplexNumbersBSizeNode() {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
132 super(TckLanguage.class, null, null);
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
133 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
134
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
135 @Override
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
136 public Object execute(VirtualFrame frame) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
137 ComplexNumbersColumnBased complexNumbers = (ComplexNumbersColumnBased) ForeignAccess.getReceiver(frame);
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
138 assert complexNumbers.reals.length == complexNumbers.imags.length;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
139 return complexNumbers.reals.length;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
140 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
141
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
142 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
143
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
144 private static class ComplexNumberBEntry implements TruffleObject {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
145
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
146 private final ComplexNumbersColumnBased numbers;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
147 private final int index;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
148
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
149 public ComplexNumberBEntry(ComplexNumbersColumnBased numbers, int index) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
150 this.numbers = numbers;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
151 this.index = index;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
152 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
153
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
154 public ForeignAccess getForeignAccess() {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
155 return ForeignAccess.create(new ComplexNumberBEntryForeignAccessFactory());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
156 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
157
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
158 private static class ComplexNumberBEntryForeignAccessFactory implements Factory {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
159
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
160 public boolean canHandle(TruffleObject obj) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
161 return obj instanceof ComplexNumberBEntry;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
162 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
163
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
164 public CallTarget accessMessage(Message tree) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
165 if (Message.IS_NULL.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
166 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
167 } else if (Message.IS_EXECUTABLE.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
168 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
169 } else if (Message.IS_BOXED.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
170 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
171 } else if (Message.HAS_SIZE.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
172 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
173 } else if (Message.READ.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
174 return Truffle.getRuntime().createCallTarget(new ComplexNumbersAEntryReadNode());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
175 } else if (Message.WRITE.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
176 return Truffle.getRuntime().createCallTarget(new ComplexNumbersAEntryWriteNode());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
177 } else {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
178 throw new IllegalArgumentException(tree.toString() + " not supported");
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
179 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
180 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
181
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
182 private static class ComplexNumbersAEntryReadNode extends RootNode {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
183 protected ComplexNumbersAEntryReadNode() {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
184 super(TckLanguage.class, null, null);
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
185 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
186
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
187 @Child private Node readReal;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
188 @Child private Node readImag;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
189
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
190 @Override
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
191 public Object execute(VirtualFrame frame) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
192 ComplexNumberBEntry complexNumber = (ComplexNumberBEntry) ForeignAccess.getReceiver(frame);
22499
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
193 String name = TckLanguage.expectString(ForeignAccess.getArguments(frame).get(0));
22496
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
194 if (name.equals(ComplexNumber.IMAGINARY_IDENTIFIER)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
195 return complexNumber.numbers.imags[complexNumber.index];
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
196 } else if (name.equals(ComplexNumber.REAL_IDENTIFIER)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
197 return complexNumber.numbers.reals[complexNumber.index];
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
198 } else {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
199 throw new IllegalArgumentException();
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
200 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
201 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
202 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
203
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
204 private static class ComplexNumbersAEntryWriteNode extends RootNode {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
205 protected ComplexNumbersAEntryWriteNode() {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
206 super(TckLanguage.class, null, null);
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
207 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
208
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
209 @Override
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
210 public Object execute(VirtualFrame frame) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
211 ComplexNumberBEntry complexNumber = (ComplexNumberBEntry) ForeignAccess.getReceiver(frame);
22499
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
212 String name = 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
213 Number value = TckLanguage.expectNumber(ForeignAccess.getArguments(frame).get(1));
22496
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
214 if (name.equals(ComplexNumber.IMAGINARY_IDENTIFIER)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
215 complexNumber.numbers.imags[complexNumber.index] = value.doubleValue();
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
216 } else if (name.equals(ComplexNumber.REAL_IDENTIFIER)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
217 complexNumber.numbers.reals[complexNumber.index] = value.doubleValue();
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
218 } else {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
219 throw new IllegalArgumentException();
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
220 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
221 return value;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
222 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
223
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
224 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
225 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
226
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
227 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
228
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
229 }