public MalformedContractStatementQuickFix(MalformedContractErrorHighlighting highlighting)
        {
            Contract.Requires(highlighting != null);

            _fix = MalformedContractStatementFix.TryCreate(highlighting.ValidationResult,
                                                           highlighting.ProcessedStatement);
            _validationResult  = highlighting.ValidationResult;
            _contractStatement = highlighting.ProcessedStatement;
        }
        public MalformedContractStatementQuickFix(MalformedContractErrorHighlighting highlighting)
        {
            Contract.Requires(highlighting != null);

            _fix = MalformedContractStatementFix.TryCreate(highlighting.ValidationResult,
                highlighting.ProcessedStatement);
            _validationResult = highlighting.ValidationResult;
            _contractStatement = highlighting.ProcessedStatement;
        }