src/xkbcomp/keymap.c

   1 /*
   2  * Copyright © 2009 Dan Nicholson
   3  * Copyright © 2012 Intel Corporation
   4  * Copyright © 2012 Ran Benita <ran234@gmail.com>
   5  *
   6  * Permission is hereby granted, free of charge, to any person obtaining a
   7  * copy of this software and associated documentation files (the "Software"),
   8  * to deal in the Software without restriction, including without limitation
   9  * the rights to use, copy, modify, merge, publish, distribute, sublicense,
  10  * and/or sell copies of the Software, and to permit persons to whom the
  11  * Software is furnished to do so, subject to the following conditions:
  12  *
  13  * The above copyright notice and this permission notice (including the next
  14  * paragraph) shall be included in all copies or substantial portions of the
  15  * Software.
  16  *
  17  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  18  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  19  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
  20  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  21  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
  22  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
  23  * DEALINGS IN THE SOFTWARE.
  24  *
  25  * Author: Dan Nicholson <dbn.lists@gmail.com>
  26  *         Daniel Stone <daniel@fooishbar.org>
  27  *         Ran Benita <ran234@gmail.com>
  28  */
  29
  30 #include "xkbcomp-priv.h"
  31
  32 static void
  33 ComputeEffectiveMask(struct xkb_keymap *keymap, struct xkb_mods *mods)
  34 {
  35     const struct xkb_mod *mod;
  36     xkb_mod_index_t i;
  37
  38     /* The effective mask is only real mods for now. */
  39     mods->mask = mods->mods & MOD_REAL_MASK_ALL;
  40
  41     darray_enumerate(i, mod, keymap->mods)
  42         if (mods->mods & (1 << i))
  43             mods->mask |= mod->mapping;
  44 }
  45
  46 static void
  47 UpdateActionMods(struct xkb_keymap *keymap, union xkb_action *act,
  48                  xkb_mod_mask_t modmap)
  49 {
  50     switch (act->type) {
  51     case ACTION_TYPE_MOD_SET:
  52     case ACTION_TYPE_MOD_LATCH:
  53     case ACTION_TYPE_MOD_LOCK:
  54         if (act->mods.flags & ACTION_MODS_LOOKUP_MODMAP)
  55             act->mods.mods.mods = modmap;
  56         ComputeEffectiveMask(keymap, &act->mods.mods);
  57         break;
  58     default:
  59         break;
  60     }
  61 }
  62
  63 static const struct xkb_sym_interpret default_interpret = {
  64     .sym = XKB_KEY_NoSymbol,
  65     .repeat = true,
  66     .match = MATCH_ANY_OR_NONE,
  67     .mods = 0,
  68     .virtual_mod = XKB_MOD_INVALID,
  69     .action = { .type = ACTION_TYPE_NONE },
  70 };
  71
  72 /**
  73  * Find an interpretation which applies to this particular level, either by
  74  * finding an exact match for the symbol and modifier combination, or a
  75  * generic XKB_KEY_NoSymbol match.
  76  */
  77 static const struct xkb_sym_interpret *
  78 FindInterpForKey(struct xkb_keymap *keymap, const struct xkb_key *key,
  79                  xkb_layout_index_t group, xkb_level_index_t level)
  80 {
  81     const struct xkb_sym_interpret *interp;
  82     const xkb_keysym_t *syms;
  83     int num_syms;
  84
  85     num_syms = xkb_keymap_key_get_syms_by_level(keymap, key->keycode, group,
  86                                                 level, &syms);
  87     if (num_syms == 0)
  88         return NULL;
  89
  90     /*
  91      * There may be multiple matchings interprets; we should always return
  92      * the most specific. Here we rely on compat.c to set up the
  93      * sym_interprets array from the most specific to the least specific,
  94      * such that when we find a match we return immediately.
  95      */
  96     darray_foreach(interp, keymap->sym_interprets) {
  97         xkb_mod_mask_t mods;
  98         bool found = false;
  99
 100         if ((num_syms > 1 || interp->sym != syms[0]) &&
 101             interp->sym != XKB_KEY_NoSymbol)
 102             continue;
 103
 104         if (interp->level_one_only && level != 0)
 105             mods = 0;
 106         else
 107             mods = key->modmap;
 108
 109         switch (interp->match) {
 110         case MATCH_NONE:
 111             found = !(interp->mods & mods);
 112             break;
 113         case MATCH_ANY_OR_NONE:
 114             found = (!mods || (interp->mods & mods));
 115             break;
 116         case MATCH_ANY:
 117             found = !!(interp->mods & mods);
 118             break;
 119         case MATCH_ALL:
 120             found = ((interp->mods & mods) == interp->mods);
 121             break;
 122         case MATCH_EXACTLY:
 123             found = (interp->mods == mods);
 124             break;
 125         }
 126
 127         if (found)
 128             return interp;
 129     }
 130
 131     return &default_interpret;
 132 }
 133
 134 static bool
 135 ApplyInterpsToKey(struct xkb_keymap *keymap, struct xkb_key *key)
 136 {
 137     xkb_mod_mask_t vmodmap = 0;
 138     xkb_layout_index_t group;
 139     xkb_level_index_t level;
 140
 141     /* If we've been told not to bind interps to this key, then don't. */
 142     if (key->explicit & EXPLICIT_INTERP)
 143         return true;
 144
 145     for (group = 0; group < key->num_groups; group++) {
 146         for (level = 0; level < XkbKeyGroupWidth(key, group); level++) {
 147             const struct xkb_sym_interpret *interp;
 148
 149             interp = FindInterpForKey(keymap, key, group, level);
 150             if (!interp)
 151                 continue;
 152
 153             /* Infer default key behaviours from the base level. */
 154             if (group == 0 && level == 0)
 155                 if (!(key->explicit & EXPLICIT_REPEAT) && interp->repeat)
 156                     key->repeats = true;
 157
 158             if ((group == 0 && level == 0) || !interp->level_one_only)
 159                 if (interp->virtual_mod != XKB_MOD_INVALID)
 160                     vmodmap |= (1 << interp->virtual_mod);
 161
 162             if (interp->action.type != ACTION_TYPE_NONE)
 163                 key->groups[group].levels[level].action = interp->action;
 164         }
 165     }
 166
 167     if (!(key->explicit & EXPLICIT_VMODMAP))
 168         key->vmodmap = vmodmap;
 169
 170     return true;
 171 }
 172
 173 /**
 174  * This collects a bunch of disparate functions which was done in the server
 175  * at various points that really should've been done within xkbcomp.  Turns out
 176  * your actions and types are a lot more useful when any of your modifiers
 177  * other than Shift actually do something ...
 178  */
 179 static bool
 180 UpdateDerivedKeymapFields(struct xkb_keymap *keymap)
 181 {
 182     struct xkb_mod *mod;
 183     struct xkb_led *led;
 184     unsigned int i, j;
 185     struct xkb_key *key;
 186
 187     /* Find all the interprets for the key and bind them to actions,
 188      * which will also update the vmodmap. */
 189     xkb_foreach_key(key, keymap)
 190         if (!ApplyInterpsToKey(keymap, key))
 191             return false;
 192
 193     /* Update keymap->mods, the virtual -> real mod mapping. */
 194     xkb_foreach_key(key, keymap)
 195         darray_enumerate(i, mod, keymap->mods)
 196             if (key->vmodmap & (1 << i))
 197                 mod->mapping |= key->modmap;
 198
 199     /* Now update the level masks for all the types to reflect the vmods. */
 200     for (i = 0; i < keymap->num_types; i++) {
 201         ComputeEffectiveMask(keymap, &keymap->types[i].mods);
 202
 203         for (j = 0; j < keymap->types[i].num_entries; j++) {
 204             ComputeEffectiveMask(keymap, &keymap->types[i].entries[j].mods);
 205             ComputeEffectiveMask(keymap, &keymap->types[i].entries[j].preserve);
 206         }
 207     }
 208
 209     /* Update action modifiers. */
 210     xkb_foreach_key(key, keymap)
 211         for (i = 0; i < key->num_groups; i++)
 212             for (j = 0; j < XkbKeyGroupWidth(key, i); j++)
 213                 UpdateActionMods(keymap, &key->groups[i].levels[j].action,
 214                                  key->modmap);
 215
 216     /* Update vmod -> led maps. */
 217     darray_foreach(led, keymap->leds)
 218         ComputeEffectiveMask(keymap, &led->mods);
 219
 220     /* Find maximum number of groups out of all keys in the keymap. */
 221     xkb_foreach_key(key, keymap)
 222         keymap->num_groups = MAX(keymap->num_groups, key->num_groups);
 223
 224     return true;
 225 }
 226
 227 static bool
 228 UpdateBuiltinKeymapFields(struct xkb_keymap *keymap)
 229 {
 230     struct xkb_context *ctx = keymap->ctx;
 231
 232     /*
 233      * Add predefined (AKA real, core, X11) modifiers.
 234      * The order is important!
 235      */
 236     darray_appends_t(keymap->mods, struct xkb_mod,
 237         { .name = xkb_atom_intern(ctx, "Shift"),   .type = MOD_REAL },
 238         { .name = xkb_atom_intern(ctx, "Lock"),    .type = MOD_REAL },
 239         { .name = xkb_atom_intern(ctx, "Control"), .type = MOD_REAL },
 240         { .name = xkb_atom_intern(ctx, "Mod1"),    .type = MOD_REAL },
 241         { .name = xkb_atom_intern(ctx, "Mod2"),    .type = MOD_REAL },
 242         { .name = xkb_atom_intern(ctx, "Mod3"),    .type = MOD_REAL },
 243         { .name = xkb_atom_intern(ctx, "Mod4"),    .type = MOD_REAL },
 244         { .name = xkb_atom_intern(ctx, "Mod5"),    .type = MOD_REAL });
 245
 246     return true;
 247 }
 248
 249 typedef bool (*compile_file_fn)(XkbFile *file,
 250                                 struct xkb_keymap *keymap,
 251                                 enum merge_mode merge);
 252
 253 static const compile_file_fn compile_file_fns[LAST_KEYMAP_FILE_TYPE + 1] = {
 254     [FILE_TYPE_KEYCODES] = CompileKeycodes,
 255     [FILE_TYPE_TYPES] = CompileKeyTypes,
 256     [FILE_TYPE_COMPAT] = CompileCompatMap,
 257     [FILE_TYPE_SYMBOLS] = CompileSymbols,
 258 };
 259
 260 bool
 261 CompileKeymap(XkbFile *file, struct xkb_keymap *keymap, enum merge_mode merge)
 262 {
 263     bool ok;
 264     const char *main_name;
 265     XkbFile *files[LAST_KEYMAP_FILE_TYPE + 1] = { NULL };
 266     enum xkb_file_type type;
 267     struct xkb_context *ctx = keymap->ctx;
 268
 269     main_name = file->name ? file->name : "(unnamed)";
 270
 271     /* Collect section files and check for duplicates. */
 272     for (file = (XkbFile *) file->defs; file;
 273          file = (XkbFile *) file->common.next) {
 274         if (file->file_type < FIRST_KEYMAP_FILE_TYPE ||
 275             file->file_type > LAST_KEYMAP_FILE_TYPE) {
 276             log_err(ctx, "Cannot define %s in a keymap file\n",
 277                     xkb_file_type_to_string(file->file_type));
 278             continue;
 279         }
 280
 281         if (files[file->file_type]) {
 282             log_err(ctx,
 283                     "More than one %s section in keymap file; "
 284                     "All sections after the first ignored\n",
 285                     xkb_file_type_to_string(file->file_type));
 286             continue;
 287         }
 288
 289         if (!file->topName) {
 290             free(file->topName);
 291             file->topName = strdup(main_name);
 292         }
 293
 294         files[file->file_type] = file;
 295     }
 296
 297     /*
 298      * Check that all required section were provided.
 299      * Report everything before failing.
 300      */
 301     ok = true;
 302     for (type = FIRST_KEYMAP_FILE_TYPE;
 303          type <= LAST_KEYMAP_FILE_TYPE;
 304          type++) {
 305         if (files[type] == NULL) {
 306             log_err(ctx, "Required section %s missing from keymap\n",
 307                     xkb_file_type_to_string(type));
 308             ok = false;
 309         }
 310     }
 311     if (!ok)
 312         return false;
 313
 314     if (!UpdateBuiltinKeymapFields(keymap))
 315         return false;
 316
 317     /* Compile sections. */
 318     for (type = FIRST_KEYMAP_FILE_TYPE;
 319          type <= LAST_KEYMAP_FILE_TYPE;
 320          type++) {
 321         log_dbg(ctx, "Compiling %s \"%s\"\n",
 322                 xkb_file_type_to_string(type), files[type]->topName);
 323
 324         ok = compile_file_fns[type](files[type], keymap, merge);
 325         if (!ok) {
 326             log_err(ctx, "Failed to compile %s\n",
 327                     xkb_file_type_to_string(type));
 328             return false;
 329         }
 330     }
 331
 332     return UpdateDerivedKeymapFields(keymap);
 333 }