com.vaadin.terminal.gwt.client.


Class RenderInformation

java.lang.Object
  com.vaadin.terminal.gwt.client.RenderInformation


public class RenderInformation
extends Object

Contains size information about a rendered container and its content area.

Author:

Artur Signell

Nested Class Summary
static class RenderInformation.FloatSize
           
static class RenderInformation.Size
           
 
Constructor Summary
RenderInformation()
           
 
Method Summary
 RenderSpace getContentAreaSize()
           
 RenderInformation.Size getRenderedSize()
           
 void setContentAreaHeight(int h)
           
 void setContentAreaWidth(int w)
           
 String toString()
           
 boolean updateSize(com.google.gwt.user.client.Element element)
          Update the size of the widget.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

RenderInformation

public RenderInformation()
Method Detail

setContentAreaWidth

public void setContentAreaWidth(int w)

setContentAreaHeight

public void setContentAreaHeight(int h)

getContentAreaSize

public RenderSpace getContentAreaSize()

getRenderedSize

public RenderInformation.Size getRenderedSize()

updateSize

public boolean updateSize(com.google.gwt.user.client.Element element)

Update the size of the widget.

Parameters:
widget -
Returns:
true if the size has changed since last update

toString

public String toString()

Overrides:
toString in class Object