bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/JavaTypeClassSuper.java

   1 package org.simantics.scl.compiler.constants;
   2
   3 import org.simantics.scl.compiler.elaboration.modules.TypeClassInstance;
   4 import org.simantics.scl.compiler.internal.codegen.references.IVal;
   5 import org.simantics.scl.compiler.internal.codegen.references.Val;
   6 import org.simantics.scl.compiler.internal.codegen.references.ValRef;
   7 import org.simantics.scl.compiler.internal.codegen.ssa.statements.LetApply;
   8 import org.simantics.scl.compiler.internal.codegen.utils.SSASimplificationContext;
   9 import org.simantics.scl.compiler.types.Type;
  10 import org.simantics.scl.compiler.types.Types;
  11
  12 public class JavaTypeClassSuper extends JavaMethod {
  13
  14     int superId;
  15
  16     public JavaTypeClassSuper(int superId, String className, String methodName,
  17             Type returnType, Type ... parameterTypes) {
  18         super(false, className, methodName, Types.NO_EFFECTS, returnType, parameterTypes);
  19         this.superId = superId;
  20     }
  21
  22     public void inline(SSASimplificationContext context, LetApply apply) {
  23         ValRef classRef = apply.getParameters()[0];
  24         Val class_ = classRef.getBinding();
  25         if(class_ instanceof JavaTypeInstanceConstructor) {
  26             JavaTypeInstanceConstructor constr = (JavaTypeInstanceConstructor)class_;
  27             TypeClassInstance instance = constr.getInstance();
  28             IVal newVal = instance.superExpressions[superId].getValue();
  29             apply.getTarget().replaceBy(newVal.createOccurrence());
  30             apply.remove();
  31         }
  32     }
  33
  34 }