26 package apple.laf;

    26 package apple.laf;

    27 

    27 

    28 import java.lang.reflect.Field;

    28 import java.lang.reflect.Field;

    29 import java.nio.ByteBuffer;

    29 import java.nio.ByteBuffer;

    30 

    30 

    31 public final class JRSUIConstants {

    33 public final class JRSUIConstants {

    32     private static native long getPtrForConstant(final int constant);

    34     private static native long getPtrForConstant(final int constant);

    33 

    35 

    34     static class Key {

    38     static class Key {

    35         protected static final int _value = 20;

    39         protected static final int _value = 20;

    36         public static final Key VALUE = new Key(_value);

    40         public static final Key VALUE = new Key(_value);

    37 

    41 

    38         protected static final int _thumbProportion = 24;

    42         protected static final int _thumbProportion = 24;

    64         public String toString() {

    68         public String toString() {

    65             return getConstantName(this) + (ptr == 0 ? "(unlinked)" : "");

    69             return getConstantName(this) + (ptr == 0 ? "(unlinked)" : "");

    66         }

    70         }

    67     }

    71     }

    68 

    72 

    69     static class DoubleValue {

    75     static class DoubleValue {

    70         protected static final byte TYPE_CODE = 1;

    76         protected static final byte TYPE_CODE = 1;

    71 

    77 

    72         final double doubleValue;

    78         final double doubleValue;

    73 

    79 

   131         public String toString() {

   137         public String toString() {

   132             return getConstantName(this);

   138             return getConstantName(this);

   133         }

   139         }

   134     }

   140     }

   135 

   141 

   136     public static class Size extends Property {

   144     public static class Size extends Property {

   137         private static final byte SHIFT = 0;

   145         private static final byte SHIFT = 0;

   138         private static final byte SIZE = 3;

   146         private static final byte SIZE = 3;

   139         private static final long MASK = (long)0x7 << SHIFT;

   147         private static final long MASK = (long)0x7 << SHIFT;

   140         private static final PropertyEncoding size = new PropertyEncoding(MASK, SHIFT);

   148         private static final PropertyEncoding size = new PropertyEncoding(MASK, SHIFT);

   151         public static final Size REGULAR = new Size(_regular);

   159         public static final Size REGULAR = new Size(_regular);

   152         private static final byte _large = 4;

   160         private static final byte _large = 4;

   153         public static final Size LARGE = new Size(_large);

   161         public static final Size LARGE = new Size(_large);

   154     }

   162     }

   155 

   163 

   156     public static class State extends Property {

   166     public static class State extends Property {

   157         private static final byte SHIFT = Size.SHIFT + Size.SIZE;

   167         private static final byte SHIFT = Size.SHIFT + Size.SIZE;

   158         private static final byte SIZE = 4;

   168         private static final byte SIZE = 4;

   159         private static final long MASK = (long)0xF << SHIFT;

   169         private static final long MASK = (long)0xF << SHIFT;

   160         private static final PropertyEncoding state = new PropertyEncoding(MASK, SHIFT);

   170         private static final PropertyEncoding state = new PropertyEncoding(MASK, SHIFT);

   177         public static final State ROLLOVER = new State(_rollover);

   187         public static final State ROLLOVER = new State(_rollover);

   178         private static final byte _drag = 7;

   188         private static final byte _drag = 7;

   179         public static final State DRAG = new State(_drag);

   189         public static final State DRAG = new State(_drag);

   180     }

   190     }

   181 

   191 

   182     public static class Direction extends Property {

   194     public static class Direction extends Property {

   183         private static final byte SHIFT = State.SHIFT + State.SIZE;

   195         private static final byte SHIFT = State.SHIFT + State.SIZE;

   184         private static final byte SIZE = 4;

   196         private static final byte SIZE = 4;

   185         private static final long MASK = (long)0xF << SHIFT;

   197         private static final long MASK = (long)0xF << SHIFT;

   186         private static final PropertyEncoding direction = new PropertyEncoding(MASK, SHIFT);

   198         private static final PropertyEncoding direction = new PropertyEncoding(MASK, SHIFT);

   207         public static final Direction EAST = new Direction(_east);

   219         public static final Direction EAST = new Direction(_east);

   208         private static final byte _west = 9;

   220         private static final byte _west = 9;

   209         public static final Direction WEST = new Direction(_west);

   221         public static final Direction WEST = new Direction(_west);

   210     }

   222     }

   211 

   223 

   212     public static class Orientation extends Property {

   226     public static class Orientation extends Property {

   213         private static final byte SHIFT = Direction.SHIFT + Direction.SIZE;

   227         private static final byte SHIFT = Direction.SHIFT + Direction.SIZE;

   214         private static final byte SIZE = 2;

   228         private static final byte SIZE = 2;

   215         private static final long MASK = (long)0x3 << SHIFT;

   229         private static final long MASK = (long)0x3 << SHIFT;

   216         private static final PropertyEncoding orientation = new PropertyEncoding(MASK, SHIFT);

   230         private static final PropertyEncoding orientation = new PropertyEncoding(MASK, SHIFT);

   223         public static final Orientation HORIZONTAL = new Orientation(_horizontal);

   237         public static final Orientation HORIZONTAL = new Orientation(_horizontal);

   224         private static final byte _vertical = 2;

   238         private static final byte _vertical = 2;

   225         public static final Orientation VERTICAL = new Orientation(_vertical);

   239         public static final Orientation VERTICAL = new Orientation(_vertical);

   226     }

   240     }

   227 

   241 

   228     public static class AlignmentVertical extends Property {

   244     public static class AlignmentVertical extends Property {

   229         private static final byte SHIFT = Orientation.SHIFT + Orientation.SIZE;

   245         private static final byte SHIFT = Orientation.SHIFT + Orientation.SIZE;

   230         private static final byte SIZE = 2;

   246         private static final byte SIZE = 2;

   231         private static final long MASK = (long)0x3 << SHIFT;

   247         private static final long MASK = (long)0x3 << SHIFT;

   232         private static final PropertyEncoding alignmentVertical = new PropertyEncoding(MASK, SHIFT);

   248         private static final PropertyEncoding alignmentVertical = new PropertyEncoding(MASK, SHIFT);

   241         public static final AlignmentVertical CENTER = new AlignmentVertical(_center);

   257         public static final AlignmentVertical CENTER = new AlignmentVertical(_center);

   242         private static final byte _bottom = 3;

   258         private static final byte _bottom = 3;

   243         public static final AlignmentVertical BOTTOM = new AlignmentVertical(_bottom);

   259         public static final AlignmentVertical BOTTOM = new AlignmentVertical(_bottom);

   244     }

   260     }

   245 

   261 

   246     public static class AlignmentHorizontal extends Property {

   264     public static class AlignmentHorizontal extends Property {

   247         private static final byte SHIFT = AlignmentVertical.SHIFT + AlignmentVertical.SIZE;

   265         private static final byte SHIFT = AlignmentVertical.SHIFT + AlignmentVertical.SIZE;

   248         private static final byte SIZE = 2;

   266         private static final byte SIZE = 2;

   249         private static final long MASK = (long)0x3 << SHIFT;

   267         private static final long MASK = (long)0x3 << SHIFT;

   250         private static final PropertyEncoding alignmentHorizontal = new PropertyEncoding(MASK, SHIFT);

   268         private static final PropertyEncoding alignmentHorizontal = new PropertyEncoding(MASK, SHIFT);

   259         public static final AlignmentHorizontal CENTER = new AlignmentHorizontal(_center);

   277         public static final AlignmentHorizontal CENTER = new AlignmentHorizontal(_center);

   260         private static final byte _right = 3;

   278         private static final byte _right = 3;

   261         public static final AlignmentHorizontal RIGHT = new AlignmentHorizontal(_right);

   279         public static final AlignmentHorizontal RIGHT = new AlignmentHorizontal(_right);

   262     }

   280     }

   263 

   281 

   264     public static class SegmentPosition extends Property {

   284     public static class SegmentPosition extends Property {

   265         private static final byte SHIFT = AlignmentHorizontal.SHIFT + AlignmentHorizontal.SIZE;

   285         private static final byte SHIFT = AlignmentHorizontal.SHIFT + AlignmentHorizontal.SIZE;

   266         private static final byte SIZE = 3;

   286         private static final byte SIZE = 3;

   267         private static final long MASK = (long)0x7 << SHIFT;

   287         private static final long MASK = (long)0x7 << SHIFT;

   268         private static final PropertyEncoding segmentPosition = new PropertyEncoding(MASK, SHIFT);

   288         private static final PropertyEncoding segmentPosition = new PropertyEncoding(MASK, SHIFT);

   279         public static final SegmentPosition LAST = new SegmentPosition(_last);

   299         public static final SegmentPosition LAST = new SegmentPosition(_last);

   280         private static final byte _only = 4;

   300         private static final byte _only = 4;

   281         public static final SegmentPosition ONLY = new SegmentPosition(_only);

   301         public static final SegmentPosition ONLY = new SegmentPosition(_only);

   282     }

   302     }

   283 

   303 

   284     public static class ScrollBarPart extends Property {

   306     public static class ScrollBarPart extends Property {

   285         private static final byte SHIFT = SegmentPosition.SHIFT + SegmentPosition.SIZE;

   307         private static final byte SHIFT = SegmentPosition.SHIFT + SegmentPosition.SIZE;

   286         private static final byte SIZE = 4;

   308         private static final byte SIZE = 4;

   287         private static final long MASK = (long)0xF << SHIFT;

   309         private static final long MASK = (long)0xF << SHIFT;

   288         private static final PropertyEncoding scrollBarPart = new PropertyEncoding(MASK, SHIFT);

   310         private static final PropertyEncoding scrollBarPart = new PropertyEncoding(MASK, SHIFT);

   307         public static final ScrollBarPart TRACK_MIN = new ScrollBarPart(_trackMin);

   329         public static final ScrollBarPart TRACK_MIN = new ScrollBarPart(_trackMin);

   308         private static final byte _trackMax = 8;

   330         private static final byte _trackMax = 8;

   309         public static final ScrollBarPart TRACK_MAX = new ScrollBarPart(_trackMax);

   331         public static final ScrollBarPart TRACK_MAX = new ScrollBarPart(_trackMax);

   310     }

   332     }

   311 

   333 

   312     public static class Variant extends Property {

   336     public static class Variant extends Property {

   313         private static final byte SHIFT = ScrollBarPart.SHIFT + ScrollBarPart.SIZE;

   337         private static final byte SHIFT = ScrollBarPart.SHIFT + ScrollBarPart.SIZE;

   314         private static final byte SIZE = 4;

   338         private static final byte SIZE = 4;

   315         private static final long MASK = (long)0xF << SHIFT;

   339         private static final long MASK = (long)0xF << SHIFT;

   316         private static final PropertyEncoding variant = new PropertyEncoding(MASK, SHIFT);

   340         private static final PropertyEncoding variant = new PropertyEncoding(MASK, SHIFT);

   338         public static final Variant GRADIENT_SIDE_BAR_SELECTION = new Variant(_gradientSideBarSelection);

   362         public static final Variant GRADIENT_SIDE_BAR_SELECTION = new Variant(_gradientSideBarSelection);

   339         private static final byte _gradientSideBarFocusedSelection = Variant._gradientSideBarSelection + 1;

   363         private static final byte _gradientSideBarFocusedSelection = Variant._gradientSideBarSelection + 1;

   340         public static final Variant GRADIENT_SIDE_BAR_FOCUSED_SELECTION = new Variant(_gradientSideBarFocusedSelection);

   364         public static final Variant GRADIENT_SIDE_BAR_FOCUSED_SELECTION = new Variant(_gradientSideBarFocusedSelection);

   341     }

   365     }

   342 

   366 

   343     public static class WindowType extends Property {

   369     public static class WindowType extends Property {

   344         private static final byte SHIFT = Variant.SHIFT + Variant.SIZE;

   370         private static final byte SHIFT = Variant.SHIFT + Variant.SIZE;

   345         private static final byte SIZE = 2;

   371         private static final byte SIZE = 2;

   346         private static final long MASK = (long)0x3 << SHIFT;

   372         private static final long MASK = (long)0x3 << SHIFT;

   347         private static final PropertyEncoding windowType = new PropertyEncoding(MASK, SHIFT);

   373         private static final PropertyEncoding windowType = new PropertyEncoding(MASK, SHIFT);

   356         public static final WindowType UTILITY = new WindowType(_utility);

   382         public static final WindowType UTILITY = new WindowType(_utility);

   357         private static final byte _titlelessUtility = 3;

   383         private static final byte _titlelessUtility = 3;

   358         public static final WindowType TITLELESS_UTILITY = new WindowType(_titlelessUtility);

   384         public static final WindowType TITLELESS_UTILITY = new WindowType(_titlelessUtility);

   359     }

   385     }

   360 

   386 

   361     public static class Focused extends Property {

   389     public static class Focused extends Property {

   362         private static final byte SHIFT = WindowType.SHIFT + WindowType.SIZE;

   390         private static final byte SHIFT = WindowType.SHIFT + WindowType.SIZE;

   363         private static final byte SIZE = 1;

   391         private static final byte SIZE = 1;

   364         private static final long MASK = (long)0x1 << SHIFT;

   392         private static final long MASK = (long)0x1 << SHIFT;

   365         private static final PropertyEncoding focused = new PropertyEncoding(MASK, SHIFT);

   393         private static final PropertyEncoding focused = new PropertyEncoding(MASK, SHIFT);

   372         public static final Focused NO = new Focused(_no);

   400         public static final Focused NO = new Focused(_no);

   373         private static final byte _yes = 1;

   401         private static final byte _yes = 1;

   374         public static final Focused YES = new Focused(_yes);

   402         public static final Focused YES = new Focused(_yes);

   375     }

   403     }

   376 

   404 

   377     public static class IndicatorOnly extends Property {

   407     public static class IndicatorOnly extends Property {

   378         private static final byte SHIFT = Focused.SHIFT + Focused.SIZE;

   408         private static final byte SHIFT = Focused.SHIFT + Focused.SIZE;

   379         private static final byte SIZE = 1;

   409         private static final byte SIZE = 1;

   380         private static final long MASK = (long)0x1 << SHIFT;

   410         private static final long MASK = (long)0x1 << SHIFT;

   381         private static final PropertyEncoding indicatorOnly = new PropertyEncoding(MASK, SHIFT);

   411         private static final PropertyEncoding indicatorOnly = new PropertyEncoding(MASK, SHIFT);

   388         public static final IndicatorOnly NO = new IndicatorOnly(_no);

   418         public static final IndicatorOnly NO = new IndicatorOnly(_no);

   389         private static final byte _yes = 1;

   419         private static final byte _yes = 1;

   390         public static final IndicatorOnly YES = new IndicatorOnly(_yes);

   420         public static final IndicatorOnly YES = new IndicatorOnly(_yes);

   391     }

   421     }

   392 

   422 

   393     public static class NoIndicator extends Property {

   425     public static class NoIndicator extends Property {

   394         private static final byte SHIFT = IndicatorOnly.SHIFT + IndicatorOnly.SIZE;

   426         private static final byte SHIFT = IndicatorOnly.SHIFT + IndicatorOnly.SIZE;

   395         private static final byte SIZE = 1;

   427         private static final byte SIZE = 1;

   396         private static final long MASK = (long)0x1 << SHIFT;

   428         private static final long MASK = (long)0x1 << SHIFT;

   397         private static final PropertyEncoding noIndicator = new PropertyEncoding(MASK, SHIFT);

   429         private static final PropertyEncoding noIndicator = new PropertyEncoding(MASK, SHIFT);

   404         public static final NoIndicator NO = new NoIndicator(_no);

   436         public static final NoIndicator NO = new NoIndicator(_no);

   405         private static final byte _yes = 1;

   437         private static final byte _yes = 1;

   406         public static final NoIndicator YES = new NoIndicator(_yes);

   438         public static final NoIndicator YES = new NoIndicator(_yes);

   407     }

   439     }

   408 

   440 

   409     public static class ArrowsOnly extends Property {

   443     public static class ArrowsOnly extends Property {

   410         private static final byte SHIFT = NoIndicator.SHIFT + NoIndicator.SIZE;

   444         private static final byte SHIFT = NoIndicator.SHIFT + NoIndicator.SIZE;

   411         private static final byte SIZE = 1;

   445         private static final byte SIZE = 1;

   412         private static final long MASK = (long)0x1 << SHIFT;

   446         private static final long MASK = (long)0x1 << SHIFT;

   413         private static final PropertyEncoding focused = new PropertyEncoding(MASK, SHIFT);

   447         private static final PropertyEncoding focused = new PropertyEncoding(MASK, SHIFT);

   420         public static final ArrowsOnly NO = new ArrowsOnly(_no);

   454         public static final ArrowsOnly NO = new ArrowsOnly(_no);

   421         private static final byte _yes = 1;

   455         private static final byte _yes = 1;

   422         public static final ArrowsOnly YES = new ArrowsOnly(_yes);

   456         public static final ArrowsOnly YES = new ArrowsOnly(_yes);

   423     }

   457     }

   424 

   458 

   425     public static class FrameOnly extends Property {

   461     public static class FrameOnly extends Property {

   426         private static final byte SHIFT = ArrowsOnly.SHIFT + ArrowsOnly.SIZE;

   462         private static final byte SHIFT = ArrowsOnly.SHIFT + ArrowsOnly.SIZE;

   427         private static final byte SIZE = 1;

   463         private static final byte SIZE = 1;

   428         private static final long MASK = (long)0x1 << SHIFT;

   464         private static final long MASK = (long)0x1 << SHIFT;

   429         private static final PropertyEncoding focused = new PropertyEncoding(MASK, SHIFT);

   465         private static final PropertyEncoding focused = new PropertyEncoding(MASK, SHIFT);

   436         public static final FrameOnly NO = new FrameOnly(_no);

   472         public static final FrameOnly NO = new FrameOnly(_no);

   437         private static final byte _yes = 1;

   473         private static final byte _yes = 1;

   438         public static final FrameOnly YES = new FrameOnly(_yes);

   474         public static final FrameOnly YES = new FrameOnly(_yes);

   439     }

   475     }

   440 

   476 

   441     public static class SegmentTrailingSeparator extends Property {

   479     public static class SegmentTrailingSeparator extends Property {

   442         private static final byte SHIFT = FrameOnly.SHIFT + FrameOnly.SIZE;

   480         private static final byte SHIFT = FrameOnly.SHIFT + FrameOnly.SIZE;

   443         private static final byte SIZE = 1;

   481         private static final byte SIZE = 1;

   444         private static final long MASK = (long)0x1 << SHIFT;

   482         private static final long MASK = (long)0x1 << SHIFT;

   445         private static final PropertyEncoding focused = new PropertyEncoding(MASK, SHIFT);

   483         private static final PropertyEncoding focused = new PropertyEncoding(MASK, SHIFT);

   452         public static final SegmentTrailingSeparator NO = new SegmentTrailingSeparator(_no);

   490         public static final SegmentTrailingSeparator NO = new SegmentTrailingSeparator(_no);

   453         private static final byte _yes = 1;

   491         private static final byte _yes = 1;

   454         public static final SegmentTrailingSeparator YES = new SegmentTrailingSeparator(_yes);

   492         public static final SegmentTrailingSeparator YES = new SegmentTrailingSeparator(_yes);

   455     }

   493     }

   456 

   494 

   457     public static class SegmentLeadingSeparator extends Property {

   497     public static class SegmentLeadingSeparator extends Property {

   458         private static final byte SHIFT = SegmentTrailingSeparator.SHIFT + SegmentTrailingSeparator.SIZE;

   498         private static final byte SHIFT = SegmentTrailingSeparator.SHIFT + SegmentTrailingSeparator.SIZE;

   459         private static final byte SIZE = 1;

   499         private static final byte SIZE = 1;

   460         private static final long MASK = (long)0x1 << SHIFT;

   500         private static final long MASK = (long)0x1 << SHIFT;

   461         private static final PropertyEncoding leadingSeparator = new PropertyEncoding(MASK, SHIFT);

   501         private static final PropertyEncoding leadingSeparator = new PropertyEncoding(MASK, SHIFT);

   468         public static final SegmentLeadingSeparator NO = new SegmentLeadingSeparator(_no);

   508         public static final SegmentLeadingSeparator NO = new SegmentLeadingSeparator(_no);

   469         private static final byte _yes = 1;

   509         private static final byte _yes = 1;

   470         public static final SegmentLeadingSeparator YES = new SegmentLeadingSeparator(_yes);

   510         public static final SegmentLeadingSeparator YES = new SegmentLeadingSeparator(_yes);

   471     }

   511     }

   472 

   512 

   473     public static class NothingToScroll extends Property {

   515     public static class NothingToScroll extends Property {

   474         private static final byte SHIFT = SegmentLeadingSeparator.SHIFT + SegmentLeadingSeparator.SIZE;

   516         private static final byte SHIFT = SegmentLeadingSeparator.SHIFT + SegmentLeadingSeparator.SIZE;

   475         private static final byte SIZE = 1;

   517         private static final byte SIZE = 1;

   476         private static final long MASK = (long)0x1 << SHIFT;

   518         private static final long MASK = (long)0x1 << SHIFT;

   477         private static final PropertyEncoding focused = new PropertyEncoding(MASK, SHIFT);

   519         private static final PropertyEncoding focused = new PropertyEncoding(MASK, SHIFT);

   484         public static final NothingToScroll NO = new NothingToScroll(_no);

   526         public static final NothingToScroll NO = new NothingToScroll(_no);

   485         private static final byte _yes = 1;

   527         private static final byte _yes = 1;

   486         public static final NothingToScroll YES = new NothingToScroll(_yes);

   528         public static final NothingToScroll YES = new NothingToScroll(_yes);

   487     }

   529     }

   488 

   530 

   489     public static class WindowTitleBarSeparator extends Property {

   533     public static class WindowTitleBarSeparator extends Property {

   490         private static final byte SHIFT = NothingToScroll.SHIFT + NothingToScroll.SIZE;

   534         private static final byte SHIFT = NothingToScroll.SHIFT + NothingToScroll.SIZE;

   491         private static final byte SIZE = 1;

   535         private static final byte SIZE = 1;

   492         private static final long MASK = (long)0x1 << SHIFT;

   536         private static final long MASK = (long)0x1 << SHIFT;

   493         private static final PropertyEncoding focused = new PropertyEncoding(MASK, SHIFT);

   537         private static final PropertyEncoding focused = new PropertyEncoding(MASK, SHIFT);

   500         public static final WindowTitleBarSeparator NO = new WindowTitleBarSeparator(_no);

   544         public static final WindowTitleBarSeparator NO = new WindowTitleBarSeparator(_no);

   501         private static final byte _yes = 1;

   545         private static final byte _yes = 1;

   502         public static final WindowTitleBarSeparator YES = new WindowTitleBarSeparator(_yes);

   546         public static final WindowTitleBarSeparator YES = new WindowTitleBarSeparator(_yes);

   503     }

   547     }

   504 

   548 

   505     public static class WindowClipCorners extends Property {

   551     public static class WindowClipCorners extends Property {

   506         private static final byte SHIFT = WindowTitleBarSeparator.SHIFT + WindowTitleBarSeparator.SIZE;

   552         private static final byte SHIFT = WindowTitleBarSeparator.SHIFT + WindowTitleBarSeparator.SIZE;

   507         private static final byte SIZE = 1;

   553         private static final byte SIZE = 1;

   508         private static final long MASK = (long)0x1 << SHIFT;

   554         private static final long MASK = (long)0x1 << SHIFT;

   509         private static final PropertyEncoding focused = new PropertyEncoding(MASK, SHIFT);

   555         private static final PropertyEncoding focused = new PropertyEncoding(MASK, SHIFT);

   516         public static final WindowClipCorners NO = new WindowClipCorners(_no);

   562         public static final WindowClipCorners NO = new WindowClipCorners(_no);

   517         private static final byte _yes = 1;

   563         private static final byte _yes = 1;

   518         public static final WindowClipCorners YES = new WindowClipCorners(_yes);

   564         public static final WindowClipCorners YES = new WindowClipCorners(_yes);

   519     }

   565     }

   520 

   566 

   521     public static class ShowArrows extends Property {

   569     public static class ShowArrows extends Property {

   522         private static final byte SHIFT = WindowClipCorners.SHIFT + WindowClipCorners.SIZE;

   570         private static final byte SHIFT = WindowClipCorners.SHIFT + WindowClipCorners.SIZE;

   523         private static final byte SIZE = 1;

   571         private static final byte SIZE = 1;

   524         private static final long MASK = (long)0x1 << SHIFT;

   572         private static final long MASK = (long)0x1 << SHIFT;

   525         private static final PropertyEncoding showArrows = new PropertyEncoding(MASK, SHIFT);

   573         private static final PropertyEncoding showArrows = new PropertyEncoding(MASK, SHIFT);

   532         public static final ShowArrows NO = new ShowArrows(_no);

   580         public static final ShowArrows NO = new ShowArrows(_no);

   533         private static final byte _yes = 1;

   581         private static final byte _yes = 1;

   534         public static final ShowArrows YES = new ShowArrows(_yes);

   582         public static final ShowArrows YES = new ShowArrows(_yes);

   535     }

   583     }

   536 

   584 

   537     public static class BooleanValue extends Property {

   587     public static class BooleanValue extends Property {

   538         private static final byte SHIFT = ShowArrows.SHIFT + ShowArrows.SIZE;

   588         private static final byte SHIFT = ShowArrows.SHIFT + ShowArrows.SIZE;

   539         private static final byte SIZE = 1;

   589         private static final byte SIZE = 1;

   540         private static final long MASK = (long)0x1 << SHIFT;

   590         private static final long MASK = (long)0x1 << SHIFT;

   541         private static final PropertyEncoding booleanValue = new PropertyEncoding(MASK, SHIFT);

   591         private static final PropertyEncoding booleanValue = new PropertyEncoding(MASK, SHIFT);

   548         public static final BooleanValue NO = new BooleanValue(_no);

   598         public static final BooleanValue NO = new BooleanValue(_no);

   549         private static final byte _yes = 1;

   599         private static final byte _yes = 1;

   550         public static final BooleanValue YES = new BooleanValue(_yes);

   600         public static final BooleanValue YES = new BooleanValue(_yes);

   551     }

   601     }

   552 

   602 

   553     public static class Animating extends Property {

   605     public static class Animating extends Property {

   554         private static final byte SHIFT = BooleanValue.SHIFT + BooleanValue.SIZE;

   606         private static final byte SHIFT = BooleanValue.SHIFT + BooleanValue.SIZE;

   555         private static final byte SIZE = 1;

   607         private static final byte SIZE = 1;

   556         private static final long MASK = (long)0x1 << SHIFT;

   608         private static final long MASK = (long)0x1 << SHIFT;

   557         private static final PropertyEncoding animating = new PropertyEncoding(MASK, SHIFT);

   609         private static final PropertyEncoding animating = new PropertyEncoding(MASK, SHIFT);

   564         public static final Animating NO = new Animating(_no);

   616         public static final Animating NO = new Animating(_no);

   565         private static final byte _yes = 1;

   617         private static final byte _yes = 1;

   566         public static final Animating YES = new Animating(_yes);

   618         public static final Animating YES = new Animating(_yes);

   567     }

   619     }

   568 

   620 

   569     public static class Widget extends Property {

   623     public static class Widget extends Property {

   570         private static final byte SHIFT = Animating.SHIFT + Animating.SIZE;

   624         private static final byte SHIFT = Animating.SHIFT + Animating.SIZE;

   571         private static final byte SIZE = 7;

   625         private static final byte SIZE = 7;

   572         private static final long MASK = (long)0x7F << SHIFT;

   626         private static final long MASK = (long)0x7F << SHIFT;

   573         private static final PropertyEncoding widget = new PropertyEncoding(MASK, SHIFT);

   627         private static final PropertyEncoding widget = new PropertyEncoding(MASK, SHIFT);

   753 

   807 

   754         private static final byte _windowFrame = _toolbarItemWell + 1;

   808         private static final byte _windowFrame = _toolbarItemWell + 1;

   755         public static final Widget WINDOW_FRAME = new Widget(_windowFrame);

   809         public static final Widget WINDOW_FRAME = new Widget(_windowFrame);

   756     }

   810     }

   757 

   811 

   758     public static class Hit {

   814     public static class Hit {

   759         private static final int _unknown = -1;

   815         private static final int _unknown = -1;

   760         public static final Hit UNKNOWN = new Hit(_unknown);

   816         public static final Hit UNKNOWN = new Hit(_unknown);

   761         private static final int _none = 0;

   817         private static final int _none = 0;

   762         public static final Hit NONE = new Hit(_none);

   818         public static final Hit NONE = new Hit(_none);

   773         public String toString() {

   829         public String toString() {

   774             return getConstantName(this);

   830             return getConstantName(this);

   775         }

   831         }

   776     }

   832     }

   777 

   833 

   778     public static class ScrollBarHit extends Hit {

   836     public static class ScrollBarHit extends Hit {

   779         private static final int _thumb = 2;

   837         private static final int _thumb = 2;

   780         public static final ScrollBarHit THUMB = new ScrollBarHit(_thumb);

   838         public static final ScrollBarHit THUMB = new ScrollBarHit(_thumb);

   781 

   839 

   782         private static final int _trackMin = 3;

   840         private static final int _trackMin = 3;