SSAElement.cs

Go to the documentation of this file.

// -------------------------------------------------------------------------- //
// Project rROTOR                                                             //
// -------------------------------------------------------------------------- //
// File: SSAElement.cs                                                        //
// Author: Cristina Gonzalez Muñoz  -  cristi.gm@gmail.com                    //
// Description:                                                               //
//    This class stores the information to use in SSA map and allows to       //
// create a new declarations.                                                 //
// -------------------------------------------------------------------------- //
// Create date: 11-04-2007                                                    //
// Modification date: 30-04-2007                                              //

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

using AST;
using ErrorManagement;
using TypeSystem;

namespace Semantic.SSAAlgorithm
{
   class SSAElement
   {
      #region Fields

      private string type;

      // the ocurrence of an intem in the text program
      protected Location location;

  

      private int indexSSA;

      #endregion

      #region Properties

      public Location Location {
          get { return this.location; }
      }
      public string TypeId
      {
         get { return type; }
      }

     

      public int IndexSSA
      {
         get { return indexSSA; }
      }

      #endregion

      #region Constructors

      public SSAElement(string type, Location location)
      {
         this.type = type;
         this.location = location;
         this.indexSSA = 0;
      }

      #endregion

      #region UpdateIndexSSA

      public void UpdateIndexSSA(int value)
      {
         this.indexSSA = value;
      }

      #endregion

      #region Clone()

      public SSAElement Clone()
      {
         SSAElement aux = new SSAElement(this.type, location.Clone());
         aux.indexSSA = this.indexSSA;
         return aux;
      }

      #endregion
   }
}