0
|
1 // Copyright (C) 2010, 2011, 2012, 2013 GlavSoft LLC.
|
|
2 // All rights reserved.
|
|
3 //
|
|
4 //-------------------------------------------------------------------------
|
|
5 // This file is part of the TightVNC software. Please visit our Web site:
|
|
6 //
|
|
7 // http://www.tightvnc.com/
|
|
8 //
|
|
9 // This program is free software; you can redistribute it and/or modify
|
|
10 // it under the terms of the GNU General Public License as published by
|
|
11 // the Free Software Foundation; either version 2 of the License, or
|
|
12 // (at your option) any later version.
|
|
13 //
|
|
14 // This program is distributed in the hope that it will be useful,
|
|
15 // but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
16 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
17 // GNU General Public License for more details.
|
|
18 //
|
|
19 // You should have received a copy of the GNU General Public License along
|
|
20 // with this program; if not, write to the Free Software Foundation, Inc.,
|
|
21 // 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
|
|
22 //-------------------------------------------------------------------------
|
|
23 //
|
|
24
|
|
25 package com.glavsoft.rfb.protocol;
|
|
26
|
|
27 import com.glavsoft.rfb.IPasswordRetriever;
|
|
28 import com.glavsoft.rfb.client.ClientToServerMessage;
|
|
29 import com.glavsoft.rfb.encoding.PixelFormat;
|
|
30 import com.glavsoft.rfb.protocol.state.ProtocolState;
|
|
31 import com.glavsoft.transport.Reader;
|
|
32 import com.glavsoft.transport.Writer;
|
|
33
|
|
34 import java.util.logging.Logger;
|
|
35
|
|
36 public interface ProtocolContext {
|
|
37
|
|
38 void changeStateTo(ProtocolState state);
|
|
39
|
|
40 IPasswordRetriever getPasswordRetriever();
|
|
41
|
|
42 ProtocolSettings getSettings();
|
|
43
|
|
44 Writer getWriter();
|
|
45 Reader getReader();
|
|
46
|
|
47 int getFbWidth();
|
|
48 void setFbWidth(int frameBufferWidth);
|
|
49
|
|
50 int getFbHeight();
|
|
51 void setFbHeight(int frameBufferHeight);
|
|
52
|
|
53 PixelFormat getPixelFormat();
|
|
54 void setPixelFormat(PixelFormat pixelFormat);
|
|
55
|
|
56 void setRemoteDesktopName(String name);
|
|
57
|
|
58 void sendMessage(ClientToServerMessage message);
|
|
59
|
|
60 String getRemoteDesktopName();
|
|
61
|
|
62 void sendRefreshMessage();
|
|
63
|
|
64 void cleanUpSession(String message);
|
|
65
|
|
66 void setTight(boolean isTight);
|
|
67 boolean isTight();
|
|
68
|
|
69 void setProtocolVersion(String protocolVersion);
|
|
70 String getProtocolVersion();
|
|
71
|
|
72 } |