public RequiresExceptionValidityQuickFix(RequiresExceptionValidityHighlighting highlighting) { Contract.Requires(highlighting != null); _highlighting = highlighting; }