protected override void visitAssertionStatement(AssertionStatement statement)
{
appendLabel(statement);
writer.Append(KeywordEnum.ASSERT.ToString()).Append(' ');
output.writeExpression(statement.Condition);
if (statement.ReportedExpression != null)
{
writer.Append(' ').Append(KeywordEnum.REPORT.ToString()).Append(' ');
output.writeExpression(statement.ReportedExpression);
}
if (statement.Severity != null)
{
writer.Append(' ').Append(KeywordEnum.SEVERITY.ToString()).Append(' ');
output.writeExpression(statement.Severity);
}
writer.Append(';').NewLine();
}
internal RedundantAssertionStatementHighlighting([NotNull] string message, [NotNull] AssertionStatement assertion) : base(message)
=> this.assertion = assertion;
internal RedundantAssertionStatementHighlighting([NotNull] string message, [NotNull] AssertionStatement assertion) : base(message)
{
this.assertion = assertion;
}
