1 36 package jline; 37 38 39 import java.awt.event.KeyEvent ; 40 41 42 48 public interface ConsoleOperations 49 { 50 final String CR = System.getProperty ("line.separator"); 51 52 final char BACKSPACE = '\b'; 53 final char RESET_LINE = '\r'; 54 final char KEYBOARD_BELL = '\07'; 55 56 final char CTRL_A = 1; 57 final char CTRL_B = 2; 58 final char CTRL_C = 3; 59 final char CTRL_D = 4; 60 final char CTRL_E = 5; 61 final char CTRL_F = 6; 62 final char CTRL_N = 14; 63 final char CTRL_P = 16; 64 65 66 69 70 73 final short UNKNOWN = -99; 74 75 78 final short MOVE_TO_BEG = -1; 79 80 83 final short MOVE_TO_END = -3; 84 85 88 final short PREV_CHAR = -4; 89 90 93 final short NEWLINE = -6; 94 95 98 final short KILL_LINE = -7; 99 100 103 final short CLEAR_SCREEN = -8; 104 105 108 final short NEXT_HISTORY = -9; 109 110 113 final short PREV_HISTORY = -11; 114 115 118 final short REDISPLAY = -13; 119 120 123 final short KILL_LINE_PREV = -15; 124 125 128 final short DELETE_PREV_WORD = -16; 129 130 133 final short NEXT_CHAR = -19; 134 135 138 final short REPEAT_PREV_CHAR = -20; 139 140 143 final short SEARCH_PREV = -21; 144 145 148 final short REPEAT_NEXT_CHAR = -24; 149 150 153 final short SEARCH_NEXT = -25; 154 155 158 final short PREV_SPACE_WORD = -27; 159 160 163 final short TO_END_WORD = -29; 164 165 168 final short REPEAT_SEARCH_PREV = -34; 169 170 173 final short PASTE_PREV = -36; 174 175 178 final short REPLACE_MODE = -37; 179 180 183 final short SUBSTITUTE_LINE = -38; 184 185 188 final short TO_PREV_CHAR = -39; 189 190 193 final short NEXT_SPACE_WORD = -40; 194 195 198 final short DELETE_PREV_CHAR = -41; 199 200 203 final short ADD = -42; 204 205 208 final short PREV_WORD = -43; 209 210 213 final short CHANGE_META = -44; 214 215 218 final short DELETE_META = -45; 219 220 223 final short END_WORD = -46; 224 225 228 final short INSERT = -48; 229 230 233 final short REPEAT_SEARCH_NEXT = -49; 234 235 238 final short PASTE_NEXT = -50; 239 240 243 final short REPLACE_CHAR = -51; 244 245 248 final short SUBSTITUTE_CHAR = -52; 249 250 253 final short TO_NEXT_CHAR = -53; 254 255 258 final short UNDO = -54; 259 260 263 final short NEXT_WORD = -55; 264 265 268 final short DELETE_NEXT_CHAR = -56; 269 270 273 final short CHANGE_CASE = -57; 274 275 278 final short COMPLETE = -58; 279 280 283 final short EXIT = -59; 284 285 288 final short PASTE = -60; 289 } 290 291 | Popular Tags |