src/jexer/session/TSessionInfo.java

   1 /*
   2  * Jexer - Java Text User Interface
   3  *
   4  * The MIT License (MIT)
   5  *
   6  * Copyright (C) 2016 Kevin Lamonte
   7  *
   8  * Permission is hereby granted, free of charge, to any person obtaining a
   9  * copy of this software and associated documentation files (the "Software"),
  10  * to deal in the Software without restriction, including without limitation
  11  * the rights to use, copy, modify, merge, publish, distribute, sublicense,
  12  * and/or sell copies of the Software, and to permit persons to whom the
  13  * Software is furnished to do so, subject to the following conditions:
  14  *
  15  * The above copyright notice and this permission notice shall be included in
  16  * all copies or substantial portions of the Software.
  17  *
  18  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  19  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  20  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
  21  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  22  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
  23  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
  24  * DEALINGS IN THE SOFTWARE.
  25  *
  26  * @author Kevin Lamonte [kevin.lamonte@gmail.com]
  27  * @version 1
  28  */
  29 package jexer.session;
  30
  31 /**
  32  * TSessionInfo provides a default session implementation.  The username is
  33  * blank, language is "en_US", with a 80x24 text window.
  34  */
  35 public final class TSessionInfo implements SessionInfo {
  36
  37     /**
  38      * User name.
  39      */
  40     private String username = "";
  41
  42     /**
  43      * Language.
  44      */
  45     private String language = "en_US";
  46
  47     /**
  48      * Text window width.
  49      */
  50     private int windowWidth = 80;
  51
  52     /**
  53      * Text window height.
  54      */
  55     private int windowHeight = 24;
  56
  57     /**
  58      * Username getter.
  59      *
  60      * @return the username
  61      */
  62     public String getUsername() {
  63         return this.username;
  64     }
  65
  66     /**
  67      * Username setter.
  68      *
  69      * @param username the value
  70      */
  71     public void setUsername(final String username) {
  72         this.username = username;
  73     }
  74
  75     /**
  76      * Language getter.
  77      *
  78      * @return the language
  79      */
  80     public String getLanguage() {
  81         return this.language;
  82     }
  83
  84     /**
  85      * Language setter.
  86      *
  87      * @param language the value
  88      */
  89     public void setLanguage(final String language) {
  90         this.language = language;
  91     }
  92
  93     /**
  94      * Text window width getter.
  95      *
  96      * @return the window width
  97      */
  98     public int getWindowWidth() {
  99         return windowWidth;
 100     }
 101
 102     /**
 103      * Text window height getter.
 104      *
 105      * @return the window height
 106      */
 107     public int getWindowHeight() {
 108         return windowHeight;
 109     }
 110
 111     /**
 112      * Re-query the text window size.
 113      */
 114     public void queryWindowSize() {
 115         // NOP
 116     }
 117
 118 }