graphics.py 文件源码

def reclaim_space(self,file_name):
        '''
        Args
            file_name (string):
                the name of the work space 
        Return
            -
        '''
        f = hp.File(file_name,'r')
        f2 = hp.File(file_name.split('.h5')[0]+'_reclaim.h5','w')
        used_keys = list()
        def valid_key(name):
            if isinstance(f[name],hp.Group):
                pass
            else:
                used_keys.append(name)
        f.visit(valid_key)
        for key in used_keys:
            f2[key] = f[key].value
        f.flush()
        f2.flush()
        f.close()
        f2.close()
        os.remove(file_name)
        os.rename(file_name.split('.h5')[0]+'_reclaim.h5',file_name)
        print('Space is reclaimed now')