/*
 * Copyright (c) 2010, 2013, 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 jdk.nashorn.internal.codegen;

import static jdk.nashorn.internal.codegen.CompilerConstants.SCOPE;

import java.util.List;
import jdk.nashorn.internal.codegen.types.Type;
import jdk.nashorn.internal.runtime.JSType;
import jdk.nashorn.internal.runtime.PropertyMap;
import jdk.nashorn.internal.runtime.ScriptObject;

Base class for object creation code generation.
Type parameters:
  • <T> – value type
/** * Base class for object creation code generation. * @param <T> value type */
public abstract class ObjectCreator<T> implements CodeGenerator.SplitLiteralCreator {
List of keys & symbols to initiate in this ObjectCreator
/** List of keys & symbols to initiate in this ObjectCreator */
final List<MapTuple<T>> tuples;
Code generator
/** Code generator */
final CodeGenerator codegen;
Property map
/** Property map */
protected PropertyMap propertyMap; private final boolean isScope; private final boolean hasArguments;
Constructor
Params:
  • codegen – the code generator
  • tuples – key,symbol,value (optional) tuples
  • isScope – is this object scope
  • hasArguments – does the created object have an "arguments" property
/** * Constructor * * @param codegen the code generator * @param tuples key,symbol,value (optional) tuples * @param isScope is this object scope * @param hasArguments does the created object have an "arguments" property */
ObjectCreator(final CodeGenerator codegen, final List<MapTuple<T>> tuples, final boolean isScope, final boolean hasArguments) { this.codegen = codegen; this.tuples = tuples; this.isScope = isScope; this.hasArguments = hasArguments; }
Generate code for making the object.
Params:
  • method – Script method.
/** * Generate code for making the object. * @param method Script method. */
public void makeObject(final MethodEmitter method) { createObject(method); // We need to store the object in a temporary slot as populateRange expects to load the // object from a slot (as it is also invoked within split methods). Note that this also // helps optimistic continuations to handle the stack in case an optimistic assumption // fails during initialization (see JDK-8079269). final int objectSlot = method.getUsedSlotsWithLiveTemporaries(); final Type objectType = method.peekType(); method.storeTemp(objectType, objectSlot); populateRange(method, objectType, objectSlot, 0, tuples.size()); }
Generate code for creating and initializing the object.
Params:
  • method – the method emitter
/** * Generate code for creating and initializing the object. * @param method the method emitter */
protected abstract void createObject(final MethodEmitter method);
Construct the property map appropriate for the object.
Returns:the newly created property map
/** * Construct the property map appropriate for the object. * @return the newly created property map */
protected abstract PropertyMap makeMap();
Create a new MapCreator
Params:
  • clazz – type of MapCreator
Returns:map creator instantiated by type
/** * Create a new MapCreator * @param clazz type of MapCreator * @return map creator instantiated by type */
protected MapCreator<?> newMapCreator(final Class<? extends ScriptObject> clazz) { return new MapCreator<>(clazz, tuples); }
Loads the scope on the stack through the passed method emitter.
Params:
  • method – the method emitter to use
/** * Loads the scope on the stack through the passed method emitter. * @param method the method emitter to use */
protected void loadScope(final MethodEmitter method) { method.loadCompilerConstant(SCOPE); }
Emit the correct map for the object.
Params:
  • method – method emitter
Returns:the method emitter
/** * Emit the correct map for the object. * @param method method emitter * @return the method emitter */
protected MethodEmitter loadMap(final MethodEmitter method) { codegen.loadConstant(propertyMap); return method; } PropertyMap getMap() { return propertyMap; }
Is this a scope object
Returns:true if scope
/** * Is this a scope object * @return true if scope */
protected boolean isScope() { return isScope; }
Does the created object have an "arguments" property
Returns:true if has an "arguments" property
/** * Does the created object have an "arguments" property * @return true if has an "arguments" property */
protected boolean hasArguments() { return hasArguments; }
Get the class of objects created by this ObjectCreator
Returns:class of created object
/** * Get the class of objects created by this ObjectCreator * @return class of created object */
abstract protected Class<? extends ScriptObject> getAllocatorClass();
Technique for loading an initial value. Defined by anonymous subclasses in code gen.
Params:
  • value – Value to load.
  • type – the type of the value to load
/** * Technique for loading an initial value. Defined by anonymous subclasses in code gen. * * @param value Value to load. * @param type the type of the value to load */
protected abstract void loadValue(T value, Type type); MethodEmitter loadTuple(final MethodEmitter method, final MapTuple<T> tuple, final boolean pack) { loadValue(tuple.value, tuple.type); if (!codegen.useDualFields() || !tuple.isPrimitive()) { method.convert(Type.OBJECT); } else if (pack) { method.pack(); } return method; } MethodEmitter loadIndex(final MethodEmitter method, final long index) { return JSType.isRepresentableAsInt(index) ? method.load((int) index) : method.load((double) index); } }