1 package org.simantics.scl.compiler.constants.singletons;
\r
3 import org.cojen.classfile.TypeDesc;
\r
4 import org.objectweb.asm.Label;
\r
5 import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
\r
6 import org.simantics.scl.compiler.constants.FunctionValue;
\r
7 import org.simantics.scl.compiler.constants.GetPrimitiveConstant;
\r
8 import org.simantics.scl.compiler.constants.LocalVariableConstant;
\r
9 import org.simantics.scl.compiler.constants.NoRepConstant;
\r
10 import org.simantics.scl.compiler.internal.codegen.continuations.Cont;
\r
11 import org.simantics.scl.compiler.internal.codegen.references.IVal;
\r
12 import org.simantics.scl.compiler.internal.codegen.references.Val;
\r
13 import org.simantics.scl.compiler.internal.codegen.types.JavaTypeTranslator;
\r
14 import org.simantics.scl.compiler.internal.codegen.utils.LocalVariable;
\r
15 import org.simantics.scl.compiler.internal.codegen.utils.MethodBuilder;
\r
16 import org.simantics.scl.compiler.types.TVar;
\r
17 import org.simantics.scl.compiler.types.Type;
\r
18 import org.simantics.scl.compiler.types.Types;
\r
19 import org.simantics.scl.compiler.types.exceptions.MatchException;
\r
20 import org.simantics.scl.compiler.types.kinds.Kinds;
\r
22 public class JustConstant extends FunctionValue {
\r
24 private static final TVar A = Types.var(Kinds.STAR);
\r
25 public static final JustConstant INSTANCE = new JustConstant();
\r
27 private JustConstant() {
\r
28 super(new TVar[] {A}, Types.NO_EFFECTS, Types.apply(Types.MAYBE, A), A);
\r
32 public Type applyExact(MethodBuilder mb, Val[] parameters) {
\r
33 parameters[0].push(mb);
\r
34 mb.box(parameters[0].getType());
\r
35 return getReturnType();
\r
39 public void deconstruct(MethodBuilder mb, IVal parameter,
\r
40 Cont success, Label failure) {
\r
43 componentType = Types.matchApply(Types.MAYBE, parameter.getType());
\r
44 } catch (MatchException e) {
\r
45 throw new InternalCompilerError();
\r
47 TypeDesc componentTypeDesc =
\r
48 mb.getJavaTypeTranslator().toTypeDesc(componentType);
\r
50 if(failure == null) {
\r
51 IVal val = componentTypeDesc.isPrimitive()
\r
52 ? new GetPrimitiveConstant(componentType, parameter, componentTypeDesc)
\r
54 mb.jump(success, val);
\r
57 Label failureLabel = mb.createLabel();
\r
61 mb.ifNullBranch(failureLabel, true);
\r
63 if(componentTypeDesc.equals(TypeDesc.VOID)) {
\r
65 mb.jump(success, new NoRepConstant(componentType));
\r
68 if(componentTypeDesc.isPrimitive())
\r
69 mb.convert(JavaTypeTranslator.toObjectType(componentTypeDesc), componentTypeDesc);
\r
71 LocalVariable lv = mb.createLocalVariable("temp", componentTypeDesc);
\r
74 mb.jump(success, new LocalVariableConstant(componentType, lv));
\r
78 mb.setLocation(failureLabel);
\r
83 public int constructorTag() {
\r
87 public String toString() {
\r