com.redhat.ceylon.compiler.js.Singletons Maven / Gradle / Ivy
package com.redhat.ceylon.compiler.js;
import java.util.ArrayList;
import java.util.HashMap;
import java.util.List;
import java.util.Map;
import com.redhat.ceylon.common.Backend;
import com.redhat.ceylon.compiler.js.GenerateJsVisitor.InitDeferrer;
import com.redhat.ceylon.compiler.js.GenerateJsVisitor.SuperVisitor;
import com.redhat.ceylon.compiler.js.util.TypeUtils;
import com.redhat.ceylon.compiler.typechecker.tree.Node;
import com.redhat.ceylon.compiler.typechecker.tree.Tree;
import com.redhat.ceylon.compiler.typechecker.util.NativeUtil;
import com.redhat.ceylon.model.typechecker.model.Class;
import com.redhat.ceylon.model.typechecker.model.ClassOrInterface;
import com.redhat.ceylon.model.typechecker.model.Constructor;
import com.redhat.ceylon.model.typechecker.model.Declaration;
import com.redhat.ceylon.model.typechecker.model.ModelUtil;
import com.redhat.ceylon.model.typechecker.model.Type;
import com.redhat.ceylon.model.typechecker.model.TypeDeclaration;
import com.redhat.ceylon.model.typechecker.model.TypeParameter;
import com.redhat.ceylon.model.typechecker.model.Value;
public class Singletons {
/** Generate an object definition, that is, define an anonymous class and then a function
* to return a single instance of it.
* @param that The node with the definition (can be ObjectDefinition, ObjectExpression, ObjectArgument)
* @param d The Value declaration for the object
* @param sats The list of satisfied types of the anonymous class
* @param superType The supertype of the anonymous class
* @param superCall The invocation of the supertype (object bla extends Foo(x))
* @param body The object definition's body
* @param annots The annotations (in case of ObjectDefinition)
* @param gen The main visitor/generator.
*/
static void defineObject(final Node that, final Value d, final List sats,
final Tree.SimpleType superType, final Tree.InvocationExpression superCall,
final Tree.Body body, final Tree.AnnotationList annots, final GenerateJsVisitor gen, InitDeferrer initDeferrer) {
final boolean addToPrototype = gen.opts.isOptimize() && d != null && d.isClassOrInterfaceMember();
final boolean isObjExpr = that instanceof Tree.ObjectExpression;
final TypeDeclaration _td = isObjExpr ? ((Tree.ObjectExpression)that).getAnonymousClass() : d.getTypeDeclaration();
final Class c = (Class)(_td instanceof Constructor ? _td.getContainer() : _td);
final String className = gen.getNames().name(c);
final String objectName = gen.getNames().name(d);
final String selfName = gen.getNames().self(c);
final Value natd = d == null ? null : (Value)ModelUtil.getNativeDeclaration(d, Backend.JavaScript);
if (that instanceof Tree.Declaration) {
if (NativeUtil.isNativeHeader((Tree.Declaration)that) && natd != null) {
// It's a native header, remember it for later when we deal with its implementation
gen.saveNativeHeader((Tree.Declaration)that);
return;
}
if (!(NativeUtil.isForBackend((Tree.Declaration)that, Backend.JavaScript)
|| NativeUtil.isHeaderWithoutBackend((Tree.Declaration)that, Backend.JavaScript))) {
return;
}
}
final List stmts;
if (d != null && NativeUtil.isForBackend(d, Backend.JavaScript)) {
Tree.Declaration nh = gen.getNativeHeader(d);
if (nh == null && NativeUtil.hasNativeMembers(c) && that instanceof Tree.Declaration) {
nh = (Tree.Declaration)that;
}
stmts = NativeUtil.mergeStatements(body, nh, Backend.JavaScript);
} else {
stmts = body.getStatements();
}
Map targs=new HashMap<>();
if (sats != null) {
for (Type st : sats) {
Map stargs = st.getTypeArguments();
if (stargs != null && !stargs.isEmpty()) {
targs.putAll(stargs);
}
}
}
gen.out(GenerateJsVisitor.function, className, targs.isEmpty()?"()":"($$targs$$)");
gen.beginBlock();
if (isObjExpr) {
gen.out("var ", selfName, "=new ", className, ".$$;");
final ClassOrInterface coi = ModelUtil.getContainingClassOrInterface(c.getContainer());
if (coi != null) {
gen.out(selfName, ".outer$=", gen.getNames().self(coi));
gen.endLine(true);
}
} else {
if (c.isMember() && !d.isStatic()) {
gen.initSelf(that);
}
gen.instantiateSelf(c);
gen.referenceOuter(c);
}
//TODO should we generate all this code for native headers?
//Really we should merge the body of the header with that of the impl
//It's the only way to make this shit work in lexical scope mode
final List superDecs = new ArrayList<>();
if (!gen.opts.isOptimize()) {
final SuperVisitor superv = new SuperVisitor(superDecs);
for (Tree.Statement st : stmts) {
st.visit(superv);
}
}
if (!targs.isEmpty()) {
gen.out(selfName, ".$$targs$$=$$targs$$");
gen.endLine(true);
}
TypeGenerator.callSupertypes(sats, superType, c, that, superDecs, superCall,
superType == null ? null : ((Class) c.getExtendedType().getDeclaration()).getParameterList(), gen);
gen.visitStatements(stmts);
gen.out("return ", selfName, ";");
gen.endBlock();
gen.out(";", className, ".$crtmm$=");
TypeUtils.encodeForRuntime(that, c, gen);
gen.endLine(true);
TypeGenerator.initializeType(that, gen, initDeferrer);
final String objvar = (addToPrototype ? "this.":"")+gen.getNames().createTempVariable();
if (d != null && !addToPrototype) {
gen.out("var ", objvar);
//If it's a property, create the object here
if (AttributeGenerator.defineAsProperty(d)) {
gen.out("=", className, "(");
if (!targs.isEmpty()) {
TypeUtils.printTypeArguments(that, targs, gen, false, null);
}
gen.out(")");
}
gen.endLine(true);
}
if (d != null && AttributeGenerator.defineAsProperty(d)) {
gen.out(gen.getClAlias(), "atr$(");
gen.outerSelf(d);
gen.out(",'", objectName, "',function(){return ");
if (addToPrototype) {
gen.out("this.", gen.getNames().privateName(d));
} else {
gen.out(objvar);
}
gen.out(";},undefined,");
TypeUtils.encodeForRuntime(that, d, annots, gen);
gen.out(")");
gen.endLine(true);
} else if (d != null) {
final String objectGetterName = gen.getNames().getter(d, false);
gen.out(GenerateJsVisitor.function, objectGetterName, "()");
gen.beginBlock();
//Create the object lazily
final String oname = gen.getNames().objectName(c);
gen.out("if(", objvar, "===", gen.getClAlias(), "INIT$)");
gen.generateThrow(gen.getClAlias()+"InitializationError",
"Cyclic initialization trying to read the value of '" +
d.getName() + "' before it was set", that);
gen.endLine(true);
gen.out("if(", objvar, "===undefined){", objvar, "=", gen.getClAlias(), "INIT$;",
objvar, "=$init$", oname);
if (!oname.endsWith("()")) {
gen.out("()");
}
gen.out("(");
if (!targs.isEmpty()) {
TypeUtils.printTypeArguments(that, targs, gen, false, null);
}
gen.out(");", objvar, ".$crtmm$=", objectGetterName, ".$crtmm$;}");
gen.endLine();
gen.out("return ", objvar, ";");
gen.endBlockNewLine();
if (addToPrototype || d.isShared()) {
gen.outerSelf(d);
gen.out(".", objectGetterName, "=", objectGetterName);
gen.endLine(true);
}
if (!d.isToplevel()) {
if(gen.outerSelf(d))gen.out(".");
}
gen.out(objectGetterName, ".$crtmm$=");
TypeUtils.encodeForRuntime(that, d, annots, gen);
gen.endLine(true);
gen.out(gen.getNames().getter(c, true), "=", objectGetterName);
gen.endLine(true);
if (d.isToplevel()) {
final String objectGetterNameMM = gen.getNames().getter(d, true);
gen.out("ex$.", objectGetterNameMM, "=", objectGetterNameMM);
gen.endLine(true);
}
} else if (isObjExpr) {
gen.out("return ", className, "();");
}
}
static void objectDefinition(final Tree.ObjectDefinition that, final GenerateJsVisitor gen, InitDeferrer initDeferrer) {
final Tree.SatisfiedTypes sts = that.getSatisfiedTypes();
final Tree.ExtendedType et = that.getExtendedType();
defineObject(that, that.getDeclarationModel(),
sts == null ? null : TypeUtils.getTypes(sts.getTypes()),
et == null ? null : et.getType(), et == null ? null : et.getInvocationExpression(),
that.getClassBody(), that.getAnnotationList(), gen, initDeferrer);
//Objects defined inside methods need their init sections are exec'd
if (!that.getDeclarationModel().isToplevel() && !that.getDeclarationModel().isClassOrInterfaceMember()) {
gen.out(gen.getNames().objectName(that.getDeclarationModel()), "();");
}
}
static void valueConstructor(final Tree.ClassDefinition cdef,
final Tree.Enumerated that, final GenerateJsVisitor gen) {
final Value d = that.getDeclarationModel();
final Constructor c = that.getEnumerated();
final Tree.DelegatedConstructor dc = that.getDelegatedConstructor();
final TypeDeclaration td = (TypeDeclaration)c.getContainer();
final String objvar = gen.getNames().createTempVariable();
final String selfvar = gen.getNames().self(td);
final String typevar = gen.getNames().name(td);
final String singvar = gen.getNames().name(d);
final boolean nested = cdef.getDeclarationModel().isClassOrInterfaceMember();
final String constructorName = typevar + gen.getNames().constructorSeparator(c) + singvar;
gen.out(nested?"this.":"var ", objvar, "=undefined;function ", constructorName,
"(){if(", nested?"this.":"", objvar, "===undefined){");
if (dc==null) {
gen.out("$init$", typevar, "();");
}
if (nested) {
gen.out("var ", selfvar, "=");
} else {
gen.out(objvar, "=");
}
gen.out("new ", typevar, ".$$;");
if (td.isClassOrInterfaceMember()) {
gen.out(nested?selfvar:objvar, ".outer$=this;");
}
if (dc != null) {
Tree.InvocationExpression invoke = dc.getInvocationExpression();
invoke.getPrimary().visit(gen);
gen.out("(");
//For now, only positional invocations are allowed here
gen.getInvoker().generatePositionalArguments(invoke.getPrimary(), invoke.getPositionalArgumentList(), invoke.getPositionalArgumentList().getPositionalArguments(), false, false);
if (!invoke.getPositionalArgumentList().getPositionalArguments().isEmpty()) {
gen.out(",");
}
if (!dc.getType().getTypeModel().getTypeArguments().isEmpty()) {
TypeUtils.printTypeArguments(dc, dc.getType().getTypeModel().getTypeArguments(), gen, false,
dc.getType().getTypeModel().getVarianceOverrides());
gen.out(",");
}
gen.out(nested?selfvar:objvar, ")");
gen.endLine(true);
}
if (!nested) {
gen.out("var ", selfvar, "=", objvar, ";");
}
ClassGenerator.addFunctionTypeArguments(cdef.getDeclarationModel(), objvar, gen);
ClassGenerator.callSupertypes(cdef, cdef.getDeclarationModel(), typevar, gen);
List stmts = Constructors.classStatementsBetweenConstructors(
cdef, null, that, gen);
if (!stmts.isEmpty()) {
gen.generateConstructorStatements(that, stmts);
}
stmts = Constructors.classStatementsAfterConstructor(cdef, that);
if (!stmts.isEmpty()) {
gen.visitStatements(stmts);
}
if (nested) {
gen.out("this.", objvar, "=", selfvar, ";");
}
gen.out("}return ", nested?"this.":"", objvar, ";};", constructorName, ".$crtmm$=");
TypeUtils.encodeForRuntime(that, that.getDeclarationModel(), that.getAnnotationList(), gen);
gen.out(";");
if (td.isClassOrInterfaceMember()) {
gen.outerSelf(td);
gen.out(".", constructorName, "=", constructorName, ";");
} else if (td.isShared()) {
gen.out("ex$.", constructorName, "=", constructorName, ";");
}
gen.out(gen.getNames().name(td), ".", constructorName, "=", constructorName);
gen.endLine(true);
}
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy