CloneConstraint.cs

Go to the documentation of this file.

// -------------------------------------------------------------------------- 
// Project rROTOR                                                             
// -------------------------------------------------------------------------- 
// File: CloneConstraint.cs                                                    
// Author:  Francisco Ortin - francisco.ortin@gmail.com                       
// Description:                                                               
//    A postponed clone operation for SSA algoritm.
//    It represents constraints of the form:
//                 ret := Clone(op1)
//    Implements Composite pattern [Leaf].                               
//    Implements Command pattern [Concrete Command].                               
//    Implements Memento pattern [Memento].                               
// -------------------------------------------------------------------------- 
// Create date: 11-06-2007                                                    
// Modification date: 1-06-2007                                              

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

using AST;
using ErrorManagement;
using Tools;
using Semantic.SSAAlgorithm;

namespace TypeSystem.Constraints {
    //    It represents constraints of the form:
    //                 ret := Clone(op1)
    class CloneConstraint : ConstraintAdapter {

        #region Fields
        #endregion

        #region Properties
        #endregion


        #region Constructor
        public CloneConstraint(TypeExpression firstOperand)
            : base(firstOperand, new Location()) {
        }
        private CloneConstraint(TypeExpression firstOperand, TypeVariable returnType)
            : base(firstOperand, returnType, new Location()) {
        }
        #endregion

        #region BuildTypeExpressionString()
        protected override string BuildTypeExpressionString() {
            return String.Format("{0}:=Clone({1})", this.ReturnType.FullName, this.FirstOperand.FullName);
        }
        #endregion

        #region CloneTypeVariables()
        public override Constraint CloneTypeVariables(IDictionary<TypeVariable, TypeVariable> typeVariableMappings, IList<EquivalenceClass> equivalenceClasses) {
            TypeExpression newFirstOperand = this.FirstOperand.CloneTypeVariables(typeVariableMappings, equivalenceClasses, new List<ClassType>());
            TypeVariable newReturnType = (TypeVariable)this.ReturnType.CloneTypeVariables(typeVariableMappings, equivalenceClasses, new List<ClassType>());
            return new CloneConstraint(newFirstOperand, newReturnType);
        }
        #endregion

        #region Check()
        public override TypeExpression Check(MethodType methodAnalyzed, TypeExpression actualImplicitObject, bool showInvocationMessage,
                        SortOfUnification activeSortOfUnification, Location location) {
            TypeExpression result = SSAHelper.CloneType(this.FirstOperand,methodAnalyzed);
            this.ReturnType.Unify(result, SortOfUnification.Equivalent, new List<Pair<TypeExpression, TypeExpression>>());
            this.ReturnType.ValidTypeExpression = this.ValidTypeExpression = false;
            return this.ReturnType;
        }
        #endregion


    }
}