src/jalview/util/ShortcutKeyMaskExWrapper.java

   1 /*
   2  * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
   3  * Copyright (C) $$Year-Rel$$ The Jalview Authors
   4  *
   5  * This file is part of Jalview.
   6  *
   7  * Jalview is free software: you can redistribute it and/or
   8  * modify it under the terms of the GNU General Public License
   9  * as published by the Free Software Foundation, either version 3
  10  * of the License, or (at your option) any later version.
  11  *
  12  * Jalview is distributed in the hope that it will be useful, but
  13  * WITHOUT ANY WARRANTY; without even the implied warranty
  14  * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
  15  * PURPOSE.  See the GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
  19  * The Jalview Authors are detailed in the 'AUTHORS' file.
  20  */
  21 package jalview.util;
  22
  23 import java.awt.event.MouseEvent;
  24
  25 public class ShortcutKeyMaskExWrapper
  26 {
  27
  28   private static final Float specversion;
  29
  30   private static final float modern;
  31
  32   public static final int SHIFT_DOWN_MASK;
  33
  34   public static final int ALT_DOWN_MASK;
  35
  36   private static final ShortcutKeyMaskExWrapperI wrapper;
  37
  38   static
  39   {
  40     specversion = Platform.isJS() ? Float.valueOf(8)
  41             : Float.parseFloat(
  42                     System.getProperty("java.specification.version"));
  43     modern = 11;
  44
  45     if (specversion >= modern)
  46     {
  47       wrapper = new jalview.util.ShortcutKeyMaskExWrapper11();
  48       SHIFT_DOWN_MASK = jalview.util.ShortcutKeyMaskExWrapper11.SHIFT_DOWN_MASK;
  49       ALT_DOWN_MASK = jalview.util.ShortcutKeyMaskExWrapper11.ALT_DOWN_MASK;
  50     }
  51     else
  52     {
  53       wrapper = new jalview.util.ShortcutKeyMaskExWrapper8();
  54       SHIFT_DOWN_MASK = jalview.util.ShortcutKeyMaskExWrapper8.SHIFT_DOWN_MASK;
  55       ALT_DOWN_MASK = jalview.util.ShortcutKeyMaskExWrapper8.ALT_DOWN_MASK;
  56     }
  57   }
  58
  59   public static int getMenuShortcutKeyMaskEx()
  60   {
  61     return wrapper.getMenuShortcutKeyMaskEx();
  62   }
  63
  64   public static int getModifiersEx(MouseEvent e)
  65   {
  66     return wrapper.getModifiersEx(e);
  67   }
  68
  69 }