summaryrefslogtreecommitdiff
path: root/sources/scala/runtime/types/ScalaClassType.java
diff options
context:
space:
mode:
Diffstat (limited to 'sources/scala/runtime/types/ScalaClassType.java')
-rw-r--r--sources/scala/runtime/types/ScalaClassType.java271
1 files changed, 0 insertions, 271 deletions
diff --git a/sources/scala/runtime/types/ScalaClassType.java b/sources/scala/runtime/types/ScalaClassType.java
deleted file mode 100644
index 47b7b7f4d9..0000000000
--- a/sources/scala/runtime/types/ScalaClassType.java
+++ /dev/null
@@ -1,271 +0,0 @@
-/* __ *\
-** ________ ___ / / ___ Scala API **
-** / __/ __// _ | / / / _ | (c) 2003-2005, LAMP/EPFL **
-** __\ \/ /__/ __ |/ /__/ __ | **
-** /____/\___/_/ |_/____/_/ | | **
-** |/ **
-\* */
-
-// $Id$
-
-package scala.runtime.types;
-
-import scala.Type;
-import scala.Array;
-import scala.ScalaObject;
-import scala.runtime.RunTime;
-import scala.runtime.FNV_Hash;
-
-import java.lang.reflect.InvocationTargetException;
-import java.lang.reflect.Method;
-import java.lang.reflect.Modifier;
-
-/**
- * Provides a run-time representation of the Scala types.
- *
- * @author Michel Schinz
- * @version 1.0
- */
-
-public class ScalaClassType extends ClassType {
- public static final ScalaClassType[] EMPTY_ARRAY =
- new ScalaClassType[0];
-
- private static final ScalaClassType[][] EMPTY_ANCESTORS =
- new ScalaClassType[0][];
-
- private final TypeConstructor constr;
- private final Type[] inst;
-
- private final Object parents;
- private ScalaClassType[][] ancestors = null;
-
- private final int hashCode;
-
- public ScalaClassType(TypeConstructor constr, Type[] inst, Object parents) {
- super(constr.clazz, constr.isTrivial);
-
- this.constr = constr;
- this.inst = inst;
-
- int hash = FNV_Hash.hashStep32(FNV_Hash.INIT, constr.hashCode());
- for (int i = 0; i < inst.length; ++i) {
- hash = FNV_Hash.hashStep32(hash, inst[i].hashCode());
- }
- this.hashCode = hash;
- this.parents = parents;
- }
-
- public boolean isInstance(Object o) {
- return super.isInstance(o)
- && (isTrivial
- || ((ScalaObject)o).getScalaType().isNonTrivialSubClassType(this));
- }
-
- public boolean isNonTrivialInstance(Object o) {
- assert Statistics.incWeakInstanceOf();
- return ((ScalaObject)o).getScalaType().isNonTrivialSubClassType(this);
- }
-
- protected boolean isSubClassType(ClassType that) {
- return (this == that)
- || (super.isSubClassType(that)
- && (that.isTrivial
- || isNonTrivialSubClassType((ScalaClassType)that)));
- }
-
- public boolean isNonTrivialSubClassType(ClassType that) {
- ScalaClassType thatCT = (ScalaClassType)that;
- ScalaClassType parentCT = myInstantiationFor(thatCT);
-
- // At this stage, if parentCT is null, it means that the
- // constructors had different prefixes, hence we return false.
- return (parentCT != null)
- && (parentCT == thatCT || parentCT.hasSubInstantiation(thatCT));
- }
-
- // Return true iff the instantiation of THIS is "smaller" than the
- // one of THAT.
- private boolean hasSubInstantiation(ScalaClassType that) {
- assert this.constr == that.constr;
-
- final Type[] thisInst = this.inst;
- final Type[] thatInst = that.inst;
-
- int i = 0;
-
- // invariant parameters
- final int firstM = this.constr.zCount;
- while (i < firstM) {
- Type thisTp = thisInst[i], thatTp = thatInst[i];
- if (!(thisTp == thatTp || thisTp.isSameType(thatTp)))
- return false;
- ++i;
- }
- // contravariant parameters
- final int firstP = firstM + this.constr.mCount;
- while (i < firstP) {
- Type thisTp = thisInst[i], thatTp = thatInst[i];
- if (!(thisTp == thatTp || thatTp.isSubType(thisTp)))
- return false;
- ++i;
- }
- // covariant parameters
- final int firstOutside = firstP + this.constr.pCount;
- while (i < firstOutside) {
- Type thisTp = thisInst[i], thatTp = thatInst[i];
- if (!(thisTp == thatTp || thisTp.isSubType(thatTp)))
- return false;
- ++i;
- }
- return true;
- }
-
- public boolean isSameType(Type that) {
- return this == that;
- }
-
- private ScalaClassType myInstantiationFor(ScalaClassType that) {
- // Find our instantiation for the other type, if any.
- ScalaClassType[] thisSlice = getAncestors()[that.constr.level];
-
- for (int i = 0; i < thisSlice.length; ++i) {
- if (thisSlice[i].constr == that.constr) {
- assert Statistics.addAncestorSearchIterations(i + 1);
- return thisSlice[i];
- }
- }
- assert Statistics.addAncestorSearchIterations(thisSlice.length);
-
- return null;
- }
-
- public String toString() {
- StringBuffer buf = new StringBuffer();
-
- int firstM = constr.zCount;
- int firstP = firstM + constr.mCount;
- buf.append(constr);
- if (inst.length > 0) {
- buf.append("[");
- for (int i = 0; i < inst.length; ++i) {
- if (i > 0) buf.append(", ");
- if (i >= firstP)
- buf.append('+');
- else if (i >= firstM)
- buf.append('-');
- buf.append(inst[i]);
- }
- buf.append("]");
- }
- return buf.toString();
- }
-
- public int hashCode() {
- return hashCode;
- }
-
- public ScalaClassType[] getParents() {
- if (parents instanceof LazyParents)
- return ((LazyParents)parents).force();
- else
- return (ScalaClassType[])parents;
- }
-
- private ScalaClassType[][] getAncestors() {
- if (ancestors == null)
- computeAncestors();
- return ancestors;
- }
-
- private void computeAncestors() {
- final int level = constr.level;
- final int ancestorDepth = constr.ancestorCacheDepth;
- final int[] ancestorCode = constr.ancestorCode;
- ScalaClassType[] parents = getParents();
-
- ScalaClassType[][] ancestors = new ScalaClassType[ancestorDepth][];
- ScalaClassType[][] initialAncestors = parents.length > 0
- ? parents[0].getAncestors()
- : EMPTY_ANCESTORS;
-
- for (int l = 0, dci = 0; l < ancestorDepth; ++l) {
- int toAddParents = 0;
- if (dci < ancestorCode.length && ancestorCode[dci] == l) {
- dci++;
- toAddParents = ancestorCode[dci++];
- }
- int toAddSelf = (l == level) && (!constr.isTrivial) ? 1 : 0;
- int toAdd = toAddParents + toAddSelf;
- ScalaClassType[] initialRow;
-
- if (l < initialAncestors.length)
- initialRow = initialAncestors[l];
- else
- initialRow = ScalaClassType.EMPTY_ARRAY;
-
- if (toAdd == 0) {
- ancestors[l] = initialRow;
- } else {
- int initialLen = initialRow.length;
- ScalaClassType[] newRow =
- new ScalaClassType[initialLen + toAdd];
-
- if (toAddSelf == 1)
- newRow[0] = this;
-
- System.arraycopy(initialRow, 0, newRow, toAddSelf, initialLen);
- for (int i = 0; i < toAddParents; ++i) {
- int p = ancestorCode[dci++];
- int o = ancestorCode[dci++];
- newRow[toAddSelf + initialLen + i] =
- parents[p].getAncestors()[l][o];
- }
- ancestors[l] = newRow;
- }
- }
- this.ancestors = ancestors;
- }
-
- private static final ClassLoader loader =
- ClassLoader.getSystemClassLoader();
-
- // Must match value defined in class scalac.util.Names !
- private static final String INSTANTIATE_PREFIX = "instantiate$";
-
- // Enforces uniqueness of the instance when serializing and
- // deserializing the same Scala type object many times.
- private Object readResolve() {
- if (constr.clazz == null)
- return this; // TODO: check why clazz may be null
- String fullName = constr.clazz.getName();
- Class instClazz = constr.clazz;
- if (constr.clazz.isInterface()) {
- try {
- instClazz = Class.forName(fullName + "$class", false, loader);
- }
- catch (ClassNotFoundException e) {
- throw new Error(e);
- }
- }
- try {
- int inx = fullName.lastIndexOf('.');
- String className = (inx < 0) ? fullName : fullName.substring(inx + 1);
- String name = INSTANTIATE_PREFIX + className + "$";
- Class[] paramTypes = new Class[]{ Type[].class };
- Method instMeth = instClazz.getDeclaredMethod(name, paramTypes);
- assert Modifier.isStatic(instMeth.getModifiers());
- return instMeth.invoke(null, new Object[]{ inst });
- }
- catch (NoSuchMethodException e) {
- throw new Error(e);
- }
- catch (IllegalAccessException e) {
- throw new Error(e);
- }
- catch (InvocationTargetException e) {
- throw new Error(e);
- }
- }
-
-}
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-26 15:59:37 +0000