+
Point of view
ANY
deferred class GEN_RAND
This class is obsolete: In release 2.3, the new name for this class is RANDOM_NUMBER_GENERATOR. Update your code. (January 10th 2006.)