(self, args)
RANDOMIZE: set random number generator seed.
RANDOMIZE: set random number generator seed.
RANDOMIZE : set random number generator seed .
def randomize_(self, args):
        """RANDOMIZE: set random number generator seed."""
        val, = args
        if val is not None:
            # don't convert to int if provided in the code
            val = values.pass_number(val, err=error.IFC)
        else:
            # prompt for random seed if not specified
            while True:
                seed = self.console.read_line(b'Random number seed (-32768 to 32767)? ')
                try:
                    val = self.values.from_repr(seed, allow_nonnum=False)
                except error.BASICError as e:
                    if e.err != error.IFC:
                        raise
                else:
                    break
            # seed entered on prompt is rounded to int
            val = values.to_integer(val)
        self.randomiser.reseed(val)
def randomize_ ( self , args ) : val , = args if val is not None : # don't convert to int if provided in the code val = values . pass_number ( val , err = error . IFC ) else : # prompt for random seed if not specified while True : seed = self . console . read_line ( b'Random number seed (-32768 to 32767)? ' ) try : val = self . values . from_repr ( seed , allow_nonnum = False ) except error . BASICError as e : if e . err != error . IFC : raise else : break # seed entered on prompt is rounded to int val = values . to_integer ( val ) self . randomiser . reseed ( val )