SwitchStatement.cs

Go to the documentation of this file.

// -------------------------------------------------------------------------- //
// Project rROTOR                                                             //
// -------------------------------------------------------------------------- //
// File: SwitchStatement.cs                                                   //
// Authors: Cristina Gonzalez Muñoz  -  cristi.gm@gmail.com                   //
//          Francisco Ortin - francisco.ortin@gmail.com                       //
// Description:                                                               //
//    Encapsulates a Switch statement of our programming languages.           //
//    Inheritance: Statement.                                                 //
//    Implements Composite pattern [Composite].                               //
//    Implements Visitor pattern [Concrete Element].                          //
// -------------------------------------------------------------------------- //
// Create date: 05-12-2006                                                    //
// Modification date: 01-08-2007                                              //

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

using Tools;
using ErrorManagement;

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

      private Expression condition;

      private List<SwitchSection> switchBlock;

      private List<MoveStatement> afterCondition;

      private List<ThetaStatement> thetaStats;

      private IDictionary<Block, IList<SingleIdentifierExpression>> referencesUsedCases = new Dictionary<Block, IList<SingleIdentifierExpression>>();

      private int labels = -1;

      #endregion

      #region Properties

      public Expression Condition
      {
         get { return condition; }
         set { condition = value; }
      }

      public int SwitchBlockCount
      {
         get { return this.switchBlock.Count; }
      }

      public List<MoveStatement> AfterCondition
      {
         get { return this.afterCondition; }
         set { this.afterCondition = value; }
      }

      public List<ThetaStatement> ThetaStatements
      {
         get { return this.thetaStats; }
         set { this.thetaStats = value; }
      }

       public IDictionary<Block, IList<SingleIdentifierExpression>> ReferencesUsedCases {
           get { return this.referencesUsedCases; }
       }

      #endregion

      #region Constructor

       public SwitchStatement(Expression cond, List<SwitchSection> sections, Location location)
           : base(location) 
      {
         this.condition = cond;
         this.switchBlock = sections;
         this.afterCondition = new List<MoveStatement>();
         this.thetaStats = new List<ThetaStatement>();
      }

      #endregion

      #region LabelCount

      public int LabelCount()
      {
         if (this.labels == -1)
         {
            this.labels = 0;
            for (int i = 0; i < this.switchBlock.Count; i++)
               this.labels += this.switchBlock[i].LabelCount;
         }
         return this.labels;
      }

      #endregion

      #region GetSwitchSectionElement()

      public SwitchSection GetSwitchSectionElement(int index)
      {
         return this.switchBlock[index];
      }

      #endregion

      #region Accept()

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

      #endregion
   }
}