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