public void BooleanReassignments_YieldsDiagnostics()
{
var analyzer = new AA1301VariablesShouldBeAssignedOnceOnlyAnalyzer();
var commonExpected = new DiagnosticResultCommonProperties(analyzer);
var expected1 =
new DiagnosticResult(commonExpected,
Format(Resources.AA1301VariablesShouldBeAssignedOnceOnlyMessageFormat,
"b"),
Option<DiagnosticLocation>.Some(new DiagnosticLocation(11, 13, 22)));
var expected2 =
new DiagnosticResult(commonExpected,
Format(Resources.AA1301VariablesShouldBeAssignedOnceOnlyMessageFormat,
"b"),
Option<DiagnosticLocation>.Some(new DiagnosticLocation(12, 13, 23)));
var expected3 =
new DiagnosticResult(commonExpected,
Format(Resources.AA1301VariablesShouldBeAssignedOnceOnlyMessageFormat,
"b"),
Option<DiagnosticLocation>.Some(new DiagnosticLocation(13, 13, 23)));
DiagnosticVerifier.VerifyDiagnostics<AA1301VariablesShouldBeAssignedOnceOnlyAnalyzer>(
@"..\..\CodeUnderTest\CodeToTestBooleanVariableReassignments.cs",
expected1,
expected2,
expected3);
}
}