/* *************************************************************************
 
 IT Mill Toolkit 

 Development of Browser User Interfaces Made Easy

 Copyright (C) 2000-2006 IT Mill Ltd
 
 *************************************************************************

 This product is distributed under commercial license that can be found
 from the product package on license.pdf. Use of this product might 
 require purchasing a commercial license from IT Mill Ltd. For guidelines 
 on usage, see licensing-guidelines.html

 *************************************************************************
 
 For more information, contact:
 
 IT Mill Ltd                           phone: +358 2 4802 7180
 Ruukinkatu 2-4                        fax:   +358 2 4802 7181
 20540, Turku                          email:  info@itmill.com
 Finland                               company www: www.itmill.com
 
 Primary source for information and releases: www.itmill.com

 ********************************************************************** */

package com.itmill.toolkit.terminal;

/**
 * Interface for different terminal types.
 * 
 * @author IT Mill Ltd.
 * @version
 * @VERSION@
 * @since 3.0
 */
public interface Terminal {

    /**
     * Gets the name of the default theme.
     * 
     * @return the Name of the terminal window.
     */
    public String getDefaultTheme();

    /**
     * Gets the width of the terminal window in pixels.
     * 
     * @return the Width of the terminal window.
     */
    public int getScreenWidth();

    /**
     * Gets the height of the terminal window in pixels.
     * 
     * @return the Height of the terminal window.
     */
    public int getScreenHeight();

    /**
     * Terminal error event.
     */
    public interface ErrorEvent {

        /**
         * Gets the contained throwable.
         */
        public Throwable getThrowable();

    }

    /**
     * Terminal error listener interface.
     */
    public interface ErrorListener {

        /**
         * Invoked when terminal error occurs.
         * 
         * @param event
         *                the fired event.
         */
        public void terminalError(Terminal.ErrorEvent event);
    }
}