Quantcast
Channel: YouTrackReSharper (RSRP) - Bug and Issue Tracker
Viewing all articles
Browse latest Browse all 106942

RSRP-292818: Parameter 'x' is only used for precondition check(s) gives false positive

$
0
0
Reporter William Sorensen (truewill) William Sorensen (truewill)
Created Apr 5, 2012 12:23:49 AM
Updated Apr 5, 2012 12:23:49 AM
Priority Normal
Type Bug
Fix versions No Fix versions
State Submitted
Assignee Evgeny Pasynkov (pasynkov)
Subsystem Code Analysis - Find Code Issues
Affected versions 6.1.1
Fixed in build No Fixed in build
Example:

// Says mixLoaderConfiguration is only used for precondition checks.

private static void ValidateRobotInstruction(
[NotNull] IRobotInstruction robotInstruction,
[NotNull] ISampleTransferInstruction sampleTransferInstruction,
[NotNull] IMixLoaderConfiguration mixLoaderConfiguration)
{
// (switch statement that calculates totalTransferVolume)

if (totalTransferVolume >
mixLoaderConfiguration.MaximumVolumeInMicrolitersOfBufferPerTransfer)
{
throw new InvalidOperationException("error message");
}
}

Viewing all articles
Browse latest Browse all 106942

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>