()
| 80 | } |
| 81 | |
| 82 | public Functions build() { |
| 83 | for (ArrayList<FunctionProvider> providers : providersByName.values()) { |
| 84 | providers.trimToSize(); |
| 85 | } |
| 86 | return new Functions(Map.copyOf(providersByName)); |
| 87 | } |
| 88 | } |
| 89 | |
| 90 | public static Functions load(Settings settings, |