private MalformedMethodContractQuickFix(ICodeContractFixableIssue highlighting) { Contract.Requires(highlighting != null); _malformedContractFix = MalformedContractFix.TryCreate(highlighting.ValidationResult, highlighting.ValidatedContractBlock); }