Mercurial > hg > truffle

annotate truffle/com.oracle.truffle.object/src/com/oracle/truffle/object/ShapeImpl.java @ 22548:6b76a24fffbd default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Use all variables: a, b, u,v and x, y
author Jaroslav Tulach <jaroslav.tulach@oracle.com>
date Thu, 14 Jan 2016 14:20:57 +0100
parents 78306843f20c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
22288
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
25 import java.util.ArrayList;
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
26 import java.util.Collections;
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
27 import java.util.Iterator;
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
28 import java.util.LinkedList;
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
29 import java.util.List;
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
30 import java.util.ListIterator;
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
31 import java.util.Map;
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
32 import java.util.Objects;
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
33 import java.util.concurrent.ConcurrentHashMap;
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
34
22157
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 22153
diff changeset
35 import com.oracle.truffle.api.Assumption;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 22153
diff changeset
36 import com.oracle.truffle.api.CompilerAsserts;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 22153
diff changeset
37 import com.oracle.truffle.api.CompilerDirectives;
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
38 import com.oracle.truffle.api.CompilerDirectives.CompilationFinal;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
39 import com.oracle.truffle.api.CompilerDirectives.TruffleBoundary;
22157
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 22153
diff changeset
40 import com.oracle.truffle.api.Truffle;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 22153
diff changeset
41 import com.oracle.truffle.api.interop.ForeignAccess;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 22153
diff changeset
42 import com.oracle.truffle.api.nodes.ExplodeLoop;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 22153
diff changeset
43 import com.oracle.truffle.api.object.DynamicObject;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 22153
diff changeset
44 import com.oracle.truffle.api.object.DynamicObjectFactory;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 22153
diff changeset
45 import com.oracle.truffle.api.object.Layout;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 22153
diff changeset
46 import com.oracle.truffle.api.object.Location;
22288
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
47 import com.oracle.truffle.api.object.LocationFactory;
22157
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 22153
diff changeset
48 import com.oracle.truffle.api.object.ObjectLocation;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 22153
diff changeset
49 import com.oracle.truffle.api.object.ObjectType;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 22153
diff changeset
50 import com.oracle.truffle.api.object.Property;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 22153
diff changeset
51 import com.oracle.truffle.api.object.Shape;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 22153
diff changeset
52 import com.oracle.truffle.api.object.ShapeListener;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 22153
diff changeset
53 import com.oracle.truffle.api.utilities.NeverValidAssumption;
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
54 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
55 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
56 import com.oracle.truffle.object.Locations.ConstantLocation;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
57 import com.oracle.truffle.object.Locations.DeclaredDualLocation;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
58 import com.oracle.truffle.object.Locations.DeclaredLocation;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
59 import com.oracle.truffle.object.Locations.DualLocation;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
60 import com.oracle.truffle.object.Locations.ValueLocation;
18621
b3b241bbbbdb OM: rename transitions
Andreas Woess <andreas.woess@jku.at>
parents: 18408
diff changeset
61 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
62 import com.oracle.truffle.object.Transition.DirectReplacePropertyTransition;
18621
b3b241bbbbdb OM: rename transitions
Andreas Woess <andreas.woess@jku.at>
parents: 18408
diff changeset
63 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
64 import com.oracle.truffle.object.Transition.PropertyTransition;
18621
b3b241bbbbdb OM: rename transitions
Andreas Woess <andreas.woess@jku.at>
parents: 18408
diff changeset
65 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
66 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
67
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 * 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
70 * 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
71 * 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
72 * 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
73 * 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
74 * 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
75 *
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
76 * @see DynamicObject
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
77 * @see Property
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
78 * @see Locations
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
79 */
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
80 public abstract class ShapeImpl extends Shape {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
81 private final int id;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
82
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
83 protected final LayoutImpl layout;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
84 protected final ObjectType objectType;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
85 protected final ShapeImpl parent;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
86 protected final PropertyMap propertyMap;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
87
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
88 private final Object extraData;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
89 private final Object sharedData;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
90 private final ShapeImpl root;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
91
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
92 protected final int objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
93 protected final int objectArrayCapacity;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
94 protected final int objectFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
95 protected final int primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
96 protected final int primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
97 protected final int primitiveArrayCapacity;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
98 protected final boolean hasPrimitiveArray;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
99
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
100 protected final int depth;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
101 protected final int propertyCount;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
102
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
103 protected final Assumption validAssumption;
18624
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
104 @CompilationFinal protected volatile Assumption leafAssumption;
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
105
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
106 /**
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
107 * Shape transition map; lazily initialized.
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
108 *
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
109 * @see #getTransitionMapForRead()
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
110 * @see #getTransitionMapForWrite()
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
111 */
21902
e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap
Andreas Woess <andreas.woess@oracle.com>
parents: 21901
diff changeset
112 private volatile Map<Transition, ShapeImpl> transitionMap;
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
113
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
114 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
115
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
116 /**
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
117 * Private constructor.
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
118 *
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
119 * @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
120 * @param transitionFromParent direct transition from parent shape
22153
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
121 *
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
122 * @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
123 * BaseAllocator, int)
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
124 */
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
125 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
126 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
127 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
128 this.objectType = Objects.requireNonNull(objectType);
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
129 this.propertyMap = Objects.requireNonNull(propertyMap);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
130 this.root = parent != null ? parent.getRoot() : this;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
131 this.parent = parent;
22153
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
132
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
133 this.objectArraySize = objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
134 this.objectArrayCapacity = capacityFromSize(objectArraySize);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
135 this.objectFieldSize = objectFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
136 this.primitiveFieldSize = primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
137 this.primitiveArraySize = primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
138 this.primitiveArrayCapacity = capacityFromSize(primitiveArraySize);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
139 this.hasPrimitiveArray = hasPrimitiveArray;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
140
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
141 if (parent != null) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
142 this.propertyCount = makePropertyCount(parent, propertyMap);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
143 this.depth = parent.depth + 1;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
144 } else {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
145 this.propertyCount = 0;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
146 this.depth = 0;
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
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
149 this.validAssumption = createValidAssumption();
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 this.id = id;
22153
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
152 this.transitionFromParent = transitionFromParent;
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
153 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
154 this.extraData = objectType.createShapeData(this);
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
155
22153
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
156 shapeCount.inc();
22358
a647534602a6 minor debug code cleanup
Andreas Woess <andreas.woess@oracle.com>
parents: 22354
diff changeset
157 if (ObjectStorageOptions.DumpShapes) {
a647534602a6 minor debug code cleanup
Andreas Woess <andreas.woess@oracle.com>
parents: 22354
diff changeset
158 Debug.trackShape(this);
a647534602a6 minor debug code cleanup
Andreas Woess <andreas.woess@oracle.com>
parents: 22354
diff changeset
159 }
18408
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
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
162 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
163 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
164 ((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
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 @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
168 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
169
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
170 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
171 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
172 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
173
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
174 private static int makePropertyCount(ShapeImpl parent, PropertyMap propertyMap) {
22153
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
175 if (propertyMap.size() > parent.propertyMap.size()) {
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
176 Property lastProperty = propertyMap.getLastProperty();
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
177 if (!lastProperty.isHidden() && !lastProperty.isShadow()) {
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
178 return parent.propertyCount + 1;
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
179 }
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
180 }
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
181 return parent.propertyCount;
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
182 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
183
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
184 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
185 public final Property getLastProperty() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
186 return propertyMap.getLastProperty();
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
187 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
188
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
189 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
190 public final int getId() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
191 return this.id;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
192 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
193
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 * 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
196 */
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
197 private static int capacityFromSize(int size) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
198 if (size == 0) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
199 return 0;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
200 } else if (size < 4) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
201 return 4;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
202 } else if (size < 32) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
203 return ((size + 7) / 8) * 8;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
204 } else {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
205 return ((size + 15) / 16) * 16;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
206 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
207 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
208
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
209 public final int getObjectArraySize() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
210 return objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
211 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
212
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
213 public final int getObjectFieldSize() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
214 return objectFieldSize;
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 public final int getPrimitiveFieldSize() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
218 return primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
219 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
220
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
221 public final int getObjectArrayCapacity() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
222 return objectArrayCapacity;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
223 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
224
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
225 public final int getPrimitiveArrayCapacity() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
226 return primitiveArrayCapacity;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
227 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
228
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
229 public final int getPrimitiveArraySize() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
230 return primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
231 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
232
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
233 public final boolean hasPrimitiveArray() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
234 return hasPrimitiveArray;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
235 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
236
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
237 /**
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
238 * 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
239 */
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
240 public final ShapeImpl getShapeFromProperty(Object propertyName) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
241 ShapeImpl current = this;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
242 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
243 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
244 return current;
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 current = current.getParent();
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
247 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
248
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
249 return null;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
250 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
251
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
252 /**
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
253 * 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
254 */
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
255 public final ShapeImpl getShapeFromProperty(Property prop) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
256 ShapeImpl current = this;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
257 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
258 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
259 return current;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
260 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
261 current = current.parent;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
262 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
263
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
264 return null;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
265 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
266
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 * Get a property entry by string name.
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
269 *
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
270 * @param key the name to look up
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
271 * @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
272 */
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
273 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
274 @TruffleBoundary
19505
068256ee3b90 Make ShapeImpl#getProperty overridable.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 18795
diff changeset
275 public Property getProperty(Object key) {
21052
de8880bbf2e1 Truffle: simplify getProperty; minor cleanup
Andreas Woess <andreas.woess@oracle.com>
parents: 19734
diff changeset
276 return propertyMap.get(key);
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
277 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
278
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
279 protected final void addDirectTransition(Transition transition, ShapeImpl next) {
18625
073e7f314516 OM: add Transition#isDirect()
Andreas Woess <andreas.woess@jku.at>
parents: 18624
diff changeset
280 assert next.getParent() == this && transition.isDirect();
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
281 addTransitionInternal(transition, next);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
282 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
283
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
284 public final void addIndirectTransition(Transition transition, ShapeImpl next) {
18625
073e7f314516 OM: add Transition#isDirect()
Andreas Woess <andreas.woess@jku.at>
parents: 18624
diff changeset
285 assert next.getParent() != this && !transition.isDirect();
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
286 addTransitionInternal(transition, next);
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 private void addTransitionInternal(Transition transition, ShapeImpl next) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
290 getTransitionMapForWrite().put(transition, next);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
291 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
292
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
293 public final Map<Transition, ShapeImpl> getTransitionMapForRead() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
294 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
295 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
296
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
297 private Map<Transition, ShapeImpl> getTransitionMapForWrite() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
298 if (transitionMap != null) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
299 return transitionMap;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
300 } else {
21902
e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap
Andreas Woess <andreas.woess@oracle.com>
parents: 21901
diff changeset
301 synchronized (getMutex()) {
e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap
Andreas Woess <andreas.woess@oracle.com>
parents: 21901
diff changeset
302 if (transitionMap != null) {
e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap
Andreas Woess <andreas.woess@oracle.com>
parents: 21901
diff changeset
303 return transitionMap;
e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap
Andreas Woess <andreas.woess@oracle.com>
parents: 21901
diff changeset
304 }
e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap
Andreas Woess <andreas.woess@oracle.com>
parents: 21901
diff changeset
305 invalidateLeafAssumption();
e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap
Andreas Woess <andreas.woess@oracle.com>
parents: 21901
diff changeset
306 return transitionMap = new ConcurrentHashMap<>();
e9b787f8134f Truffle: make transitionMap a ConcurrentHashMap
Andreas Woess <andreas.woess@oracle.com>
parents: 21901
diff changeset
307 }
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
308 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
309 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
310
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
311 public final PropertyMap getPropertyMap() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
312 return propertyMap;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
313 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
314
21901
19340125f182 Truffle: model property replace as direct transition
Andreas Woess <andreas.woess@oracle.com>
parents: 21900
diff changeset
315 protected final ShapeImpl queryTransition(Transition transition) {
22366
78306843f20c minor Shape refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22358
diff changeset
316 return queryTransition(transition, true);
78306843f20c minor Shape refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22358
diff changeset
317 }
78306843f20c minor Shape refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22358
diff changeset
318
78306843f20c minor Shape refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22358
diff changeset
319 protected final ShapeImpl queryTransition(Transition transition, boolean ensureValid) {
18627
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
320 ShapeImpl cachedShape = this.getTransitionMapForRead().get(transition);
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
321 if (cachedShape != null) { // Shape already exists?
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
322 shapeCacheHitCount.inc();
22366
78306843f20c minor Shape refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22358
diff changeset
323 return ensureValid ? layout.getStrategy().ensureValid(cachedShape) : cachedShape;
18627
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
324 }
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
325 shapeCacheMissCount.inc();
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
326
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
327 return null;
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
328 }
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
329
18408
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 * 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
332 *
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
333 * @param property the property to add
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
334 * @return the new Shape
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
335 */
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
336 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
337 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
338 public ShapeImpl addProperty(Property property) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
339 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
340 onPropertyTransition(property);
22366
78306843f20c minor Shape refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22358
diff changeset
341 return addPropertyInternal(property, true);
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
342 }
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
343
21924
c0744b24b230 Truffle: minor refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 21923
diff changeset
344 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
345 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
346 ((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
347 }
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
348 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
349
22288
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
350 @TruffleBoundary
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
351 @Override
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
352 public ShapeImpl defineProperty(Object key, Object value, int flags) {
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
353 return defineProperty(key, value, flags, DEFAULT_LAYOUT_FACTORY);
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
354 }
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
355
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
356 @TruffleBoundary
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
357 @Override
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
358 public ShapeImpl defineProperty(Object key, Object value, int flags, LocationFactory locationFactory) {
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
359 ShapeImpl oldShape = this;
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
360 if (!oldShape.isValid()) {
22289
cf203af4610c avoid unnecessary casts
Andreas Woess <andreas.woess@oracle.com>
parents: 22288
diff changeset
361 oldShape = layout.getStrategy().ensureValid(oldShape);
22288
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
362 }
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
363 PropertyImpl existing = (PropertyImpl) oldShape.getProperty(key);
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
364 if (existing == null) {
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
365 return oldShape.addProperty(Property.create(key, locationFactory.createLocation(oldShape, value), flags));
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
366 } else {
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
367 if (existing.getFlags() == flags) {
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
368 if (existing.getLocation().canSet(value)) {
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
369 return oldShape;
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
370 } else {
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
371 if (existing.getLocation() instanceof DeclaredLocation) {
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
372 return oldShape.addProperty(existing.relocateShadow(locationFactory.createLocation(oldShape, value)));
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
373 } else {
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
374 return (ShapeImpl) layout.getStrategy().generalizeProperty(existing, value, oldShape, oldShape).getShape();
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
375 }
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
376 }
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
377 } else {
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
378 Property newProperty = Property.create(key, oldShape.getLayout().existingLocationForValue(value, existing.getLocation(), oldShape), flags);
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
379 return oldShape.replaceProperty(existing, newProperty);
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
380 }
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
381 }
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
382 }
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
383
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
384 /**
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
385 * 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
386 *
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
387 * 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
388 * obsolete shapes.
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 * @see #addProperty(Property)
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
391 */
22366
78306843f20c minor Shape refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22358
diff changeset
392 private ShapeImpl addPropertyInternal(Property prop, boolean ensureValid) {
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
393 CompilerAsserts.neverPartOfCompilation();
19604
7d5a0223dc44 Truffle: minor ShapeImpl cleanup
Andreas Woess <andreas.woess@oracle.com>
parents: 19505
diff changeset
394 assert prop.isShadow() || !(this.hasProperty(prop.getKey())) : "duplicate property " + prop.getKey();
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
395
18627
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
396 AddPropertyTransition addTransition = new AddPropertyTransition(prop);
22366
78306843f20c minor Shape refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22358
diff changeset
397 ShapeImpl cachedShape = queryTransition(addTransition, ensureValid);
18627
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
398 if (cachedShape != null) {
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
399 return cachedShape;
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
400 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
401
22289
cf203af4610c avoid unnecessary casts
Andreas Woess <andreas.woess@oracle.com>
parents: 22288
diff changeset
402 ShapeImpl oldShape = layout.getStrategy().ensureSpace(this, prop.getLocation());
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
403
18627
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
404 ShapeImpl newShape = makeShapeWithAddedProperty(oldShape, addTransition);
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
405 oldShape.addDirectTransition(addTransition, newShape);
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
406 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
407 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
409 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
410 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
411 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
412
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
413 /**
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
414 * Create a separate clone of a shape.
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
415 *
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
416 * @param newParent the cloned parent shape
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 protected final ShapeImpl cloneOnto(ShapeImpl newParent) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
419 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
420 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
421
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
422 shapeCloneCount.inc();
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 // (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
425 newParent.addDirectTransition(from.transitionFromParent, newShape);
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
426 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
427 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
428
18623
8bf798e8cf11 OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty
Andreas Woess <andreas.woess@jku.at>
parents: 18622
diff changeset
429 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
430 return transitionFromParent;
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
431 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
432
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
433 /**
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
434 * 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
435 */
18621
b3b241bbbbdb OM: rename transitions
Andreas Woess <andreas.woess@jku.at>
parents: 18408
diff changeset
436 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
437 Property addend = addTransition.getProperty();
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
438 BaseAllocator allocator = parent.allocator().addLocation(addend.getLocation());
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 PropertyMap newPropertyMap = parent.propertyMap.putCopy(addend);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
441
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
442 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
443 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
444 assert newShape.depth == allocator.depth;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
445 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
446 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
447
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
448 /**
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
449 * 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
450 */
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
451 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
452 assert parent.getLayout().hasPrimitiveExtensionArray();
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
453 assert !parent.hasPrimitiveArray();
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
454 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
455 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
456 assert newShape.hasPrimitiveArray();
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
457 assert newShape.depth == allocator.depth;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
458 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
459 }
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 private ShapeImpl addPrimitiveExtensionArray() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
462 assert layout.hasPrimitiveExtensionArray() && !hasPrimitiveArray();
18627
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
463 Transition transition = new ReservePrimitiveArrayTransition();
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
464 ShapeImpl cachedShape = queryTransition(transition);
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
465 if (cachedShape != null) {
18627
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
466 return cachedShape;
18408
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
22289
cf203af4610c avoid unnecessary casts
Andreas Woess <andreas.woess@oracle.com>
parents: 22288
diff changeset
469 ShapeImpl oldShape = layout.getStrategy().ensureSpace(this, layout.getPrimitiveArrayLocation());
18627
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
470 ShapeImpl newShape = makeShapeWithPrimitiveExtensionArray(oldShape, transition);
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
471 oldShape.addDirectTransition(transition, newShape);
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
472 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
473 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
474
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
475 /**
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
476 * 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
477 *
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
478 * @param other Shape to compare to
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
479 * @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
480 */
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
481 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
482 public boolean isRelated(Shape other) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
483 if (this == other) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
484 return true;
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 if (this.getRoot() == getRoot()) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
487 return true;
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 false;
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
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
492 /**
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
493 * 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
494 *
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
495 * @return list of properties
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
496 */
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
497 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
498 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
499 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
500 LinkedList<Property> props = new LinkedList<>();
22153
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
501 next: for (Iterator<Property> it = this.propertyMap.reverseOrderedValueIterator(); it.hasNext();) {
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
502 Property currentProperty = it.next();
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
503
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
504 if (!currentProperty.isHidden() && filter.test(currentProperty)) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
505 if (currentProperty.getLocation() instanceof DeclaredLocation) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
506 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
507 Property other = iter.next();
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
508 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
509 iter.remove();
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
510 props.addFirst(other);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
511 continue next;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
512 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
513 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
514 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
515 props.addFirst(currentProperty);
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 return props;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
519 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
520
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
521 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
522 public final List<Property> getPropertyList() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
523 return getPropertyList(ALL);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
524 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
525
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
526 /**
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
527 * 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
528 *
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
529 * @param ascending desired order
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
530 */
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
531 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
532 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
533 public final List<Property> getPropertyListInternal(boolean ascending) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
534 LinkedList<Property> props = new LinkedList<>();
22153
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
535 for (Iterator<Property> it = this.propertyMap.reverseOrderedValueIterator(); it.hasNext();) {
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
536 Property current = it.next();
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
537 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
538 props.addFirst(current);
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
539 } else {
18622
a306a94111a6 OM: iterate over properties using property map instead of parent chain
Andreas Woess <andreas.woess@jku.at>
parents: 18621
diff changeset
540 props.add(current);
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
541 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
542 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
543 return props;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
544 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
545
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
546 /**
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
547 * 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
548 *
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
549 * @return list of property names
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
550 */
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
551 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
552 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
553 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
554 LinkedList<Object> keys = new LinkedList<>();
22153
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
555 for (Iterator<Property> it = this.propertyMap.reverseOrderedValueIterator(); it.hasNext();) {
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
556 Property currentProperty = it.next();
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
557 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
558 keys.addFirst(currentProperty.getKey());
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
559 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
560 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
561 return keys;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
562 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
563
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
564 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
565 public final List<Object> getKeyList() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
566 return getKeyList(ALL);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
567 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
568
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
569 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
570 public Iterable<Object> getKeys() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
571 return getKeyList();
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
572 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
573
18624
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
574 @Override
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
575 public final boolean isValid() {
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
576 return getValidAssumption().isValid();
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
577 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
578
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
579 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
580 public final Assumption getValidAssumption() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
581 return validAssumption;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
582 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
583
18624
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
584 private static Assumption createValidAssumption() {
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
585 return Truffle.getRuntime().createAssumption("valid shape");
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
586 }
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
587
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
588 public final void invalidateValidAssumption() {
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
589 getValidAssumption().invalidate();
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
590 }
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
591
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
592 @Override
18624
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
593 public final boolean isLeaf() {
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
594 return leafAssumption == null || leafAssumption.isValid();
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
595 }
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
596
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
597 @Override
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
598 public final Assumption getLeafAssumption() {
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
599 if (leafAssumption == null) {
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
600 CompilerDirectives.transferToInterpreterAndInvalidate();
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
601 synchronized (getMutex()) {
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
602 if (leafAssumption == null) {
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
603 leafAssumption = isLeafHelper() ? createLeafAssumption() : NeverValidAssumption.INSTANCE;
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
604 }
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
605 }
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
606 }
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
607 return leafAssumption;
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
608 }
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
609
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
610 private boolean isLeafHelper() {
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
611 return getTransitionMapForRead().isEmpty();
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
612 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
613
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
614 private static Assumption createLeafAssumption() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
615 return Truffle.getRuntime().createAssumption("leaf shape");
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
616 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
617
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
618 private void invalidateLeafAssumption() {
18624
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
619 Assumption assumption = leafAssumption;
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
620 if (assumption != null) {
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
621 assumption.invalidate();
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
622 } else {
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
623 leafAssumption = NeverValidAssumption.INSTANCE;
a9a14b31f3b3 OM: lazy initialization of leaf assumption
Andreas Woess <andreas.woess@jku.at>
parents: 18623
diff changeset
624 }
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
625 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
626
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
627 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
628 public String toString() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
629 return toStringLimit(Integer.MAX_VALUE);
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
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
632 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
633 public String toStringLimit(int limit) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
634 StringBuilder sb = new StringBuilder();
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
635 sb.append('@');
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
636 sb.append(Integer.toHexString(hashCode()));
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
637 if (!isValid()) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
638 sb.append('!');
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
639 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
640
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
641 sb.append("{");
22153
b59d06483580 PropertyMap refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22143
diff changeset
642 for (Iterator<Property> iterator = propertyMap.reverseOrderedValueIterator(); iterator.hasNext();) {
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
643 Property p = iterator.next();
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
644 sb.append(p);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
645 if (iterator.hasNext()) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
646 sb.append(", ");
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
647 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
648 if (sb.length() >= limit) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
649 sb.append("...");
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
650 break;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
651 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
652 sb.append("\n");
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
653 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
654 sb.append("}");
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
655
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
656 return sb.toString();
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
657 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
658
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
659 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
660 public final ShapeImpl getParent() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
661 return parent;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
662 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
663
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
664 public final int getDepth() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
665 return depth;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
666 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
667
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
668 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
669 public final boolean hasProperty(Object name) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
670 return getProperty(name) != null;
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
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
673 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
674 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
675 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
676 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
677
18621
b3b241bbbbdb OM: rename transitions
Andreas Woess <andreas.woess@jku.at>
parents: 18408
diff changeset
678 RemovePropertyTransition transition = new RemovePropertyTransition(prop);
18627
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
679 ShapeImpl cachedShape = queryTransition(transition);
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
680 if (cachedShape != null) {
18627
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
681 return cachedShape;
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
682 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
683
21944
16725287d5af Truffle: fix delete/removeProperty regression
Andreas Woess <andreas.woess@oracle.com>
parents: 21943
diff changeset
684 ShapeImpl shape = getShapeFromProperty(prop.getKey());
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
685 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
686 List<Transition> transitionList = new ArrayList<>();
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
687 ShapeImpl current = this;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
688 while (current != shape) {
21944
16725287d5af Truffle: fix delete/removeProperty regression
Andreas Woess <andreas.woess@oracle.com>
parents: 21943
diff changeset
689 if (!(current.getTransitionFromParent() instanceof Transition.DirectReplacePropertyTransition) ||
16725287d5af Truffle: fix delete/removeProperty regression
Andreas Woess <andreas.woess@oracle.com>
parents: 21943
diff changeset
690 !((Transition.DirectReplacePropertyTransition) current.getTransitionFromParent()).getPropertyBefore().getKey().equals(prop.getKey())) {
16725287d5af Truffle: fix delete/removeProperty regression
Andreas Woess <andreas.woess@oracle.com>
parents: 21943
diff changeset
691 transitionList.add(current.getTransitionFromParent());
16725287d5af Truffle: fix delete/removeProperty regression
Andreas Woess <andreas.woess@oracle.com>
parents: 21943
diff changeset
692 }
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
693 current = current.parent;
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 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
696 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
697 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
698 newShape = newShape.applyTransition(previous, true);
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
699 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
700
19604
7d5a0223dc44 Truffle: minor ShapeImpl cleanup
Andreas Woess <andreas.woess@oracle.com>
parents: 19505
diff changeset
701 addIndirectTransition(transition, newShape);
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
702 return newShape;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
703 } else {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
704 return null;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
705 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
706 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
707
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
708 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
709 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
710 public final ShapeImpl append(Property oldProperty) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
711 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
712 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
713
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
714 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
715 if (transition instanceof AddPropertyTransition) {
22366
78306843f20c minor Shape refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22358
diff changeset
716 return append ? append(((AddPropertyTransition) transition).getProperty()) : addPropertyInternal(((AddPropertyTransition) transition).getProperty(), false);
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
717 } 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
718 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
719 } 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
720 return reservePrimitiveExtensionArray();
21901
19340125f182 Truffle: model property replace as direct transition
Andreas Woess <andreas.woess@oracle.com>
parents: 21900
diff changeset
721 } else if (transition instanceof DirectReplacePropertyTransition) {
21944
16725287d5af Truffle: fix delete/removeProperty regression
Andreas Woess <andreas.woess@oracle.com>
parents: 21943
diff changeset
722 Property oldProperty = ((DirectReplacePropertyTransition) transition).getPropertyBefore();
16725287d5af Truffle: fix delete/removeProperty regression
Andreas Woess <andreas.woess@oracle.com>
parents: 21943
diff changeset
723 Property newProperty = ((DirectReplacePropertyTransition) transition).getPropertyAfter();
16725287d5af Truffle: fix delete/removeProperty regression
Andreas Woess <andreas.woess@oracle.com>
parents: 21943
diff changeset
724 if (append) {
16725287d5af Truffle: fix delete/removeProperty regression
Andreas Woess <andreas.woess@oracle.com>
parents: 21943
diff changeset
725 assert oldProperty.getLocation() instanceof DualLocation && newProperty.getLocation() instanceof DualLocation;
16725287d5af Truffle: fix delete/removeProperty regression
Andreas Woess <andreas.woess@oracle.com>
parents: 21943
diff changeset
726 oldProperty = getProperty(oldProperty.getKey());
16725287d5af Truffle: fix delete/removeProperty regression
Andreas Woess <andreas.woess@oracle.com>
parents: 21943
diff changeset
727 newProperty = newProperty.relocate(((DualLocation) oldProperty.getLocation()).changeType(((DualLocation) newProperty.getLocation()).getType()));
16725287d5af Truffle: fix delete/removeProperty regression
Andreas Woess <andreas.woess@oracle.com>
parents: 21943
diff changeset
728 }
16725287d5af Truffle: fix delete/removeProperty regression
Andreas Woess <andreas.woess@oracle.com>
parents: 21943
diff changeset
729 return replaceProperty(oldProperty, newProperty);
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
730 } 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
731 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
732 }
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
733 }
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
734
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
735 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
736 public final BaseAllocator allocator() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
737 return layout.getStrategy().createAllocator(this);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
738 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
739
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
740 /**
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
741 * 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
742 */
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
743 @Override
21901
19340125f182 Truffle: model property replace as direct transition
Andreas Woess <andreas.woess@oracle.com>
parents: 21900
diff changeset
744 public ShapeImpl replaceProperty(Property oldProperty, Property newProperty) {
22366
78306843f20c minor Shape refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 22358
diff changeset
745 return directReplaceProperty(oldProperty, newProperty);
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
746 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
747
21924
c0744b24b230 Truffle: minor refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 21923
diff changeset
748 protected final ShapeImpl directReplaceProperty(Property oldProperty, Property newProperty) {
c0744b24b230 Truffle: minor refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 21923
diff changeset
749 assert oldProperty.getKey().equals(newProperty.getKey());
c0744b24b230 Truffle: minor refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 21923
diff changeset
750 onPropertyTransition(oldProperty);
c0744b24b230 Truffle: minor refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 21923
diff changeset
751
c0744b24b230 Truffle: minor refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 21923
diff changeset
752 Transition replacePropertyTransition = new Transition.DirectReplacePropertyTransition(oldProperty, newProperty);
c0744b24b230 Truffle: minor refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 21923
diff changeset
753 ShapeImpl cachedShape = queryTransition(replacePropertyTransition);
c0744b24b230 Truffle: minor refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 21923
diff changeset
754 if (cachedShape != null) {
c0744b24b230 Truffle: minor refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 21923
diff changeset
755 return cachedShape;
c0744b24b230 Truffle: minor refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 21923
diff changeset
756 }
c0744b24b230 Truffle: minor refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 21923
diff changeset
757 PropertyMap newPropertyMap = this.getPropertyMap().replaceCopy(oldProperty, newProperty);
c0744b24b230 Truffle: minor refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 21923
diff changeset
758 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
759
c0744b24b230 Truffle: minor refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 21923
diff changeset
760 addDirectTransition(replacePropertyTransition, newShape);
c0744b24b230 Truffle: minor refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 21923
diff changeset
761 return newShape;
c0744b24b230 Truffle: minor refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 21923
diff changeset
762 }
c0744b24b230 Truffle: minor refactoring
Andreas Woess <andreas.woess@oracle.com>
parents: 21923
diff changeset
763
18408
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 * 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
766 */
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
767 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
768 if (!left.isRelated(right)) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
769 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
770 } else if (left == right) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
771 return left;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
772 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
773 int leftLength = left.depth;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
774 int rightLength = right.depth;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
775 ShapeImpl leftPtr = left;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
776 ShapeImpl rightPtr = right;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
777 while (leftLength > rightLength) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
778 leftPtr = leftPtr.parent;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
779 leftLength--;
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 while (rightLength > leftLength) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
782 rightPtr = rightPtr.parent;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
783 rightLength--;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
784 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
785 while (leftPtr != rightPtr) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
786 leftPtr = leftPtr.parent;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
787 rightPtr = rightPtr.parent;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
788 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
789 return leftPtr;
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 int getPropertyCount() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
794 return propertyCount;
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 /**
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
798 * Find difference between two shapes.
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
799 *
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
800 * @see ObjectStorageOptions#TraceReshape
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 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
803 List<Property> oldList = oldShape.getPropertyListInternal(false);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
804 List<Property> newList = newShape.getPropertyListInternal(false);
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 List<Property> diff = new ArrayList<>(oldList);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
807 diff.addAll(newList);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
808 List<Property> intersection = new ArrayList<>(oldList);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
809 intersection.retainAll(newList);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
810 diff.removeAll(intersection);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
811 return diff;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
812 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
813
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
814 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
815 public ObjectType getObjectType() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
816 return objectType;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
817 }
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 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
820 public ShapeImpl getRoot() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
821 return root;
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
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 boolean check(DynamicObject subject) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
826 return subject.getShape() == this;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
827 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
828
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
829 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
830 public final LayoutImpl getLayout() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
831 return layout;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
832 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
833
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
834 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
835 public final Object getData() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
836 return extraData;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
837 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
838
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
839 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
840 public final Object getSharedData() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
841 return sharedData;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
842 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
843
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
844 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
845 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
846 public final boolean hasTransitionWithKey(Object key) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
847 for (Transition transition : getTransitionMapForRead().keySet()) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
848 if (transition instanceof PropertyTransition) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
849 if (((PropertyTransition) transition).getProperty().getKey().equals(key)) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
850 return true;
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 }
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 return false;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
855 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
856
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
857 /**
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
858 * 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
859 */
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
860 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
861 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
862 public final ShapeImpl createSeparateShape(Object newSharedData) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
863 if (parent == null) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
864 return cloneRoot(this, newSharedData);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
865 } else {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
866 return this.cloneOnto(parent.createSeparateShape(newSharedData));
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
867 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
868 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
869
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
870 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
871 @TruffleBoundary
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
872 public final ShapeImpl changeType(ObjectType newOps) {
18621
b3b241bbbbdb OM: rename transitions
Andreas Woess <andreas.woess@jku.at>
parents: 18408
diff changeset
873 ObjectTypeTransition transition = new ObjectTypeTransition(newOps);
18627
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
874 ShapeImpl cachedShape = queryTransition(transition);
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
875 if (cachedShape != null) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
876 return cachedShape;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
877 }
18627
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
878
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
879 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
880 addDirectTransition(transition, newShape);
196cf131ed32 OM: extract queryTransition method
Andreas Woess <andreas.woess@jku.at>
parents: 18626
diff changeset
881 return newShape;
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
882 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
883
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
884 @Override
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
885 public final ShapeImpl reservePrimitiveExtensionArray() {
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
886 if (layout.hasPrimitiveExtensionArray() && !hasPrimitiveArray()) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
887 return addPrimitiveExtensionArray();
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 return this;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
890 }
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 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
893 public final Iterable<Property> getProperties() {
21923
1b695a36c4d5 Truffle: remove cached property array
Andreas Woess <andreas.woess@oracle.com>
parents: 21902
diff changeset
894 return getPropertyList();
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
895 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
896
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
897 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
898 public final DynamicObject newInstance() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
899 return layout.newInstance(this);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
900 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
901
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
902 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
903 public final DynamicObjectFactory createFactory() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
904 final List<Property> properties = getPropertyListInternal(true);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
905 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
906 Property property = iterator.next();
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
907 // skip non-instance fields
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
908 assert property.getLocation() != layout.getPrimitiveArrayLocation();
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
909 if (property.getLocation() instanceof ValueLocation) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
910 iterator.remove();
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
911 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
912 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
913
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
914 return new DynamicObjectFactory() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
915 @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
916
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
917 @ExplodeLoop
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
918 public DynamicObject newInstance(Object... initialValues) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
919 DynamicObject store = ShapeImpl.this.newInstance();
22089
476b483c8be2 add PE assertion to DynamicObjectFactory
Andreas Woess <andreas.woess@oracle.com>
parents: 22088
diff changeset
920 CompilerAsserts.partialEvaluationConstant(instanceFields.length);
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
921 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
922 instanceFields[i].setInternal(store, initialValues[i]);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
923 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
924 return store;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
925 }
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 public Shape getShape() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
928 return ShapeImpl.this;
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 };
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
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
933 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
934 public Object getMutex() {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
935 return getRoot();
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
936 }
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 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
939 public Shape tryMerge(Shape other) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
940 return null;
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
22088
22ce537a52fd remove ShapeVisitor from the API
Andreas Woess <andreas.woess@oracle.com>
parents: 22087
diff changeset
943 public <R> R accept(ShapeVisitor<R> visitor) {
22ce537a52fd remove ShapeVisitor from the API
Andreas Woess <andreas.woess@oracle.com>
parents: 22087
diff changeset
944 return visitor.visitShape(this);
22ce537a52fd remove ShapeVisitor from the API
Andreas Woess <andreas.woess@oracle.com>
parents: 22087
diff changeset
945 }
22ce537a52fd remove ShapeVisitor from the API
Andreas Woess <andreas.woess@oracle.com>
parents: 22087
diff changeset
946
22087
5d9e5f866821 add Shape.Allocator#copy()
Andreas Woess <andreas.woess@oracle.com>
parents: 21951
diff changeset
947 public abstract static class BaseAllocator extends Allocator implements LocationVisitor, Cloneable {
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
948 protected final LayoutImpl layout;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
949 protected int objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
950 protected int objectFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
951 protected int primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
952 protected int primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
953 protected boolean hasPrimitiveArray;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
954 protected int depth;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
955
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
956 protected BaseAllocator(LayoutImpl layout) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
957 this.layout = layout;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
958 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
959
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
960 protected BaseAllocator(ShapeImpl shape) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
961 this(shape.getLayout());
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
962 this.objectArraySize = shape.objectArraySize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
963 this.objectFieldSize = shape.objectFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
964 this.primitiveFieldSize = shape.primitiveFieldSize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
965 this.primitiveArraySize = shape.primitiveArraySize;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
966 this.hasPrimitiveArray = shape.hasPrimitiveArray;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
967 this.depth = shape.depth;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
968 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
969
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
970 protected abstract Location moveLocation(Location oldLocation);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
971
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
972 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
973
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
974 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
975
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
976 protected abstract Location newIntLocation(boolean useFinal);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
977
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
978 protected abstract Location newDoubleLocation(boolean useFinal);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
979
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
980 protected abstract Location newLongLocation(boolean useFinal);
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 abstract Location newBooleanLocation(boolean useFinal);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
983
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
984 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
985 public final Location constantLocation(Object value) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
986 return new ConstantLocation(value);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
987 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
988
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
989 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
990 protected Location locationForValue(Object value, boolean useFinal, boolean nonNull) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
991 if (value instanceof Integer) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
992 return newIntLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
993 } else if (value instanceof Double) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
994 return newDoubleLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
995 } else if (value instanceof Long) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
996 return newLongLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
997 } else if (value instanceof Boolean) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
998 return newBooleanLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
999 } else if (ObjectStorageOptions.TypedObjectLocations && value != null) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1000 return newTypedObjectLocation(useFinal, value.getClass(), nonNull);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1001 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1002 return newObjectLocation(useFinal, nonNull && value != null);
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
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1005 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
1006
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1007 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1008 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
1009 if (type == int.class) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1010 return newIntLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1011 } else if (type == double.class) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1012 return newDoubleLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1013 } else if (type == long.class) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1014 return newLongLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1015 } else if (type == boolean.class) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1016 return newBooleanLocation(useFinal);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1017 } 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
1018 assert !type.isPrimitive() : "unsupported primitive type";
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1019 return newTypedObjectLocation(useFinal, type, nonNull);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1020 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1021 return newObjectLocation(useFinal, nonNull);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1022 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1023
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1024 protected Location newDualLocation(Class<?> type) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1025 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
1026 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1027
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1028 protected DualLocation newDualLocationForValue(Object value) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1029 Class<?> initialType = null;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1030 if (value instanceof Integer) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1031 initialType = int.class;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1032 } else if (value instanceof Double) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1033 initialType = double.class;
22197
c8f4168061ea fix long values not being unboxed
Andreas Woess <andreas.woess@oracle.com>
parents: 22157
diff changeset
1034 } else if (value instanceof Long) {
c8f4168061ea fix long values not being unboxed
Andreas Woess <andreas.woess@oracle.com>
parents: 22157
diff changeset
1035 initialType = long.class;
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1036 } else if (value instanceof Boolean) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1037 initialType = boolean.class;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1038 } else {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1039 initialType = Object.class;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1040 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1041 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
1042 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1043
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1044 protected Location newDeclaredDualLocation(Object value) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1045 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
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 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
1049 if (location0 instanceof LocationImpl) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1050 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
1051 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
1052 location.accept(this);
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern
Andreas Woess <andreas.woess@jku.at>
parents: 18747
diff changeset
1053 }
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1054 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
1055 hasPrimitiveArray |= location == layout.getPrimitiveArrayLocation() || primitiveArraySize > 0;
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1056 } else {
18795
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern
Andreas Woess <andreas.woess@jku.at>
parents: 18747
diff changeset
1057 assert !hasPrimitiveArray && primitiveArraySize == 0;
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1058 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1059 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1060 depth++;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1061 return location0;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1062 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1063
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1064 @Override
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1065 public BaseAllocator addLocation(Location location) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1066 advance(location);
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1067 return this;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1068 }
18795
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern
Andreas Woess <andreas.woess@jku.at>
parents: 18747
diff changeset
1069
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern
Andreas Woess <andreas.woess@jku.at>
parents: 18747
diff changeset
1070 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
1071 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
1072 }
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern
Andreas Woess <andreas.woess@jku.at>
parents: 18747
diff changeset
1073
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern
Andreas Woess <andreas.woess@jku.at>
parents: 18747
diff changeset
1074 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
1075 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
1076 }
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern
Andreas Woess <andreas.woess@jku.at>
parents: 18747
diff changeset
1077
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern
Andreas Woess <andreas.woess@jku.at>
parents: 18747
diff changeset
1078 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
1079 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
1080 }
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern
Andreas Woess <andreas.woess@jku.at>
parents: 18747
diff changeset
1081
e9cbe1618733 Truffle: refactor size calculation in location allocator to visitor pattern
Andreas Woess <andreas.woess@jku.at>
parents: 18747
diff changeset
1082 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
1083 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
1084 }
22087
5d9e5f866821 add Shape.Allocator#copy()
Andreas Woess <andreas.woess@oracle.com>
parents: 21951
diff changeset
1085
5d9e5f866821 add Shape.Allocator#copy()
Andreas Woess <andreas.woess@oracle.com>
parents: 21951
diff changeset
1086 @Override
5d9e5f866821 add Shape.Allocator#copy()
Andreas Woess <andreas.woess@oracle.com>
parents: 21951
diff changeset
1087 public final BaseAllocator copy() {
5d9e5f866821 add Shape.Allocator#copy()
Andreas Woess <andreas.woess@oracle.com>
parents: 21951
diff changeset
1088 return clone();
5d9e5f866821 add Shape.Allocator#copy()
Andreas Woess <andreas.woess@oracle.com>
parents: 21951
diff changeset
1089 }
5d9e5f866821 add Shape.Allocator#copy()
Andreas Woess <andreas.woess@oracle.com>
parents: 21951
diff changeset
1090
5d9e5f866821 add Shape.Allocator#copy()
Andreas Woess <andreas.woess@oracle.com>
parents: 21951
diff changeset
1091 @Override
5d9e5f866821 add Shape.Allocator#copy()
Andreas Woess <andreas.woess@oracle.com>
parents: 21951
diff changeset
1092 protected final BaseAllocator clone() {
5d9e5f866821 add Shape.Allocator#copy()
Andreas Woess <andreas.woess@oracle.com>
parents: 21951
diff changeset
1093 try {
5d9e5f866821 add Shape.Allocator#copy()
Andreas Woess <andreas.woess@oracle.com>
parents: 21951
diff changeset
1094 return (BaseAllocator) super.clone();
5d9e5f866821 add Shape.Allocator#copy()
Andreas Woess <andreas.woess@oracle.com>
parents: 21951
diff changeset
1095 } catch (CloneNotSupportedException e) {
5d9e5f866821 add Shape.Allocator#copy()
Andreas Woess <andreas.woess@oracle.com>
parents: 21951
diff changeset
1096 throw new AssertionError(e);
5d9e5f866821 add Shape.Allocator#copy()
Andreas Woess <andreas.woess@oracle.com>
parents: 21951
diff changeset
1097 }
5d9e5f866821 add Shape.Allocator#copy()
Andreas Woess <andreas.woess@oracle.com>
parents: 21951
diff changeset
1098 }
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1099 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1100
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1101 /**
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1102 * Match all filter.
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1103 */
19604
7d5a0223dc44 Truffle: minor ShapeImpl cleanup
Andreas Woess <andreas.woess@oracle.com>
parents: 19505
diff changeset
1104 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
1105 public boolean test(Property t) {
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1106 return true;
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1107 }
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1108 };
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1109
22288
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
1110 static final LocationFactory DEFAULT_LAYOUT_FACTORY = new LocationFactory() {
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
1111 public Location createLocation(Shape shape, Object value) {
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
1112 return ((ShapeImpl) shape).allocator().locationForValue(value, true, value != null);
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
1113 }
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
1114 };
47172a9b40ac Object model refactoring, add Shape#defineProperty
Andreas Woess <andreas.woess@oracle.com>
parents: 22197
diff changeset
1115
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1116 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
1117 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
1118 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
1119 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
1120
22354
0ad8cb1608be Get the foreign access factory that matches a specific foreign object.
Danilo Ansaloni <danilo.ansaloni@oracle.com>
parents: 22289
diff changeset
1121 public ForeignAccess getForeignAccessFactory(DynamicObject object) {
0ad8cb1608be Get the foreign access factory that matches a specific foreign object.
Danilo Ansaloni <danilo.ansaloni@oracle.com>
parents: 22289
diff changeset
1122 return getObjectType().getForeignAccessFactory(object);
18747
6db7923af642 OM: DynamicObject extends TruffleObject, add default implementation
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 18627
diff changeset
1123 }
18408
2c3666f44855 Truffle: initial commit of object API implementation
Andreas Woess <andreas.woess@jku.at>
parents:
diff changeset
1124 }