function diag = getNegativeDiagnosticFor(constraint, actual)
% getNegativeDiagnosticFor - produce a diagnostic when the constraint is
% incorrectly met
%
%   This method is called by the testing framework when the constraint has
%   been met but should not have been met because it was negated in a
%   boolean expression. It should produce a Diagnostic result that
%   describes the failure in the correct terms which express the
%   requirement that the constraint actually should not have been met.

import matlab.unittest.diagnostics.StringDiagnostic

if constraint.satisfiedBy(actual)
    % Create the negative diagnostic. This will show information such as the
    % constraint class name and display the raw actual and expected values.
    % Using the DiagnosticSense.NegativeDiagnostic enumeration also
    % produces language more appropriate for the negated case.
    diag = StringDiagnostic(sprintf(...
        ['Negated HasSameSizeAs failed.\nSize [%s] of ' ...
        'Actual Value and Expected Value were the same ' ...
        'but should not have been.', int2str(size(actual))));
else
    % Produce a passing diagnostic, with language appropriate for 
    % the negated case.
    diag = StringDiagnostic('Negated HasSameSizeAs passed.');
end % if

end % function