util.js 3.7 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162
  1. export const AbstractCollection = $.type("java.util.AbstractCollection");
  2. export const AbstractList = $.type("java.util.AbstractList");
  3. export const AbstractMap = $.type("java.util.AbstractMap");
  4. export const AbstractSequentialList = $.type("java.util.AbstractSequentialList");
  5. export const AbstractSet = $.type("java.util.AbstractSet");
  6. export const ArrayList = $.type("java.util.ArrayList");
  7. export const BitSet = $.type("java.util.BitSet");
  8. export const Calendar = $.type("java.util.Calendar");
  9. export const Collection = $.type("java.util.Collection");
  10. export const Comparator = $.type("java.util.Comparator");
  11. export const Currency = $.type("java.util.Currency");
  12. export const Deque = $.type("java.util.Deque");
  13. export const Dictionary = $.type("java.util.Dictionary");
  14. export const DoubleSummaryStatistics = $.type("java.util.DoubleSummaryStatistics");
  15. export const EnumMap = $.type("java.util.EnumMap");
  16. export const EnumSet = $.type("java.util.EnumSet");
  17. export const Enumeration = $.type("java.util.Enumeration");
  18. export const EventListener = $.type("java.util.EventListener");
  19. export const EventObject = $.type("java.util.EventObject");
  20. export const GregorianCalendar = $.type("java.util.GregorianCalendar");
  21. export const HashMap = $.type("java.util.HashMap");
  22. export const HashSet = $.type("java.util.HashSet");
  23. export const Hashtable = $.type("java.util.Hashtable");
  24. export const IntSummaryStatistics = $.type("java.util.IntSummaryStatistics");
  25. export const Iterator = $.type("java.util.Iterator");
  26. export const LinkedHashMap = $.type("java.util.LinkedHashMap");
  27. export const LinkedList = $.type("java.util.LinkedList");
  28. export const List = $.type("java.util.List");
  29. export const ListIterator = $.type("java.util.ListIterator");
  30. export const Locale = $.type("java.util.Locale");
  31. export const Locale$Category = $.type("java.util.Locale$Category");
  32. export const Locale$FilteringMode = $.type("java.util.Locale$FilteringMode");
  33. export const LongSummaryStatistics = $.type("java.util.LongSummaryStatistics");
  34. export const Map = $.type("java.util.Map");
  35. export const Map$Entry = $.type("java.util.Map$Entry");
  36. export const NavigableMap = $.type("java.util.NavigableMap");
  37. export const NavigableSet = $.type("java.util.NavigableSet");
  38. export const Optional = $.type("java.util.Optional");
  39. export const OptionalDouble = $.type("java.util.OptionalDouble");
  40. export const OptionalInt = $.type("java.util.OptionalInt");
  41. export const OptionalLong = $.type("java.util.OptionalLong");
  42. export const PrimitiveIterator = $.type("java.util.PrimitiveIterator");
  43. export const PrimitiveIterator$OfDouble = $.type("java.util.PrimitiveIterator$OfDouble");
  44. export const PrimitiveIterator$OfInt = $.type("java.util.PrimitiveIterator$OfInt");
  45. export const PrimitiveIterator$OfLong = $.type("java.util.PrimitiveIterator$OfLong");
  46. export const Properties = $.type("java.util.Properties");
  47. export const Queue = $.type("java.util.Queue");
  48. export const Random = $.type("java.util.Random");
  49. export const RandomAccess = $.type("java.util.RandomAccess");
  50. export const Set = $.type("java.util.Set");
  51. export const SortedMap = $.type("java.util.SortedMap");
  52. export const SortedSet = $.type("java.util.SortedSet");
  53. export const Spliterator = $.type("java.util.Spliterator");
  54. export const Spliterator$OfDouble = $.type("java.util.Spliterator$OfDouble");
  55. export const Spliterator$OfInt = $.type("java.util.Spliterator$OfInt");
  56. export const Spliterator$OfLong = $.type("java.util.Spliterator$OfLong");
  57. export const Spliterator$OfPrimitive = $.type("java.util.Spliterator$OfPrimitive");
  58. export const TimeZone = $.type("java.util.TimeZone");
  59. export const TreeMap = $.type("java.util.TreeMap");
  60. export const TreeSet = $.type("java.util.TreeSet");
  61. export const UUID = $.type("java.util.UUID");
  62. export const Vector = $.type("java.util.Vector");