bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/java/FreezeMVector.java

   1 package org.simantics.scl.compiler.elaboration.java;
   2
   3 import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
   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.exceptions.MatchException;
  11 import org.simantics.scl.compiler.types.kinds.Kinds;
  12
  13 public class FreezeMVector extends FunctionValue {
  14     private static final TVar A = Types.var(Kinds.STAR);
  15
  16     public FreezeMVector() {
  17         super(new TVar[] {A}, Types.PROC, Types.vector(A), Types.mvector(A));
  18     }
  19
  20     @Override
  21     public Type applyExact(MethodBuilder mb, Val[] parameters) {
  22         Val vectorVar = parameters[0];
  23
  24         vectorVar.push(mb);
  25
  26         try {
  27             Type elementType = Types.canonical(
  28                     Types.matchApply(Types.MVECTOR, vectorVar.getType()));
  29             return Types.vector(elementType);
  30         } catch (MatchException e) {
  31             throw new InternalCompilerError(e);
  32         }
  33     }
  34
  35 }