annotate truffle/com.oracle.truffle.tck/src/com/oracle/truffle/tck/ComplexNumbersRowBased.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 ComplexNumbersRowBased 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[] data;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
41
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
42 ComplexNumbersRowBased(double[] data) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
43 assert data.length % 2 == 0;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
44 this.data = data;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
45 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
46
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
47 public double[] getData() {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
48 return data;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
49 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
50
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
51 public ForeignAccess getForeignAccess() {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
52 return ForeignAccess.create(new ComplexNumbersAForeignAccessFactory());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
53 }
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 private static class ComplexNumbersAForeignAccessFactory implements Factory {
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 public boolean canHandle(TruffleObject obj) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
58 return obj instanceof ComplexNumbersRowBased;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
59 }
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 public CallTarget accessMessage(Message tree) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
62 if (Message.IS_NULL.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
63 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
64 } else if (Message.IS_EXECUTABLE.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
65 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
66 } else if (Message.IS_BOXED.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
67 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
68 } else if (Message.HAS_SIZE.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
69 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(true));
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
70 } else if (Message.READ.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
71 return Truffle.getRuntime().createCallTarget(new ComplexNumbersAReadNode());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
72 } else if (Message.WRITE.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
73 return Truffle.getRuntime().createCallTarget(new ComplexNumbersAWriteNode());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
74 } else if (Message.GET_SIZE.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
75 return Truffle.getRuntime().createCallTarget(new ComplexNumbersASizeNode());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
76 } else {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
77 throw new IllegalArgumentException(tree.toString() + " not supported");
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
78 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
79 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
80 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
81
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
82 private static class ComplexNumbersAWriteNode extends RootNode {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
83 protected ComplexNumbersAWriteNode() {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
84 super(TckLanguage.class, null, null);
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 @Child private Node readReal;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
88 @Child private Node readImag;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
89
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
90 @Override
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
91 public Object execute(VirtualFrame frame) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
92 ComplexNumbersRowBased complexNumbers = (ComplexNumbersRowBased) ForeignAccess.getReceiver(frame);
22499
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
93 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
94 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
95 if (readReal == null || readImag == null) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
96 CompilerDirectives.transferToInterpreterAndInvalidate();
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
97 this.readReal = insert(Message.READ.createNode());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
98 this.readImag = insert(Message.READ.createNode());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
99 }
22499
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
100 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
101 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
102
22499
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
103 int idx = TckLanguage.checkBounds(index.intValue(), complexNumbers.data.length / 2);
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
104
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
105 complexNumbers.data[idx * 2] = realPart.doubleValue();
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
106 complexNumbers.data[idx * 2 + 1] = imagPart.doubleValue();
22496
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
107 return value;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
108 }
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
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
111 private static class ComplexNumbersAReadNode extends RootNode {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
112 protected ComplexNumbersAReadNode() {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
113 super(TckLanguage.class, null, null);
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 @Override
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
117 public Object execute(VirtualFrame frame) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
118 ComplexNumbersRowBased complexNumbers = (ComplexNumbersRowBased) ForeignAccess.getReceiver(frame);
22499
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
119 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
120 int idx = TckLanguage.checkBounds(index.intValue(), complexNumbers.data.length / 2);
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
121 return new ComplexNumberAEntry(complexNumbers, idx);
22496
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
122 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
123 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
124
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
125 private static class ComplexNumbersASizeNode extends RootNode {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
126 protected ComplexNumbersASizeNode() {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
127 super(TckLanguage.class, null, null);
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 @Override
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
131 public Object execute(VirtualFrame frame) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
132 ComplexNumbersRowBased complexNumbers = (ComplexNumbersRowBased) ForeignAccess.getReceiver(frame);
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
133 return complexNumbers.data.length / 2;
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
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
136 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
137
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
138 private static class ComplexNumberAEntry implements TruffleObject {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
139
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
140 private final ComplexNumbersRowBased numbers;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
141 private final int index;
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 public ComplexNumberAEntry(ComplexNumbersRowBased numbers, int index) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
144 this.numbers = numbers;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
145 this.index = index;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
146 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
147
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
148 public ForeignAccess getForeignAccess() {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
149 return ForeignAccess.create(new ComplexNumberAEntryForeignAccessFactory());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
150 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
151
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
152 private static class ComplexNumberAEntryForeignAccessFactory implements Factory {
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 boolean canHandle(TruffleObject obj) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
155 return obj instanceof ComplexNumberAEntry;
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 public CallTarget accessMessage(Message tree) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
159 if (Message.IS_NULL.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
160 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
161 } else if (Message.IS_EXECUTABLE.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
162 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
163 } else if (Message.IS_BOXED.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
164 return Truffle.getRuntime().createCallTarget(RootNode.createConstantNode(false));
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
165 } else if (Message.HAS_SIZE.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.READ.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
168 return Truffle.getRuntime().createCallTarget(new ComplexNumbersAEntryReadNode());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
169 } else if (Message.WRITE.equals(tree)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
170 return Truffle.getRuntime().createCallTarget(new ComplexNumbersAEntryWriteNode());
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
171 } else {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
172 throw new IllegalArgumentException(tree.toString() + " not supported");
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
173 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
174 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
175
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
176 private static class ComplexNumbersAEntryReadNode extends RootNode {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
177 protected ComplexNumbersAEntryReadNode() {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
178 super(TckLanguage.class, null, null);
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 @Child private Node readReal;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
182 @Child private Node readImag;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
183
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
184 @Override
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
185 public Object execute(VirtualFrame frame) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
186 ComplexNumberAEntry complexNumber = (ComplexNumberAEntry) ForeignAccess.getReceiver(frame);
22499
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
187 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
188 if (name.equals(ComplexNumber.IMAGINARY_IDENTIFIER)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
189 return complexNumber.numbers.data[complexNumber.index * 2 + 1];
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
190 } else if (name.equals(ComplexNumber.REAL_IDENTIFIER)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
191 return complexNumber.numbers.data[complexNumber.index * 2];
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
192 } else {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
193 throw new IllegalArgumentException();
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
194 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
195 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
196 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
197
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
198 private static class ComplexNumbersAEntryWriteNode extends RootNode {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
199 protected ComplexNumbersAEntryWriteNode() {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
200 super(TckLanguage.class, null, null);
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 @Override
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
204 public Object execute(VirtualFrame frame) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
205 ComplexNumberAEntry complexNumber = (ComplexNumberAEntry) ForeignAccess.getReceiver(frame);
22499
9bba3a7b34be Check foreign arguments when accessing ComplexNumber/Sequence objects
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 22496
diff changeset
206 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
207 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
208 if (name.equals(ComplexNumber.IMAGINARY_IDENTIFIER)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
209 complexNumber.numbers.data[complexNumber.index * 2 + 1] = value.doubleValue();
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
210 } else if (name.equals(ComplexNumber.REAL_IDENTIFIER)) {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
211 complexNumber.numbers.data[complexNumber.index * 2] = value.doubleValue();
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
212 } else {
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
213 throw new IllegalArgumentException();
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
214 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
215 return value;
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
216 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
217
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
218 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
219 }
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 }
b3569a53c24c Refactor and improve ComplexNumber sequence tests
Matthias Grimmer <grimmer@ssw.jku.at>
parents:
diff changeset
222 }