123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100 |
- /* Copyright (C) 2002-2005 RealVNC Ltd. All Rights Reserved.
- * Copyright 2009-2011 Pierre Ossman for Cendio AB
- * Copyright (C) 2011 D. R. Commander. All Rights Reserved.
- * Copyright (C) 2011-2019 Brian P. Hinz
- *
- * This 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 software 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 software; if not, write to the Free Software
- * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
- * USA.
- */
-
- //
- // CMsgHandler
- //
-
- package com.tigervnc.rfb;
-
- abstract public class CMsgHandler {
-
- static LogWriter vlog = new LogWriter("CMsgHandler");
-
- public CMsgHandler() {
- server = new ServerParams();
- }
-
- public void setDesktopSize(int width, int height)
- {
- server.setDimensions(width, height);
- }
-
- public void setExtendedDesktopSize(int reason, int result,
- int width, int height,
- ScreenSet layout)
- {
- server.supportsSetDesktopSize = true;
-
- if ((reason == screenTypes.reasonClient) && (result != screenTypes.resultSuccess))
- return;
-
- server.setDimensions(width, height, layout);
- }
-
- abstract public void setCursor(int width, int height, Point hotspot,
- byte[] data);
-
- public void setPixelFormat(PixelFormat pf)
- {
- server.setPF(pf);
- }
-
- public void setName(String name)
- {
- server.setName(name);
- }
-
- public void fence(int flags, int len, byte[] data)
- {
- server.supportsFence = true;
- }
-
- public void endOfContinuousUpdates()
- {
- server.supportsContinuousUpdates = true;
- }
-
- abstract public void clientRedirect(int port, String host,
- String x509subject);
-
- public void serverInit(int width, int height,
- PixelFormat pf, String name)
- {
- server.setDimensions(width, height);
- server.setPF(pf);
- server.setName(name);
- }
-
- abstract public void readAndDecodeRect(Rect r, int encoding,
- ModifiablePixelBuffer pb);
-
- public void framebufferUpdateStart() {};
- public void framebufferUpdateEnd() {};
- abstract public void dataRect(Rect r, int encoding);
-
- abstract public void setColourMapEntries(int firstColour, int nColours,
- int[] rgbs);
- abstract public void bell();
- abstract public void serverCutText(String str, int len);
-
- public ServerParams server;
- }
|