import com.googlecode.lanterna.input.KeyStroke; //导入方法依赖的package包/类
private int mapVirtualKey(KeyStroke key) {
switch (key.getKeyType()) {
case Character: return key.getCharacter();
case Escape: return KeyEvent.VK_ESCAPE;
case Backspace: return KeyEvent.VK_BACK_SPACE;
case ArrowLeft: return KeyEvent.VK_LEFT;
case ArrowRight: return KeyEvent.VK_RIGHT;
case ArrowUp: return KeyEvent.VK_UP;
case ArrowDown: return KeyEvent.VK_DOWN;
case Insert: return KeyEvent.VK_INSERT;
case Delete: return KeyEvent.VK_DELETE;
case Home: return KeyEvent.VK_HOME;
case End: return KeyEvent.VK_END;
case PageUp: return KeyEvent.VK_PAGE_UP;
case PageDown: return KeyEvent.VK_PAGE_DOWN;
case Tab: return KeyEvent.VK_TAB;
// case ReverseTab: return KeyEvent.VK_UNDEFINED;
case Enter: return KeyEvent.VK_ENTER;
case F1: return KeyEvent.VK_F1;
case F2: return KeyEvent.VK_F2;
case F3: return KeyEvent.VK_F3;
case F4: return KeyEvent.VK_F4;
case F5: return KeyEvent.VK_F5;
case F6: return KeyEvent.VK_F6;
case F7: return KeyEvent.VK_F7;
case F8: return KeyEvent.VK_F8;
case F9: return KeyEvent.VK_F9;
case F10: return KeyEvent.VK_F10;
case F11: return KeyEvent.VK_F11;
case F12: return KeyEvent.VK_F12;
case F13: return KeyEvent.VK_F13;
case F14: return KeyEvent.VK_F14;
case F15: return KeyEvent.VK_F15;
case F16: return KeyEvent.VK_F16;
case F17: return KeyEvent.VK_F17;
case F18: return KeyEvent.VK_F18;
case F19: return KeyEvent.VK_F19;
}
return KeyEvent.VK_UNDEFINED;
}