ThetaStatement.cs

Go to the documentation of this file.

// -------------------------------------------------------------------------- //
// Project rROTOR                                                             //
// -------------------------------------------------------------------------- //
// File: ThetaStatement.cs                                                    //
// Author: Cristina Gonzalez Muñoz  -  cristi.gm@gmail.com                    //
// Description:                                                               //
//    Encapsulates a Theta function to use in SSA algorithm.                  //
//    Inheritance: Statement.                                                 //
//    Implements Composite pattern [Composite].                               //
//    Implements Visitor pattern [Concrete Element].                          //
// -------------------------------------------------------------------------- //
// Create date: 06-04-2007                                                    //
// Modification date: 10-05-2007                                              //

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

using Tools;
using ErrorManagement;

namespace AST
{
   public class ThetaStatement : Statement
   {
      #region Fields

      private List<SingleIdentifierExpression> thetaList;

      private SingleIdentifierExpression thetaId;

      #endregion

      #region Properties

      public List<SingleIdentifierExpression> ThetaList
      {
         get { return this.thetaList; }
      }

      public SingleIdentifierExpression ThetaId
      {
         get { return this.thetaId; }
      }

      #endregion

      #region Constructor

      public ThetaStatement(SingleIdentifierExpression id, List<SingleIdentifierExpression> list, Location location)
         : base(location)
      {
         this.thetaId = id;
         this.thetaList = new List<SingleIdentifierExpression>();
         if (list.Count != 0)
            insertElements(list);
      }

      #endregion

      #region containsValue

      private bool containsValue(string id, int index)
      {
         for (int i = 0; i < this.thetaList.Count; i++)
         {
            if (thetaList[i].Identifier.Equals(id))
               if (thetaList[i].IndexOfSSA == index)
                  return true;
         }
         return false;
      }

      #endregion

      #region insertElements

      private void insertElements(List<SingleIdentifierExpression> list)
      {
         for (int i = 0; i < list.Count; i++)
         {
            if (!(containsValue(list[i].Identifier, list[i].IndexOfSSA)))
               this.thetaList.Add(list[i]);
         }
      }

      #endregion

      #region Accept()

      public override Object Accept(Visitor v, Object o)
      {
         return v.Visit(this, o);
      }

      #endregion
   }
}