Member predicate SystemDiagnosticsCodeAnalysisDoesNotReturnIfAnnotatedAssertTrueMethod :: getAnAssertionIndex
Gets the index of a parameter asserted to have value b
.
int
getAnAssertionIndex
(
boolean
b
)