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);

}