/* @VaadinApache2LicenseForJavaFiles@ */ package com.vaadin.terminal.gwt.client; import java.util.Set; import com.google.gwt.user.client.ui.Widget; public interface Container extends Paintable { /** * Replace child of this layout with another component. * * Each layout must be able to switch children. To to this, one must just * give references to a current and new child. * * @param oldComponent * Child to be replaced * @param newComponent * Child that replaces the oldComponent */ void replaceChildComponent(Widget oldComponent, Widget newComponent); /** * Is a given component child of this layout. * * @param component * Component to test. * @return true iff component is a child of this layout. */ boolean hasChildComponent(Widget component); /** * Update child components caption, description and error message. * *
* Each component is responsible for maintaining its caption, description * and error message. In most cases components doesn't want to do that and * those elements reside outside of the component. Because of this layouts * must provide service for it's childen to show those elements for them. *
* * @param component * Child component for which service is requested. * @param uidl * UIDL of the child component. */ void updateCaption(Paintable component, UIDL uidl); /** * Called when a child components size has been updated in the rendering * phase. * * @param children * Set of child widgets whose size have changed * @return true if the size of the Container remains the same, false if the * event need to be propagated to the Containers parent */ boolean requestLayout(Set