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