PageRenderTime 37ms CodeModel.GetById 11ms RepoModel.GetById 0ms app.codeStats 1ms

/bundles/plugins-trunk/Sessions/sessions/SessionMessage.java

#
Java | 71 lines | 32 code | 19 blank | 20 comment | 0 complexity | e68891bfa893f5db967f79aaf3e90936 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
  1. /*
  2. * SessionMessage.java - EditBus message
  3. * Copyright (c) 2001 Dirk Moebius, Sergey V. Udaltsov
  4. *
  5. * :tabSize=4:indentSize=4:noTabs=false:maxLineLen=0:
  6. *
  7. * This program is free software; you can redistribute it and/or
  8. * modify it under the terms of the GNU General Public License
  9. * as published by the Free Software Foundation; either version 2
  10. * of the License, or any later version.
  11. *
  12. * This program is distributed in the hope that it will be useful,
  13. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  15. * GNU General Public License for more details.
  16. *
  17. * You should have received a copy of the GNU General Public License
  18. * along with this program; if not, write to the Free Software
  19. * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  20. */
  21. package sessions;
  22. import org.gjt.sp.jedit.EBComponent;
  23. import org.gjt.sp.jedit.EBMessage;
  24. public class SessionMessage extends EBMessage
  25. {
  26. SessionMessage(EBComponent source, String oldSession, String newSession)
  27. {
  28. super(source);
  29. this.oldSession = oldSession;
  30. this.newSession = newSession;
  31. }
  32. public final SessionManager getSessionManager()
  33. {
  34. return (SessionManager) getSource();
  35. }
  36. public final String getNewSession()
  37. {
  38. return newSession;
  39. }
  40. public final String getOldSession()
  41. {
  42. return oldSession;
  43. }
  44. public String paramString()
  45. {
  46. return super.paramString()
  47. + ",oldSession=" + oldSession
  48. + ",newSession=" + newSession;
  49. }
  50. private String oldSession;
  51. private String newSession;
  52. }