src/Boo.Lang.Compiler/TypeSystem/Error.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 abstract class AbstractType : IType, INamespace
  32         {
  33                 public abstract string Name
  34                 {
  35                         get;
  36                 }
  37
  38                 public abstract EntityType EntityType
  39                 {
  40                         get;
  41                 }
  42
  43                 public virtual string FullName
  44                 {
  45                         get
  46                         {
  47                                 return Name;
  48                         }
  49                 }
  50
  51                 public virtual IType Type
  52                 {
  53                         get
  54                         {
  55                                 return this;
  56                         }
  57                 }
  58
  59                 public virtual bool IsByRef
  60                 {
  61                         get
  62                         {
  63                                 return false;
  64                         }
  65                 }
  66
  67                 public virtual bool IsClass
  68                 {
  69                         get
  70                         {
  71                                 return false;
  72                         }
  73                 }
  74
  75                 public virtual bool IsAbstract
  76                 {
  77                         get
  78                         {
  79                                 return false;
  80                         }
  81                 }
  82
  83                 public virtual bool IsInterface
  84                 {
  85                         get
  86                         {
  87                                 return false;
  88                         }
  89                 }
  90
  91                 public virtual bool IsFinal
  92                 {
  93                         get
  94                         {
  95                                 return true;
  96                         }
  97                 }
  98
  99                 public virtual bool IsEnum
 100                 {
 101                         get
 102                         {
 103                                 return false;
 104                         }
 105                 }
 106
 107                 public virtual bool IsValueType
 108                 {
 109                         get
 110                         {
 111                                 return false;
 112                         }
 113                 }
 114
 115                 public virtual bool IsArray
 116                 {
 117                         get
 118                         {
 119                                 return false;
 120                         }
 121                 }
 122
 123                 public virtual IType BaseType
 124                 {
 125                         get
 126                         {
 127                                 return null;
 128                         }
 129                 }
 130
 131                 public virtual IType GetElementType()
 132                 {
 133                         return null;
 134                 }
 135
 136                 public virtual IEntity GetDefaultMember()
 137                 {
 138                         return null;
 139                 }
 140
 141                 public virtual int GetTypeDepth()
 142                 {
 143                         return 0;
 144                 }
 145
 146                 public virtual bool IsSubclassOf(IType other)
 147                 {
 148                         return false;
 149                 }
 150
 151                 public virtual bool IsAssignableFrom(IType other)
 152                 {
 153                         return false;
 154                 }
 155
 156                 public virtual IConstructor[] GetConstructors()
 157                 {
 158                         return new IConstructor[0];
 159                 }
 160
 161                 public virtual IType[] GetInterfaces()
 162                 {
 163                         return new IType[0];
 164                 }
 165
 166                 public virtual IEntity[] GetMembers()
 167                 {
 168                         return new IEntity[0];
 169                 }
 170
 171                 public virtual INamespace ParentNamespace
 172                 {
 173                         get
 174                         {
 175                                 return null;
 176                         }
 177                 }
 178
 179                 public virtual bool Resolve(Boo.Lang.List targetList, string name, EntityType flags)
 180                 {
 181                         return false;
 182                 }
 183
 184                 override public string ToString()
 185                 {
 186                         return Name;
 187                 }
 188
 189                 IGenericTypeInfo IType.GenericInfo
 190                 {
 191                         get { return null; }
 192                 }
 193
 194                 IConstructedTypeInfo IType.ConstructedInfo
 195                 {
 196                         get { return null; }
 197                 }
 198         }
 199
 200         public class Null : AbstractType
 201         {
 202                 public static Null Default = new Null();
 203
 204                 private Null()
 205                 {
 206                 }
 207
 208                 override public string Name
 209                 {
 210                         get
 211                         {
 212                                 return "null";
 213                         }
 214                 }
 215
 216                 override public EntityType EntityType
 217                 {
 218                         get
 219                         {
 220                                 return EntityType.Null;
 221                         }
 222                 }
 223         }
 224
 225         public class Unknown : AbstractType
 226         {
 227                 public static Unknown Default = new Unknown();
 228
 229                 private Unknown()
 230                 {
 231                 }
 232
 233                 override public string Name
 234                 {
 235                         get
 236                         {
 237                                 return "unknown";
 238                         }
 239                 }
 240
 241                 override public EntityType EntityType
 242                 {
 243                         get
 244                         {
 245                                 return EntityType.Unknown;
 246                         }
 247                 }
 248         }
 249
 250         public class Error : AbstractType
 251         {
 252                 public static Error Default = new Error();
 253
 254                 private Error()
 255                 {
 256                 }
 257
 258                 override public string Name
 259                 {
 260                         get
 261                         {
 262                                 return "error";
 263                         }
 264                 }
 265
 266                 override public EntityType EntityType
 267                 {
 268                         get
 269                         {
 270                                 return EntityType.Error;
 271                         }
 272                 }
 273         }
 274 }