752 

   752 

   753         public int hashCode() {

   753         public int hashCode() {

   754             return (ARRAY << 5) + elemtype.hashCode();

   754             return (ARRAY << 5) + elemtype.hashCode();

   755         }

   755         }

   756 

   756 

   757         public List<Type> allparams() { return elemtype.allparams(); }

   761         public List<Type> allparams() { return elemtype.allparams(); }

   758 

   762 

   759         public boolean isErroneous() {

   763         public boolean isErroneous() {

   760             return elemtype.isErroneous();

   764             return elemtype.isErroneous();

   761         }

   765         }

   764             return elemtype.isParameterized();

   768             return elemtype.isParameterized();

   765         }

   769         }

   766 

   770 

   767         public boolean isRaw() {

   771         public boolean isRaw() {

   768             return elemtype.isRaw();

   772             return elemtype.isRaw();

   769         }

   782         }

   770 

   783 

   771         public Type map(Mapping f) {

   784         public Type map(Mapping f) {

   772             Type elemtype1 = f.apply(elemtype);

   785             Type elemtype1 = f.apply(elemtype);

   773             if (elemtype1 == elemtype) return this;

   786             if (elemtype1 == elemtype) return this;