blob: 9dc6ced6a77f91cf86279a43292a5469c7a8a816 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
/*
@VaadinApache2LicenseForJavaFiles@
*/
package com.vaadin.terminal;
import java.io.Serializable;
/**
* An interface that provides information about the user's terminal.
* Implementors typically provide additional information using methods not in
* this interface. </p>
*
* @author Vaadin Ltd.
* @version
* @VERSION@
* @since 3.0
*/
public interface Terminal extends Serializable {
/**
* Gets the name of the default theme for this terminal.
*
* @return the name of the theme that is used by default by this terminal.
*/
public String getDefaultTheme();
/**
* Gets the width of the terminal screen in pixels. This is the width of the
* screen and not the width available for the application.
* <p>
* Note that the screen width is typically not available in the
* {@link com.vaadin.Application#init()} method as this is called before the
* browser has a chance to report the screen size to the server.
* </p>
*
* @return the width of the terminal screen.
*/
public int getScreenWidth();
/**
* Gets the height of the terminal screen in pixels. This is the height of
* the screen and not the height available for the application.
*
* <p>
* Note that the screen height is typically not available in the
* {@link com.vaadin.Application#init()} method as this is called before the
* browser has a chance to report the screen size to the server.
* </p>
*
* @return the height of the terminal screen.
*/
public int getScreenHeight();
/**
* An error event implementation for Terminal.
*/
public interface ErrorEvent extends Serializable {
/**
* Gets the contained throwable, the cause of the error.
*/
public Throwable getThrowable();
}
/**
* Interface for listening to Terminal errors.
*/
public interface ErrorListener extends Serializable {
/**
* Invoked when a terminal error occurs.
*
* @param event
* the fired event.
*/
public void terminalError(Terminal.ErrorEvent event);
}
}
|