bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/singletons/FailFunction.java

   1 package org.simantics.scl.compiler.constants.singletons;
   2
   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;
  11
  12 public class FailFunction extends FunctionValue {
  13
  14     private static final TVar A = Types.var(Kinds.STAR);
  15     public static final FailFunction INSTANCE =
  16             new FailFunction();
  17
  18     private FailFunction() {
  19         super(new TVar[] {A}, Types.NO_EFFECTS, A, Types.STRING);
  20     }
  21
  22     private static final TypeDesc RuntimeException =
  23             TypeDesc.forClass(RuntimeException.class);
  24
  25     @Override
  26     public Type applyExact(MethodBuilder mb, Val[] parameters) {
  27         mb.newObject(RuntimeException);
  28         mb.dup();
  29         mb.push(parameters, parameterTypes);
  30         mb.invokeConstructor(RuntimeException,
  31                 new TypeDesc[] {TypeDesc.STRING});
  32         mb.throwObject();
  33         return getReturnType();
  34     }
  35
  36     @Override
  37     public String toString() {
  38          return "fail";
  39     }
  40 }