X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Fconstants%2FJavaTypeClassSuper.java;h=5b2961e2eb35cf680729b1d3e7bf8d13fc0bd684;hb=HEAD;hp=650d3f76efda930fa3c952af79da8dfe08818a2e;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/JavaTypeClassSuper.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/JavaTypeClassSuper.java index 650d3f76e..5b2961e2e 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/JavaTypeClassSuper.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/JavaTypeClassSuper.java @@ -1,34 +1,35 @@ -package org.simantics.scl.compiler.constants; - -import org.simantics.scl.compiler.elaboration.modules.TypeClassInstance; -import org.simantics.scl.compiler.internal.codegen.references.IVal; -import org.simantics.scl.compiler.internal.codegen.references.Val; -import org.simantics.scl.compiler.internal.codegen.references.ValRef; -import org.simantics.scl.compiler.internal.codegen.ssa.statements.LetApply; -import org.simantics.scl.compiler.internal.codegen.utils.SSASimplificationContext; -import org.simantics.scl.compiler.types.Type; -import org.simantics.scl.compiler.types.Types; - -public class JavaTypeClassSuper extends JavaMethod { - - int superId; - - public JavaTypeClassSuper(int superId, String className, String methodName, - Type returnType, Type ... parameterTypes) { - super(false, className, methodName, Types.NO_EFFECTS, returnType, parameterTypes); - this.superId = superId; - } - - public void inline(SSASimplificationContext context, LetApply apply) { - ValRef classRef = apply.getParameters()[0]; - Val class_ = classRef.getBinding(); - if(class_ instanceof JavaTypeInstanceConstructor) { - JavaTypeInstanceConstructor constr = (JavaTypeInstanceConstructor)class_; - TypeClassInstance instance = constr.getInstance(); - IVal newVal = instance.superExpressions[superId].getValue(); - apply.getTarget().replaceBy(newVal.createOccurrence()); - apply.remove(); - } - } - -} +package org.simantics.scl.compiler.constants; + +import org.simantics.scl.compiler.elaboration.modules.TypeClassInstance; +import org.simantics.scl.compiler.internal.codegen.references.IVal; +import org.simantics.scl.compiler.internal.codegen.references.Val; +import org.simantics.scl.compiler.internal.codegen.references.ValRef; +import org.simantics.scl.compiler.internal.codegen.ssa.statements.LetApply; +import org.simantics.scl.compiler.internal.codegen.utils.SSASimplificationContext; +import org.simantics.scl.compiler.types.Type; +import org.simantics.scl.compiler.types.Types; + +public class JavaTypeClassSuper extends JavaMethod { + + int superId; + + public JavaTypeClassSuper(int superId, String className, String methodName, + Type returnType, Type ... parameterTypes) { + super(false, className, methodName, Types.NO_EFFECTS, returnType, parameterTypes); + this.superId = superId; + } + + public void inline(SSASimplificationContext context, LetApply apply) { + ValRef classRef = apply.getParameters()[0]; + Val class_ = classRef.getBinding(); + if(class_ instanceof JavaTypeInstanceConstructor) { + JavaTypeInstanceConstructor constr = (JavaTypeInstanceConstructor)class_; + TypeClassInstance instance = constr.getInstance(); + IVal newVal = instance.superExpressions[superId].getValue(); + apply.getTarget().replaceBy(newVal.createOccurrence()); + apply.remove(); + context.markModified("inline-super"); + } + } + +}