public interface ScreenProfiler
Modifier and Type | Method and Description |
---|---|
void |
flush(com.haulmont.cuba.web.widgets.client.profiler.ScreenProfilerClientEvent[] clientEvents) |
java.lang.String |
getCurrentProfilerMarker(com.vaadin.ui.UI ui) |
void |
initProfilerMarkerForWindow(java.lang.String screenId) |
void |
setCurrentProfilerMarker(com.vaadin.ui.UI ui,
java.lang.String profilerMarker) |
void initProfilerMarkerForWindow(java.lang.String screenId)
@Nullable java.lang.String getCurrentProfilerMarker(com.vaadin.ui.UI ui)
void setCurrentProfilerMarker(com.vaadin.ui.UI ui, @Nullable java.lang.String profilerMarker)
void flush(com.haulmont.cuba.web.widgets.client.profiler.ScreenProfilerClientEvent[] clientEvents)