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 ShortcutKeyMaskExWrapper11();
  27     }
  28     else
  29     {
  30       wrapper = new ShortcutKeyMaskExWrapper8();
  31     }
  32     SHIFT_DOWN_MASK = wrapper.SHIFT_DOWN_MASK;
  33     ALT_DOWN_MASK = wrapper.ALT_DOWN_MASK;
  34   }
  35
  36   public static int getMenuShortcutKeyMaskEx()
  37   {
  38     return wrapper.getMenuShortcutKeyMaskEx();
  39   }
  40
  41   public static int getModifiersEx(MouseEvent e)
  42   {
  43     return wrapper.getModifiersEx(e);
  44   }
  45
  46 }