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%2FNothingConstant.java;h=e55978aa396651d67de9f443a3bd477665741cd3;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hp=6778af208cf0de018901cb47e7e48f3dba5788b9;hpb=24e2b34260f219f0d1644ca7a138894980e25b14;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/singletons/NothingConstant.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/singletons/NothingConstant.java index 6778af208..e55978aa3 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/singletons/NothingConstant.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/singletons/NothingConstant.java @@ -1,50 +1,50 @@ -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; - -public class NothingConstant extends Constant { - - private static final TVar A = Types.var(Kinds.STAR); - public static final NothingConstant INSTANCE = new NothingConstant(); - - private NothingConstant() { - super(Types.forAll(A, Types.apply(Types.MAYBE, A))); - } - - @Override - public void push(MethodBuilder mb) { - mb.loadNull(); - } - - @Override - public void deconstruct(MethodBuilder mb, IVal parameter, - Cont success, Label failure) { - if(failure != null) { - parameter.push(mb); - mb.ifNullBranch(failure, false); - } - mb.jump(success); - } - - public int constructorTag() { - return 0; - } - - @Override - public String toString() { - return "Nothing"; - } - - @Override - public Object realizeValue(TransientClassBuilder classBuilder) { - return null; - } -} +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; + +public class NothingConstant extends Constant { + + private static final TVar A = Types.var(Kinds.STAR); + public static final NothingConstant INSTANCE = new NothingConstant(); + + private NothingConstant() { + super(Types.forAll(A, Types.apply(Types.MAYBE, A))); + } + + @Override + public void push(MethodBuilder mb) { + mb.loadNull(); + } + + @Override + public void deconstruct(MethodBuilder mb, IVal parameter, + Cont success, Label failure) { + if(failure != null) { + parameter.push(mb); + mb.ifNullBranch(failure, false); + } + mb.jump(success); + } + + public int constructorTag() { + return 0; + } + + @Override + public String toString() { + return "Nothing"; + } + + @Override + public Object realizeValue(TransientClassBuilder classBuilder) { + return null; + } +}