X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Fconstants%2Fsingletons%2FBindingConstant.java;h=d2e0f540bea2a8418b9529ebb3c4056e74c86d40;hb=fc2cb126576a7d0f3e6e1d4812992e4e69e481cd;hp=f782c3237a2d2d149c51fcd2a9d6b07f16b615d3;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/singletons/BindingConstant.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/singletons/BindingConstant.java index f782c3237..d2e0f540b 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/singletons/BindingConstant.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/singletons/BindingConstant.java @@ -1,26 +1,26 @@ -package org.simantics.scl.compiler.constants.singletons; - -import org.simantics.scl.compiler.constants.FunctionValue; -import org.simantics.scl.compiler.internal.codegen.references.Val; -import org.simantics.scl.compiler.internal.codegen.utils.MethodBuilder; -import org.simantics.scl.compiler.types.TVar; -import org.simantics.scl.compiler.types.Type; -import org.simantics.scl.compiler.types.Types; -import org.simantics.scl.compiler.types.kinds.Kinds; - -public class BindingConstant extends FunctionValue { - - private static final TVar A = Types.var(Kinds.STAR); - public static final BindingConstant INSTANCE = new BindingConstant(); - - private BindingConstant() { - super(new TVar[] {A}, Types.NO_EFFECTS, Types.apply(Types.BINDING, A), - Types.pred(Types.SERIALIZABLE, A)); - } - - @Override - public Type applyExact(MethodBuilder mb, Val[] parameters) { - mb.push(parameters[0], Types.BINDING); - return getReturnType(); - } +package org.simantics.scl.compiler.constants.singletons; + +import org.simantics.scl.compiler.constants.FunctionValue; +import org.simantics.scl.compiler.internal.codegen.references.Val; +import org.simantics.scl.compiler.internal.codegen.utils.MethodBuilder; +import org.simantics.scl.compiler.types.TVar; +import org.simantics.scl.compiler.types.Type; +import org.simantics.scl.compiler.types.Types; +import org.simantics.scl.compiler.types.kinds.Kinds; + +public class BindingConstant extends FunctionValue { + + private static final TVar A = Types.var(Kinds.STAR); + public static final BindingConstant INSTANCE = new BindingConstant(); + + private BindingConstant() { + super(new TVar[] {A}, Types.NO_EFFECTS, Types.apply(Types.BINDING, A), + Types.pred(Types.SERIALIZABLE, A)); + } + + @Override + public Type applyExact(MethodBuilder mb, Val[] parameters) { + mb.push(parameters[0], Types.BINDING); + return getReturnType(); + } } \ No newline at end of file