gerrit.simantics Code Review - simantics/platform.git/blob

   1 package org.simantics.scl.compiler.internal.codegen.ssa.exits;
   2
   3 import java.util.ArrayList;
   4
   5 import org.simantics.scl.compiler.internal.codegen.continuations.Cont;
   6 import org.simantics.scl.compiler.internal.codegen.continuations.ContRef;
   7 import org.simantics.scl.compiler.internal.codegen.references.Val;
   8 import org.simantics.scl.compiler.internal.codegen.references.ValRef;
   9 import org.simantics.scl.compiler.internal.codegen.ssa.SSABlock;
  10 import org.simantics.scl.compiler.internal.codegen.ssa.SSAExit;
  11 import org.simantics.scl.compiler.internal.codegen.ssa.SSAFunction;
  12 import org.simantics.scl.compiler.internal.codegen.utils.CopyContext;
  13 import org.simantics.scl.compiler.internal.codegen.utils.MethodBuilder;
  14 import org.simantics.scl.compiler.internal.codegen.utils.PrintingContext;
  15 import org.simantics.scl.compiler.internal.codegen.utils.SSAValidationContext;
  16 import org.simantics.scl.compiler.internal.codegen.utils.ValRefVisitor;
  17 import org.simantics.scl.compiler.types.TVar;
  18 import org.simantics.scl.compiler.types.Type;
  19
  20 public class Throw2 extends SSAExit {
  21
  22     ValRef exception;
  23
  24     public Throw2(ValRef exception) {
  25         this.exception = exception;
  26     }
  27
  28     @Override
  29     public void toString(PrintingContext context) {
  30         context.append("throw ");
  31         context.append(exception);
  32         context.append('\n');
  33     }
  34
  35     @Override
  36     public void generateCode(MethodBuilder mb) {
  37         mb.pushBoxed(exception.getBinding());
  38         mb.throwObject();
  39     }
  40
  41     @Override
  42     public void validate(SSAValidationContext context) {
  43     }
  44
  45     @Override
  46     public void destroy() {
  47         exception.remove();
  48     }
  49
  50     @Override
  51     public SSAExit copy(CopyContext context) {
  52         return new Throw2(exception.copy());
  53     }
  54
  55     @Override
  56     public void replace(TVar[] vars, Type[] replacements) {
  57     }
  58
  59     @Override
  60     public void collectFreeVariables(SSAFunction function,
  61             ArrayList<ValRef> vars) {
  62     }
  63
  64     @Override
  65     public Cont addParametersInFrontOf(ContRef contRef, Val[] newParameters, Val[] oldParameters,
  66             Cont proxy) {
  67         return proxy;
  68     }
  69
  70     @Override
  71     public SSABlock[] getSuccessors() {
  72         return SSABlock.EMPTY_ARRAY;
  73     }
  74
  75     @Override
  76     public void forValRefs(ValRefVisitor visitor) {
  77     }
  78
  79     @Override
  80     public void cleanup() {
  81     }
  82 }