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

annotate graal/com.oracle.truffle.object/src/com/oracle/truffle/object/ShapeImpl.java @ 18623:8bf798e8cf11

OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty

author	Andreas Woess <andreas.woess@jku.at>
date	Thu, 04 Dec 2014 18:08:22 +0100
parents	a306a94111a6
children	a9a14b31f3b3

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;
18621 b3b241bbbbdb OM: rename transitions Andreas Woess <andreas.woess@jku.at> parents: 18408 diff changeset	38 import com.oracle.truffle.object.Transition.AddPropertyTransition;
b3b241bbbbdb OM: rename transitions Andreas Woess <andreas.woess@jku.at> parents: 18408 diff changeset	39 import com.oracle.truffle.object.Transition.ObjectTypeTransition;
18408 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;
18621 b3b241bbbbdb OM: rename transitions Andreas Woess <andreas.woess@jku.at> parents: 18408 diff changeset	41 import com.oracle.truffle.object.Transition.RemovePropertyTransition;
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	42 import com.oracle.truffle.object.Transition.ReservePrimitiveArrayTransition;
18408 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 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	45 * 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	46 * 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	47 * 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	48 * 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	49 * 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	50 * 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	51 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	52 * @see DynamicObject
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	53 * @see Property
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	54 * @see Locations
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 public abstract class ShapeImpl extends Shape {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	57 private final int id;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	58
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	59 protected final LayoutImpl layout;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	60 protected final ObjectType objectType;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	61 protected final ShapeImpl parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	62 protected final PropertyMap propertyMap;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	63
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	64 private final Object extraData;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	65 private final Object sharedData;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	66 private final ShapeImpl root;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	67
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	68 protected final int objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	69 protected final int objectArrayCapacity;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	70 protected final int objectFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	71 protected final int primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	72 protected final int primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	73 protected final int primitiveArrayCapacity;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	74 protected final boolean hasPrimitiveArray;
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 protected final int depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	77 protected final int propertyCount;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	78 protected Property[] propertyArray;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	79
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	80 protected final Assumption validAssumption;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	81 protected final Assumption leafAssumption;
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 * Shape transition map; lazily initialized.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	85 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	86 * @see #getTransitionMapForRead()
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	87 * @see #getTransitionMapForWrite()
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 private HashMap<Transition, ShapeImpl> transitionMap;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	90
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	91 private final Transition transitionFromParent;
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	92
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	93 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	94 * Private constructor.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	95 *
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	96 * @param parent predecessor shape
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	97 * @param transitionFromParent direct transition from parent shape
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	98 * @see #ShapeImpl(Layout, ShapeImpl, ObjectType, Object, PropertyMap, Transition,
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	99 * BaseAllocator, int)
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	100 */
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	101 private ShapeImpl(Layout layout, ShapeImpl parent, ObjectType objectType, Object sharedData, PropertyMap propertyMap, Transition transitionFromParent, int objectArraySize, int objectFieldSize,
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	102 int primitiveFieldSize, int primitiveArraySize, boolean hasPrimitiveArray, int id) {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	103 this.layout = (LayoutImpl) layout;
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	104 this.objectType = Objects.requireNonNull(objectType);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	105 this.propertyMap = Objects.requireNonNull(propertyMap);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	106 this.root = parent != null ? parent.getRoot() : this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	107 this.parent = parent;
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	108 this.transitionFromParent = transitionFromParent;
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	109 this.objectArraySize = objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	110 this.objectArrayCapacity = capacityFromSize(objectArraySize);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	111 this.objectFieldSize = objectFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	112 this.primitiveFieldSize = primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	113 this.primitiveArraySize = primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	114 this.primitiveArrayCapacity = capacityFromSize(primitiveArraySize);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	115 this.hasPrimitiveArray = hasPrimitiveArray;
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 if (parent != null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	118 this.propertyCount = makePropertyCount(parent, propertyMap);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	119 this.propertyArray = makePropertiesList(parent, propertyMap);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	120 this.depth = parent.depth + 1;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	121 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	122 this.propertyCount = 0;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	123 this.propertyArray = null;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	124 this.depth = 0;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	127 this.validAssumption = createValidAssumption();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	128 this.leafAssumption = createLeafAssumption();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	129
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	130 this.id = id;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	131 shapeCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	132
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	133 this.sharedData = sharedData;
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	134 this.extraData = objectType.createShapeData(this);
18408 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 debugRegisterShape(this);
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
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	139 protected ShapeImpl(Layout layout, ShapeImpl parent, ObjectType operations, Object sharedData, PropertyMap propertyMap, Transition transition, Allocator allocator, int id) {
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	140 this(layout, parent, operations, sharedData, propertyMap, transition, ((BaseAllocator) allocator).objectArraySize, ((BaseAllocator) allocator).objectFieldSize,
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	141 ((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	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 @SuppressWarnings("hiding")
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	145 protected abstract ShapeImpl createShape(Layout layout, Object sharedData, ShapeImpl parent, ObjectType operations, PropertyMap propertyMap, Transition transition, Allocator allocator, int id);
18408 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 protected ShapeImpl(Layout layout, ObjectType operations, Object sharedData, int id) {
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	148 this(layout, null, operations, sharedData, PropertyMap.empty(), null, layout.createAllocator(), id);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	149 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	150
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	151 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	152 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	153 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	154
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	155 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	156 Property[] properties = parent.propertyArray;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	157 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	158 Property lastProperty = propertyMap.getLastProperty();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	159 if (lastProperty != null && !lastProperty.isHidden()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	160 propertyListAllocCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	161 if (!lastProperty.isShadow()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	162 properties = Arrays.copyOf(properties, properties.length + 1);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	163 properties[properties.length - 1] = lastProperty;
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 properties = Arrays.copyOf(properties, properties.length);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	166 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	167 if (properties[i].isSame(lastProperty)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	168 properties[i] = lastProperty;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	169 }
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 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	173 propertyListShareCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	174 }
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 return properties;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	177 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	178
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	179 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	180 public final Property getLastProperty() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	181 return propertyMap.getLastProperty();
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	184 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	185 public final int getId() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	186 return this.id;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	187 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	188
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 * 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	191 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	192 private static int capacityFromSize(int size) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	193 if (size == 0) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	194 return 0;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	195 } else if (size < 4) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	196 return 4;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	197 } else if (size < 32) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	198 return ((size + 7) / 8) * 8;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	199 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	200 return ((size + 15) / 16) * 16;
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 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	203
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	204 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	205 public final int getObjectArraySize() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	206 return objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	207 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	208
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	209 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	210 public final int getObjectFieldSize() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	211 return objectFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	212 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	213
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	214 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	215 public final int getPrimitiveFieldSize() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	216 return primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	217 }
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 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	220 public final int getObjectArrayCapacity() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	221 return objectArrayCapacity;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	222 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	223
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	224 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	225 public final int getPrimitiveArrayCapacity() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	226 return primitiveArrayCapacity;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	227 }
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 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	230 public final int getPrimitiveArraySize() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	231 return primitiveArraySize;
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 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	235 public final boolean hasPrimitiveArray() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	236 return hasPrimitiveArray;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	239 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	240 * 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	241 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	242 public final ShapeImpl getShapeFromProperty(Object propertyName) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	243 ShapeImpl current = this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	244 while (current != getRoot()) {
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	245 if (current.getTransitionFromParent() instanceof AddPropertyTransition && ((AddPropertyTransition) current.getTransitionFromParent()).getProperty().getKey().equals(propertyName)) {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	246 return current;
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 current = current.getParent();
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	251 return null;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	252 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	253
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	254 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	255 * 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	256 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	257 public final ShapeImpl getShapeFromProperty(Property prop) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	258 ShapeImpl current = this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	259 while (current != getRoot()) {
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	260 if (current.getTransitionFromParent() instanceof AddPropertyTransition && ((AddPropertyTransition) current.getTransitionFromParent()).getProperty().equals(prop)) {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	261 return current;
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 current = current.parent;
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 return null;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	269 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	270 * Get a property entry by string name.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	271 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	272 * @param key the name to look up
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	273 * @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	274 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	275 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	276 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	277 public final Property getProperty(Object key) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	278 // return this.propertyMap.get(propertyName);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	279 PropertyMap current = this.propertyMap;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	280 while (current.getLastProperty() != null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	281 if (current.getLastProperty().getKey().equals(key)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	282 return current.getLastProperty();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	283 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	284 current = current.getParentMap();
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 return null;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	288 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	289
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	290 protected final void addDirectTransition(Transition transition, ShapeImpl next) {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	291 assert next.getParent() == this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	292 addTransitionInternal(transition, next);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	293 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	294
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	295 public final void addIndirectTransition(Transition transition, ShapeImpl next) {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	296 assert next.getParent() != this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	297 addTransitionInternal(transition, next);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	298 }
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 private void addTransitionInternal(Transition transition, ShapeImpl next) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	301 getTransitionMapForWrite().put(transition, next);
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	304 public final Map<Transition, ShapeImpl> getTransitionMapForRead() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	305 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	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 private Map<Transition, ShapeImpl> getTransitionMapForWrite() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	309 if (transitionMap != null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	310 return transitionMap;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	311 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	312 invalidateLeafAssumption();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	313 return transitionMap = new HashMap<>();
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 }
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 public final PropertyMap getPropertyMap() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	318 return propertyMap;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	321 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	322 * 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	323 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	324 * @param property the property to add
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	325 * @return the new Shape
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	326 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	327 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	328 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	329 public ShapeImpl addProperty(Property property) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	330 assert isValid();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	331 ShapeImpl nextShape = addPropertyInternal(property);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	332 objectType.onPropertyAdded(property, this, nextShape);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	333 return nextShape;
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
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 * 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	338 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	339 * 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	340 * obsolete shapes.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	341 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	342 * @see #addProperty(Property)
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	343 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	344 private ShapeImpl addPropertyInternal(Property prop) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	345 CompilerAsserts.neverPartOfCompilation();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	346 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	347 assert !getPropertyListInternal(false).contains(prop);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	348 // invalidatePropertyAssumption(prop.getName());
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	349
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	350 AddPropertyTransition key = new AddPropertyTransition(prop);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	351 Map<Transition, ShapeImpl> transitionMapForRead = this.getTransitionMapForRead();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	352 ShapeImpl cachedShape = transitionMapForRead.get(key);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	353 if (cachedShape != null) { // Shape already exists?
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	354 shapeCacheHitCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	355 return (ShapeImpl) layout.getStrategy().returnCached(cachedShape);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	356 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	357 shapeCacheMissCount.inc();
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 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	360
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	361 ShapeImpl newShape = makeShapeWithAddedProperty(oldShape, key);
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	362 oldShape.addDirectTransition(key, newShape);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	363 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	364 }
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 protected ShapeImpl cloneRoot(ShapeImpl from, Object newSharedData) {
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	367 return createShape(from.layout, newSharedData, null, from.objectType, from.propertyMap, null, from.allocator(), from.id);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	368 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	369
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	370 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	371 * Create a separate clone of a shape.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	372 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	373 * @param newParent the cloned parent shape
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	374 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	375 protected final ShapeImpl cloneOnto(ShapeImpl newParent) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	376 ShapeImpl from = this;
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	377 ShapeImpl newShape = createShape(newParent.layout, newParent.sharedData, newParent, from.objectType, from.propertyMap, from.transitionFromParent, from.allocator(), newParent.id);
18408 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 shapeCloneCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	380
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	381 // (aw) need to have this transition for obsolescence
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	382 newParent.addDirectTransition(from.transitionFromParent, newShape);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	383 return newShape;
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
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	386 public final Transition getTransitionFromParent() {
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	387 return transitionFromParent;
18408 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
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 * 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	392 */
18621 b3b241bbbbdb OM: rename transitions Andreas Woess <andreas.woess@jku.at> parents: 18408 diff changeset	393 private static ShapeImpl makeShapeWithAddedProperty(ShapeImpl parent, AddPropertyTransition addTransition) {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	394 Property addend = addTransition.getProperty();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	395 BaseAllocator allocator = parent.allocator().addLocation(addend.getLocation());
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 PropertyMap newPropertyMap = parent.propertyMap.putCopy(addend);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	398
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	399 ShapeImpl newShape = parent.createShape(parent.layout, parent.sharedData, parent, parent.objectType, newPropertyMap, addTransition, allocator, parent.id);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	400 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	401 assert newShape.depth == allocator.depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	402 return newShape;
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
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 * 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	407 */
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	408 private static ShapeImpl makeShapeWithPrimitiveExtensionArray(ShapeImpl parent, Transition transition) {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	409 assert parent.getLayout().hasPrimitiveExtensionArray();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	410 assert !parent.hasPrimitiveArray();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	411 BaseAllocator allocator = parent.allocator().addLocation(parent.getLayout().getPrimitiveArrayLocation());
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	412 ShapeImpl newShape = parent.createShape(parent.layout, parent.sharedData, parent, parent.objectType, parent.propertyMap, transition, allocator, parent.id);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	413 assert newShape.hasPrimitiveArray();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	414 assert newShape.depth == allocator.depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	415 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	416 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	417
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	418 private ShapeImpl addPrimitiveExtensionArray() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	419 assert layout.hasPrimitiveExtensionArray() && !hasPrimitiveArray();
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	420 Transition key = new ReservePrimitiveArrayTransition();
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	421 ShapeImpl cachedShape = this.getTransitionMapForRead().get(key);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	422 if (cachedShape != null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	423 shapeCacheHitCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	424 return (ShapeImpl) layout.getStrategy().returnCached(cachedShape);
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 shapeCacheMissCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	427
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	428 ShapeImpl oldShape = (ShapeImpl) layout.getStrategy().ensureSpace(this, layout.getPrimitiveArrayLocation());
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	429 ShapeImpl newShape = makeShapeWithPrimitiveExtensionArray(oldShape, key);
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	430 oldShape.addDirectTransition(key, newShape);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	431 return newShape;
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
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 * 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	436 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	437 * @param other Shape to compare to
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	438 * @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	439 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	440 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	441 public boolean isRelated(Shape other) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	442 if (this == other) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	443 return true;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	444 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	445 if (this.getRoot() == getRoot()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	446 return true;
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 return false;
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
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 * 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	453 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	454 * @return list of properties
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	455 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	456 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	457 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	458 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	459 LinkedList<Property> props = new LinkedList<>();
18622 a306a94111a6 OM: iterate over properties using property map instead of parent chain Andreas Woess <andreas.woess@jku.at> parents: 18621 diff changeset	460 next: for (Property currentProperty : this.propertyMap.reverseOrderValues()) {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	461 if (!currentProperty.isHidden() && filter.test(currentProperty)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	462 if (currentProperty.getLocation() instanceof DeclaredLocation) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	463 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	464 Property other = iter.next();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	465 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	466 iter.remove();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	467 props.addFirst(other);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	468 continue next;
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 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	472 props.addFirst(currentProperty);
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 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	475 return props;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	478 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	479 public final List<Property> getPropertyList() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	480 return getPropertyList(ALL);
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 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	484 * 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	485 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	486 * @param ascending desired order
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	487 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	488 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	489 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	490 public final List<Property> getPropertyListInternal(boolean ascending) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	491 LinkedList<Property> props = new LinkedList<>();
18622 a306a94111a6 OM: iterate over properties using property map instead of parent chain Andreas Woess <andreas.woess@jku.at> parents: 18621 diff changeset	492 for (Property current : this.propertyMap.reverseOrderValues()) {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	493 if (ascending) {
18622 a306a94111a6 OM: iterate over properties using property map instead of parent chain Andreas Woess <andreas.woess@jku.at> parents: 18621 diff changeset	494 props.addFirst(current);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	495 } else {
18622 a306a94111a6 OM: iterate over properties using property map instead of parent chain Andreas Woess <andreas.woess@jku.at> parents: 18621 diff changeset	496 props.add(current);
18408 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 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	499 return props;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	500 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	501
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	502 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	503 * Get a list of all (visible) property names in insertion order.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	504 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	505 * @return list of property names
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	506 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	507 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	508 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	509 public final List<Object> getKeyList(Pred<Property> filter) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	510 LinkedList<Object> keys = new LinkedList<>();
18622 a306a94111a6 OM: iterate over properties using property map instead of parent chain Andreas Woess <andreas.woess@jku.at> parents: 18621 diff changeset	511 for (Property currentProperty : this.propertyMap.reverseOrderValues()) {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	512 if (!currentProperty.isHidden() && filter.test(currentProperty) && !currentProperty.isShadow()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	513 keys.addFirst(currentProperty.getKey());
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	514 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	515 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	516 return keys;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	517 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	518
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	519 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	520 public final List<Object> getKeyList() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	521 return getKeyList(ALL);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	522 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	523
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	524 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	525 public Iterable<Object> getKeys() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	526 return getKeyList();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	527 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	528
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	529 public final void setTypeTransition(ShapeImpl successorShape, Property before, Property after) {
18621 b3b241bbbbdb OM: rename transitions Andreas Woess <andreas.woess@jku.at> parents: 18408 diff changeset	530 getTransitionMapForWrite().put(new Transition.PropertyTypeTransition(before, after), successorShape);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	531 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	532
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	533 private static Assumption createValidAssumption() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	534 return Truffle.getRuntime().createAssumption("valid shape");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	535 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	536
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	537 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	538 public final Assumption getValidAssumption() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	539 return validAssumption;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	540 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	541
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	542 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	543 public final boolean isValid() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	544 return getValidAssumption().isValid();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	545 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	546
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	547 private static Assumption createLeafAssumption() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	548 return Truffle.getRuntime().createAssumption("leaf shape");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	549 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	550
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	551 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	552 public final Assumption getLeafAssumption() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	553 return leafAssumption;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	554 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	555
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	556 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	557 public final boolean isLeaf() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	558 return getLeafAssumption().isValid();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	559 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	560
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	561 private void invalidateLeafAssumption() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	562 getLeafAssumption().invalidate();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	563 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	564
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	565 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	566 public String toString() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	567 return toStringLimit(Integer.MAX_VALUE);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	568 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	569
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	570 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	571 public String toStringLimit(int limit) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	572 StringBuilder sb = new StringBuilder();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	573 sb.append('@');
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	574 sb.append(Integer.toHexString(hashCode()));
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	575 if (!isValid()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	576 sb.append('!');
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	577 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	578
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	579 sb.append("{");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	580 for (Iterator<Property> iterator = propertyMap.reverseOrderValues().iterator(); iterator.hasNext();) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	581 Property p = iterator.next();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	582 sb.append(p);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	583 if (iterator.hasNext()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	584 sb.append(", ");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	585 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	586 if (sb.length() >= limit) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	587 sb.append("...");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	588 break;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	589 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	590 sb.append("\n");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	591 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	592 sb.append("}");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	593
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	594 return sb.toString();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	595 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	596
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	597 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	598 public final ShapeImpl getParent() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	599 return parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	600 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	601
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	602 public final int getDepth() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	603 return depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	604 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	605
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	606 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	607 public final boolean hasProperty(Object name) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	608 return getProperty(name) != null;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	609 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	610
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	611 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	612 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	613 public final ShapeImpl removeProperty(Property prop) {
18621 b3b241bbbbdb OM: rename transitions Andreas Woess <andreas.woess@jku.at> parents: 18408 diff changeset	614 RemovePropertyTransition transition = new RemovePropertyTransition(prop);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	615 ShapeImpl cachedShape = getTransitionMapForRead().get(transition);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	616 if (cachedShape != null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	617 return (ShapeImpl) layout.getStrategy().returnCached(cachedShape);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	618 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	619
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	620 ShapeImpl shape = getShapeFromProperty(prop);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	621 if (shape != null) {
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	622 List<Transition> transitionList = new ArrayList<>();
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	623 ShapeImpl current = this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	624 while (current != shape) {
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	625 transitionList.add(current.getTransitionFromParent());
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	626 current = current.parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	627 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	628 ShapeImpl newShape = shape.parent;
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	629 for (ListIterator<Transition> iterator = transitionList.listIterator(transitionList.size()); iterator.hasPrevious();) {
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	630 Transition previous = iterator.previous();
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	631 newShape = newShape.applyTransition(previous, true);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	632 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	633
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	634 getTransitionMapForWrite().put(transition, newShape);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	635 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	636 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	637 return null;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	638 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	639 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	640
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	641 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	642 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	643 public final ShapeImpl append(Property oldProperty) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	644 return addProperty(oldProperty.relocate(allocator().moveLocation(oldProperty.getLocation())));
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	645 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	646
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	647 public final ShapeImpl applyTransition(Transition transition, boolean append) {
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	648 if (transition instanceof AddPropertyTransition) {
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	649 return append ? append(((AddPropertyTransition) transition).getProperty()) : addProperty(((AddPropertyTransition) transition).getProperty());
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	650 } else if (transition instanceof ObjectTypeTransition) {
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	651 return changeType(((ObjectTypeTransition) transition).getObjectType());
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	652 } else if (transition instanceof ReservePrimitiveArrayTransition) {
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	653 return reservePrimitiveExtensionArray();
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	654 } else {
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	655 throw new UnsupportedOperationException();
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	656 }
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	657 }
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	658
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	659 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	660 public final BaseAllocator allocator() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	661 return layout.getStrategy().createAllocator(this);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	662 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	663
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	664 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	665 * Duplicate shape exchanging existing property with new property.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	666 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	667 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	668 public final ShapeImpl replaceProperty(Property oldProperty, Property newProp) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	669 ShapeImpl top = this;
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	670 List<Transition> transitionList = new ArrayList<>();
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	671 boolean found = false;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	672 while (top != getRoot() && !found) {
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	673 Transition transition = top.getTransitionFromParent();
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	674 transitionList.add(transition);
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	675 if (transition instanceof AddPropertyTransition && ((AddPropertyTransition) transition).getProperty().getKey().equals(newProp.getKey())) {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	676 found = true;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	677 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	678 top = top.parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	679 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	680 ShapeImpl newShape = top;
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	681 for (ListIterator<Transition> iterator = transitionList.listIterator(transitionList.size()); iterator.hasPrevious();) {
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	682 Transition transition = iterator.previous();
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	683 if (transition instanceof AddPropertyTransition && ((AddPropertyTransition) transition).getProperty().getKey().equals(newProp.getKey())) {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	684 newShape = newShape.addProperty(newProp);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	685 } else {
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	686 newShape = newShape.applyTransition(transition, false);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	687 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	688 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	689 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	690 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	691
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	692 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	693 * Find lowest common ancestor of two related shapes.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	694 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	695 public static ShapeImpl findCommonAncestor(ShapeImpl left, ShapeImpl right) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	696 if (!left.isRelated(right)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	697 throw new IllegalArgumentException("shapes must have the same root");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	698 } else if (left == right) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	699 return left;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	700 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	701 int leftLength = left.depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	702 int rightLength = right.depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	703 ShapeImpl leftPtr = left;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	704 ShapeImpl rightPtr = right;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	705 while (leftLength > rightLength) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	706 leftPtr = leftPtr.parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	707 leftLength--;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	708 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	709 while (rightLength > leftLength) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	710 rightPtr = rightPtr.parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	711 rightLength--;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	712 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	713 while (leftPtr != rightPtr) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	714 leftPtr = leftPtr.parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	715 rightPtr = rightPtr.parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	716 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	717 return leftPtr;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	718 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	719
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	720 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	721 * For copying over properties after exchanging the prototype of an object.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	722 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	723 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	724 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	725 public final ShapeImpl copyOverPropertiesInternal(Shape destination) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	726 assert ((ShapeImpl) destination).getDepth() == 0;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	727 List<Property> properties = this.getPropertyListInternal(true);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	728 ShapeImpl newShape = ((ShapeImpl) destination).addPropertiesInternal(properties);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	729 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	730 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	731
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	732 private ShapeImpl addPropertiesInternal(List<Property> properties) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	733 ShapeImpl newShape = this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	734 for (Property p : properties) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	735 newShape = newShape.addPropertyInternal(p);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	736 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	737 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	738 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	739
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	740 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	741 * NB: this is not an accurate property count.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	742 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	743 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	744 public final int getPropertyCount() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	745 return propertyCount;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	746 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	747
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	748 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	749 * Find difference between two shapes.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	750 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	751 * @see ObjectStorageOptions#TraceReshape
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	752 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	753 public static List<Property> diff(Shape oldShape, Shape newShape) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	754 List<Property> oldList = oldShape.getPropertyListInternal(false);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	755 List<Property> newList = newShape.getPropertyListInternal(false);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	756
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	757 List<Property> diff = new ArrayList<>(oldList);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	758 diff.addAll(newList);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	759 List<Property> intersection = new ArrayList<>(oldList);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	760 intersection.retainAll(newList);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	761 diff.removeAll(intersection);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	762 return diff;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	763 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	764
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	765 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	766 public ObjectType getObjectType() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	767 return objectType;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	768 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	769
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	770 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	771 public ShapeImpl getRoot() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	772 return root;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	773 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	774
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	775 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	776 public final boolean check(DynamicObject subject) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	777 return subject.getShape() == this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	778 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	779
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	780 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	781 public final LayoutImpl getLayout() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	782 return layout;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	783 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	784
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	785 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	786 public final Object getData() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	787 return extraData;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	788 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	789
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	790 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	791 public final Object getSharedData() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	792 return sharedData;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	793 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	794
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	795 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	796 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	797 public final boolean hasTransitionWithKey(Object key) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	798 for (Transition transition : getTransitionMapForRead().keySet()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	799 if (transition instanceof PropertyTransition) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	800 if (((PropertyTransition) transition).getProperty().getKey().equals(key)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	801 return true;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	802 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	803 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	804 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	805 return false;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	806 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	807
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	808 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	809 * Clone off a separate shape with new shared data.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	810 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	811 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	812 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	813 public final ShapeImpl createSeparateShape(Object newSharedData) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	814 if (parent == null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	815 return cloneRoot(this, newSharedData);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	816 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	817 return this.cloneOnto(parent.createSeparateShape(newSharedData));
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	818 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	819 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	820
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	821 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	822 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	823 public final ShapeImpl changeType(ObjectType newOps) {
18621 b3b241bbbbdb OM: rename transitions Andreas Woess <andreas.woess@jku.at> parents: 18408 diff changeset	824 ObjectTypeTransition transition = new ObjectTypeTransition(newOps);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	825 ShapeImpl cachedShape = getTransitionMapForRead().get(transition);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	826 if (cachedShape != null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	827 return cachedShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	828 } else {
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	829 ShapeImpl newShape = createShape(layout, sharedData, this, newOps, propertyMap, transition, allocator(), id);
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	830 addDirectTransition(transition, newShape);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	831 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	832 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	833 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	834
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	835 @Override
18623 8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty Andreas Woess <andreas.woess@jku.at> parents: 18622 diff changeset	836 public final ShapeImpl reservePrimitiveExtensionArray() {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	837 if (layout.hasPrimitiveExtensionArray() && !hasPrimitiveArray()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	838 return addPrimitiveExtensionArray();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	839 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	840 return this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	841 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	842
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	843 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	844 public final Iterable<Property> getProperties() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	845 if (getPropertyCount() != 0 && propertyArray == null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	846 CompilerDirectives.transferToInterpreter();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	847 propertyArray = createPropertiesArray();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	848 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	849 return new Iterable<Property>() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	850 public Iterator<Property> iterator() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	851 return new Iterator<Property>() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	852 private int cursor;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	853
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	854 public boolean hasNext() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	855 return cursor < getPropertyCount();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	856 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	857
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	858 public Property next() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	859 if (hasNext()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	860 return propertyArray[cursor++];
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	861 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	862 throw new NoSuchElementException();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	863 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	864
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	865 public void remove() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	866 throw new UnsupportedOperationException();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	867 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	868 };
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	869 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	870 };
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	871 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	872
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	873 private Property[] createPropertiesArray() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	874 propertyListAllocCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	875 Property[] propertiesArray = new Property[getPropertyCount()];
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	876 List<Property> ownProperties = getPropertyList(ALL);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	877 assert ownProperties.size() == getPropertyCount();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	878 for (int i = 0; i < getPropertyCount(); i++) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	879 propertiesArray[i] = ownProperties.get(i);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	880 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	881 return propertiesArray;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	882 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	883
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	884 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	885 public final DynamicObject newInstance() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	886 return layout.newInstance(this);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	887 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	888
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	889 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	890 public final DynamicObjectFactory createFactory() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	891 final List<Property> properties = getPropertyListInternal(true);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	892 for (Iterator<Property> iterator = properties.iterator(); iterator.hasNext();) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	893 Property property = iterator.next();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	894 // skip non-instance fields
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	895 assert property.getLocation() != layout.getPrimitiveArrayLocation();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	896 if (property.getLocation() instanceof ValueLocation) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	897 iterator.remove();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	898 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	899 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	900
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	901 return new DynamicObjectFactory() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	902 @CompilationFinal private final PropertyImpl[] instanceFields = properties.toArray(new PropertyImpl[properties.size()]);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	903
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	904 @ExplodeLoop
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	905 public DynamicObject newInstance(Object... initialValues) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	906 DynamicObject store = ShapeImpl.this.newInstance();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	907 for (int i = 0; i < instanceFields.length; i++) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	908 instanceFields[i].setInternal(store, initialValues[i]);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	909 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	910 return store;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	911 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	912
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	913 public Shape getShape() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	914 return ShapeImpl.this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	915 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	916 };
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	917 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	918
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	919 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	920 public Object getMutex() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	921 return getRoot();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	922 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	923
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	924 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	925 public Shape tryMerge(Shape other) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	926 return null;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	927 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	928
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	929 public abstract static class BaseAllocator extends Allocator {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	930 protected final LayoutImpl layout;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	931 protected int objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	932 protected int objectFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	933 protected int primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	934 protected int primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	935 protected boolean hasPrimitiveArray;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	936 protected int depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	937
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	938 protected BaseAllocator(LayoutImpl layout) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	939 this.layout = layout;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	940 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	941
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	942 protected BaseAllocator(ShapeImpl shape) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	943 this(shape.getLayout());
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	944 this.objectArraySize = shape.objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	945 this.objectFieldSize = shape.objectFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	946 this.primitiveFieldSize = shape.primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	947 this.primitiveArraySize = shape.primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	948 this.hasPrimitiveArray = shape.hasPrimitiveArray;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	949 this.depth = shape.depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	950 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	951
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	952 protected abstract Location moveLocation(Location oldLocation);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	953
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	954 protected abstract Location newObjectLocation(boolean useFinal, boolean nonNull);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	955
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	956 protected abstract Location newTypedObjectLocation(boolean useFinal, Class<?> type, boolean nonNull);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	957
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	958 protected abstract Location newIntLocation(boolean useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	959
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	960 protected abstract Location newDoubleLocation(boolean useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	961
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	962 protected abstract Location newLongLocation(boolean useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	963
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	964 protected abstract Location newBooleanLocation(boolean useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	965
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	966 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	967 public final Location constantLocation(Object value) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	968 return new ConstantLocation(value);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	969 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	970
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	971 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	972 protected Location locationForValue(Object value, boolean useFinal, boolean nonNull) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	973 if (value instanceof Integer) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	974 return newIntLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	975 } else if (value instanceof Double) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	976 return newDoubleLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	977 } else if (value instanceof Long) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	978 return newLongLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	979 } else if (value instanceof Boolean) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	980 return newBooleanLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	981 } else if (ObjectStorageOptions.TypedObjectLocations && value != null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	982 return newTypedObjectLocation(useFinal, value.getClass(), nonNull);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	983 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	984 return newObjectLocation(useFinal, nonNull && value != null);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	985 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	986
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	987 protected abstract Location locationForValueUpcast(Object value, Location oldLocation);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	988
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	989 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	990 protected Location locationForType(Class<?> type, boolean useFinal, boolean nonNull) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	991 if (type == int.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	992 return newIntLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	993 } else if (type == double.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	994 return newDoubleLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	995 } else if (type == long.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	996 return newLongLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	997 } else if (type == boolean.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	998 return newBooleanLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	999 } else if (ObjectStorageOptions.TypedObjectLocations && type != null && type != Object.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1000 assert !type.isPrimitive() : "unsupported primitive type";
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1001 return newTypedObjectLocation(useFinal, type, nonNull);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1002 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1003 return newObjectLocation(useFinal, nonNull);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1004 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1005
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1006 protected Location newDualLocation(Class<?> type) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1007 return new DualLocation((InternalLongLocation) newLongLocation(false), (ObjectLocation) newObjectLocation(false, false), layout, type);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1008 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1009
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1010 protected DualLocation newDualLocationForValue(Object value) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1011 Class<?> initialType = null;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1012 if (value instanceof Integer) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1013 initialType = int.class;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1014 } else if (value instanceof Double) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1015 initialType = double.class;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1016 } else if (value instanceof Boolean) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1017 initialType = boolean.class;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1018 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1019 initialType = Object.class;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1020 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1021 return new DualLocation((InternalLongLocation) newLongLocation(false), (ObjectLocation) newObjectLocation(false, false), layout, initialType);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1022 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1023
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1024 protected Location newDeclaredDualLocation(Object value) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1025 return new DeclaredDualLocation((InternalLongLocation) newLongLocation(false), (ObjectLocation) newObjectLocation(false, false), value, layout);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1026 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1027
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1028 protected <T extends Location> T advance(T location0) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1029 if (location0 instanceof LocationImpl) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1030 LocationImpl location = (LocationImpl) location0;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1031 objectArraySize += location.objectArrayCount();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1032 primitiveArraySize += location.primitiveArrayCount();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1033 primitiveFieldSize += location.primitiveFieldCount();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1034 if (layout.hasPrimitiveExtensionArray()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1035 hasPrimitiveArray \|= location == layout.getPrimitiveArrayLocation() \|\| location.primitiveArrayCount() != 0;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1036 objectFieldSize = location == layout.getPrimitiveArrayLocation() ? objectFieldSize : Math.max(objectFieldSize, layout.objectFieldIndex(location) + location.objectFieldCount());
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1037 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1038 assert !hasPrimitiveArray && location.primitiveArrayCount() == 0;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1039 objectFieldSize += location.objectFieldCount();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1040 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1041 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1042 depth++;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1043 return location0;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1044 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1045
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1046 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1047 public BaseAllocator addLocation(Location location) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1048 advance(location);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1049 return this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1050 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1051 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1052
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1053 private static void debugRegisterShape(ShapeImpl newShape) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1054 if (ObjectStorageOptions.DumpShapes) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1055 Debug.registerShape(newShape);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1056 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1057 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1058
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1059 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1060 * Match all filter.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1061 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1062 public static final Pred<Property> ALL = new Pred<Property>() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1063 public boolean test(Property t) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1064 return true;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1065 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1066 };
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1067
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1068 private static final DebugCounter shapeCount = DebugCounter.create("Shapes allocated total");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1069 private static final DebugCounter shapeCloneCount = DebugCounter.create("Shapes allocated cloned");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1070 private static final DebugCounter shapeCacheHitCount = DebugCounter.create("Shape cache hits");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1071 private static final DebugCounter shapeCacheMissCount = DebugCounter.create("Shape cache misses");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1072
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1073 protected static final DebugCounter propertyListAllocCount = DebugCounter.create("Property lists allocated");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1074 protected static final DebugCounter propertyListShareCount = DebugCounter.create("Property lists shared");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1075 }

Mercurial > hg > truffle

annotate graal/com.oracle.truffle.object/src/com/oracle/truffle/object/ShapeImpl.java @ 18623:8bf798e8cf11