Mercurial > hg > Applications > TreeVNC
view src/main/java/com/glavsoft/rfb/protocol/ProtocolContext.java @ 0:4689cc86d6cb
create TreeViewer2 Repository
author | Yu Taninari <you@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 03 Jul 2012 13:20:49 +0900 |
parents | |
children | 075fb190d5d4 17b702648079 |
line wrap: on
line source
// Copyright (C) 2010, 2011 GlavSoft LLC. // All rights reserved. // //------------------------------------------------------------------------- // This file is part of the TightVNC software. Please visit our Web site: // // http://www.tightvnc.com/ // // This program is free software; you can redistribute it and/or modify // it under the terms of the GNU General Public License as published by // the Free Software Foundation; either version 2 of the License, or // (at your option) any later version. // // This program is distributed in the hope that it will be useful, // but WITHOUT ANY WARRANTY; without even the implied warranty of // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the // GNU General Public License for more details. // // You should have received a copy of the GNU General Public License along // with this program; if not, write to the Free Software Foundation, Inc., // 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. //------------------------------------------------------------------------- // package com.glavsoft.rfb.protocol; import com.glavsoft.rfb.IPasswordRetriever; import com.glavsoft.rfb.client.ClientToServerMessage; import com.glavsoft.rfb.encoding.PixelFormat; import com.glavsoft.rfb.protocol.state.ProtocolState; import com.glavsoft.transport.Reader; import com.glavsoft.transport.Writer; import java.util.logging.Logger; public interface ProtocolContext { void changeStateTo(ProtocolState state); IPasswordRetriever getPasswordRetriever(); ProtocolSettings getSettings(); Logger getLogger(); Writer getWriter(); Reader getReader(); int getFbWidth(); void setFbWidth(int frameBufferWidth); int getFbHeight(); void setFbHeight(int frameBufferHeight); PixelFormat getPixelFormat(); void setPixelFormat(PixelFormat pixelFormat); void setRemoteDesktopName(String name); void sendMessage(ClientToServerMessage message); String getRemoteDesktopName(); void sendRefreshMessage(); void cleanUpSession(String message); }