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%2FTypeProxyConstant.java;fp=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Fconstants%2Fsingletons%2FTypeProxyConstant.java;h=1b32aa028470633810b48ce8f836049ea3628d41;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hp=11a43545ed3be4b08e9c3fb80a0b0920a8500d3c;hpb=24e2b34260f219f0d1644ca7a138894980e25b14;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/singletons/TypeProxyConstant.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/singletons/TypeProxyConstant.java index 11a43545e..1b32aa028 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/singletons/TypeProxyConstant.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/singletons/TypeProxyConstant.java @@ -1,46 +1,46 @@ -package org.simantics.scl.compiler.constants.singletons; - -import org.objectweb.asm.Label; -import org.simantics.scl.compiler.constants.Constant; -import org.simantics.scl.compiler.internal.codegen.continuations.Cont; -import org.simantics.scl.compiler.internal.codegen.references.IVal; -import org.simantics.scl.compiler.internal.codegen.utils.MethodBuilder; -import org.simantics.scl.compiler.internal.codegen.utils.TransientClassBuilder; -import org.simantics.scl.compiler.types.TVar; -import org.simantics.scl.compiler.types.Types; -import org.simantics.scl.compiler.types.kinds.Kinds; -import org.simantics.scl.runtime.tuple.Tuple0; - -public class TypeProxyConstant extends Constant { - - private static final TVar A = Types.var(Kinds.STAR); - public static final TypeProxyConstant INSTANCE = new TypeProxyConstant(); - - private TypeProxyConstant() { - super(Types.forAll(A, Types.apply(Types.TYPE_PROXY, A))); - } - - @Override - public void push(MethodBuilder mb) { - } - - @Override - public void deconstruct(MethodBuilder mb, IVal parameter, - Cont success, Label failure) { - mb.jump(success); - } - - public int constructorTag() { - return 0; - } - - @Override - public String toString() { - return "TypeProxy"; - } - - @Override - public Object realizeValue(TransientClassBuilder classBuilder) { - return Tuple0.INSTANCE; - } -} +package org.simantics.scl.compiler.constants.singletons; + +import org.objectweb.asm.Label; +import org.simantics.scl.compiler.constants.Constant; +import org.simantics.scl.compiler.internal.codegen.continuations.Cont; +import org.simantics.scl.compiler.internal.codegen.references.IVal; +import org.simantics.scl.compiler.internal.codegen.utils.MethodBuilder; +import org.simantics.scl.compiler.internal.codegen.utils.TransientClassBuilder; +import org.simantics.scl.compiler.types.TVar; +import org.simantics.scl.compiler.types.Types; +import org.simantics.scl.compiler.types.kinds.Kinds; +import org.simantics.scl.runtime.tuple.Tuple0; + +public class TypeProxyConstant extends Constant { + + private static final TVar A = Types.var(Kinds.STAR); + public static final TypeProxyConstant INSTANCE = new TypeProxyConstant(); + + private TypeProxyConstant() { + super(Types.forAll(A, Types.apply(Types.TYPE_PROXY, A))); + } + + @Override + public void push(MethodBuilder mb) { + } + + @Override + public void deconstruct(MethodBuilder mb, IVal parameter, + Cont success, Label failure) { + mb.jump(success); + } + + public int constructorTag() { + return 0; + } + + @Override + public String toString() { + return "TypeProxy"; + } + + @Override + public Object realizeValue(TransientClassBuilder classBuilder) { + return Tuple0.INSTANCE; + } +}