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 @ 21943:1adad389c232

Truffle: remove Shape#copyOverPropertiesInternal

author	Andreas Woess <andreas.woess@oracle.com>
date	Tue, 16 Jun 2015 19:26:49 +0200
parents	c0744b24b230
children	16725287d5af

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.*;
21902 e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap Andreas Woess <andreas.woess@oracle.com> parents: 21901 diff changeset	26 import java.util.concurrent.*;
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	27
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	28 import com.oracle.truffle.api.*;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	29 import com.oracle.truffle.api.CompilerDirectives.CompilationFinal;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	30 import com.oracle.truffle.api.CompilerDirectives.TruffleBoundary;
18747 6db7923af642 OM: DynamicObject extends TruffleObject, add default implementation Matthias Grimmer <grimmer@ssw.jku.at> parents: 18627 diff changeset	31 import com.oracle.truffle.api.interop.*;
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	32 import com.oracle.truffle.api.nodes.*;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	33 import com.oracle.truffle.api.object.*;
18624 a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	34 import com.oracle.truffle.api.utilities.*;
21554 b1530a6cce8c renamed com.oracle.graal.[debug\|options\|hotspotvmconfig]* modules to com.oracle.jvmci.[debug\|options\|hotspotvmconfig]* modules (JBS:GRAAL-53) Doug Simon <doug.simon@oracle.com> parents: 21052 diff changeset	35 import com.oracle.truffle.object.LocationImpl.InternalLongLocation;
b1530a6cce8c renamed com.oracle.graal.[debug\|options\|hotspotvmconfig]* modules to com.oracle.jvmci.[debug\|options\|hotspotvmconfig]* modules (JBS:GRAAL-53) Doug Simon <doug.simon@oracle.com> parents: 21052 diff changeset	36 import com.oracle.truffle.object.LocationImpl.LocationVisitor;
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	37 import com.oracle.truffle.object.Locations.ConstantLocation;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	38 import com.oracle.truffle.object.Locations.DeclaredDualLocation;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	39 import com.oracle.truffle.object.Locations.DeclaredLocation;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	40 import com.oracle.truffle.object.Locations.DualLocation;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	41 import com.oracle.truffle.object.Locations.ValueLocation;
18621 b3b241bbbbdb OM: rename transitions Andreas Woess <andreas.woess@jku.at> parents: 18408 diff changeset	42 import com.oracle.truffle.object.Transition.AddPropertyTransition;
21901 19340125f182 Truffle: model property replace as direct transition Andreas Woess <andreas.woess@oracle.com> parents: 21900 diff changeset	43 import com.oracle.truffle.object.Transition.DirectReplacePropertyTransition;
18621 b3b241bbbbdb OM: rename transitions Andreas Woess <andreas.woess@jku.at> parents: 18408 diff changeset	44 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	45 import com.oracle.truffle.object.Transition.PropertyTransition;
18621 b3b241bbbbdb OM: rename transitions Andreas Woess <andreas.woess@jku.at> parents: 18408 diff changeset	46 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	47 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	48
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	49 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	50 * 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	51 * 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	52 * 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	53 * 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	54 * 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	55 * 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	56 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	57 * @see DynamicObject
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	58 * @see Property
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	59 * @see Locations
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	60 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	61 public abstract class ShapeImpl extends Shape {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	62 private final int id;
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 protected final LayoutImpl layout;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	65 protected final ObjectType objectType;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	66 protected final ShapeImpl parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	67 protected final PropertyMap propertyMap;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	68
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	69 private final Object extraData;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	70 private final Object sharedData;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	71 private final ShapeImpl root;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	72
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	73 protected final int objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	74 protected final int objectArrayCapacity;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	75 protected final int objectFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	76 protected final int primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	77 protected final int primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	78 protected final int primitiveArrayCapacity;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	79 protected final boolean hasPrimitiveArray;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	80
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	81 protected final int depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	82 protected final int propertyCount;
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 protected final Assumption validAssumption;
18624 a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	85 @CompilationFinal protected volatile Assumption leafAssumption;
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	86
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	87 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	88 * Shape transition map; lazily initialized.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	89 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	90 * @see #getTransitionMapForRead()
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	91 * @see #getTransitionMapForWrite()
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	92 */
21902 e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap Andreas Woess <andreas.woess@oracle.com> parents: 21901 diff changeset	93 private volatile Map<Transition, ShapeImpl> transitionMap;
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	94
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	95 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	96
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	97 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	98 * Private constructor.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	99 *
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	100 * @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	101 * @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	102 * @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	103 * BaseAllocator, int)
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	104 */
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	105 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	106 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	107 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	108 this.objectType = Objects.requireNonNull(objectType);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	109 this.propertyMap = Objects.requireNonNull(propertyMap);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	110 this.root = parent != null ? parent.getRoot() : this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	111 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	112 this.transitionFromParent = transitionFromParent;
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	113 this.objectArraySize = objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	114 this.objectArrayCapacity = capacityFromSize(objectArraySize);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	115 this.objectFieldSize = objectFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	116 this.primitiveFieldSize = primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	117 this.primitiveArraySize = primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	118 this.primitiveArrayCapacity = capacityFromSize(primitiveArraySize);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	119 this.hasPrimitiveArray = hasPrimitiveArray;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	120
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	121 if (parent != null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	122 this.propertyCount = makePropertyCount(parent, propertyMap);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	123 this.depth = parent.depth + 1;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	124 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	125 this.propertyCount = 0;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	126 this.depth = 0;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	127 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	128
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	129 this.validAssumption = createValidAssumption();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	130
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	131 this.id = id;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	132 shapeCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	133
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	134 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	135 this.extraData = objectType.createShapeData(this);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	136
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	137 debugRegisterShape(this);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	138 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	139
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	140 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	141 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	142 ((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	143 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	144
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	145 @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	146 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	147
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	148 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	149 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	150 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	151
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	152 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	153 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	154 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	155
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	156 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	157 public final Property getLastProperty() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	158 return propertyMap.getLastProperty();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	159 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	160
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	161 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	162 public final int getId() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	163 return this.id;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	164 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	165
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	166 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	167 * 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	168 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	169 private static int capacityFromSize(int size) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	170 if (size == 0) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	171 return 0;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	172 } else if (size < 4) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	173 return 4;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	174 } else if (size < 32) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	175 return ((size + 7) / 8) * 8;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	176 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	177 return ((size + 15) / 16) * 16;
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 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	180
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	181 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	182 public final int getObjectArraySize() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	183 return objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	184 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	185
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	186 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	187 public final int getObjectFieldSize() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	188 return objectFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	189 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	190
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	191 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	192 public final int getPrimitiveFieldSize() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	193 return primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	194 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	195
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	196 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	197 public final int getObjectArrayCapacity() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	198 return objectArrayCapacity;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	199 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	200
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	201 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	202 public final int getPrimitiveArrayCapacity() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	203 return primitiveArrayCapacity;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	204 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	205
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	206 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	207 public final int getPrimitiveArraySize() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	208 return primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	209 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	210
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	211 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	212 public final boolean hasPrimitiveArray() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	213 return hasPrimitiveArray;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	214 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	215
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	216 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	217 * 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	218 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	219 public final ShapeImpl getShapeFromProperty(Object propertyName) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	220 ShapeImpl current = this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	221 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	222 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	223 return current;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	224 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	225 current = current.getParent();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	226 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	227
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	228 return null;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	229 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	230
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	231 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	232 * 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	233 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	234 public final ShapeImpl getShapeFromProperty(Property prop) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	235 ShapeImpl current = this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	236 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	237 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	238 return current;
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 current = current.parent;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	243 return null;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	244 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	245
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	246 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	247 * Get a property entry by string name.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	248 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	249 * @param key the name to look up
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	250 * @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	251 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	252 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	253 @TruffleBoundary
19505 068256ee3b90 Make ShapeImpl#getProperty overridable. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18795 diff changeset	254 public Property getProperty(Object key) {
21052 de8880bbf2e1 Truffle: simplify getProperty; minor cleanup Andreas Woess <andreas.woess@oracle.com> parents: 19734 diff changeset	255 return propertyMap.get(key);
18408 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
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	258 protected final void addDirectTransition(Transition transition, ShapeImpl next) {
18625 073e7f314516 OM: add Transition#isDirect() Andreas Woess <andreas.woess@jku.at> parents: 18624 diff changeset	259 assert next.getParent() == this && transition.isDirect();
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	260 addTransitionInternal(transition, next);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	261 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	262
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	263 public final void addIndirectTransition(Transition transition, ShapeImpl next) {
18625 073e7f314516 OM: add Transition#isDirect() Andreas Woess <andreas.woess@jku.at> parents: 18624 diff changeset	264 assert next.getParent() != this && !transition.isDirect();
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	265 addTransitionInternal(transition, next);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	266 }
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 private void addTransitionInternal(Transition transition, ShapeImpl next) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	269 getTransitionMapForWrite().put(transition, next);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	270 }
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 public final Map<Transition, ShapeImpl> getTransitionMapForRead() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	273 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	274 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	275
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	276 private Map<Transition, ShapeImpl> getTransitionMapForWrite() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	277 if (transitionMap != null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	278 return transitionMap;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	279 } else {
21902 e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap Andreas Woess <andreas.woess@oracle.com> parents: 21901 diff changeset	280 synchronized (getMutex()) {
e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap Andreas Woess <andreas.woess@oracle.com> parents: 21901 diff changeset	281 if (transitionMap != null) {
e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap Andreas Woess <andreas.woess@oracle.com> parents: 21901 diff changeset	282 return transitionMap;
e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap Andreas Woess <andreas.woess@oracle.com> parents: 21901 diff changeset	283 }
e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap Andreas Woess <andreas.woess@oracle.com> parents: 21901 diff changeset	284 invalidateLeafAssumption();
e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap Andreas Woess <andreas.woess@oracle.com> parents: 21901 diff changeset	285 return transitionMap = new ConcurrentHashMap<>();
e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap Andreas Woess <andreas.woess@oracle.com> parents: 21901 diff changeset	286 }
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	287 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	288 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	289
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	290 public final PropertyMap getPropertyMap() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	291 return propertyMap;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	292 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	293
21901 19340125f182 Truffle: model property replace as direct transition Andreas Woess <andreas.woess@oracle.com> parents: 21900 diff changeset	294 protected final ShapeImpl queryTransition(Transition transition) {
18627 196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	295 ShapeImpl cachedShape = this.getTransitionMapForRead().get(transition);
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	296 if (cachedShape != null) { // Shape already exists?
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	297 shapeCacheHitCount.inc();
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	298 return (ShapeImpl) layout.getStrategy().returnCached(cachedShape);
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	299 }
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	300 shapeCacheMissCount.inc();
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	301
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	302 return null;
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	303 }
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	304
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	305 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	306 * 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	307 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	308 * @param property the property to add
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	309 * @return the new Shape
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	310 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	311 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	312 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	313 public ShapeImpl addProperty(Property property) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	314 assert isValid();
21900 cb051c368c80 Truffle: move property notification hook to shared data, and call it on remove as well Andreas Woess <andreas.woess@oracle.com> parents: 21770 diff changeset	315 onPropertyTransition(property);
cb051c368c80 Truffle: move property notification hook to shared data, and call it on remove as well Andreas Woess <andreas.woess@oracle.com> parents: 21770 diff changeset	316 return addPropertyInternal(property);
cb051c368c80 Truffle: move property notification hook to shared data, and call it on remove as well Andreas Woess <andreas.woess@oracle.com> parents: 21770 diff changeset	317 }
cb051c368c80 Truffle: move property notification hook to shared data, and call it on remove as well Andreas Woess <andreas.woess@oracle.com> parents: 21770 diff changeset	318
21924 c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	319 private void onPropertyTransition(Property property) {
21900 cb051c368c80 Truffle: move property notification hook to shared data, and call it on remove as well Andreas Woess <andreas.woess@oracle.com> parents: 21770 diff changeset	320 if (sharedData instanceof ShapeListener) {
cb051c368c80 Truffle: move property notification hook to shared data, and call it on remove as well Andreas Woess <andreas.woess@oracle.com> parents: 21770 diff changeset	321 ((ShapeListener) sharedData).onPropertyTransition(property.getKey());
cb051c368c80 Truffle: move property notification hook to shared data, and call it on remove as well Andreas Woess <andreas.woess@oracle.com> parents: 21770 diff changeset	322 }
18408 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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	325 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	326 * 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	327 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	328 * 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	329 * obsolete shapes.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	330 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	331 * @see #addProperty(Property)
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	332 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	333 private ShapeImpl addPropertyInternal(Property prop) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	334 CompilerAsserts.neverPartOfCompilation();
19604 7d5a0223dc44 Truffle: minor ShapeImpl cleanup Andreas Woess <andreas.woess@oracle.com> parents: 19505 diff changeset	335 assert prop.isShadow() \|\| !(this.hasProperty(prop.getKey())) : "duplicate property " + prop.getKey();
19734 b53f87e24a7b Truffle: deactivate assertion that is cause performance problems Christian Wirth <christian.wirth@oracle.com> parents: 19604 diff changeset	336 // assertion caused performance issues on e.g. testv8 regress-619.js
b53f87e24a7b Truffle: deactivate assertion that is cause performance problems Christian Wirth <christian.wirth@oracle.com> parents: 19604 diff changeset	337 // assert !getPropertyListInternal(false).contains(prop);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	338
18627 196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	339 AddPropertyTransition addTransition = new AddPropertyTransition(prop);
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	340 ShapeImpl cachedShape = queryTransition(addTransition);
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	341 if (cachedShape != null) {
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	342 return cachedShape;
18408 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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	345 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	346
18627 196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	347 ShapeImpl newShape = makeShapeWithAddedProperty(oldShape, addTransition);
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	348 oldShape.addDirectTransition(addTransition, newShape);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	349 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	350 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	351
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	352 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	353 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	354 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	355
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 * Create a separate clone of a shape.
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 * @param newParent the cloned parent shape
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 protected final ShapeImpl cloneOnto(ShapeImpl newParent) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	362 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	363 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	364
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	365 shapeCloneCount.inc();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	366
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	367 // (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	368 newParent.addDirectTransition(from.transitionFromParent, newShape);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	369 return newShape;
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
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	372 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	373 return transitionFromParent;
18408 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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	376 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	377 * 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	378 */
18621 b3b241bbbbdb OM: rename transitions Andreas Woess <andreas.woess@jku.at> parents: 18408 diff changeset	379 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	380 Property addend = addTransition.getProperty();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	381 BaseAllocator allocator = parent.allocator().addLocation(addend.getLocation());
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	382
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	383 PropertyMap newPropertyMap = parent.propertyMap.putCopy(addend);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	384
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	385 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	386 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	387 assert newShape.depth == allocator.depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	388 return newShape;
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 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	392 * 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	393 */
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	394 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	395 assert parent.getLayout().hasPrimitiveExtensionArray();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	396 assert !parent.hasPrimitiveArray();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	397 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	398 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	399 assert newShape.hasPrimitiveArray();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	400 assert newShape.depth == allocator.depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	401 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	402 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	403
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	404 private ShapeImpl addPrimitiveExtensionArray() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	405 assert layout.hasPrimitiveExtensionArray() && !hasPrimitiveArray();
18627 196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	406 Transition transition = new ReservePrimitiveArrayTransition();
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	407 ShapeImpl cachedShape = queryTransition(transition);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	408 if (cachedShape != null) {
18627 196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	409 return cachedShape;
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	410 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	411
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	412 ShapeImpl oldShape = (ShapeImpl) layout.getStrategy().ensureSpace(this, layout.getPrimitiveArrayLocation());
18627 196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	413 ShapeImpl newShape = makeShapeWithPrimitiveExtensionArray(oldShape, transition);
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	414 oldShape.addDirectTransition(transition, newShape);
18408 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 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	419 * 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	420 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	421 * @param other Shape to compare to
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	422 * @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	423 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	424 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	425 public boolean isRelated(Shape other) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	426 if (this == other) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	427 return true;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	428 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	429 if (this.getRoot() == getRoot()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	430 return true;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	431 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	432 return false;
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 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	436 * 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	437 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	438 * @return list of properties
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 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	441 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	442 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	443 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	444 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	445 if (!currentProperty.isHidden() && filter.test(currentProperty)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	446 if (currentProperty.getLocation() instanceof DeclaredLocation) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	447 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	448 Property other = iter.next();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	449 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	450 iter.remove();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	451 props.addFirst(other);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	452 continue next;
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 }
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 props.addFirst(currentProperty);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	457 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	458 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	459 return props;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	460 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	461
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	462 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	463 public final List<Property> getPropertyList() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	464 return getPropertyList(ALL);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	465 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	466
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	467 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	468 * 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	469 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	470 * @param ascending desired order
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 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	473 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	474 public final List<Property> getPropertyListInternal(boolean ascending) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	475 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	476 for (Property current : this.propertyMap.reverseOrderValues()) {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	477 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	478 props.addFirst(current);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	479 } else {
18622 a306a94111a6 OM: iterate over properties using property map instead of parent chain Andreas Woess <andreas.woess@jku.at> parents: 18621 diff changeset	480 props.add(current);
18408 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 return props;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	484 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	485
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	486 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	487 * 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	488 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	489 * @return list of property names
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	490 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	491 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	492 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	493 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	494 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	495 for (Property currentProperty : this.propertyMap.reverseOrderValues()) {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	496 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	497 keys.addFirst(currentProperty.getKey());
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 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	500 return keys;
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 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	504 public final List<Object> getKeyList() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	505 return getKeyList(ALL);
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
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 Iterable<Object> getKeys() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	510 return getKeyList();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	511 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	512
18624 a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	513 @Override
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	514 public final boolean isValid() {
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	515 return getValidAssumption().isValid();
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	516 }
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 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	519 public final Assumption getValidAssumption() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	520 return validAssumption;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	521 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	522
18624 a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	523 private static Assumption createValidAssumption() {
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	524 return Truffle.getRuntime().createAssumption("valid shape");
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	525 }
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	526
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	527 public final void invalidateValidAssumption() {
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	528 getValidAssumption().invalidate();
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	529 }
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	530
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	531 @Override
18624 a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	532 public final boolean isLeaf() {
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	533 return leafAssumption == null \|\| leafAssumption.isValid();
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	534 }
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	535
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	536 @Override
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	537 public final Assumption getLeafAssumption() {
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	538 if (leafAssumption == null) {
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	539 CompilerDirectives.transferToInterpreterAndInvalidate();
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	540 synchronized (getMutex()) {
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	541 if (leafAssumption == null) {
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	542 leafAssumption = isLeafHelper() ? createLeafAssumption() : NeverValidAssumption.INSTANCE;
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	543 }
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	544 }
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	545 }
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	546 return leafAssumption;
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	547 }
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	548
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	549 private boolean isLeafHelper() {
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	550 return getTransitionMapForRead().isEmpty();
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	551 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	552
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	553 private static Assumption createLeafAssumption() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	554 return Truffle.getRuntime().createAssumption("leaf shape");
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	557 private void invalidateLeafAssumption() {
18624 a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	558 Assumption assumption = leafAssumption;
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	559 if (assumption != null) {
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	560 assumption.invalidate();
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	561 } else {
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	562 leafAssumption = NeverValidAssumption.INSTANCE;
a9a14b31f3b3 OM: lazy initialization of leaf assumption Andreas Woess <andreas.woess@jku.at> parents: 18623 diff changeset	563 }
18408 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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	566 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	567 public String toString() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	568 return toStringLimit(Integer.MAX_VALUE);
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	571 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	572 public String toStringLimit(int limit) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	573 StringBuilder sb = new StringBuilder();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	574 sb.append('@');
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	575 sb.append(Integer.toHexString(hashCode()));
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	576 if (!isValid()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	577 sb.append('!');
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	580 sb.append("{");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	581 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	582 Property p = iterator.next();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	583 sb.append(p);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	584 if (iterator.hasNext()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	585 sb.append(", ");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	586 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	587 if (sb.length() >= limit) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	588 sb.append("...");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	589 break;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	590 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	591 sb.append("\n");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	592 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	593 sb.append("}");
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	594
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	595 return sb.toString();
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	598 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	599 public final ShapeImpl getParent() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	600 return parent;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	603 public final int getDepth() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	604 return depth;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	607 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	608 public final boolean hasProperty(Object name) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	609 return getProperty(name) != null;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	612 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	613 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	614 public final ShapeImpl removeProperty(Property prop) {
21900 cb051c368c80 Truffle: move property notification hook to shared data, and call it on remove as well Andreas Woess <andreas.woess@oracle.com> parents: 21770 diff changeset	615 onPropertyTransition(prop);
cb051c368c80 Truffle: move property notification hook to shared data, and call it on remove as well Andreas Woess <andreas.woess@oracle.com> parents: 21770 diff changeset	616
18621 b3b241bbbbdb OM: rename transitions Andreas Woess <andreas.woess@jku.at> parents: 18408 diff changeset	617 RemovePropertyTransition transition = new RemovePropertyTransition(prop);
18627 196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	618 ShapeImpl cachedShape = queryTransition(transition);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	619 if (cachedShape != null) {
18627 196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	620 return cachedShape;
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	621 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	622
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	623 ShapeImpl shape = getShapeFromProperty(prop);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	624 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	625 List<Transition> transitionList = new ArrayList<>();
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	626 ShapeImpl current = this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	627 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	628 transitionList.add(current.getTransitionFromParent());
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	629 current = current.parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	630 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	631 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	632 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	633 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	634 newShape = newShape.applyTransition(previous, true);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	635 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	636
19604 7d5a0223dc44 Truffle: minor ShapeImpl cleanup Andreas Woess <andreas.woess@oracle.com> parents: 19505 diff changeset	637 addIndirectTransition(transition, newShape);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	638 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	639 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	640 return null;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	641 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	642 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	643
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	644 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	645 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	646 public final ShapeImpl append(Property oldProperty) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	647 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	648 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	649
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	650 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	651 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	652 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	653 } 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	654 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	655 } 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	656 return reservePrimitiveExtensionArray();
21901 19340125f182 Truffle: model property replace as direct transition Andreas Woess <andreas.woess@oracle.com> parents: 21900 diff changeset	657 } else if (transition instanceof DirectReplacePropertyTransition) {
19340125f182 Truffle: model property replace as direct transition Andreas Woess <andreas.woess@oracle.com> parents: 21900 diff changeset	658 return replaceProperty(((DirectReplacePropertyTransition) transition).getPropertyBefore(), ((DirectReplacePropertyTransition) transition).getPropertyAfter());
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	659 } 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	660 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	661 }
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	662 }
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	663
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	664 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	665 public final BaseAllocator allocator() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	666 return layout.getStrategy().createAllocator(this);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	667 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	668
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	669 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	670 * 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	671 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	672 @Override
21901 19340125f182 Truffle: model property replace as direct transition Andreas Woess <andreas.woess@oracle.com> parents: 21900 diff changeset	673 public ShapeImpl replaceProperty(Property oldProperty, Property newProperty) {
21924 c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	674 return indirectReplaceProperty(oldProperty, newProperty);
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	675 }
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	676
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	677 protected final ShapeImpl indirectReplaceProperty(Property oldProperty, Property newProperty) {
21901 19340125f182 Truffle: model property replace as direct transition Andreas Woess <andreas.woess@oracle.com> parents: 21900 diff changeset	678 assert oldProperty.getKey().equals(newProperty.getKey());
19340125f182 Truffle: model property replace as direct transition Andreas Woess <andreas.woess@oracle.com> parents: 21900 diff changeset	679
19340125f182 Truffle: model property replace as direct transition Andreas Woess <andreas.woess@oracle.com> parents: 21900 diff changeset	680 Transition replacePropertyTransition = new Transition.IndirectReplacePropertyTransition(oldProperty, newProperty);
18627 196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	681 ShapeImpl cachedShape = queryTransition(replacePropertyTransition);
18626 ce46f909c176 OM: record replaceProperty transitions Andreas Woess <andreas.woess@jku.at> parents: 18625 diff changeset	682 if (cachedShape != null) {
18627 196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	683 return cachedShape;
18626 ce46f909c176 OM: record replaceProperty transitions Andreas Woess <andreas.woess@jku.at> parents: 18625 diff changeset	684 }
ce46f909c176 OM: record replaceProperty transitions Andreas Woess <andreas.woess@jku.at> parents: 18625 diff changeset	685
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	686 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	687 List<Transition> transitionList = new ArrayList<>();
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	688 boolean found = false;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	689 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	690 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	691 transitionList.add(transition);
18626 ce46f909c176 OM: record replaceProperty transitions Andreas Woess <andreas.woess@jku.at> parents: 18625 diff changeset	692 if (transition instanceof AddPropertyTransition && ((AddPropertyTransition) transition).getProperty().getKey().equals(newProperty.getKey())) {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	693 found = true;
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 top = top.parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	696 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	697 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	698 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	699 Transition transition = iterator.previous();
18626 ce46f909c176 OM: record replaceProperty transitions Andreas Woess <andreas.woess@jku.at> parents: 18625 diff changeset	700 if (transition instanceof AddPropertyTransition && ((AddPropertyTransition) transition).getProperty().getKey().equals(newProperty.getKey())) {
ce46f909c176 OM: record replaceProperty transitions Andreas Woess <andreas.woess@jku.at> parents: 18625 diff changeset	701 newShape = newShape.addProperty(newProperty);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	702 } 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	703 newShape = newShape.applyTransition(transition, false);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	704 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	705 }
21924 c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	706
18626 ce46f909c176 OM: record replaceProperty transitions Andreas Woess <andreas.woess@jku.at> parents: 18625 diff changeset	707 addIndirectTransition(replacePropertyTransition, newShape);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	708 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	709 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	710
21924 c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	711 protected final ShapeImpl directReplaceProperty(Property oldProperty, Property newProperty) {
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	712 assert oldProperty.getKey().equals(newProperty.getKey());
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	713 onPropertyTransition(oldProperty);
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	714
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	715 Transition replacePropertyTransition = new Transition.DirectReplacePropertyTransition(oldProperty, newProperty);
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	716 ShapeImpl cachedShape = queryTransition(replacePropertyTransition);
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	717 if (cachedShape != null) {
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	718 return cachedShape;
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	719 }
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	720 PropertyMap newPropertyMap = this.getPropertyMap().replaceCopy(oldProperty, newProperty);
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	721 ShapeImpl newShape = createShape(getLayout(), getSharedData(), this, getObjectType(), newPropertyMap, replacePropertyTransition, allocator(), getId());
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	722
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	723 addDirectTransition(replacePropertyTransition, newShape);
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	724 return newShape;
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	725 }
c0744b24b230 Truffle: minor refactoring Andreas Woess <andreas.woess@oracle.com> parents: 21923 diff changeset	726
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	727 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	728 * 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	729 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	730 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	731 if (!left.isRelated(right)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	732 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	733 } else if (left == right) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	734 return left;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	735 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	736 int leftLength = left.depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	737 int rightLength = right.depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	738 ShapeImpl leftPtr = left;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	739 ShapeImpl rightPtr = right;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	740 while (leftLength > rightLength) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	741 leftPtr = leftPtr.parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	742 leftLength--;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	743 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	744 while (rightLength > leftLength) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	745 rightPtr = rightPtr.parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	746 rightLength--;
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 while (leftPtr != rightPtr) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	749 leftPtr = leftPtr.parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	750 rightPtr = rightPtr.parent;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	751 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	752 return leftPtr;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	753 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	754
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	755 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	756 public final int getPropertyCount() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	757 return propertyCount;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	758 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	759
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	760 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	761 * Find difference between two shapes.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	762 *
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	763 * @see ObjectStorageOptions#TraceReshape
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 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	766 List<Property> oldList = oldShape.getPropertyListInternal(false);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	767 List<Property> newList = newShape.getPropertyListInternal(false);
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 List<Property> diff = new ArrayList<>(oldList);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	770 diff.addAll(newList);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	771 List<Property> intersection = new ArrayList<>(oldList);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	772 intersection.retainAll(newList);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	773 diff.removeAll(intersection);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	774 return diff;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	775 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	776
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	777 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	778 public ObjectType getObjectType() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	779 return objectType;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	780 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	781
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	782 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	783 public ShapeImpl getRoot() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	784 return root;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	785 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	786
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	787 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	788 public final boolean check(DynamicObject subject) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	789 return subject.getShape() == this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	790 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	791
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	792 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	793 public final LayoutImpl getLayout() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	794 return layout;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	795 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	796
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	797 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	798 public final Object getData() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	799 return extraData;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	800 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	801
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	802 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	803 public final Object getSharedData() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	804 return sharedData;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	805 }
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 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	808 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	809 public final boolean hasTransitionWithKey(Object key) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	810 for (Transition transition : getTransitionMapForRead().keySet()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	811 if (transition instanceof PropertyTransition) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	812 if (((PropertyTransition) transition).getProperty().getKey().equals(key)) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	813 return true;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	814 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	815 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	816 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	817 return false;
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 * 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	822 */
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	823 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	824 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	825 public final ShapeImpl createSeparateShape(Object newSharedData) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	826 if (parent == null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	827 return cloneRoot(this, newSharedData);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	828 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	829 return this.cloneOnto(parent.createSeparateShape(newSharedData));
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	830 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	831 }
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 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	834 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	835 public final ShapeImpl changeType(ObjectType newOps) {
18621 b3b241bbbbdb OM: rename transitions Andreas Woess <andreas.woess@jku.at> parents: 18408 diff changeset	836 ObjectTypeTransition transition = new ObjectTypeTransition(newOps);
18627 196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	837 ShapeImpl cachedShape = queryTransition(transition);
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	838 if (cachedShape != null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	839 return cachedShape;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	840 }
18627 196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	841
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	842 ShapeImpl newShape = createShape(layout, sharedData, this, newOps, propertyMap, transition, allocator(), id);
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	843 addDirectTransition(transition, newShape);
196cf131ed32 OM: extract queryTransition method Andreas Woess <andreas.woess@jku.at> parents: 18626 diff changeset	844 return newShape;
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	845 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	846
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	847 @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	848 public final ShapeImpl reservePrimitiveExtensionArray() {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	849 if (layout.hasPrimitiveExtensionArray() && !hasPrimitiveArray()) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	850 return addPrimitiveExtensionArray();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	851 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	852 return this;
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	855 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	856 public final Iterable<Property> getProperties() {
21923 1b695a36c4d5 Truffle: remove cached property array Andreas Woess <andreas.woess@oracle.com> parents: 21902 diff changeset	857 return getPropertyList();
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	858 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	859
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	860 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	861 public final DynamicObject newInstance() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	862 return layout.newInstance(this);
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 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	866 public final DynamicObjectFactory createFactory() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	867 final List<Property> properties = getPropertyListInternal(true);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	868 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	869 Property property = iterator.next();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	870 // skip non-instance fields
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	871 assert property.getLocation() != layout.getPrimitiveArrayLocation();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	872 if (property.getLocation() instanceof ValueLocation) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	873 iterator.remove();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	874 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	875 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	876
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	877 return new DynamicObjectFactory() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	878 @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	879
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	880 @ExplodeLoop
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	881 public DynamicObject newInstance(Object... initialValues) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	882 DynamicObject store = ShapeImpl.this.newInstance();
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	883 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	884 instanceFields[i].setInternal(store, initialValues[i]);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	885 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	886 return store;
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 public Shape getShape() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	890 return ShapeImpl.this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	891 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	892 };
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	893 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	894
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	895 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	896 public Object getMutex() {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	897 return getRoot();
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 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	901 public Shape tryMerge(Shape other) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	902 return null;
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
18795 e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	905 public abstract static class BaseAllocator extends Allocator implements LocationVisitor {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	906 protected final LayoutImpl layout;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	907 protected int objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	908 protected int objectFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	909 protected int primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	910 protected int primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	911 protected boolean hasPrimitiveArray;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	912 protected int depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	913
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	914 protected BaseAllocator(LayoutImpl layout) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	915 this.layout = layout;
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 protected BaseAllocator(ShapeImpl shape) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	919 this(shape.getLayout());
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	920 this.objectArraySize = shape.objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	921 this.objectFieldSize = shape.objectFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	922 this.primitiveFieldSize = shape.primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	923 this.primitiveArraySize = shape.primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	924 this.hasPrimitiveArray = shape.hasPrimitiveArray;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	925 this.depth = shape.depth;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	926 }
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 protected abstract Location moveLocation(Location oldLocation);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	929
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	930 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	931
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	932 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	933
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	934 protected abstract Location newIntLocation(boolean useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	935
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	936 protected abstract Location newDoubleLocation(boolean useFinal);
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 abstract Location newLongLocation(boolean useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	939
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	940 protected abstract Location newBooleanLocation(boolean useFinal);
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 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	943 public final Location constantLocation(Object value) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	944 return new ConstantLocation(value);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	945 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	946
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	947 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	948 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	949 if (value instanceof Integer) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	950 return newIntLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	951 } else if (value instanceof Double) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	952 return newDoubleLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	953 } else if (value instanceof Long) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	954 return newLongLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	955 } else if (value instanceof Boolean) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	956 return newBooleanLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	957 } else if (ObjectStorageOptions.TypedObjectLocations && value != null) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	958 return newTypedObjectLocation(useFinal, value.getClass(), nonNull);
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 return newObjectLocation(useFinal, nonNull && value != null);
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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	963 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	964
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	965 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	966 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	967 if (type == int.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	968 return newIntLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	969 } else if (type == double.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	970 return newDoubleLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	971 } else if (type == long.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	972 return newLongLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	973 } else if (type == boolean.class) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	974 return newBooleanLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	975 } 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	976 assert !type.isPrimitive() : "unsupported primitive type";
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	977 return newTypedObjectLocation(useFinal, type, nonNull);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	978 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	979 return newObjectLocation(useFinal, nonNull);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	980 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	981
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	982 protected Location newDualLocation(Class<?> type) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	983 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	984 }
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 protected DualLocation newDualLocationForValue(Object value) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	987 Class<?> initialType = null;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	988 if (value instanceof Integer) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	989 initialType = int.class;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	990 } else if (value instanceof Double) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	991 initialType = double.class;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	992 } else if (value instanceof Boolean) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	993 initialType = boolean.class;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	994 } else {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	995 initialType = Object.class;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	996 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	997 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	998 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	999
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1000 protected Location newDeclaredDualLocation(Object value) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1001 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	1002 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1003
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1004 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	1005 if (location0 instanceof LocationImpl) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1006 LocationImpl location = (LocationImpl) location0;
18795 e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1007 if (location != layout.getPrimitiveArrayLocation()) {
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1008 location.accept(this);
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1009 }
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1010 if (layout.hasPrimitiveExtensionArray()) {
18795 e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1011 hasPrimitiveArray \|= location == layout.getPrimitiveArrayLocation() \|\| primitiveArraySize > 0;
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1012 } else {
18795 e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1013 assert !hasPrimitiveArray && primitiveArraySize == 0;
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1014 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1015 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1016 depth++;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1017 return location0;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1018 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1019
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1020 @Override
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1021 public BaseAllocator addLocation(Location location) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1022 advance(location);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1023 return this;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1024 }
18795 e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1025
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1026 public void visitObjectField(int index, int count) {
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1027 objectFieldSize = Math.max(objectFieldSize, index + count);
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1028 }
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1029
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1030 public void visitObjectArray(int index, int count) {
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1031 objectArraySize = Math.max(objectArraySize, index + count);
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1032 }
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1033
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1034 public void visitPrimitiveArray(int index, int count) {
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1035 primitiveArraySize = Math.max(primitiveArraySize, index + count);
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1036 }
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1037
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1038 public void visitPrimitiveField(int index, int count) {
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1039 primitiveFieldSize = Math.max(primitiveFieldSize, index + count);
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern Andreas Woess <andreas.woess@jku.at> parents: 18747 diff changeset	1040 }
18408 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
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1043 private static void debugRegisterShape(ShapeImpl newShape) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1044 if (ObjectStorageOptions.DumpShapes) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1045 Debug.registerShape(newShape);
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1046 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1047 }
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1048
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1049 /**
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1050 * Match all filter.
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1051 */
19604 7d5a0223dc44 Truffle: minor ShapeImpl cleanup Andreas Woess <andreas.woess@oracle.com> parents: 19505 diff changeset	1052 private static final Pred<Property> ALL = new Pred<Property>() {
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1053 public boolean test(Property t) {
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1054 return true;
2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1055 }
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 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	1059 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	1060 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	1061 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	1062
21770 c76742cc2c6f Polishing inter-operability APIs: Exposing only Message, TruffleObject and ForeignAccess-related classes. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21554 diff changeset	1063 public ForeignAccess getForeignAccessFactory() {
18747 6db7923af642 OM: DynamicObject extends TruffleObject, add default implementation Matthias Grimmer <grimmer@ssw.jku.at> parents: 18627 diff changeset	1064 return getObjectType().getForeignAccessFactory();
6db7923af642 OM: DynamicObject extends TruffleObject, add default implementation Matthias Grimmer <grimmer@ssw.jku.at> parents: 18627 diff changeset	1065 }
18408 2c3666f44855 Truffle: initial commit of object API implementation Andreas Woess <andreas.woess@jku.at> parents: diff changeset	1066 }

Mercurial > hg > truffle

annotate graal/com.oracle.truffle.object/src/com/oracle/truffle/object/ShapeImpl.java @ 21943:1adad389c232