X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fmodules%2FTypeClassInstance.java;fp=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fmodules%2FTypeClassInstance.java;h=567b8bd642dede03a6561075247cc4e0bfee3efb;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hp=681c66972a415bcb6c955ff514cd21439c470fb3;hpb=24e2b34260f219f0d1644ca7a138894980e25b14;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/modules/TypeClassInstance.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/modules/TypeClassInstance.java old mode 100755 new mode 100644 index 681c66972..567b8bd64 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/modules/TypeClassInstance.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/modules/TypeClassInstance.java @@ -1,61 +1,61 @@ -package org.simantics.scl.compiler.elaboration.modules; - -import org.simantics.scl.compiler.constants.Constant; -import org.simantics.scl.compiler.elaboration.errors.ElabNode; -import org.simantics.scl.compiler.types.TPred; -import org.simantics.scl.compiler.types.TVar; - -import gnu.trove.map.hash.THashMap; - -public class TypeClassInstance extends ElabNode { - public final TypeClass typeClass; - public final TPred[] context; - public final TPred instance; - public final THashMap methodImplementations; - public final Constant generator; - public final TVar[] generatorParameters; - public final String javaName; - public SCLValue[] superExpressions; - - public TypeClassInstance(long loc, TypeClass typeClass, - Constant generator, - TVar[] generatorParameters, TPred[] context, TPred instance, - THashMap methodImplementations, - String javaName) { - this.location = loc; - this.typeClass = typeClass; - this.generator = generator; - this.generatorParameters = generatorParameters; - this.context = context; - this.instance = instance; - this.methodImplementations = methodImplementations; - this.javaName = javaName; - } - - /* - public void toString(final StringBuilder b) { - final TypeUnparsingContext tuc = new TypeUnparsingContext(); - b.append("instance ("); - for(int i=0;i0) - b.append(", "); - context[i].toString(tuc); - b.append(context[i]); - } - b.append(") => "); - b.append(instance.toString(tuc)); - b.append(" where\n"); - methodImplementations.forEachEntry(new TObjectObjectProcedure() { - @Override - public boolean execute(String name, Name functionName) { - b.append(" "); - b.append(name); - b.append(" = "); - b.append(functionName); - b.append('\n'); - return true; - } - }); - } - */ -} +package org.simantics.scl.compiler.elaboration.modules; + +import org.simantics.scl.compiler.constants.Constant; +import org.simantics.scl.compiler.elaboration.errors.ElabNode; +import org.simantics.scl.compiler.types.TPred; +import org.simantics.scl.compiler.types.TVar; + +import gnu.trove.map.hash.THashMap; + +public class TypeClassInstance extends ElabNode { + public final TypeClass typeClass; + public final TPred[] context; + public final TPred instance; + public final THashMap methodImplementations; + public final Constant generator; + public final TVar[] generatorParameters; + public final String javaName; + public SCLValue[] superExpressions; + + public TypeClassInstance(long loc, TypeClass typeClass, + Constant generator, + TVar[] generatorParameters, TPred[] context, TPred instance, + THashMap methodImplementations, + String javaName) { + this.location = loc; + this.typeClass = typeClass; + this.generator = generator; + this.generatorParameters = generatorParameters; + this.context = context; + this.instance = instance; + this.methodImplementations = methodImplementations; + this.javaName = javaName; + } + + /* + public void toString(final StringBuilder b) { + final TypeUnparsingContext tuc = new TypeUnparsingContext(); + b.append("instance ("); + for(int i=0;i0) + b.append(", "); + context[i].toString(tuc); + b.append(context[i]); + } + b.append(") => "); + b.append(instance.toString(tuc)); + b.append(" where\n"); + methodImplementations.forEachEntry(new TObjectObjectProcedure() { + @Override + public boolean execute(String name, Name functionName) { + b.append(" "); + b.append(name); + b.append(" = "); + b.append(functionName); + b.append('\n'); + return true; + } + }); + } + */ +}