1 files changed, 148 insertions, 0 deletions
diff --git a/client/src/com/vaadin/client/RenderInformation.java b/client/src/com/vaadin/client/RenderInformation.java
new file mode 100644
index 0000000000..aa7a0f594b
--- /dev/null
+++ b/client/src/com/vaadin/client/RenderInformation.java
@@ -0,0 +1,148 @@
+/*
+ * Copyright 2011 Vaadin Ltd.
+ * 
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not
+ * use this file except in compliance with the License. You may obtain a copy of
+ * the License at
+ * 
+ * http://www.apache.org/licenses/LICENSE-2.0
+ * 
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+ * License for the specific language governing permissions and limitations under
+ * the License.
+ */
+package com.vaadin.client;
+
+import com.google.gwt.user.client.Element;
+
+/**
+ * Contains size information about a rendered container and its content area.
+ * 
+ * @author Artur Signell
+ * 
+ */
+public class RenderInformation {
+
+    private RenderSpace contentArea = new RenderSpace();
+    private Size renderedSize = new Size(-1, -1);
+
+    public void setContentAreaWidth(int w) {
+        contentArea.setWidth(w);
+    }
+
+    public void setContentAreaHeight(int h) {
+        contentArea.setHeight(h);
+    }
+
+    public RenderSpace getContentAreaSize() {
+        return contentArea;
+
+    }
+
+    public Size getRenderedSize() {
+        return renderedSize;
+    }
+
+    /**
+     * Update the size of the widget.
+     * 
+     * @param widget
+     * 
+     * @return true if the size has changed since last update
+     */
+    public boolean updateSize(Element element) {
+        Size newSize = new Size(element.getOffsetWidth(),
+                element.getOffsetHeight());
+        if (newSize.equals(renderedSize)) {
+            return false;
+        } else {
+            renderedSize = newSize;
+            return true;
+        }
+    }
+
+    @Override
+    public String toString() {
+        return "RenderInformation [contentArea=" + contentArea
+                + ",renderedSize=" + renderedSize + "]";
+
+    }
+
+    public static class FloatSize {
+
+        private float width, height;
+
+        public FloatSize(float width, float height) {
+            this.width = width;
+            this.height = height;
+        }
+
+        public float getWidth() {
+            return width;
+        }
+
+        public void setWidth(float width) {
+            this.width = width;
+        }
+
+        public float getHeight() {
+            return height;
+        }
+
+        public void setHeight(float height) {
+            this.height = height;
+        }
+
+    }
+
+    public static class Size {
+
+        private int width, height;
+
+        @Override
+        public boolean equals(Object obj) {
+            if (!(obj instanceof Size)) {
+                return false;
+            }
+            Size other = (Size) obj;
+            return other.width == width && other.height == height;
+        }
+
+        @Override
+        public int hashCode() {
+            return (width << 8) | height;
+        }
+
+        public Size() {
+        }
+
+        public Size(int width, int height) {
+            this.height = height;
+            this.width = width;
+        }
+
+        public int getWidth() {
+            return width;
+        }
+
+        public void setWidth(int width) {
+            this.width = width;
+        }
+
+        public int getHeight() {
+            return height;
+        }
+
+        public void setHeight(int height) {
+            this.height = height;
+        }
+
+        @Override
+        public String toString() {
+            return "Size [width=" + width + ",height=" + height + "]";
+        }
+    }
+
+}