public ContractPublicPropertyNameQuickFix(ContractPublicPropertyNameHighlighing highlighing)
        {
            Contract.Requires(highlighing != null);

            _highlighing = highlighing;
        }
        public ContractPublicPropertyNameQuickFix(ContractPublicPropertyNameHighlighing highlighing)
        {
            Contract.Requires(highlighing != null);

            _highlighing = highlighing;
        }