Mercurial > hg > truffle
changeset 18407:f439fdb137a3
Truffle: initial commit of object API
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/BaseLocation.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,69 @@ +/* + * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +public interface BaseLocation { + /** + * Get object value as object at this location in store. + * + * @param shape the current shape of the object, which must contain this location + */ + Object get(DynamicObject store, Shape shape); + + /** + * Get object value as object at this location in store. For internal use only and subject to + * change, use {@link #get(DynamicObject, Shape)} instead. + * + * @param condition the result of a shape check or {@code false} + * @see #get(DynamicObject, Shape) + */ + Object get(DynamicObject store, boolean condition); + + /** + * Set object value at this location in store. + * + * @throws IncompatibleLocationException for storage type invalidations + * @throws FinalLocationException for effectively final fields + */ + void set(DynamicObject store, Object value) throws IncompatibleLocationException, FinalLocationException; + + /** + * Set object value at this location in store. + * + * @param shape the current shape of the storage object + * @throws IncompatibleLocationException for storage type invalidations + * @throws FinalLocationException for effectively final fields + */ + void set(DynamicObject store, Object value, Shape shape) throws IncompatibleLocationException, FinalLocationException; + + /** + * Set object value at this location in store and update shape. + * + * @param oldShape the shape before the transition + * @param newShape new shape after the transition + * @throws IncompatibleLocationException if value is of non-assignable type + */ + void set(DynamicObject store, Object value, Shape oldShape, Shape newShape) throws IncompatibleLocationException; +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/BooleanLocation.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,54 @@ +/* + * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +public interface BooleanLocation extends TypedLocation { + /** + * @see #get(DynamicObject, Shape) + */ + boolean getBoolean(DynamicObject store, Shape shape); + + /** + * @see #get(DynamicObject, boolean) + */ + boolean getBoolean(DynamicObject store, boolean condition); + + /** + * @see #set(DynamicObject, Object) + */ + void setBoolean(DynamicObject store, boolean value) throws FinalLocationException; + + /** + * @see #set(DynamicObject, Object, Shape) + */ + void setBoolean(DynamicObject store, boolean value, Shape shape) throws FinalLocationException; + + /** + * @see #set(DynamicObject, Object, Shape, Shape) + */ + void setBoolean(DynamicObject store, boolean value, Shape oldShape, Shape newShape); + + Class<Boolean> getType(); +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/DebugCounter.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,69 @@ +/* + * Copyright (c) 2014, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +import java.io.*; +import java.util.*; +import java.util.concurrent.atomic.*; + +public final class DebugCounter { + private static final ArrayList<DebugCounter> allCounters = new ArrayList<>(); + + private final String name; + private final AtomicLong value; + + private DebugCounter(String name) { + this.name = name; + this.value = new AtomicLong(); + allCounters.add(this); + } + + public static DebugCounter create(String name) { + return new DebugCounter(name); + } + + public long get() { + return value.get(); + } + + public void inc() { + value.incrementAndGet(); + } + + @Override + public String toString() { + return name + ": " + value; + } + + public static void dumpCounters() { + dumpCounters(System.out); + } + + public static void dumpCounters(PrintStream out) { + for (DebugCounter counter : allCounters) { + out.println(counter); + } + } +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/DoubleLocation.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,54 @@ +/* + * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +public interface DoubleLocation extends TypedLocation { + /** + * @see #get(DynamicObject, Shape) + */ + double getDouble(DynamicObject store, Shape shape); + + /** + * @see #get(DynamicObject, boolean) + */ + double getDouble(DynamicObject store, boolean condition); + + /** + * @see #set(DynamicObject, Object) + */ + void setDouble(DynamicObject store, double value) throws FinalLocationException; + + /** + * @see #set(DynamicObject, Object, Shape) + */ + void setDouble(DynamicObject store, double value, Shape shape) throws FinalLocationException; + + /** + * @see #set(DynamicObject, Object, Shape, Shape) + */ + void setDouble(DynamicObject store, double value, Shape oldShape, Shape newShape); + + Class<Double> getType(); +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/DynamicObject.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,134 @@ +/* + * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +import com.oracle.truffle.api.*; + +public interface DynamicObject extends TypedObject { + /** + * Get the object's current shape. + */ + Shape getShape(); + + /** + * Get property value. + * + * @param key property identifier + * @param defaultValue return value if property is not found + * @return property value or defaultValue if object has no such property + */ + Object get(Object key, Object defaultValue); + + /** + * Set value of existing property. + * + * @param key property identifier + * @param value value to be set + * @return {@code true} if successful or {@code false} if property not found + */ + boolean set(Object key, Object value); + + /** + * Define new property or redefine existing property. + * + * @param key property identifier + * @param value value to be set + * @param flags flags to be set + */ + void define(Object key, Object value, int flags); + + /** + * Define new property with a static location or change existing property. + * + * @param key property identifier + * @param value value to be set + * @param flags flags to be set + * @param locationFactory factory function that creates a location for a given shape and value + */ + void define(Object key, Object value, int flags, LocationFactory locationFactory); + + /** + * Change property flags. + * + * @param key property identifier + * @param newFlags flags to be set + * @return {@code true} if successful or {@code false} if property not found + */ + boolean changeFlags(Object key, int newFlags); + + /** + * Change property flags. + * + * @param key property identifier + * @param flagsUpdateFunction function updating old flags to new flags + * @return {@code true} if successful or {@code false} if property not found + */ + boolean changeFlags(Object key, FlagsFunction flagsUpdateFunction); + + /** + * Delete property. + * + * @param key property identifier + * @return {@code true} if successful or {@code false} if property not found + */ + boolean delete(Object key); + + /** + * Returns the number of properties in this object. + */ + int size(); + + /** + * Returns {@code true} if this object contains no properties. + */ + boolean isEmpty(); + + /** + * Set object shape and grow storage if necessary. + * + * @param oldShape the object's current shape (must equal {@link #getShape()}) + * @param newShape the new shape to be set + */ + void setShapeAndGrow(Shape oldShape, Shape newShape); + + /** + * Set object shape and resize storage if necessary. + * + * @param oldShape the object's current shape (must equal {@link #getShape()}) + * @param newShape the new shape to be set + */ + void setShapeAndResize(Shape oldShape, Shape newShape); + + /** + * Ensure object shape is up-to-date. + * + * @return {@code true} if shape has changed + */ + boolean updateShape(); + + public interface FlagsFunction { + int apply(int t); + } +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/DynamicObjectFactory.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,31 @@ +/* + * Copyright (c) 2014, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +public interface DynamicObjectFactory { + DynamicObject newInstance(Object... initialValues); + + Shape getShape(); +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/FinalLocationException.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,31 @@ +/* + * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +import com.oracle.truffle.api.nodes.*; + +public final class FinalLocationException extends SlowPathException { + private static final long serialVersionUID = -30188494510914293L; +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/HiddenKey.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,42 @@ +/* + * Copyright (c) 2014, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +public final class HiddenKey { + private final String name; + + public HiddenKey(String name) { + this.name = name; + } + + public String getName() { + return name; + } + + @Override + public String toString() { + return name; + } +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/IncompatibleLocationException.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,31 @@ +/* + * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +import com.oracle.truffle.api.nodes.*; + +public final class IncompatibleLocationException extends SlowPathException { + private static final long serialVersionUID = -7734865392357341789L; +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/IntLocation.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,54 @@ +/* + * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +public interface IntLocation extends TypedLocation { + /** + * @see #get(DynamicObject, Shape) + */ + int getInt(DynamicObject store, Shape shape); + + /** + * @see #get(DynamicObject, boolean) + */ + int getInt(DynamicObject store, boolean condition); + + /** + * @see #set(DynamicObject, Object) + */ + void setInt(DynamicObject store, int value) throws FinalLocationException; + + /** + * @see #set(DynamicObject, Object, Shape) + */ + void setInt(DynamicObject store, int value, Shape shape) throws FinalLocationException; + + /** + * @see #set(DynamicObject, Object, Shape, Shape) + */ + void setInt(DynamicObject store, int value, Shape oldShape, Shape newShape); + + Class<Integer> getType(); +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/Layout.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,110 @@ +/* + * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +import java.util.*; + +import com.oracle.truffle.api.nodes.NodeUtil.FieldOffsetProvider; +import com.oracle.truffle.api.object.Shape.*; + +public abstract class Layout { + public static final EnumSet<ImplicitCast> NONE = EnumSet.noneOf(ImplicitCast.class); + public static final EnumSet<ImplicitCast> INT_TO_DOUBLE = EnumSet.of(ImplicitCast.IntToDouble); + public static final EnumSet<ImplicitCast> INT_TO_LONG = EnumSet.of(ImplicitCast.IntToLong); + + public static final String OPTION_PREFIX = "truffle.object."; + + private static final LayoutFactory LAYOUT_FACTORY = loadLayoutFactory(); + + public enum ImplicitCast { + IntToDouble, + IntToLong, + } + + public static Layout createLayout() { + return createLayout(NONE); + } + + public static Layout createLayout(EnumSet<ImplicitCast> allowedImplicitCasts) { + return new LayoutBuilder().setAllowedImplicitCasts(allowedImplicitCasts).build(); + } + + public static Layout createLayout(EnumSet<ImplicitCast> allowedImplicitCasts, FieldOffsetProvider fieldOffsetProvider) { + return new LayoutBuilder().setAllowedImplicitCasts(allowedImplicitCasts).setFieldOffsetProvider(fieldOffsetProvider).build(); + } + + public abstract DynamicObject newInstance(Shape shape); + + public abstract Class<? extends DynamicObject> getType(); + + public abstract Shape createShape(ObjectType operations); + + public abstract Shape createShape(ObjectType operations, Object sharedData); + + public abstract Shape createShape(ObjectType operations, Object sharedData, int id); + + /** + * Create an allocator for static property creation. Reserves all array extension slots. + */ + public abstract Allocator createAllocator(); + + protected static LayoutFactory getFactory() { + return LAYOUT_FACTORY; + } + + private static LayoutFactory loadLayoutFactory() { + LayoutFactory bestLayoutFactory = null; + + String layoutFactoryImplClassName = System.getProperty(OPTION_PREFIX + "LayoutFactory"); + if (layoutFactoryImplClassName != null) { + Class<?> clazz; + try { + clazz = Class.forName(layoutFactoryImplClassName); + } catch (ClassNotFoundException e) { + throw new RuntimeException(e); + } + try { + bestLayoutFactory = (LayoutFactory) clazz.newInstance(); + } catch (InstantiationException | IllegalAccessException e) { + throw new AssertionError(e); + } + } else { + ServiceLoader<LayoutFactory> serviceLoader = ServiceLoader.load(LayoutFactory.class, Layout.class.getClassLoader()); + for (LayoutFactory currentLayoutFactory : serviceLoader) { + if (bestLayoutFactory == null) { + bestLayoutFactory = currentLayoutFactory; + } else if (currentLayoutFactory.getPriority() >= bestLayoutFactory.getPriority()) { + assert currentLayoutFactory.getPriority() != bestLayoutFactory.getPriority(); + bestLayoutFactory = currentLayoutFactory; + } + } + } + + if (bestLayoutFactory == null) { + throw new AssertionError("LayoutFactory not found"); + } + return bestLayoutFactory; + } +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/LayoutBuilder.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,62 @@ +/* + * Copyright (c) 2014, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +import java.util.*; + +import com.oracle.truffle.api.nodes.NodeUtil.*; +import com.oracle.truffle.api.object.Layout.*; + +public class LayoutBuilder { + private EnumSet<ImplicitCast> allowedImplicitCasts; + private FieldOffsetProvider fieldOffsetProvider; + + public LayoutBuilder() { + this.allowedImplicitCasts = Layout.NONE; + this.fieldOffsetProvider = null; + } + + public Layout build() { + return Layout.getFactory().createLayout(this); + } + + public LayoutBuilder setAllowedImplicitCasts(EnumSet<ImplicitCast> allowedImplicitCasts) { + this.allowedImplicitCasts = allowedImplicitCasts; + return this; + } + + public LayoutBuilder setFieldOffsetProvider(FieldOffsetProvider fieldOffsetProvider) { + this.fieldOffsetProvider = fieldOffsetProvider; + return this; + } + + public EnumSet<ImplicitCast> getAllowedImplicitCasts() { + return allowedImplicitCasts; + } + + public FieldOffsetProvider getFieldOffsetProvider() { + return fieldOffsetProvider; + } +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/LayoutFactory.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,33 @@ +/* + * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +public interface LayoutFactory { + Layout createLayout(LayoutBuilder layoutBuilder); + + Property createProperty(Object id, Location location, int flags); + + int getPriority(); +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/Location.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,137 @@ +/* + * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +import com.oracle.truffle.api.*; + +/** + * Property location. + * + * @see Shape + * @see Property + * @see DynamicObject + */ +public abstract class Location implements BaseLocation { + protected static IncompatibleLocationException incompatibleLocation() throws IncompatibleLocationException { + CompilerDirectives.transferToInterpreterAndInvalidate(); + throw new IncompatibleLocationException(); + } + + protected static FinalLocationException finalLocation() throws FinalLocationException { + CompilerDirectives.transferToInterpreterAndInvalidate(); + throw new FinalLocationException(); + } + + public final Object get(DynamicObject store, Shape shape) { + return get(store, checkShape(store, shape)); + } + + public Object get(DynamicObject store, boolean condition) { + return getInternal(store); + } + + public void set(DynamicObject store, Object value, Shape shape) throws IncompatibleLocationException, FinalLocationException { + setInternal(store, value); + } + + public final void set(DynamicObject store, Object value, Shape oldShape, Shape newShape) throws IncompatibleLocationException { + if (canStore(value)) { + store.setShapeAndGrow(oldShape, newShape); + try { + setInternal(store, value); + } catch (IncompatibleLocationException ex) { + throw new IllegalStateException(); + } + } else { + throw incompatibleLocation(); + } + } + + public final void set(DynamicObject store, Object value) throws IncompatibleLocationException, FinalLocationException { + set(store, value, null); + } + + protected abstract Object getInternal(DynamicObject store); + + /** + * Like {@link #set(DynamicObject, Object, Shape)}, but does not invalidate final locations. For + * internal use only and subject to change, use {@link DynamicObjectFactory} to create objects + * with predefined properties. + * + * @throws IncompatibleLocationException if value is of non-assignable type + */ + protected abstract void setInternal(DynamicObject store, Object value) throws IncompatibleLocationException; + + /** + * Returns {@code true} if the location can be set to the value. + * + * @param store the receiver object + * @param value the value in question + */ + public boolean canSet(DynamicObject store, Object value) { + return canStore(value); + } + + /** + * Returns {@code true} if the location is compatible with the value. + * + * The value may still be rejected if {@link #canSet(DynamicObject, Object)} returns false. + * + * @param value the value in question + */ + public boolean canStore(Object value) { + return true; + } + + /** + * Returns {@code true} if this is a final location, i.e. readonly once set. + */ + public boolean isFinal() { + return false; + } + + /** + * Returns {@code true} if this is an immutable constant location. + */ + public boolean isConstant() { + return false; + } + + /* + * Abstract to force overriding. + */ + @Override + public abstract int hashCode(); + + /* + * Abstract to force overriding. + */ + @Override + public abstract boolean equals(Object obj); + + protected static boolean checkShape(DynamicObject store, Shape shape) { + return store.getShape() == shape; + } +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/LocationFactory.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,29 @@ +/* + * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +public interface LocationFactory { + Location createLocation(Shape shape, Object value); +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/LocationModifier.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,30 @@ +/* + * Copyright (c) 2014, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +public enum LocationModifier { + Final, + NonNull, +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/LongLocation.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,54 @@ +/* + * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +public interface LongLocation extends TypedLocation { + /** + * @see #get(DynamicObject, Shape) + */ + long getLong(DynamicObject store, Shape shape); + + /** + * @see #get(DynamicObject, boolean) + */ + long getLong(DynamicObject store, boolean condition); + + /** + * @see #set(DynamicObject, Object) + */ + void setLong(DynamicObject store, long value) throws FinalLocationException; + + /** + * @see #set(DynamicObject, Object, Shape) + */ + void setLong(DynamicObject store, long value, Shape shape) throws FinalLocationException; + + /** + * @see #set(DynamicObject, Object, Shape, Shape) + */ + void setLong(DynamicObject store, long value, Shape oldShape, Shape newShape); + + Class<Long> getType(); +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/ObjectLocation.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,34 @@ +/* + * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +public interface ObjectLocation extends TypedLocation { + Class<? extends Object> getType(); + + /** + * If {@code true}, this location does not accept {@code null} values. + */ + boolean isNonNull(); +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/ObjectType.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,70 @@ +/* + * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +import com.oracle.truffle.api.CompilerDirectives.TruffleBoundary; + +public class ObjectType { + /** + * Delegate method for {@link DynamicObject#equals(Object)}. + */ + public boolean equals(DynamicObject object, Object other) { + return object == other; + } + + /** + * Delegate method for {@link DynamicObject#hashCode()}. + */ + public int hashCode(DynamicObject object) { + return System.identityHashCode(object); + } + + /** + * Delegate method for {@link DynamicObject#toString()}. + */ + @TruffleBoundary + public String toString(DynamicObject object) { + return "DynamicObject<" + this.toString() + ">@" + Integer.toHexString(hashCode(object)); + } + + /** + * Creates a data object to be associated with a newly created shape. + * + * @param shape the shape for which to create the data object + */ + public Object createShapeData(Shape shape) { + return null; + } + + /** + * Called when a new property is added to a shape. + * + * @param property the added property + * @param shapeBefore shape before the property was added + * @param shapeAfter shape after the property was added + */ + public void onPropertyAdded(Property property, Shape shapeBefore, Shape shapeAfter) { + } +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/Property.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,179 @@ +/* + * Copyright (c) 2012, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +/** + * Property objects represent the mapping between low-level stores and high-level data. The simplest + * Property could be nothing more than a map of one index to one property's value, but abstracting + * the interface allows for getter/setter methods, type-checked properties, and other such + * specialized and language-specific behavior. ECMAScript[8.6.1] + */ +public abstract class Property { + protected Property() { + } + + public static Property create(Object key, Location location, int flags) { + return Layout.getFactory().createProperty(key, location, flags); + } + + /** + * Get property identifier. + */ + public abstract Object getKey(); + + /** + * Get property flags. + */ + public abstract int getFlags(); + + /** + * Change the property's location. + * + * @return a Property with the new location (or {@code this} if the location is unchanged). + */ + public abstract Property relocate(Location newLocation); + + /** + * Gets the value of this property of the object. + * + * @param store the store that this property resides in + * @param shape the current shape of the object, which must contain this location + * @see DynamicObject#get(Object, Object) + */ + public abstract Object get(DynamicObject store, Shape shape); + + /** + * Gets the value of this property of the object. + * + * @param store the store that this property resides in + * @param condition the result of a shape check or {@code false} + * @see DynamicObject#get(Object, Object) + * @see #get(DynamicObject, Shape) + */ + public abstract Object get(DynamicObject store, boolean condition); + + /** + * Assigns value to this property of the object. + * + * Throws an exception if the value cannot be assigned to the property's current location. + * + * @param store the store that this property resides in + * @param value the value to assign + * @param shape the current shape of the object or {@code null} + * @throws IncompatibleLocationException if the value is incompatible with the property location + * @throws FinalLocationException if the location is final and values differ + * @see DynamicObject#set(Object, Object) + */ + public abstract void set(DynamicObject store, Object value, Shape shape) throws IncompatibleLocationException, FinalLocationException; + + /** + * Assigns value to this property of the object. + * + * Automatically relocates the property if the value cannot be assigned to its current location. + * + * @param shape the current shape of the object or {@code null} + */ + public abstract void setGeneric(DynamicObject store, Object value, Shape shape); + + /** + * Like {@link #set(DynamicObject, Object, Shape)}, but throws an {@link IllegalStateException} + * instead. + */ + public abstract void setSafe(DynamicObject store, Object value, Shape shape); + + /** + * Like {@link #setSafe}, but ignores the finalness of the property. For internal use only. + * + * @param store the store that this property resides in + * @param value the value to assign + */ + public abstract void setInternal(DynamicObject store, Object value); + + /** + * Assigns value to this property of the object, changing the object's shape. + * + * Combines {@link DynamicObject#setShapeAndGrow(Shape, Shape)} and + * {@link #set(DynamicObject, Object, Shape)} to an atomic operation. + * + * @param store the store that this property resides in + * @param value the value to assign + * @param oldShape the shape before the transition + * @param newShape the shape after the transition + * @throws IncompatibleLocationException if the value is incompatible with the property location + */ + public abstract void set(DynamicObject store, Object value, Shape oldShape, Shape newShape) throws IncompatibleLocationException; + + /** + * Assigns value to this property of the object, changing the object's shape. + * + * Combines {@link DynamicObject#setShapeAndGrow(Shape, Shape)} and + * {@link #setGeneric(DynamicObject, Object, Shape)} to an atomic operation. + * + * @param store the store that this property resides in + * @param value the value to assign + * @param oldShape the shape before the transition + * @param newShape the shape after the transition + */ + public abstract void setGeneric(DynamicObject store, Object value, Shape oldShape, Shape newShape); + + /** + * Assigns value to this property of the object, changing the object's shape. + * + * Combines {@link DynamicObject#setShapeAndGrow(Shape, Shape)} and + * {@link #setSafe(DynamicObject, Object, Shape)} to an atomic operation. + * + * @param store the store that this property resides in + * @param value the value to assign + * @param oldShape the shape before the transition + * @param newShape the shape after the transition + */ + public abstract void setSafe(DynamicObject store, Object value, Shape oldShape, Shape newShape); + + /** + * Returns {@code true} if this property and some other property have the same key and flags. + */ + public abstract boolean isSame(Property other); + + /** + * Get the property location. + */ + public abstract Location getLocation(); + + /** + * Is this property hidden from iteration. + * + * @see HiddenKey + */ + public abstract boolean isHidden(); + + public abstract boolean isShadow(); + + /** + * Create a copy of the property with the given flags. + */ + public abstract Property copyWithFlags(int newFlags); + + public abstract Property copyWithRelocatable(boolean newRelocatable); +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/Shape.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,304 @@ +/* + * Copyright (c) 2012, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +import java.util.*; + +import com.oracle.truffle.api.*; + +/** + * Shape objects create a mapping of Property objects to Locations. Shapes are immutable; adding or + * deleting a property yields a new Shape which links to the old one. This allows inline caching to + * simply check the identity of an object's Shape to determine if the cache is valid. There is one + * exception to this immutability, the transition map, but that is used simply to assure that an + * identical series of property additions and deletions will yield the same Shape object. + * + * @see DynamicObject + * @see Property + * @see Location + */ +public abstract class Shape { + /** + * Get a property entry by key. + * + * @param key the identifier to look up + * @return a Property object, or null if not found + */ + public abstract Property getProperty(Object key); + + /** + * Add a new property in the map, yielding a new or cached Shape object. + * + * @param property the property to add + * @return the new Shape + */ + public abstract Shape addProperty(Property property); + + /** + * An {@link Iterable} over the shape's properties in insertion order. + */ + public abstract Iterable<Property> getProperties(); + + /** + * Get a list of properties that this Shape stores. + * + * @return list of properties + */ + public abstract List<Property> getPropertyList(Pred<Property> filter); + + /** + * Get a list of all properties that this Shape stores. + * + * @return list of properties + */ + public abstract List<Property> getPropertyList(); + + /** + * Returns all (also hidden) property objects in this shape. + * + * @param ascending desired order ({@code true} for insertion order, {@code false} for reverse + * insertion order) + */ + public abstract List<Property> getPropertyListInternal(boolean ascending); + + /** + * Get a filtered list of property keys in insertion order. + */ + public abstract List<Object> getKeyList(Pred<Property> filter); + + /** + * Get a list of all property keys in insertion order. + */ + public abstract List<Object> getKeyList(); + + /** + * Get all property keys in insertion order. + */ + public abstract Iterable<Object> getKeys(); + + /** + * Get an assumption that the shape is valid. + */ + public abstract Assumption getValidAssumption(); + + /** + * Check whether this shape is valid. + */ + public abstract boolean isValid(); + + /** + * Get an assumption that the shape is a leaf. + */ + public abstract Assumption getLeafAssumption(); + + /** + * Check whether this shape is a leaf in the transition graph, i.e. transitionless. + */ + public abstract boolean isLeaf(); + + /** + * @return the parent shape or {@code null} if none. + */ + public abstract Shape getParent(); + + /** + * Check whether the shape has a property with the given key. + */ + public abstract boolean hasProperty(Object key); + + /** + * Remove the given property from the shape. + */ + public abstract Shape removeProperty(Property property); + + /** + * Replace a property in the shape. + */ + public abstract Shape replaceProperty(Property oldProperty, Property newProperty); + + /** + * Get the last added property. + */ + public abstract Property getLastProperty(); + + public abstract int getId(); + + /** + * Append the property, relocating it to the next allocated location. + */ + public abstract Shape append(Property oldProperty); + + /** + * Obtain an {@link Allocator} instance for the purpose of allocating locations. + */ + public abstract Allocator allocator(); + + /** + * For copying over properties after exchanging the prototype of an object. + */ + public abstract Shape copyOverPropertiesInternal(Shape destination); + + /** + * Get number of properties in this shape. + */ + public abstract int getPropertyCount(); + + /** + * Get the shape's operations. + */ + public abstract ObjectType getObjectType(); + + /** + * Get the root shape. + */ + public abstract Shape getRoot(); + + /** + * Check whether this shape is identical to the given shape. + */ + public abstract boolean check(DynamicObject subject); + + /** + * Get the shape's layout. + */ + public abstract Layout getLayout(); + + /** + * Get the shape's custom data. + */ + public abstract Object getData(); + + /** + * Get the shape's shared data. + */ + public abstract Object getSharedData(); + + /** + * Query whether the shape has a transition with the given key. + */ + public abstract boolean hasTransitionWithKey(Object key); + + /** + * Clone off a separate shape with new shared data. + */ + public abstract Shape createSeparateShape(Object sharedData); + + /** + * Change the shape's type, yielding a new shape. + */ + public abstract Shape changeType(ObjectType newOps); + + /** + * Reserve the primitive extension array field. + */ + public abstract Shape reservePrimitiveExtensionArray(); + + /** + * Create a new {@link DynamicObject} instance with this shape. + */ + public abstract DynamicObject newInstance(); + + /** + * Create a {@link DynamicObjectFactory} for creating instances of this shape. + */ + public abstract DynamicObjectFactory createFactory(); + + /** + * Get mutex object shared by related shapes, i.e. shapes with a common root. + */ + public abstract Object getMutex(); + + public abstract int getObjectArraySize(); + + public abstract int getObjectFieldSize(); + + public abstract int getPrimitiveArraySize(); + + public abstract int getPrimitiveFieldSize(); + + public abstract int getObjectArrayCapacity(); + + public abstract int getPrimitiveArrayCapacity(); + + public abstract boolean hasPrimitiveArray(); + + /** + * Are these two shapes related, i.e. do they have the same root? + * + * @param other Shape to compare to + * @return true if one shape is an upcast of the other, or the Shapes are equal + */ + public abstract boolean isRelated(Shape other); + + public abstract Shape tryMerge(Shape other); + + public <R> R accept(ShapeVisitor<R> visitor) { + return visitor.visitShape(this); + } + + public abstract static class Allocator { + protected abstract Location locationForValue(Object value, boolean useFinal, boolean nonNull); + + public final Location locationForValue(Object value) { + return locationForValue(value, false, value != null); + } + + public final Location locationForValue(Object value, EnumSet<LocationModifier> modifiers) { + assert value != null || !modifiers.contains(LocationModifier.NonNull); + return locationForValue(value, modifiers.contains(LocationModifier.Final), modifiers.contains(LocationModifier.NonNull)); + } + + protected abstract Location locationForType(Class<?> type, boolean useFinal, boolean nonNull); + + public final Location locationForType(Class<?> type) { + return locationForType(type, false, false); + } + + public final Location locationForType(Class<?> type, EnumSet<LocationModifier> modifiers) { + return locationForType(type, modifiers.contains(LocationModifier.Final), modifiers.contains(LocationModifier.NonNull)); + } + + public abstract Location constantLocation(Object value); + + public abstract Location declaredLocation(Object value); + + public abstract Allocator addLocation(Location location); + } + + /** + * Represents a predicate (boolean-valued function) of one argument. For Java 7 compatibility. + * + * @param <T> the type of the input to the predicate + */ + public interface Pred<T> { + /** + * Evaluates this predicate on the given argument. + * + * @param t the input argument + * @return {@code true} if the input argument matches the predicate, otherwise {@code false} + */ + boolean test(T t); + } +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/ShapeVisitor.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,29 @@ +/* + * Copyright (c) 2014, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +public interface ShapeVisitor<R> { + R visitShape(Shape shape); +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.truffle.api.object/src/com/oracle/truffle/api/object/TypedLocation.java Tue Nov 18 16:18:45 2014 +0100 @@ -0,0 +1,32 @@ +/* + * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. Oracle designates this + * particular file as subject to the "Classpath" exception as provided + * by Oracle in the LICENSE file that accompanied this code. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.truffle.api.object; + +public interface TypedLocation extends BaseLocation { + /** + * The type of this location. + */ + Class<?> getType(); +}
--- a/mx/suite.py Fri Nov 14 13:49:12 2014 +0100 +++ b/mx/suite.py Tue Nov 18 16:18:45 2014 +0100 @@ -1132,6 +1132,15 @@ "workingSets" : "Truffle,Codegen", }, + "com.oracle.truffle.api.object" : { + "subDir" : "graal", + "sourceDirs" : ["src"], + "dependencies" : ["com.oracle.truffle.api"], + "checkstyle" : "com.oracle.truffle.api", + "javaCompliance" : "1.7", + "workingSets" : "API,Truffle", + }, + "com.oracle.truffle.sl" : { "subDir" : "graal", "sourceDirs" : ["src"],