X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftypes%2FType.java;h=c158cb31bc8b99b42d4b390c09bce0df0aef396b;hp=386accc4ff5e1e941d84a1b84768740d81558877;hb=1b4d8b692f40d946deb5db8280eb4ca5b36a75a7;hpb=eecd74faded034bd067094b42bbac0d286d8d9fa diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/Type.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/Type.java index 386accc4f..c158cb31b 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/Type.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/Type.java @@ -119,6 +119,13 @@ public abstract class Type { public abstract void updateHashCode(TypeHashCodeContext context); public abstract int hashCode(int hash); public abstract int hashCode(int hash, TVar[] boundVars); + + public int skeletonHashCode() { + return skeletonHashCode(HashCodeUtils.SEED); + } + + public abstract int skeletonHashCode(int hash); + public abstract int skeletonHashCode(int hash, TVar[] boundVars); public abstract void collectFreeVars(ArrayList vars); @@ -175,4 +182,6 @@ public abstract class Type { public abstract Kind getKind(Environment context); + public abstract Type[] skeletonCanonicalChildren(); + } \ No newline at end of file