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

   1 package org.simantics.scl.compiler.constants.singletons;\r
   2 \r
   3 import org.simantics.scl.compiler.constants.FunctionValue;\r
   4 import org.simantics.scl.compiler.internal.codegen.references.Val;\r
   5 import org.simantics.scl.compiler.internal.codegen.utils.MethodBuilder;\r
   6 import org.simantics.scl.compiler.types.TVar;\r
   7 import org.simantics.scl.compiler.types.Type;\r
   8 import org.simantics.scl.compiler.types.Types;\r
   9 import org.simantics.scl.compiler.types.kinds.Kinds;\r
  10 \r
  11 public class BindingConstant extends FunctionValue {\r
  12     \r
  13     private static final TVar A = Types.var(Kinds.STAR);\r
  14     public static final BindingConstant INSTANCE = new BindingConstant();\r
  15     \r
  16     private BindingConstant() {\r
  17         super(new TVar[] {A}, Types.NO_EFFECTS, Types.apply(Types.BINDING, A), \r
  18                 Types.pred(Types.SERIALIZABLE, A));\r
  19     }\r
  20     \r
  21     @Override\r
  22     public Type applyExact(MethodBuilder mb, Val[] parameters) {\r
  23         mb.push(parameters[0], Types.BINDING);\r
  24         return getReturnType();\r
  25     }\r
  26 }