From 4532cc59ee5ee1bb05c11357b23e09abcad0e25b Mon Sep 17 00:00:00 2001 From: Artur Signell Date: Wed, 11 Apr 2012 21:59:38 +0300 Subject: [PATCH] Removed interface that is never referenced --- .../vaadin/terminal/gwt/client/Container.java | 58 ------------------- 1 file changed, 58 deletions(-) delete mode 100644 src/com/vaadin/terminal/gwt/client/Container.java diff --git a/src/com/vaadin/terminal/gwt/client/Container.java b/src/com/vaadin/terminal/gwt/client/Container.java deleted file mode 100644 index b573fd934e..0000000000 --- a/src/com/vaadin/terminal/gwt/client/Container.java +++ /dev/null @@ -1,58 +0,0 @@ -/* -@VaadinApache2LicenseForJavaFiles@ - */ - -package com.vaadin.terminal.gwt.client; - -import java.util.Set; - -import com.google.gwt.user.client.ui.Widget; - -/** - * @deprecated To be removed before 7.0.0 - */ -@Deprecated -public interface Container { - - /** - * 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); - - /** - * 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 children); - - /** - * Returns the size currently allocated for the child component. - * - * @param child - * @return - */ - RenderSpace getAllocatedSpace(Widget child); - -} -- 2.39.5