TypeTable.cs

Go to the documentation of this file.

// -------------------------------------------------------------------------- //
// Project rROTOR                                                             //
// -------------------------------------------------------------------------- //
// File: TypeTable.cs                                                         //
// Authors: Cristina Gonzalez Muñoz  -  cristi.gm@gmail.com                   //
//          Francisco Ortin - francisco.ortin@gmail.com                       //
// Description:                                                               //
//    Implementation of a table of types.                                     //
//    Implements Singleton pattern.                                           //
// -------------------------------------------------------------------------- //
// Create date: 15-10-2006                                                    //
// Modification date: 06-04-2007                                              //

using System;
using System.Collections.Generic;
using System.Text;

using ErrorManagement;

namespace TypeSystem
{
   public class TypeTable
   {
      #region Fields

      private static TypeTable instance = new TypeTable();

      private Dictionary<string, TypeExpression> table;

      private Dictionary<string, System.Type> map;

      #endregion

      #region Properties

      public static TypeTable Instance
      {
         get { return instance; }
      }

      #endregion

      #region Constructors

      private TypeTable()
      {
         this.table = new Dictionary<string, TypeExpression>();
         // Add predefined types
         this.table.Add(IntType.Instance.ToString(), IntType.Instance);
         this.table.Add(DoubleType.Instance.ToString(), DoubleType.Instance);
         this.table.Add(CharType.Instance.ToString(), CharType.Instance);
         this.table.Add(VoidType.Instance.ToString(), VoidType.Instance);
         this.table.Add(StringType.Instance.ToString(), StringType.Instance);
         this.table.Add(BoolType.Instance.ToString(), BoolType.Instance);
         // mapping with mscorlib.dll
         this.table.Add("System.Int32", IntType.Instance);
         this.table.Add("System.Double", DoubleType.Instance);
         this.table.Add("System.Char", CharType.Instance);
         this.table.Add("System.String", StringType.Instance);
         this.table.Add("System.Boolean", BoolType.Instance);
         this.table.Add("System.Void", VoidType.Instance);
         this.table.Add("object", new BCLClassType("System.Object", Type.GetType("System.Object")));

         // Auxiliar mapping
         this.map = new Dictionary<string, Type>(5);
         this.map.Add(IntType.Instance.ToString(), Type.GetType("System.Int32"));
         this.map.Add(DoubleType.Instance.ToString(), Type.GetType("System.Double"));
         this.map.Add(CharType.Instance.ToString(), Type.GetType("System.Char"));
         this.map.Add(StringType.Instance.ToString(), Type.GetType("System.String"));
         this.map.Add(BoolType.Instance.ToString(), Type.GetType("System.Boolean"));
         this.map.Add(VoidType.Instance.ToString(), Type.GetType("System.Void"));
     }
      #endregion

     #region Clear()
     public void Clear() {
         instance = new TypeTable();
     }
     #endregion

      #region GetType()

      public TypeExpression GetType(string name, Location location)
      {
          if (name == null)
              return null;

         // If tmpName exists, return the type
         if (this.table.ContainsKey(name))
            return this.table[name];

         // Try to find the type (class or interface) in the BCL (mscorlib.dll)
         Type type = Type.GetType(name, false);
         if (type != null) {
             TypeExpression te = Introspection.createBCLUserType(name, type, location);
             AddType(name, te, location);
            return te;
         }
          
         return null;
      }

      #endregion

      #region TypeExpressionToType()

      public Type[] TypeExpressionToType(TypeExpression[] typ, Location location)
      {
         Type[] aux = new Type[typ.GetLength(0)];

         for (int i = 0; i < typ.GetLength(0); i++)
         {
            if (this.map.ContainsKey(typ[i].FullName))
               aux[i] = this.map[typ[i].FullName];
            else
            {
               if (typ[i] is IBCLUserType)
                   aux[i] = ((IBCLUserType)typ[i]).TypeInfo;
               else
                  ErrorManager.Instance.NotifyError(new UnknownTypeError(typ[i].FullName, location));
            }
         }
         return aux;
      }

      #endregion

      #region ContainsType()

      public bool ContainsType(string key)
      {
         return this.table.ContainsKey(key);
      }

      #endregion

      #region AddType()

      public void AddType(string name, TypeExpression type, Location location)
      {
         if (!this.table.ContainsKey(name))
            this.table.Add(name, type);
         else
            ErrorManager.Instance.NotifyError(new DefinedTypeError(name, location));
      }

      public void AddVarType(TypeVariable type)
      {
         if (!this.table.ContainsKey(type.FullName))
            this.table.Add(type.FullName, type);
      }

      #endregion

      #region ObtainNewType()

      public static string ObtainNewType(string type)
      {
         if (type.StartsWith("Var("))
         {
            string aux = Convert.ToString(TypeSystem.TypeVariable.NewTypeVariable);
            int index = type.IndexOf(')', 3) + 1;
            type = type.Substring(index, type.Length - index);
            return aux + type;
         }
         else
            return type;
      }

      #endregion

      #region ToString()

      public override string ToString()
      {
         StringBuilder aux = new StringBuilder();
         Dictionary<string, TypeExpression>.KeyCollection keys = this.table.Keys;
         foreach (string key in keys)
         {
            aux.AppendFormat("{0}\t\t\t{1}", key, this.table[key].ToString());
            aux.AppendLine();
         }
         return aux.ToString();
      }

      #endregion
   }
}