IfElseStatement.cs

Go to the documentation of this file.

// -------------------------------------------------------------------------- //
// Project rROTOR                                                             //
// -------------------------------------------------------------------------- //
// File: IfElseStatement.cs                                                   //
// Authors: Cristina Gonzalez Muñoz  -  cristi.gm@gmail.com                   //
//         Francisco Ortin - francisco.ortin@gmail.com                        //
// Description:                                                               //
//    Encapsulates a If-Else statement of our programming language.           //
//    Inheritance: Statement.                                                 //
//    Implements Composite pattern [Composite].                               //
//    Implements Visitor pattern [Concrete Element].                          //
// -------------------------------------------------------------------------- //
// Create date: 04-12-2006                                                    //
// Modification date: 07-06-2007                                              //

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

using Tools;
using TypeSystem;
using ErrorManagement;

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

        private Expression condition;

        private List<MoveStatement> afterCondition;

        private Statement trueBranch;

        private Statement falseBranch;

        private List<ThetaStatement> thetaStats;

        private IList<SingleIdentifierExpression> referencesUsedInTrueBranch = new List<SingleIdentifierExpression>();

        private IList<SingleIdentifierExpression> referencesUsedInFalseBranch = new List<SingleIdentifierExpression>();

        #endregion

        #region Properties

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

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

        public Statement TrueBranch {
            get { return trueBranch; }
        }

        public Statement FalseBranch {
            get { return falseBranch; }
        }

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

        public IList<SingleIdentifierExpression> ReferencesUsedInTrueBranch {
            get { return this.referencesUsedInTrueBranch; }
        }

        public IList<SingleIdentifierExpression> ReferencesUsedInFalseBranch {
            get { return this.referencesUsedInFalseBranch; }
        }
        #endregion

        #region Constructors

        public IfElseStatement(Expression exp, Statement trueBranch, Location location): base(location) {
            this.condition = exp;
            this.afterCondition = new List<MoveStatement>();
            this.trueBranch = trueBranch;
            this.falseBranch = new Block(location); //null?
            this.thetaStats = new List<ThetaStatement>();
        }

        public IfElseStatement(Expression exp, Statement trueBranch, Statement falseBranch, Location location)
            : base(location) {
            this.condition = exp;
            this.afterCondition = new List<MoveStatement>();
            this.trueBranch = trueBranch;
            this.falseBranch = falseBranch;
            this.thetaStats = new List<ThetaStatement>();
        }

        #endregion

        #region HaveElseBlock

        public bool HaveElseBlock() {
            if ((this.falseBranch is Block) && (((Block)this.falseBranch).StatementCount == 0))
                return false;
            return true;
        }

        #endregion

        #region Accept()

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

    }
}