PropertyDefinition.cs

Go to the documentation of this file.

// -------------------------------------------------------------------------- //
// Project rROTOR                                                             //
// -------------------------------------------------------------------------- //
// File: PropertyDefinition.cs                                                //
// Author: Cristina Gonzalez Muñoz  -  cristi.gm@gmail.com                    //
// Description:                                                               //
//    Encapsulates a property definition.                                     //
//    Inheritance: IdDeclaration.                                             //
//    Implements Composite pattern [Composite].                               //
//    Implements Visitor pattern [Concrete Element].                          //
// -------------------------------------------------------------------------- //
// Create date: 12-01-2007                                                    //
// Modification date: 01-02-2007                                              //

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

using Tools;
using TypeSystem;
using ErrorManagement;
namespace AST
{
   public class PropertyDefinition : IdDeclaration
   {
      #region Fields

      private Statement getBlock;

      private Statement setBlock;

      #endregion

      #region Properties

      public Statement GetBlock
      {
         get { return this.getBlock; }
      }

      public Statement SetBlock
      {
         get { return this.setBlock; }
      }

      #endregion

      #region Constructor

      public PropertyDefinition(SingleIdentifierExpression id, string type, Statement get, Statement set, Location location)
         : base(id, type, location)
      {
         this.getBlock = get;
         this.setBlock = set;
      }

      #endregion

      #region Accept()

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

      #endregion
   }
}