ConstraintAdapter.cs

Go to the documentation of this file.

// -------------------------------------------------------------------------- 
// Project rROTOR                                                             
// -------------------------------------------------------------------------- 
// File: ConstraintAdapter.cs                                                    
// Author:  Francisco Ortin - francisco.ortin@gmail.com                          
// Description:                                                               
//    Constraint adater to refactor the common elements to all the contraints,
//       but the ConstraintList constraints.
//    It is the implementation of the adapter design pattern, using 
//       implementation inheritance.
//    Implements Adapter pattern [Adapter].                               
//    Implements (partially) Memento pattern [Memento].                               
// -------------------------------------------------------------------------- 
// Create date: 25-04-2007                                                    
// Modification date: 25-04-2007                                              

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

namespace TypeSystem.Constraints {
    abstract class ConstraintAdapter: Constraint {
        #region Fields
        private TypeExpression firstOperand;

        private TypeVariable returnType;
        private Location location;
        #endregion

        #region Properties
        public Location Location {
            get { return location; }
        }
        public TypeExpression FirstOperand {
            get { return this.firstOperand; }
        }

        public TypeVariable ReturnType {
            get { return this.returnType; }
        }

        #endregion



        #region Constructor
        public ConstraintAdapter(TypeExpression firstOperand, Location loc) {
            this.firstOperand = firstOperand;
            this.returnType = TypeVariable.NewTypeVariable;
            this.location = loc;
        }
protected ConstraintAdapter(TypeExpression firstOperand, TypeVariable returnType, Location loc) {
            this.firstOperand = firstOperand;
            this.returnType = returnType;
            this.location = loc;
        }
        #endregion

        #region EqualsAndGetHashCode
        public override bool Equals(object obj) {
            ArithmeticConstraint constraint = obj as ArithmeticConstraint;
            if (constraint == null)
                return false;
            return this.returnType.Variable == constraint.returnType.Variable;
        }
        public override int GetHashCode() {
            return this.returnType.Variable;
        }
        #endregion

    }
}