/*
* 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);
}
}