src/Boo.Lang.Compiler/TypeSystem/ArrayType.cs

   1 #region license
   2 // Copyright (c) 2004, Rodrigo B. de Oliveira (rbo@acm.org)
   3 // All rights reserved.
   4 //
   5 // Redistribution and use in source and binary forms, with or without modification,
   6 // are permitted provided that the following conditions are met:
   7 //
   8 //     * Redistributions of source code must retain the above copyright notice,
   9 //     this list of conditions and the following disclaimer.
  10 //     * Redistributions in binary form must reproduce the above copyright notice,
  11 //     this list of conditions and the following disclaimer in the documentation
  12 //     and/or other materials provided with the distribution.
  13 //     * Neither the name of Rodrigo B. de Oliveira nor the names of its
  14 //     contributors may be used to endorse or promote products derived from this
  15 //     software without specific prior written permission.
  16 //
  17 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
  18 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
  19 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
  20 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
  21 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  22 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
  23 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  24 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
  25 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  26 // THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  27 #endregion
  28
  29 namespace Boo.Lang.Compiler.TypeSystem
  30 {
  31         public class ArrayType : IArrayType
  32         {
  33                 IType _elementType;
  34
  35                 IType _array;
  36
  37                 int _rank;
  38
  39                 IType _enumerable;
  40
  41                 public ArrayType(TypeSystemServices tagManager, IType elementType) : this(tagManager, elementType, 1)
  42                 {
  43                 }
  44
  45                 public ArrayType(TypeSystemServices tagManager, IType elementType, int rank)
  46                 {
  47                         _array = tagManager.ArrayType;
  48                         _elementType = elementType;
  49                         _rank = rank;
  50                         _enumerable = tagManager.IEnumerableGenericType;
  51                 }
  52
  53
  54                 public string Name
  55                 {
  56                         get
  57                         {
  58                                 if (_rank > 1)
  59                                 {
  60                                         return "(" + _elementType.ToString() + ", " + _rank + ")";
  61                                 }
  62                                 return "(" + _elementType.ToString() + ")";
  63                         }
  64                 }
  65
  66                 public EntityType EntityType
  67                 {
  68                         get
  69                         {
  70                                 return EntityType.Array;
  71                         }
  72                 }
  73
  74                 public string FullName
  75                 {
  76                         get
  77                         {
  78                                 return Name;
  79                         }
  80                 }
  81
  82                 public IType Type
  83                 {
  84                         get
  85                         {
  86                                 return this;
  87                         }
  88                 }
  89
  90                 public bool IsFinal
  91                 {
  92                         get
  93                         {
  94                                 return true;
  95                         }
  96                 }
  97
  98                 public bool IsByRef
  99                 {
 100                         get
 101                         {
 102                                 return false;
 103                         }
 104                 }
 105
 106                 public bool IsClass
 107                 {
 108                         get
 109                         {
 110                                 return false;
 111                         }
 112                 }
 113
 114                 public bool IsInterface
 115                 {
 116                         get
 117                         {
 118                                 return false;
 119                         }
 120                 }
 121
 122                 public bool IsAbstract
 123                 {
 124                         get
 125                         {
 126                                 return false;
 127                         }
 128                 }
 129
 130                 public bool IsEnum
 131                 {
 132                         get
 133                         {
 134                                 return false;
 135                         }
 136                 }
 137
 138                 public bool IsValueType
 139                 {
 140                         get
 141                         {
 142                                 return false;
 143                         }
 144                 }
 145
 146                 public bool IsArray
 147                 {
 148                         get
 149                         {
 150                                 return true;
 151                         }
 152                 }
 153
 154                 public int GetTypeDepth()
 155                 {
 156                         return 2;
 157                 }
 158
 159                 public int GetArrayRank()
 160                 {
 161                         return _rank;
 162                 }
 163
 164                 public IType GetElementType()
 165                 {
 166                         return _elementType;
 167                 }
 168
 169                 public IType BaseType
 170                 {
 171                         get
 172                         {
 173                                 return _array;
 174                         }
 175                 }
 176
 177                 public IEntity GetDefaultMember()
 178                 {
 179                         return null;
 180                 }
 181
 182                 public virtual bool IsSubclassOf(IType other)
 183                 {
 184                         if (other.IsAssignableFrom(_array)) return true;
 185
 186                         // Arrays also implement generic IEnumerable of their element type
 187                         if (other.ConstructedInfo != null &&
 188                                 other.ConstructedInfo.GenericDefinition == _enumerable &&
 189                                 other.ConstructedInfo.GenericArguments[0].IsAssignableFrom(_elementType))
 190                         {
 191                                 return true;
 192                         }
 193                         return false;
 194                 }
 195
 196                 public virtual bool IsAssignableFrom(IType other)
 197                 {
 198                         if (other == this || other == Null.Default)
 199                         {
 200                                 return true;
 201                         }
 202
 203                         if (other.IsArray)
 204                         {
 205                                 IArrayType otherArray = (IArrayType)other;
 206
 207                                 if (otherArray.GetArrayRank() != _rank)
 208                                 {
 209                                         return false;
 210                                 }
 211
 212                                 IType otherEntityType = otherArray.GetElementType();
 213                                 if (_elementType.IsValueType || otherEntityType.IsValueType)
 214                                 {
 215                                         return _elementType == otherEntityType;
 216                                 }
 217                                 return _elementType.IsAssignableFrom(otherEntityType);
 218                         }
 219
 220                         return false;
 221                 }
 222
 223                 public IConstructor[] GetConstructors()
 224                 {
 225                         return new IConstructor[0];
 226                 }
 227
 228                 public IType[] GetInterfaces()
 229                 {
 230                         return null;
 231                 }
 232
 233                 public IEntity[] GetMembers()
 234                 {
 235                         return _array.GetMembers();
 236                 }
 237
 238                 public INamespace ParentNamespace
 239                 {
 240                         get
 241                         {
 242                                 return _array.ParentNamespace;
 243                         }
 244                 }
 245
 246                 public bool Resolve(List targetList, string name, EntityType flags)
 247                 {
 248                         return _array.Resolve(targetList, name, flags);
 249                 }
 250
 251                 override public string ToString()
 252                 {
 253                         return Name;
 254                 }
 255
 256                 IGenericTypeInfo IType.GenericInfo
 257                 {
 258                         get { return null; }
 259                 }
 260
 261                 IConstructedTypeInfo IType.ConstructedInfo
 262                 {
 263                         get { return null; }
 264                 }
 265         }
 266 }