diff options
| -rw-r--r-- | src/nvim/keymap.c | 3 | ||||
| -rw-r--r-- | test/symbolic/klee/nvim/keymap.c | 292 |
2 files changed, 146 insertions, 149 deletions
diff --git a/src/nvim/keymap.c b/src/nvim/keymap.c index 55ac835663..4f120e66f7 100644 --- a/src/nvim/keymap.c +++ b/src/nvim/keymap.c @@ -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" }, diff --git a/test/symbolic/klee/nvim/keymap.c b/test/symbolic/klee/nvim/keymap.c index c59d8d4d6e..ff5e46e75b 100644 --- a/test/symbolic/klee/nvim/keymap.c +++ b/test/symbolic/klee/nvim/keymap.c @@ -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"}, - - {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_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_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_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"}, - - {'<', "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} + { ' ', "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_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_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_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_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" }, + + { 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) |