Searched refs:maRandom (Results 1 – 1 of 1) sorted by relevance
146 private Random maRandom = null; field in TextDocuments355 maRandom = new Random(); in editingExample()694 return ( ( maRandom.nextInt() % 1000 ) * maRandom.nextDouble () ); in getRandomDouble()997 int nRandom = Math.abs ( maRandom.nextInt() % in AutoTextExample()1018 int nRandom = Math.abs ( maRandom.nextInt() in AutoTextExample()
Completed in 13 milliseconds