1 package org.simantics.scl.compiler.constants.singletons;
3 import org.cojen.classfile.TypeDesc;
4 import org.simantics.scl.compiler.constants.FunctionValue;
5 import org.simantics.scl.compiler.internal.codegen.references.Val;
6 import org.simantics.scl.compiler.internal.codegen.utils.MethodBuilder;
7 import org.simantics.scl.compiler.types.TVar;
8 import org.simantics.scl.compiler.types.Type;
9 import org.simantics.scl.compiler.types.Types;
10 import org.simantics.scl.compiler.types.kinds.Kinds;
12 public class FailFunction extends FunctionValue {
14 private static final TVar A = Types.var(Kinds.STAR);
15 public static final FailFunction INSTANCE =
18 private FailFunction() {
19 super(new TVar[] {A}, Types.NO_EFFECTS, A, Types.STRING);
22 private static final TypeDesc RuntimeException =
23 TypeDesc.forClass(RuntimeException.class);
26 public Type applyExact(MethodBuilder mb, Val[] parameters) {
27 mb.newObject(RuntimeException);
29 mb.push(parameters, parameterTypes);
30 mb.invokeConstructor(RuntimeException,
31 new TypeDesc[] {TypeDesc.STRING});
33 return getReturnType();
37 public String toString() {