}
JavaTypeName returnType = JavaTypeNames.RTFUNCTION;
// Add the method to the class.
JavaMethod javaMethod;
if (functions.getNCAFs() + functions.getNZeroArityFunctions() <= 1) {
javaMethod = new JavaMethod(modifiers,
returnType,
new String[]{SCJavaDefn.EXECUTION_CONTEXT_NAME},
new JavaTypeName[]{JavaTypeNames.RTEXECUTION_CONTEXT},
null, "make");
} else {
javaMethod = new JavaMethod(modifiers,
returnType,
new String[]{"scIndex", SCJavaDefn.EXECUTION_CONTEXT_NAME},
new JavaTypeName[]{JavaTypeName.INT, JavaTypeNames.RTEXECUTION_CONTEXT},
null, "make");
}
javaClassRep.addMethod(javaMethod);
// Add the body..
// Turn on this code to include a diagnostic print statement.
// JavaExpression field = new JavaField.Static(JavaTypeName.make("java.lang.System"), "out", JavaTypeName.make("java.io.PrintStream"));
// JavaExpression args[] = new JavaExpression[1];
// String s = javaDefn.getFunctionName() + ".make()";
// args[0] = LiteralWrapper.make(s);
// JavaTypeName argTypes[] = new JavaTypeName[1];
// argTypes[0] = JavaTypeName.STRING;
// JavaExpression me = new MethodInvocation.Instance (field, "println", args, argTypes, JavaTypeName.VOID, MethodInvocation.InvocationType.VIRTUAL);
// JavaStatement se = new JavaStatement.ExpressionStatement(me);
// javaMethod.addStatement(se);
// For a CAF we cache 'instances' associated with execution contexts. In this case an
// 'instance' is represented by an application of the supercombinator to zero arguments.
// A zero arity function is different from a CAF in that we don't cache the 'instance'.
// Regular functions we just return the singleton supercombinator instance.
if (functions.getNCAFs() + functions.getNZeroArityFunctions() <= 1) {
for (final MachineFunction mf : functions.getTopLevelCALFunctions()) {
JavaField instanceField = new JavaField.Static(className, CALToJavaNames.getInstanceFieldName(mf.getQualifiedName(), module), className);
if (mf.isCAF()) {
Block b = new Block();
// This is a CAF (constant applicative form) we want to use the cached instance associated
// with the execution context, if it exists.
// If it doesn't exist we will create an instance and add it to the cache.
String instanceMapFieldName = functions.getFNamePrefix(mf.getName()) + "$instancesMap";
JavaField instanceMapField =
new JavaField.Static(className, instanceMapFieldName, JavaTypeName.MAP);
// RTFunction newInstance = (RTFunction)$instancesMap.get($ec);
JavaExpression.LocalVariable newInstanceVar =
new JavaExpression.LocalVariable("newInstance", returnType);
JavaExpression initializer = new JavaExpression.CastExpression(
returnType,
new MethodInvocation.Instance(
instanceMapField,
"get",
SCJavaDefn.EXECUTION_CONTEXT_VAR,
JavaTypeName.OBJECT,
JavaTypeName.OBJECT,
MethodInvocation.InvocationType.INTERFACE));
JavaStatement decl = new JavaStatement.LocalVariableDeclaration(newInstanceVar, initializer);
b.addStatement(decl);
// If no instance exists for the execution context create one and cache it.
// newInstance == null
JavaExpression comparison = new JavaExpression.OperatorExpression.Binary(JavaOperator.EQUALS_OBJECT, newInstanceVar, JavaExpression.LiteralWrapper.NULL);
// newInstance = new RTFullApp.General_0($instance);
// $instancesMap.put($ec, newInstance);
JavaStatement.Block then = new JavaStatement.Block();
then.addStatement(new ExpressionStatement(new JavaExpression.Assignment(newInstanceVar, new JavaExpression.ClassInstanceCreationExpression(_0TypeName, instanceField, JavaTypeNames.RTSUPERCOMBINATOR))));
JavaExpression cacheValue = new MethodInvocation.Instance(
instanceMapField,
"put",
new JavaExpression[] {
SCJavaDefn.EXECUTION_CONTEXT_VAR,
newInstanceVar },
new JavaTypeName[] {
JavaTypeName.OBJECT,
JavaTypeName.OBJECT },
JavaTypeName.OBJECT,
MethodInvocation.InvocationType.INTERFACE);
then.addStatement(new ExpressionStatement(cacheValue));
// Put the whole if expression together.
JavaStatement ifthen = new JavaStatement.IfThenElseStatement(comparison, then);
b.addStatement(ifthen);
b.addStatement(new ReturnStatement(newInstanceVar));
javaMethod.addStatement(b);
break;
} else if (mf.getArity() == 0) {
Block b = new Block();
// This is an unsafe method. i.e. a non-CAF function of arity zero. Since the
// function can have side effects we need to create a new instance of the class
// each time so that a previously evaluated value doesn't get re-used in place
// of actually executing the function.
JavaExpression.LocalVariable newInstanceVar = new JavaExpression.LocalVariable("newInstance", returnType);
JavaExpression initializer = new ClassInstanceCreationExpression(_0TypeName, instanceField, JavaTypeNames.RTSUPERCOMBINATOR);
JavaStatement decl = new JavaStatement.LocalVariableDeclaration(newInstanceVar, initializer);
b.addStatement(decl);
b.addStatement(new ReturnStatement(newInstanceVar));
javaMethod.addStatement(b);
break;
}
}
} else {
SwitchStatement switchStatement =
new SwitchStatement(new MethodVariable("scIndex"));
for (final MachineFunction mf : functions.getTopLevelCALFunctions()) {
JavaField instanceField = new JavaField.Static(className, CALToJavaNames.getInstanceFieldName(mf.getQualifiedName(), module), className);
int functionIndex = functions.getFunctionIndex(mf.getName());
if (mf.isCAF()) {
Block b = new Block();
// This is a CAF (constant applicative form) we want to use the cached instance associated
// with the execution context, if it exists.
// If it doesn't exist we will create an instance and add it to the cache.
String instanceMapFieldName = functions.getFNamePrefix(mf.getName()) + "$instancesMap";
JavaField instanceMapField =
new JavaField.Static(className, instanceMapFieldName, JavaTypeName.MAP);
// RTFunction newInstance = (RTFunction)$instancesMap.get($ec);
JavaExpression.LocalVariable newInstanceVar = new JavaExpression.LocalVariable("newInstance", returnType);
JavaExpression initializer =
new JavaExpression.CastExpression(returnType, new MethodInvocation.Instance (instanceMapField,
"get",
SCJavaDefn.EXECUTION_CONTEXT_VAR,
JavaTypeName.OBJECT,
JavaTypeName.OBJECT,
MethodInvocation.InvocationType.INTERFACE));
JavaStatement decl = new JavaStatement.LocalVariableDeclaration(newInstanceVar, initializer);
b.addStatement(decl);
// If no instance exists for the execution context create one and cache it.
// newInstance == null
JavaExpression comparison = new JavaExpression.OperatorExpression.Binary(JavaOperator.EQUALS_OBJECT, newInstanceVar, JavaExpression.LiteralWrapper.NULL);
// newInstance = new RTFullApp.General_0($instance);
// $instancesMap.put($ec, newInstance);
JavaStatement.Block then = new JavaStatement.Block();
then.addStatement(new ExpressionStatement(new JavaExpression.Assignment(newInstanceVar, new JavaExpression.ClassInstanceCreationExpression(_0TypeName, instanceField, JavaTypeNames.RTSUPERCOMBINATOR))));
JavaExpression cacheValue =
new MethodInvocation.Instance(instanceMapField,
"put",
new JavaExpression[]{SCJavaDefn.EXECUTION_CONTEXT_VAR, newInstanceVar},
new JavaTypeName[]{JavaTypeName.OBJECT, JavaTypeName.OBJECT},
JavaTypeName.OBJECT,
MethodInvocation.InvocationType.INTERFACE);
then.addStatement(new ExpressionStatement(cacheValue));
// Put the whole if expression together.
JavaStatement ifthen = new JavaStatement.IfThenElseStatement(comparison, then);
b.addStatement(ifthen);
b.addStatement(new ReturnStatement(newInstanceVar));
switchStatement.addCase(
new SwitchStatement.IntCaseGroup(
functionIndex,
b));
}
}
MethodInvocation mi =
new MethodInvocation.Static (JavaTypeNames.RTVALUE,
"badValue",
new JavaExpression[]{LiteralWrapper.NULL, LiteralWrapper.make("Illegal fall through to default case in " + functions.getFunctionGroupQualifiedName() + ".make().")},
new JavaTypeName[]{JavaTypeName.ERRORINFO, JavaTypeName.STRING},
JavaTypeNames.RTVALUE);
switchStatement.addCase(
new SwitchStatement.DefaultCase(new ReturnStatement(new CastExpression(JavaTypeNames.RTFUNCTION, mi))));
javaMethod.addStatement(switchStatement);
}
}