using System;

using System.Collections.Generic;

using System.Linq;

using System.Reflection;

using System.Diagnostics.Contracts;

​

public class Program

{

    public abstract class PropDescriptor<TOwner, TProp>

    {

    }

​

    public class ParamDescriptor<TOwner, TProp> : PropDescriptor<TOwner, TProp>

    {

        public string Name

        {

            get;

            private set;

        }

​

        public ParamDescriptor(string name)

        {

            Name = name;

        }

    }

​

    public class ResultDescriptor<TOwner, TProp> : PropDescriptor<TOwner, TProp>

    {

    }

​

    public interface ITask

    {

        int ID

        {

            get;

        }

    }

​

    public class Test2 : ITask

    {

        public static ParamDescriptor<Test2, long> ParamLong = new ParamDescriptor<Test2, long>("ParamLong");

        public static ParamDescriptor<Test2, string> ParamString = new ParamDescriptor<Test2, string>("ParamString");

        public static ResultDescriptor<Test2, string> Result = new ResultDescriptor<Test2, string>();

        public int ID

        {

            get;

            private set;

        }

​

        public Test2(int id)

        {

            ID = id;

        }

    }

​

    public class Test3 : ITask

    {

        public static ParamDescriptor<Test3, long> ParamLong = new ParamDescriptor<Test3, long>("ParamLong");

        public static ParamDescriptor<Test3, string> ParamString = new ParamDescriptor<Test3, string>("ParamString");

        public static ResultDescriptor<Test3, string> Result = new ResultDescriptor<Test3, string>();

        public int ID

        {

            get;

            private set;

        }

​

        public Test3(int id)

        {

            ID = id;

        }

    }

​

    public static class Binder

    {

        /*public static void Bind<T1, T2, U>(T1 x, ParamDescriptor<T1, U> p, T2 y, ResultDescriptor<T2, U> r)where T1 : ITask where T2 : ITask

        {

            Console.WriteLine("{0}:{1}.{2} bound to {3}:{4}.Result, type {5}", x.GetType().Name, x.ID, p.Name, y.GetType().Name, y.ID, typeof (U).Name);

        }*/

        public static void Bind<T1, T2, U1, U2>(T1 x, ParamDescriptor<T1, U1> p, T2 y, ResultDescriptor<T2, U2> r)where T1 : ITask where T2 : ITask where U1:U2

        {

            Console.WriteLine("{0}:{1}.{2} bound to {3}:{4}.Result, type {5}", x.GetType().Name, x.ID, p.Name, y.GetType().Name, y.ID, typeof (U2).Name);

        }

        /*[Obsolete("param and result type mismatch")]

        public static void Bind<T1, T2, U1, U2>(T1 x, ParamDescriptor<T1, U1> p, T2 y, ResultDescriptor<T2, U2> r)where T1 : ITask where T2 : ITask

        {

        }*/

        [Obsolete("Wrong type of param descriptor", true)]

        public static void Bind<T1, T2, U1, U2>(T1 x, U1 p, T2 y, ResultDescriptor<T2, U2> r)where T1 : ITask where T2 : ITask

        {

        }

        [Obsolete("Wrong type of result descriptor", true)]

        public static void Bind<T1, T2, U1, U2>(T1 x, ParamDescriptor<T1, U1> p, T2 y, U2 r)where T1 : ITask where T2 : ITask

        {

        }

    }

​

    public static void Main(string[] args)

    {

        {

            Test2 t_1 = new Test2(1);

            Test3 t_2 = new Test3(2);

            // ok

            Binder.Bind(t_1, Test2.ParamString, t_2, Test3.Result);

            // wrong result

            Binder.Bind(t_1, Test2.ParamString, t_2, Test2.Result);

            // wrong param

            Binder.Bind(t_1, Test3.ParamString, t_2, Test3.Result);

            // param and result do not match

            Binder.Bind(t_1, Test2.ParamLong, t_2, Test3.Result);

        }

​

        /*Param<long> test = 2;

            Param<string> s = "adad";

            Param<List<string>> list = new List<string> { "a", "b", "c" };

​

            Test t1 = new Test();

            t1.ResultString.Value = "TestResult";

​

            Test t2 = new Test();

            t2.ParamString.BindTo(t1.ResultString);

​

            Console.WriteLine(s);

            Console.WriteLine(test);

            Console.WriteLine(((List<string>)list).Count);

​

            t2.Dump();*/

        Console.ReadLine();

    }

}