(self, dos_basename)
Raise an error if the file is open.
Raise an error if the file is open.
Raise an error if the file is open .
def require_file_not_open(self, dos_basename):
        """Raise an error if the file is open."""
        if self._locks.list_open(dos_basename):
            raise error.BASICError(error.FILE_ALREADY_OPEN)
def require_file_not_open ( self , dos_basename ) : if self . _locks . list_open ( dos_basename ) : raise error . BASICError ( error . FILE_ALREADY_OPEN )