Package com.intellij.openapi.util

Class RequestsMerger

java.lang.Object

com.intellij.openapi.util.RequestsMerger

public class RequestsMerger
extends java.lang.Object

For exactly same refresh requests buffering:

- refresh requests can be merged into one, but general principle is that each request should be reliably followed by refresh action - at the moment only one refresh action is being done - if request had been submitted while refresh action was in progress, new refresh action is initiated right after first refresh action finishes

Constructor Summary

Constructors

Constructor and Description
RequestsMerger(java.lang.Runnable runnable, Consumer<? super java.lang.Runnable> alarm)

Method Summary

Modifier and Type	Method and Description
boolean	isEmpty()
void	request()
void	waitRefresh(java.lang.Runnable runnable)

Methods inherited from class java.lang.Object

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

Constructor Detail

RequestsMerger

public RequestsMerger(java.lang.Runnable runnable,
                      Consumer<? super java.lang.Runnable> alarm)

Method Detail

request

public void request()

isEmpty

public boolean isEmpty()

waitRefresh

public void waitRefresh(java.lang.Runnable runnable)