1 package org.simantics.scl.compiler.constants;
\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
12 public class JavaTypeClassSuper extends JavaMethod {
\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
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