AssertStatement.cs

Go to the documentation of this file.

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

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

using Tools;
using ErrorManagement;

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

      private Expression condition;

      private Expression opExp;

      #endregion

      #region Properties

      public Expression Condition
      {
         get { return condition; }
      }

      public Expression Expression
      {
         get { return opExp; }
      }

      #endregion

      #region Constructor

      public AssertStatement(Expression cond, Expression exp, Location location): base(location)
      {
         this.condition = cond;
         this.opExp = exp;
      }

      #endregion

      #region Accept()

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

      #endregion
   }
}