ForStatement.cs

Go to the documentation of this file.

// -------------------------------------------------------------------------- //
// Project rROTOR                                                             //
// -------------------------------------------------------------------------- //
// File: ForStatement.cs                                                      //
// Author: Cristina Gonzalez Muñoz  -  cristi.gm@gmail.com                    //
// Description:                                                               //
//    Encapsulates a For statement of our programming languages.              //
//    Inheritance: Statement.                                                 //
//    Implements Composite pattern [Composite].                               //
//    Implements Visitor pattern [Concrete Element].                          //
// -------------------------------------------------------------------------- //
// Create date: 05-12-2006                                                    //
// Modification date: 25-04-2007                                              //

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

using Tools;
using ErrorManagement;

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

      private List<Statement> initializer;

      private Expression condition;

      private List<Statement> iterator;

      private Statement forStatement;

      private List<MoveStatement> afterInit;

      private List<ThetaStatement> beforeCondition;

      private List<MoveStatement> afterCondition;

      private Block auxiliarInit;

      #endregion

      #region Properties

      public int InitializerCount
      {
         get { return this.initializer.Count; }
      }

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

      public int IteratorCount
      {
         get { return this.iterator.Count; }
      }

      public Statement Statements
      {
         get { return forStatement; }
      }

      public List<MoveStatement> AfterInit
      {
         get { return this.afterInit; }
         set { this.afterInit = value; }
      }

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

      public List<ThetaStatement> BeforeCondition
      {
         get { return this.beforeCondition; }
         set { this.beforeCondition = value; }
      }

      public Block AuxInitializer
      {
         get { return this.auxiliarInit = new Block(location); }
      }

      #endregion

      #region Constructor

      public ForStatement(List<Statement> init, Expression cond, List<Statement> iter, Statement statements, Location location)
         : base(location)
      {
         if (init != null)
            this.initializer = init;
         else
            this.initializer = new List<Statement>();

         this.condition = cond;

         if (iter != null)
            this.iterator = iter;
         else
            this.iterator = new List<Statement>();

         this.forStatement = statements;

         this.afterInit = new List<MoveStatement>();
         this.beforeCondition = new List<ThetaStatement>();
         this.afterCondition = new List<MoveStatement>();
      }

      #endregion

      #region GetInitializerElement()

      public Statement GetInitializerElement(int index)
      {
         return getElement(this.initializer, index);
      }

      #endregion

      #region GetIteratorElement()

      public Statement GetIteratorElement(int index)
      {
         return getElement(this.iterator, index);
      }

      #endregion

      #region getElement()

      private Statement getElement(List<Statement> list, int index)
      {
         return list[index];
      }

      #endregion

      #region Accept()

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

      #endregion

      #region UpdateInitializer()

      internal void UpdateInitializer()
      {
         for (int i = 0; i < this.auxiliarInit.StatementCount; i++)
         {
            this.initializer.Insert(0, this.auxiliarInit.GetStatementElement(i));
         }
         this.auxiliarInit = null;
      }

      #endregion
   }
}