// This Source Code is in the Public Domain per: http://unlicense.org
package org.litesoft.GWT.client.widgets.nonpublic;

import com.google.gwt.user.client.*;
import com.google.gwt.user.client.ui.*;

public interface ISizeableDimensionHelper extends IDimensionHelper {
    public boolean isStretchable();

    public void setStretchable( boolean pNewValue );

    public boolean setPrefferredDimension();

    public boolean adjustSizeBy( int pDelta );

    public void setDimension( int pDimension );

    public int getDimension();

    public int getDimensionMaxShrinkability();

    public int getDecorationSize();

    public void deligateSetDimensionFromWidget( int pDimension );

    public void contentChangedResizeToParent();

    public void distributeToChildrenChangedDimension();

    public static final ISizeableDimensionHelper NULL = new ISizeableDimensionHelper() {
        public String getWhat() {
            return "NULL";
        }

        public boolean isAdjustable() {
            return false;
        }

        public boolean isStretchable() {
            return false;
        }

        public void setStretchable( boolean pNewValue ) {
        }

        public boolean setPrefferredDimension() {
            return true;
        }

        public boolean adjustSizeBy( int pDelta ) {
            return true;
        }

        public void setDimension( int pDimension ) {
        }

        public void setDimension( Widget pWidget, int pDimension ) {
        }

        public int getDimension() {
            return 0;
        }

        public int getDimension( Widget pWidget ) {
            return 0;
        }

        public int getDimension( Element pElement ) {
            return 0;
        }

        public int getDimensionMaxShrinkability() {
            return 0;
        }

        public int getDecorationSize() {
            return 0;
        }

        public void deligateSetDimensionFromWidget( int pDimension ) {
        }

        public void contentChangedResizeToParent() {
        }

        public void distributeToChildrenChangedDimension() {
        }

        public int getPosition( Widget pWidget ) {
            return -1;
        }

        public int getPosition( Element pElement ) {
            return -1;
        }

        public void setStyleDimension( Element pElement, int pDimension ) {
        }
    };
}