IntenseFinance/neovim
3
0
Fork 0
mirror of https://github.com/neovim/neovim.git synced 2025-02-25 18:55:25 -06:00
Code Issues Packages Projects Releases Wiki Activity

klee: Update key_name_entry table

Browse Source
This commit is contained in:
ZyX 2017-10-16 00:41:41 +03:00
parent ed253b5fe6
commit 15043e93b6
2 changed files with 136 additions and 139 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/nvim/keymap.c
View File

@ -141,8 +141,7 @@ static char_u modifier_keys_table[] =
static const struct key_name_entry {
int key; // Special key code or ascii value
const char *name; // Name of key
} key_names_table[] =
{
} key_names_table[] = {
{ ' ', "Space" },
{ TAB, "Tab" },
{ K_TAB, "Tab" },

272
test/symbolic/klee/nvim/keymap.c
View File

@ -141,154 +141,152 @@ int handle_x_keys(const int key)
}
static const struct key_name_entry {
int key; ///< Special key code or ASCII value.
const char *name; ///< Name of the key
int key; // Special key code or ascii value
const char *name; // Name of key
} key_names_table[] = {
{' ', "Space"},
{TAB, "Tab"},
{K_TAB, "Tab"},
{NL, "NL"},
{NL, "NewLine"}, // Alternative name
{NL, "LineFeed"}, // Alternative name
{NL, "LF"}, // Alternative name
{CAR, "CR"},
{CAR, "Return"}, // Alternative name
{CAR, "Enter"}, // Alternative name
{K_BS, "BS"},
{K_BS, "BackSpace"}, // Alternative name
{ESC, "Esc"},
{CSI, "CSI"},
{K_CSI, "xCSI"},
{'|', "Bar"},
{'\\', "Bslash"},
{K_DEL, "Del"},
{K_DEL, "Delete"}, // Alternative name
{K_KDEL, "kDel"},
{K_UP, "Up"},
{K_DOWN, "Down"},
{K_LEFT, "Left"},
{K_RIGHT, "Right"},
{K_XUP, "xUp"},
{K_XDOWN, "xDown"},
{K_XLEFT, "xLeft"},
{K_XRIGHT, "xRight"},
{ ' ', "Space" },
{ TAB, "Tab" },
{ K_TAB, "Tab" },
{ NL, "NL" },
{ NL, "NewLine" }, // Alternative name
{ NL, "LineFeed" }, // Alternative name
{ NL, "LF" }, // Alternative name
{ CAR, "CR" },
{ CAR, "Return" }, // Alternative name
{ CAR, "Enter" }, // Alternative name
{ K_BS, "BS" },
{ K_BS, "BackSpace" }, // Alternative name
{ ESC, "Esc" },
{ CSI, "CSI" },
{ K_CSI, "xCSI" },
{ '|', "Bar" },
{ '\\', "Bslash" },
{ K_DEL, "Del" },
{ K_DEL, "Delete" }, // Alternative name
{ K_KDEL, "kDel" },
{ K_UP, "Up" },
{ K_DOWN, "Down" },
{ K_LEFT, "Left" },
{ K_RIGHT, "Right" },
{ K_XUP, "xUp" },
{ K_XDOWN, "xDown" },
{ K_XLEFT, "xLeft" },
{ K_XRIGHT, "xRight" },
{K_F1, "F1"},
{K_F2, "F2"},
{K_F3, "F3"},
{K_F4, "F4"},
{K_F5, "F5"},
{K_F6, "F6"},
{K_F7, "F7"},
{K_F8, "F8"},
{K_F9, "F9"},
{K_F10, "F10"},
{ K_F1, "F1" },
{ K_F2, "F2" },
{ K_F3, "F3" },
{ K_F4, "F4" },
{ K_F5, "F5" },
{ K_F6, "F6" },
{ K_F7, "F7" },
{ K_F8, "F8" },
{ K_F9, "F9" },
{ K_F10, "F10" },
{K_F11, "F11"},
{K_F12, "F12"},
{K_F13, "F13"},
{K_F14, "F14"},
{K_F15, "F15"},
{K_F16, "F16"},
{K_F17, "F17"},
{K_F18, "F18"},
{K_F19, "F19"},
{K_F20, "F20"},
{ K_F11, "F11" },
{ K_F12, "F12" },
{ K_F13, "F13" },
{ K_F14, "F14" },
{ K_F15, "F15" },
{ K_F16, "F16" },
{ K_F17, "F17" },
{ K_F18, "F18" },
{ K_F19, "F19" },
{ K_F20, "F20" },
{K_F21, "F21"},
{K_F22, "F22"},
{K_F23, "F23"},
{K_F24, "F24"},
{K_F25, "F25"},
{K_F26, "F26"},
{K_F27, "F27"},
{K_F28, "F28"},
{K_F29, "F29"},
{K_F30, "F30"},
{ K_F21, "F21" },
{ K_F22, "F22" },
{ K_F23, "F23" },
{ K_F24, "F24" },
{ K_F25, "F25" },
{ K_F26, "F26" },
{ K_F27, "F27" },
{ K_F28, "F28" },
{ K_F29, "F29" },
{ K_F30, "F30" },
{K_F31, "F31"},
{K_F32, "F32"},
{K_F33, "F33"},
{K_F34, "F34"},
{K_F35, "F35"},
{K_F36, "F36"},
{K_F37, "F37"},
{ K_F31, "F31" },
{ K_F32, "F32" },
{ K_F33, "F33" },
{ K_F34, "F34" },
{ K_F35, "F35" },
{ K_F36, "F36" },
{ K_F37, "F37" },
{K_XF1, "xF1"},
{K_XF2, "xF2"},
{K_XF3, "xF3"},
{K_XF4, "xF4"},
{ K_XF1, "xF1" },
{ K_XF2, "xF2" },
{ K_XF3, "xF3" },
{ K_XF4, "xF4" },
{K_HELP, "Help"},
{K_UNDO, "Undo"},
{K_INS, "Insert"},
{K_INS, "Ins"}, // Alternative name
{K_KINS, "kInsert"},
{K_HOME, "Home"},
{K_KHOME, "kHome"},
{K_XHOME, "xHome"},
{K_ZHOME, "zHome"},
{K_END, "End"},
{K_KEND, "kEnd"},
{K_XEND, "xEnd"},
{K_ZEND, "zEnd"},
{K_PAGEUP, "PageUp"},
{K_PAGEDOWN, "PageDown"},
{K_KPAGEUP, "kPageUp"},
{K_KPAGEDOWN, "kPageDown"},
{ K_HELP, "Help" },
{ K_UNDO, "Undo" },
{ K_INS, "Insert" },
{ K_INS, "Ins" }, // Alternative name
{ K_KINS, "kInsert" },
{ K_HOME, "Home" },
{ K_KHOME, "kHome" },
{ K_XHOME, "xHome" },
{ K_ZHOME, "zHome" },
{ K_END, "End" },
{ K_KEND, "kEnd" },
{ K_XEND, "xEnd" },
{ K_ZEND, "zEnd" },
{ K_PAGEUP, "PageUp" },
{ K_PAGEDOWN, "PageDown" },
{ K_KPAGEUP, "kPageUp" },
{ K_KPAGEDOWN, "kPageDown" },
{K_KPLUS, "kPlus"},
{K_KMINUS, "kMinus"},
{K_KDIVIDE, "kDivide"},
{K_KMULTIPLY, "kMultiply"},
{K_KENTER, "kEnter"},
{K_KPOINT, "kPoint"},
{ K_KPLUS, "kPlus" },
{ K_KMINUS, "kMinus" },
{ K_KDIVIDE, "kDivide" },
{ K_KMULTIPLY, "kMultiply" },
{ K_KENTER, "kEnter" },
{ K_KPOINT, "kPoint" },
{K_K0, "k0"},
{K_K1, "k1"},
{K_K2, "k2"},
{K_K3, "k3"},
{K_K4, "k4"},
{K_K5, "k5"},
{K_K6, "k6"},
{K_K7, "k7"},
{K_K8, "k8"},
{K_K9, "k9"},
{ K_K0, "k0" },
{ K_K1, "k1" },
{ K_K2, "k2" },
{ K_K3, "k3" },
{ K_K4, "k4" },
{ K_K5, "k5" },
{ K_K6, "k6" },
{ K_K7, "k7" },
{ K_K8, "k8" },
{ K_K9, "k9" },
{'<', "lt"},
{ '<', "lt" },
{K_MOUSE, "Mouse"},
{K_LEFTMOUSE, "LeftMouse"},
{K_LEFTMOUSE_NM, "LeftMouseNM"},
{K_LEFTDRAG, "LeftDrag"},
{K_LEFTRELEASE, "LeftRelease"},
{K_LEFTRELEASE_NM, "LeftReleaseNM"},
{K_MIDDLEMOUSE, "MiddleMouse"},
{K_MIDDLEDRAG, "MiddleDrag"},
{K_MIDDLERELEASE, "MiddleRelease"},
{K_RIGHTMOUSE, "RightMouse"},
{K_RIGHTDRAG, "RightDrag"},
{K_RIGHTRELEASE, "RightRelease"},
{K_MOUSEDOWN, "ScrollWheelUp"},
{K_MOUSEUP, "ScrollWheelDown"},
{K_MOUSELEFT, "ScrollWheelRight"},
{K_MOUSERIGHT, "ScrollWheelLeft"},
{K_MOUSEDOWN, "MouseDown"}, // OBSOLETE: Use ScrollWheelXXX instead
{K_MOUSEUP, "MouseUp"}, // Same
{K_X1MOUSE, "X1Mouse"},
{K_X1DRAG, "X1Drag"},
{K_X1RELEASE, "X1Release"},
{K_X2MOUSE, "X2Mouse"},
{K_X2DRAG, "X2Drag"},
{K_X2RELEASE, "X2Release"},
{K_DROP, "Drop"},
{K_ZERO, "Nul"},
{K_SNR, "SNR"},
{K_PLUG, "Plug"},
{K_PASTE, "Paste"},
{K_FOCUSGAINED, "FocusGained"},
{K_FOCUSLOST, "FocusLost"},
{0, NULL}
{ K_MOUSE, "Mouse" },
{ K_LEFTMOUSE, "LeftMouse" },
{ K_LEFTMOUSE_NM, "LeftMouseNM" },
{ K_LEFTDRAG, "LeftDrag" },
{ K_LEFTRELEASE, "LeftRelease" },
{ K_LEFTRELEASE_NM, "LeftReleaseNM" },
{ K_MIDDLEMOUSE, "MiddleMouse" },
{ K_MIDDLEDRAG, "MiddleDrag" },
{ K_MIDDLERELEASE, "MiddleRelease" },
{ K_RIGHTMOUSE, "RightMouse" },
{ K_RIGHTDRAG, "RightDrag" },
{ K_RIGHTRELEASE, "RightRelease" },
{ K_MOUSEDOWN, "ScrollWheelUp" },
{ K_MOUSEUP, "ScrollWheelDown" },
{ K_MOUSELEFT, "ScrollWheelRight" },
{ K_MOUSERIGHT, "ScrollWheelLeft" },
{ K_MOUSEDOWN, "MouseDown" }, // OBSOLETE: Use
{ K_MOUSEUP, "MouseUp" }, // ScrollWheelXXX instead
{ K_X1MOUSE, "X1Mouse" },
{ K_X1DRAG, "X1Drag" },
{ K_X1RELEASE, "X1Release" },
{ K_X2MOUSE, "X2Mouse" },
{ K_X2DRAG, "X2Drag" },
{ K_X2RELEASE, "X2Release" },
{ K_DROP, "Drop" },
{ K_ZERO, "Nul" },
{ K_SNR, "SNR" },
{ K_PLUG, "Plug" },
{ K_PASTE, "Paste" },
{ 0, NULL }
};
int get_special_key_code(const char_u *name)