Commit | Line | Data |
---|---|---|
df8de03f KL |
1 | /** |
2 | * Jexer - Java Text User Interface | |
3 | * | |
4 | * Version: $Id$ | |
5 | * | |
6 | * Author: Kevin Lamonte, <a href="mailto:kevin.lamonte@gmail.com">kevin.lamonte@gmail.com</a> | |
7 | * | |
8 | * License: LGPLv3 or later | |
9 | * | |
10 | * Copyright: This module is licensed under the GNU Lesser General | |
11 | * Public License Version 3. Please see the file "COPYING" in this | |
12 | * directory for more information about the GNU Lesser General Public | |
13 | * License Version 3. | |
14 | * | |
15 | * Copyright (C) 2015 Kevin Lamonte | |
16 | * | |
17 | * This program is free software; you can redistribute it and/or | |
18 | * modify it under the terms of the GNU Lesser General Public License | |
19 | * as published by the Free Software Foundation; either version 3 of | |
20 | * the License, or (at your option) any later version. | |
21 | * | |
22 | * This program is distributed in the hope that it will be useful, but | |
23 | * WITHOUT ANY WARRANTY; without even the implied warranty of | |
24 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
25 | * General Public License for more details. | |
26 | * | |
27 | * You should have received a copy of the GNU Lesser General Public | |
28 | * License along with this program; if not, see | |
29 | * http://www.gnu.org/licenses/, or write to the Free Software | |
30 | * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA | |
31 | * 02110-1301 USA | |
32 | */ | |
33 | package jexer.session; | |
34 | ||
35 | /** | |
36 | * SessionInfo is used to store per-session properties that are determined at | |
37 | * different layers of the communication stack. | |
38 | */ | |
39 | public interface SessionInfo { | |
40 | ||
41 | /** | |
42 | * Username getter | |
43 | * | |
44 | * @return the username | |
45 | */ | |
46 | public String getUsername(); | |
47 | ||
48 | /** | |
49 | * Username setter | |
50 | * | |
51 | * @param username the value | |
52 | */ | |
53 | public void setUsername(String username); | |
54 | ||
55 | /** | |
56 | * Language getter | |
57 | * | |
58 | * @return the language | |
59 | */ | |
60 | public String getLanguage(); | |
61 | ||
62 | /** | |
63 | * Language setter | |
64 | * | |
65 | * @param language the value | |
66 | */ | |
67 | public void setLanguage(String language); | |
68 | ||
69 | /** | |
70 | * Text window width getter | |
c8496dac KL |
71 | * |
72 | * @return the window width | |
df8de03f KL |
73 | */ |
74 | public int getWindowWidth(); | |
75 | ||
76 | /** | |
77 | * Text window height getter | |
c8496dac KL |
78 | * |
79 | * @return the window height | |
df8de03f KL |
80 | */ |
81 | public int getWindowHeight(); | |
c8496dac KL |
82 | |
83 | /** | |
84 | * Re-query the text window size | |
85 | */ | |
86 | public void queryWindowSize(); | |
df8de03f | 87 | } |