src/jalview/util/ShortcutKeyMaskExWrapper.java

   1 package jalview.util;
   2
   3 import java.awt.event.MouseEvent;
   4
   5 public class ShortcutKeyMaskExWrapper
   6 {
   7
   8   private static final Float specversion;
   9
  10   private static final float modern;
  11
  12   public static final int SHIFT_DOWN_MASK;
  13
  14   public static final int ALT_DOWN_MASK;
  15
  16   private static final ShortcutKeyMaskExWrapperI wrapper;
  17
  18   static
  19   {
  20     specversion = Float
  21             .parseFloat(System.getProperty("java.specification.version"));
  22     modern = 11;
  23
  24     if (specversion >= modern)
  25     {
  26       wrapper = new jalview.util.ShortcutKeyMaskExWrapper11();
  27       SHIFT_DOWN_MASK = jalview.util.ShortcutKeyMaskExWrapper11.SHIFT_DOWN_MASK;
  28       ALT_DOWN_MASK = jalview.util.ShortcutKeyMaskExWrapper11.ALT_DOWN_MASK;
  29     }
  30     else
  31     {
  32       wrapper = new jalview.util.ShortcutKeyMaskExWrapper8();
  33       SHIFT_DOWN_MASK = jalview.util.ShortcutKeyMaskExWrapper8.SHIFT_DOWN_MASK;
  34       ALT_DOWN_MASK = jalview.util.ShortcutKeyMaskExWrapper8.ALT_DOWN_MASK;
  35     }
  36   }
  37
  38   public static int getMenuShortcutKeyMaskEx()
  39   {
  40     return wrapper.getMenuShortcutKeyMaskEx();
  41   }
  42
  43   public static int getModifiersEx(MouseEvent e)
  44   {
  45     return wrapper.getModifiersEx(e);
  46   }
  47
  48 }