truffle: graal/com.oracle.truffle.object/src/com/oracle/truffle/object/Locations.java annotate

author	Andreas Woess <andreas.woess@jku.at>
date	Tue, 18 Nov 2014 23:19:43 +0100
parents
children	e9cbe1618733

rev	line source
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1 /*
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	2 * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	4 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	7 * published by the Free Software Foundation.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	8 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	13 * accompanied this code).
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	14 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	18 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	21 * questions.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	22 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	23 package com.oracle.truffle.object;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	24
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	25 import java.util.*;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	26
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	27 import com.oracle.truffle.api.*;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	28 import com.oracle.truffle.api.object.*;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	29
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	30 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	31 * Property location.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	32 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	33 * @see Location
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	34 * @see Shape
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	35 * @see Property
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	36 * @see DynamicObject
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	37 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	38 public abstract class Locations {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	39 public abstract static class ValueLocation extends LocationImpl {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	40
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	41 private final Object value;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	42
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	43 public ValueLocation(Object value) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	44 assert !(value instanceof Location);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	45 this.value = value;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	46 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	47
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	48 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	49 public int hashCode() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	50 final int prime = 31;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	51 int result = super.hashCode();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	52 result = prime * result + ((value == null) ? 0 : 0 /* value.hashCode() */);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	53 return result;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	54 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	55
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	56 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	57 public boolean equals(Object obj) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	58 if (!super.equals(obj)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	59 return false;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	60 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	61 ValueLocation other = (ValueLocation) obj;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	62 if (value == null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	63 if (other.value != null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	64 return false;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	65 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	66 } else if (!value.equals(other.value)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	67 return false;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	68 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	69 return true;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	70 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	71
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	72 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	73 public final Object get(DynamicObject store, boolean condition) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	74 return value;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	75 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	76
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	77 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	78 public final void set(DynamicObject store, Object value, Shape shape) throws IncompatibleLocationException, FinalLocationException {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	79 if (!canStoreFinal(store, value)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	80 throw finalLocation();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	81 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	82 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	83
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	84 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	85 protected boolean canStoreFinal(DynamicObject store, Object val) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	86 return valueEquals(this.value, val);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	87 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	88
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	89 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	90 public final void setInternal(DynamicObject store, Object value) throws IncompatibleLocationException {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	91 if (!canStoreFinal(store, value)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	92 CompilerDirectives.transferToInterpreter();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	93 throw new UnsupportedOperationException();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	94 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	95 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	96
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	97 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	98 public String toString() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	99 return "=" + String.valueOf(value);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	100 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	101 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	102
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	103 public static final class ConstantLocation extends ValueLocation {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	104
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	105 public ConstantLocation(Object value) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	106 super(value);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	107 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	108
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	109 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	110 public boolean isConstant() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	111 return true;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	112 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	113 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	114
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	115 public static final class DeclaredLocation extends ValueLocation {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	116
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	117 public DeclaredLocation(Object value) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	118 super(value);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	119 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	120 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	121
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	122 public static class DualLocation extends LocationImpl implements TypedLocation {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	123 protected final InternalLongLocation primitiveLocation;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	124 protected final ObjectLocation objectLocation;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	125 protected final LayoutImpl layout;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	126 private final Class<?> type;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	127
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	128 public DualLocation(InternalLongLocation primitiveLocation, ObjectLocation objectLocation, LayoutImpl layout) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	129 this(primitiveLocation, objectLocation, layout, null);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	130 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	131
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	132 public DualLocation(InternalLongLocation primitiveLocation, ObjectLocation objectLocation, LayoutImpl layout, Class<?> type) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	133 this.primitiveLocation = primitiveLocation;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	134 this.objectLocation = objectLocation;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	135 this.layout = layout;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	136 this.type = type;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	137 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	138
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	139 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	140 public Object get(DynamicObject store, boolean condition) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	141 if (type == Object.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	142 return objectLocation.get(store, condition);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	143 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	144 long rawValue = primitiveLocation.getLong(store, condition);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	145 if (type == int.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	146 return (int) rawValue;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	147 } else if (type == long.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	148 return rawValue;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	149 } else if (type == double.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	150 return Double.longBitsToDouble(rawValue);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	151 } else if (type == boolean.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	152 return rawValue != 0;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	153 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	154 CompilerDirectives.transferToInterpreter();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	155 throw new IllegalStateException();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	156 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	157 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	158 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	159
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	160 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	161 public void setInternal(DynamicObject store, Object value) throws IncompatibleLocationException {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	162 if (type == Object.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	163 ((LocationImpl) objectLocation).setInternal(store, value);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	164 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	165 long rawValue;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	166 if (type == int.class && value instanceof Integer) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	167 rawValue = (int) value;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	168 } else if (type == long.class && value instanceof Long) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	169 rawValue = (long) value;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	170 } else if (type == long.class && layout.isAllowedIntToLong() && value instanceof Integer) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	171 rawValue = (int) value;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	172 } else if (type == double.class && value instanceof Double) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	173 rawValue = Double.doubleToRawLongBits((double) value);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	174 } else if (type == double.class && layout.isAllowedIntToDouble() && value instanceof Integer) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	175 rawValue = Double.doubleToRawLongBits((int) value);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	176 } else if (type == boolean.class && value instanceof Boolean) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	177 rawValue = (boolean) value ? 1 : 0;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	178 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	179 throw incompatibleLocation();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	180 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	181
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	182 primitiveLocation.setLongInternal(store, rawValue);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	183 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	184 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	185
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	186 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	187 public int primitiveFieldCount() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	188 return ((LocationImpl) primitiveLocation).primitiveFieldCount();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	189 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	190
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	191 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	192 public int primitiveArrayCount() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	193 return ((LocationImpl) primitiveLocation).primitiveArrayCount();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	194 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	195
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	196 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	197 public int objectFieldCount() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	198 return ((LocationImpl) objectLocation).objectFieldCount();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	199 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	200
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	201 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	202 public int objectArrayCount() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	203 return ((LocationImpl) objectLocation).objectArrayCount();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	204 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	205
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	206 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	207 public String toString() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	208 return objectLocation.toString() + "," + primitiveLocation.toString() + "," + type;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	209 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	210
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	211 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	212 public boolean equals(Object obj) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	213 if (!super.equals(obj)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	214 return false;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	215 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	216 DualLocation other = (DualLocation) obj;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	217 return getObjectLocation().equals(other.getObjectLocation()) && primitiveLocation.equals(other.primitiveLocation) && layout.equals(other.layout) && Objects.equals(type, other.type);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	218 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	219
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	220 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	221 public int hashCode() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	222 final int prime = 31;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	223 int result = super.hashCode();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	224 result = prime * result + (getObjectLocation() == null ? 0 : getObjectLocation().hashCode());
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	225 result = prime * result + (primitiveLocation == null ? 0 : primitiveLocation.hashCode());
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	226 result = prime * result + (type == null ? 0 : type.hashCode());
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	227 return result;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	228 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	229
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	230 public ObjectLocation getObjectLocation() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	231 return objectLocation;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	232 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	233
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	234 public DualLocation changeType(Class<?> newType) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	235 return new DualLocation(primitiveLocation, objectLocation, layout, newType);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	236 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	237
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	238 public Class<?> getType() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	239 return type;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	240 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	241
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	242 public boolean isNonNull() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	243 return false;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	244 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	245
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	246 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	247 public boolean canStore(Object value) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	248 if (type == null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	249 return false;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	250 } else if (type == int.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	251 return value instanceof Integer;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	252 } else if (type == long.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	253 return value instanceof Long \|\| (layout.isAllowedIntToLong() && value instanceof Integer);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	254 } else if (type == double.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	255 return value instanceof Double \|\| (layout.isAllowedIntToDouble() && value instanceof Integer);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	256 } else if (type == boolean.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	257 return value instanceof Boolean;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	258 } else if (type == Object.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	259 return true;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	260 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	261 throw new IllegalStateException();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	262 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	263 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	264 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	265
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	266 public static class DeclaredDualLocation extends DualLocation {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	267 private final Object defaultValue;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	268
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	269 public DeclaredDualLocation(InternalLongLocation primitiveLocation, ObjectLocation objectLocation, Object defaultValue, LayoutImpl layout) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	270 super(primitiveLocation, objectLocation, layout);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	271 this.defaultValue = defaultValue;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	272 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	273
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	274 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	275 public Object get(DynamicObject store, boolean condition) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	276 return defaultValue;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	277 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	278
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	279 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	280 public void setInternal(DynamicObject store, Object value) throws IncompatibleLocationException {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	281 if (valueEquals(defaultValue, value)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	282 return;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	283 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	284 throw incompatibleLocation();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	285 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	286 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	287
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	288 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	289 public boolean equals(Object obj) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	290 return super.equals(obj) && Objects.equals(defaultValue, ((DeclaredDualLocation) obj).defaultValue);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	291 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	292
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	293 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	294 public int hashCode() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	295 return super.hashCode();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	296 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	297
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	298 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	299 public DualLocation changeType(Class<?> newType) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	300 return new DualLocation(primitiveLocation, objectLocation, layout, newType);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	301 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	302
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	303 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	304 public boolean canStore(Object value) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	305 return valueEquals(defaultValue, value);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	306 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	307
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	308 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	309 public String toString() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	310 return objectLocation.toString() + "," + primitiveLocation.toString() + ",unset";
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	311 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	312 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	313 }

18408

2c3666f44855 Truffle: initial commit of object API implementation