// This Source Code is in the Public Domain per: http://unlicense.org
package org.litesoft.ui.def.nonpublic.support;

public class UiD_AttributePositive_Integer extends UiD_AttributeInteger
{
    public UiD_AttributePositive_Integer( String pName )
    {
        super( pName );
    }

    /**
     * @deprecated GWT ONLY
     */
    public UiD_AttributePositive_Integer()
    {
    }

    public void setValue( Integer pValue )
    {
        if ( (pValue != null) && (pValue <= 0) )
        {
            throw new IllegalArgumentException( "Only positive (>0) values allowed" );
        }
        super.setValue( pValue );
    }
}