Inspectopedia
 
2024.3

Using 'Random.nextDouble()' to get random integer

Warning
New
Last modified: 03 December 2024

Reports calls to java.util.Random.nextDouble() that are used to create a positive integer number by multiplying the call by a factor and casting to an integer.

For generating a random positive integer in a range, java.util.Random.nextInt(int) is simpler and more efficient.

Example:

After the quick-fix is applied: