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

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