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

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

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) 2012, 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.CompilerDirectives.CompilationFinal;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	29 import com.oracle.truffle.api.CompilerDirectives.TruffleBoundary;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	30 import com.oracle.truffle.api.nodes.*;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	31 import com.oracle.truffle.api.object.*;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	32 import com.oracle.truffle.object.LocationImpl.InternalLongLocation;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	33 import com.oracle.truffle.object.Locations.ConstantLocation;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	34 import com.oracle.truffle.object.Locations.DeclaredDualLocation;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	35 import com.oracle.truffle.object.Locations.DeclaredLocation;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	36 import com.oracle.truffle.object.Locations.DualLocation;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	37 import com.oracle.truffle.object.Locations.ValueLocation;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	38 import com.oracle.truffle.object.Transition.AddTransition;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	39 import com.oracle.truffle.object.Transition.OperationsTransition;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	40 import com.oracle.truffle.object.Transition.PropertyTransition;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	41 import com.oracle.truffle.object.Transition.RemoveTransition;
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 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	44 * Shape objects create a mapping of Property objects to indexes. The mapping of those indexes to an
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	45 * actual store is not part of Shape's role, but JSObject's. Shapes are immutable; adding or
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	46 * deleting a property yields a new Shape which links to the old one. This allows inline caching to
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	47 * simply check the identity of an object's Shape to determine if the cache is valid. There is one
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	48 * exception to this immutability, the transition map, but that is used simply to assure that an
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	49 * identical series of property additions and deletions will yield the same Shape object.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	50 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	51 * @see DynamicObject
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	52 * @see Property
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	53 * @see Locations
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 public abstract class ShapeImpl extends Shape {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	56 private final int id;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	57
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	58 protected final LayoutImpl layout;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	59 protected final ObjectType objectType;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	60 protected final ShapeImpl parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	61 protected final PropertyMap propertyMap;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	62
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	63 private final Object extraData;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	64 private final Object sharedData;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	65 private final ShapeImpl root;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	66
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	67 protected final int objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	68 protected final int objectArrayCapacity;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	69 protected final int objectFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	70 protected final int primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	71 protected final int primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	72 protected final int primitiveArrayCapacity;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	73 protected final boolean hasPrimitiveArray;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	74
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	75 protected final int depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	76 protected final int propertyCount;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	77 protected Property[] propertyArray;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	78
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	79 protected final Assumption validAssumption;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	80 protected final Assumption leafAssumption;
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 * Shape transition map; lazily initialized.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	84 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	85 * @see #getTransitionMapForRead()
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	86 * @see #getTransitionMapForWrite()
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 private HashMap<Transition, ShapeImpl> transitionMap;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	89
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	90 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	91 * Private constructor.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	92 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	93 * @see #ShapeImpl(Layout, ShapeImpl, ObjectType, Object, PropertyMap, BaseAllocator, int)
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 private ShapeImpl(Layout layout, ShapeImpl parent, ObjectType operations, Object sharedData, PropertyMap propertyMap, int objectArraySize, int objectFieldSize, int primitiveFieldSize,
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	96 int primitiveArraySize, boolean hasPrimitiveArray, int id) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	97 this.layout = (LayoutImpl) layout;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	98 this.objectType = Objects.requireNonNull(operations);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	99 this.propertyMap = Objects.requireNonNull(propertyMap);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	100 this.root = parent != null ? parent.getRoot() : this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	101 this.parent = parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	102 this.objectArraySize = objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	103 this.objectArrayCapacity = capacityFromSize(objectArraySize);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	104 this.objectFieldSize = objectFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	105 this.primitiveFieldSize = primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	106 this.primitiveArraySize = primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	107 this.primitiveArrayCapacity = capacityFromSize(primitiveArraySize);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	108 this.hasPrimitiveArray = hasPrimitiveArray;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	109
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	110 if (parent != null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	111 this.propertyCount = makePropertyCount(parent, propertyMap);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	112 this.propertyArray = makePropertiesList(parent, propertyMap);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	113 this.depth = parent.depth + 1;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	114 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	115 this.propertyCount = 0;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	116 this.propertyArray = null;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	117 this.depth = 0;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	118 }
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 this.validAssumption = createValidAssumption();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	121 this.leafAssumption = createLeafAssumption();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	122
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	123 this.id = id;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	124 shapeCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	125
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	126 this.sharedData = sharedData;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	127 this.extraData = operations.createShapeData(this);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	128
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	129 debugRegisterShape(this);
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 protected ShapeImpl(Layout layout, ShapeImpl parent, ObjectType operations, Object sharedData, PropertyMap propertyMap, Allocator allocator, int id) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	133 this(layout, parent, operations, sharedData, propertyMap, ((BaseAllocator) allocator).objectArraySize, ((BaseAllocator) allocator).objectFieldSize,
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	134 ((BaseAllocator) allocator).primitiveFieldSize, ((BaseAllocator) allocator).primitiveArraySize, ((BaseAllocator) allocator).hasPrimitiveArray, id);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	135 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	136
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	137 @SuppressWarnings("hiding")
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	138 protected abstract ShapeImpl createShape(Layout layout, Object sharedData, ShapeImpl parent, ObjectType operations, PropertyMap propertyMap, Allocator allocator, int id);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	139
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	140 protected ShapeImpl(Layout layout, ObjectType operations, Object sharedData, int id) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	141 this(layout, null, operations, sharedData, PropertyMap.empty(), layout.createAllocator(), id);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	142 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	143
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	144 private static int makePropertyCount(ShapeImpl parent, PropertyMap propertyMap) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	145 return parent.propertyCount + ((propertyMap.size() > parent.propertyMap.size() && !propertyMap.getLastProperty().isHidden() && !propertyMap.getLastProperty().isShadow()) ? 1 : 0);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	146 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	147
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	148 private static Property[] makePropertiesList(ShapeImpl parent, PropertyMap propertyMap) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	149 Property[] properties = parent.propertyArray;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	150 if (properties != null && propertyMap.size() != parent.propertyMap.size()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	151 Property lastProperty = propertyMap.getLastProperty();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	152 if (lastProperty != null && !lastProperty.isHidden()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	153 propertyListAllocCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	154 if (!lastProperty.isShadow()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	155 properties = Arrays.copyOf(properties, properties.length + 1);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	156 properties[properties.length - 1] = lastProperty;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	157 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	158 properties = Arrays.copyOf(properties, properties.length);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	159 for (int i = 0; i < properties.length; i++) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	160 if (properties[i].isSame(lastProperty)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	161 properties[i] = lastProperty;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	162 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	163 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	164 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	165 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	166 propertyListShareCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	167 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	168 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	169 return properties;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	170 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	171
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	172 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	173 public final Property getLastProperty() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	174 return propertyMap.getLastProperty();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	175 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	176
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	177 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	178 public final int getId() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	179 return this.id;
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 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	183 * Calculate array size for the given number of elements.
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 private static int capacityFromSize(int size) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	186 if (size == 0) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	187 return 0;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	188 } else if (size < 4) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	189 return 4;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	190 } else if (size < 32) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	191 return ((size + 7) / 8) * 8;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	192 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	193 return ((size + 15) / 16) * 16;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	197 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	198 public final int getObjectArraySize() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	199 return objectArraySize;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	202 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	203 public final int getObjectFieldSize() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	204 return objectFieldSize;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	207 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	208 public final int getPrimitiveFieldSize() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	209 return primitiveFieldSize;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	212 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	213 public final int getObjectArrayCapacity() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	214 return objectArrayCapacity;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	217 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	218 public final int getPrimitiveArrayCapacity() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	219 return primitiveArrayCapacity;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	220 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	221
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	222 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	223 public final int getPrimitiveArraySize() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	224 return primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	225 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	226
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	227 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	228 public final boolean hasPrimitiveArray() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	229 return hasPrimitiveArray;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	230 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	231
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 * Get the (parent) shape that holds the given property.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	234 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	235 public final ShapeImpl getShapeFromProperty(Object propertyName) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	236 ShapeImpl current = this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	237 while (current != getRoot()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	238 if (current.getLastProperty().getKey().equals(propertyName)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	239 return current;
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 current = current.getParent();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	242 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	243
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	244 return null;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	247 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	248 * Get the (parent) shape that holds the given property.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	249 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	250 public final ShapeImpl getShapeFromProperty(Property prop) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	251 ShapeImpl current = this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	252 while (current != getRoot()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	253 if (current.getLastProperty().equals(prop)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	254 return current;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	255 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	256 current = current.parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	257 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	258
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	259 return null;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	260 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	261
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 * Get a property entry by string name.
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 * @param key the name to look up
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	266 * @return a Property object, or null if not found
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	267 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	268 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	269 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	270 public final Property getProperty(Object key) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	271 // return this.propertyMap.get(propertyName);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	272 PropertyMap current = this.propertyMap;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	273 while (current.getLastProperty() != null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	274 if (current.getLastProperty().getKey().equals(key)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	275 return current.getLastProperty();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	276 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	277 current = current.getParentMap();
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	280 return null;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	281 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	282
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	283 protected final void addTransition(Transition transition, ShapeImpl next) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	284 assert next.getParent() == this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	285 addTransitionInternal(transition, next);
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 public final void addNonlinearTransition(Transition transition, ShapeImpl next) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	289 assert next.getParent() != this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	290 addTransitionInternal(transition, next);
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 private void addTransitionInternal(Transition transition, ShapeImpl next) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	294 getTransitionMapForWrite().put(transition, next);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	295 }
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 public final Map<Transition, ShapeImpl> getTransitionMapForRead() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	298 return transitionMap != null ? transitionMap : Collections.<Transition, ShapeImpl> emptyMap();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	299 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	300
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	301 private Map<Transition, ShapeImpl> getTransitionMapForWrite() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	302 if (transitionMap != null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	303 return transitionMap;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	304 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	305 invalidateLeafAssumption();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	306 return transitionMap = new HashMap<>();
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 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	309
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	310 public final PropertyMap getPropertyMap() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	311 return propertyMap;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	314 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	315 * Add a new property in the map, yielding a new or cached Shape object.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	316 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	317 * @param property the property to add
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	318 * @return the new Shape
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	319 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	320 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	321 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	322 public ShapeImpl addProperty(Property property) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	323 assert isValid();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	324 ShapeImpl nextShape = addPropertyInternal(property);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	325 objectType.onPropertyAdded(property, this, nextShape);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	326 return nextShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	327 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	328
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	329 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	330 * Add a new property in the map, yielding a new or cached Shape object.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	331 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	332 * In contrast to {@link ShapeImpl#addProperty(Property)}, this method does not care about
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	333 * obsolete shapes.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	334 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	335 * @see #addProperty(Property)
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	336 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	337 private ShapeImpl addPropertyInternal(Property prop) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	338 CompilerAsserts.neverPartOfCompilation();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	339 assert prop.isShadow() \|\| !(this.hasProperty(prop.getKey())) : "duplicate property";
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	340 assert !getPropertyListInternal(false).contains(prop);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	341 // invalidatePropertyAssumption(prop.getName());
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	342
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	343 Transition.AddTransition key = new Transition.AddTransition(prop);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	344 Map<Transition, ShapeImpl> transitionMapForRead = this.getTransitionMapForRead();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	345 ShapeImpl cachedShape = transitionMapForRead.get(key);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	346 if (cachedShape != null) { // Shape already exists?
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	347 shapeCacheHitCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	348 return (ShapeImpl) layout.getStrategy().returnCached(cachedShape);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	349 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	350 shapeCacheMissCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	351
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	352 ShapeImpl oldShape = (ShapeImpl) layout.getStrategy().ensureSpace(this, prop.getLocation());
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	353
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	354 ShapeImpl newShape = makeShapeWithAddedProperty(oldShape, key);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	355 oldShape.addTransition(key, newShape);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	356 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	357 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	358
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	359 protected ShapeImpl cloneRoot(ShapeImpl from, Object newSharedData) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	360 return createShape(from.layout, newSharedData, null, from.objectType, from.propertyMap, from.allocator(), from.id);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	361 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	362
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	363 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	364 * Create a separate clone of a shape.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	365 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	366 * @param newParent the cloned parent shape
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	367 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	368 protected final ShapeImpl cloneOnto(ShapeImpl newParent) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	369 ShapeImpl from = this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	370 ShapeImpl newShape = createShape(newParent.layout, newParent.sharedData, newParent, from.objectType, from.propertyMap, from.allocator(), newParent.id);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	371
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	372 shapeCloneCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	373
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	374 // (aw) need to have this transition for obsolescence
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	375 newParent.addTransition(getTransitionFromParent(), newShape);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	376 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	377 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	378
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	379 private Transition getTransitionFromParent() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	380 for (Map.Entry<Transition, ShapeImpl> property : parent.getTransitionMapForRead().entrySet()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	381 if (property.getValue() == this) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	382 return property.getKey();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	383 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	384 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	385 throw new NoSuchElementException();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	386 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	387
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	388 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	389 * Create a new shape that adds a property to the parent shape.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	390 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	391 private static ShapeImpl makeShapeWithAddedProperty(ShapeImpl parent, AddTransition addTransition) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	392 Property addend = addTransition.getProperty();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	393 BaseAllocator allocator = parent.allocator().addLocation(addend.getLocation());
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	394
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	395 PropertyMap newPropertyMap = parent.propertyMap.putCopy(addend);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	396
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	397 ShapeImpl newShape = parent.createShape(parent.layout, parent.sharedData, parent, parent.objectType, newPropertyMap, allocator, parent.id);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	398 assert ((LocationImpl) addend.getLocation()).primitiveArrayCount() == 0 \|\| newShape.hasPrimitiveArray;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	399 assert newShape.depth == allocator.depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	400 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	401 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	402
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	403 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	404 * Create a new shape that reserves the primitive extension array field.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	405 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	406 private static ShapeImpl makeShapeWithPrimitiveExtensionArray(ShapeImpl parent) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	407 assert parent.getLayout().hasPrimitiveExtensionArray();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	408 assert !parent.hasPrimitiveArray();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	409 BaseAllocator allocator = parent.allocator().addLocation(parent.getLayout().getPrimitiveArrayLocation());
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	410 ShapeImpl newShape = parent.createShape(parent.layout, parent.sharedData, parent, parent.objectType, parent.propertyMap, allocator, parent.id);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	411 assert newShape.hasPrimitiveArray();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	412 assert newShape.depth == allocator.depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	413 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	414 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	415
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	416 private ShapeImpl addPrimitiveExtensionArray() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	417 assert layout.hasPrimitiveExtensionArray() && !hasPrimitiveArray();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	418 Transition key = new Transition.ReservePrimitiveArrayTransition();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	419 ShapeImpl cachedShape = this.getTransitionMapForRead().get(key);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	420 if (cachedShape != null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	421 shapeCacheHitCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	422 return (ShapeImpl) layout.getStrategy().returnCached(cachedShape);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	423 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	424 shapeCacheMissCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	425
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	426 ShapeImpl oldShape = (ShapeImpl) layout.getStrategy().ensureSpace(this, layout.getPrimitiveArrayLocation());
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	427 ShapeImpl newShape = makeShapeWithPrimitiveExtensionArray(oldShape);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	428 oldShape.addTransition(key, newShape);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	429 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	430 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	431
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	432 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	433 * Are these two shapes related, i.e. do they have the same root?
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	434 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	435 * @param other Shape to compare to
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	436 * @return true if one shape is an upcast of the other, or the Shapes are equal
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	437 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	438 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	439 public boolean isRelated(Shape other) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	440 if (this == other) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	441 return true;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	442 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	443 if (this.getRoot() == getRoot()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	444 return true;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	445 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	446 return false;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	447 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	448
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	449 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	450 * Get a list of all properties that this Shape stores.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	451 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	452 * @return list of properties
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	453 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	454 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	455 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	456 public final List<Property> getPropertyList(Pred<Property> filter) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	457 LinkedList<Property> props = new LinkedList<>();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	458 next: for (ShapeImpl current = this; current != getRoot(); current = current.parent) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	459 Property currentProperty = current.getLastProperty();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	460 if (!currentProperty.isHidden() && filter.test(currentProperty)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	461 if (currentProperty.getLocation() instanceof DeclaredLocation) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	462 for (Iterator<Property> iter = props.iterator(); iter.hasNext();) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	463 Property other = iter.next();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	464 if (other.isShadow() && other.getKey().equals(currentProperty.getKey())) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	465 iter.remove();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	466 props.addFirst(other);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	467 continue next;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	468 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	469 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	470 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	471 props.addFirst(currentProperty);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	472 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	473 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	474 return props;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	475 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	476
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	477 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	478 public final List<Property> getPropertyList() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	479 return getPropertyList(ALL);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	480 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	481
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	482 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	483 * Returns all (also hidden) Property objects in this shape.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	484 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	485 * @param ascending desired order
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	486 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	487 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	488 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	489 public final List<Property> getPropertyListInternal(boolean ascending) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	490 LinkedList<Property> props = new LinkedList<>();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	491 for (ShapeImpl current = this; current != getRoot(); current = current.parent) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	492 if (ascending) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	493 props.addFirst(current.getLastProperty());
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	494 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	495 props.add(current.getLastProperty());
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	496 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	497 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	498 return props;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	499 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	500

18408

2c3666f44855 Truffle: initial commit of object API implementation