WhileStatement.cs

Go to the documentation of this file.

// -------------------------------------------------------------------------- //
// Project rROTOR                                                             //
// -------------------------------------------------------------------------- //
// File: WhileStatement.cs                                                    //
// Author: Cristina Gonzalez Muñoz  -  cristi.gm@gmail.com                    //
// Description:                                                               //
//    Encapsulates a While 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 WhileStatement : Statement
   {
      #region Fields

      private Expression condition;

      private Statement whileStatement;

      private List<MoveStatement> initWhile;

      private List<ThetaStatement> beforeCondition;

      private List<MoveStatement> afterCondition;

      #endregion

      #region Properties

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

      public Statement Statements
      {
         get { return whileStatement; }
      }

      public List<MoveStatement> InitWhile
      {
         get { return this.initWhile; }
         set { this.initWhile = 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; }
      }

      #endregion

      #region Constructor

      public WhileStatement(Expression cond, Statement statements, Location location)
          : base(location) 
      {
         this.condition = cond;
         this.whileStatement = statements;
         this.initWhile = new List<MoveStatement>();
         this.beforeCondition = new List<ThetaStatement>();
         this.afterCondition = new List<MoveStatement>();
      }

      #endregion

      #region Accept()

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

      #endregion
   }
}