javax.realtime.DSS
Class Random

java.lang.Object
  javax.realtime.DSS.Random

public class Random

extends java.lang.Object

Pseudo random number generator class, using java.util.Random.

Special capability is non deterministic selection (in JPF sense).

Author:

gary

Field Summary

protected int	high
protected int	low
protected java.util.Random	myRandom

Constructor Summary

Random(int low, int high)
Create instance generating uniformly distributed integers in [low, high]

Method Summary

int	draw()
int	nonDeterministicDraw(int howMany)
int	threeChoice()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

low

protected int low

high

protected int high

myRandom

protected java.util.Random myRandom

Constructor Detail

Random

public Random(int low,
              int high)

Create instance generating uniformly distributed integers in [low, high]

Parameters:

low -

high -

Method Detail

draw

public int draw()

nonDeterministicDraw

public int nonDeterministicDraw(int howMany)

threeChoice

public int threeChoice()