equal
deleted
inserted
replaced
37 import java.util.Collections; |
37 import java.util.Collections; |
38 import java.util.EnumSet; |
38 import java.util.EnumSet; |
39 import java.util.HashMap; |
39 import java.util.HashMap; |
40 import java.util.HashSet; |
40 import java.util.HashSet; |
41 import java.util.List; |
41 import java.util.List; |
|
42 import java.util.Locale; |
42 import java.util.Map; |
43 import java.util.Map; |
43 import java.util.Objects; |
44 import java.util.Objects; |
44 import java.util.Optional; |
45 import java.util.Optional; |
45 import java.util.Set; |
46 import java.util.Set; |
46 import java.util.function.Supplier; |
47 import java.util.function.Supplier; |
2601 |
2602 |
2602 /** |
2603 /** |
2603 * Returns a string containing the given set of modifiers and label. |
2604 * Returns a string containing the given set of modifiers and label. |
2604 */ |
2605 */ |
2605 private static <M> String toString(Set<M> mods, String what) { |
2606 private static <M> String toString(Set<M> mods, String what) { |
2606 return (Stream.concat(mods.stream().map(e -> e.toString().toLowerCase()), |
2607 return (Stream.concat(mods.stream().map(e -> e.toString() |
|
2608 .toLowerCase(Locale.ROOT)), |
2607 Stream.of(what))) |
2609 Stream.of(what))) |
2608 .collect(Collectors.joining(" ")); |
2610 .collect(Collectors.joining(" ")); |
2609 } |
2611 } |
2610 |
2612 |
2611 private static <T extends Object & Comparable<? super T>> |
2613 private static <T extends Object & Comparable<? super T>> |