01: /* *************************************************************************
02:
03: Millstone(TM)
04: Open Sourced User Interface Library for
05: Internet Development with Java
06:
07: Millstone is a registered trademark of IT Mill Ltd
08: Copyright (C) 2000-2005 IT Mill Ltd
09:
10: *************************************************************************
11:
12: This library is free software; you can redistribute it and/or
13: modify it under the terms of the GNU Lesser General Public
14: license version 2.1 as published by the Free Software Foundation.
15:
16: This library is distributed in the hope that it will be useful,
17: but WITHOUT ANY WARRANTY; without even the implied warranty of
18: MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
19: Lesser General Public License for more details.
20:
21: You should have received a copy of the GNU Lesser General Public
22: License along with this library; if not, write to the Free Software
23: Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
24:
25: *************************************************************************
26:
27: For more information, contact:
28:
29: IT Mill Ltd phone: +358 2 4802 7180
30: Ruukinkatu 2-4 fax: +358 2 4802 7181
31: 20540, Turku email: info@itmill.com
32: Finland company www: www.itmill.com
33:
34: Primary source for MillStone information and releases: www.millstone.org
35:
36: ********************************************************************** */
37:
38: package org.millstone.base.terminal;
39:
40: /** Interface for different terminal types.
41: *
42: * @author IT Mill Ltd.
43: * @version 3.1.1
44: * @since 3.0
45: */
46: public interface Terminal {
47:
48: /** Get name of the default theme
49: * @return Name of the terminal window
50: */
51: public String getDefaultTheme();
52:
53: /** Get width of the terminal window in pixels
54: * @return Width of the terminal window
55: */
56: public int getScreenWidth();
57:
58: /** Get height of the terminal window in pixels
59: * @return Height of the terminal window
60: */
61: public int getScreenHeight();
62:
63: /** Terminal error event */
64: public interface ErrorEvent {
65:
66: /** Get the contained throwable */
67: public Throwable getThrowable();
68:
69: }
70:
71: /** Terminal error listener interface */
72: public interface ErrorListener {
73:
74: /** Invoked when terminal error occurs. */
75: public void terminalError(Terminal.ErrorEvent event);
76: }
77: }
|