Package jetbrains.mps.vfs.refresh

Class FileRefresh

java.lang.Object

jetbrains.mps.vfs.refresh.FileRefresh

All Implemented Interfaces:

Runnable

public final class FileRefresh
extends Object
implements Runnable

Utility to perform recursive refresh. Used to be part of ModulesMiner, but is not specific to it, hence was extracted.

Constructor Summary

Constructors

Constructor	Description
FileRefresh(List<IFile> list)
FileRefresh(IFile file)

Method Summary

Modifier and Type	Method	Description
void	run()

Methods inherited from class java.lang.Object

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

Constructor Detail

FileRefresh

public FileRefresh(@NotNull
                   IFile file)

FileRefresh

public FileRefresh(@NotNull
                   List<IFile> list)

Method Detail

run

public void run()

Specified by:

run in interface Runnable