Reporter | 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");
}
}
// 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");
}
}