Sets are now Copyable

2021-10-06 17:43:46 +02:00
parent 07b715dd4c
commit 6eded1f4be
22 changed files with 238 additions and 2 deletions
@@ -2018,6 +2018,9 @@ public class RB_TREE_MAP KEY_VALUE_GENERIC_TYPE extends ABSTRACT_MAP KEY_VALUE_G
 		}
 		
 #endif
+		@Override
+		public KeySet KEY_VALUE_GENERIC_TYPE copy() { throw new UnsupportedOperationException(); }
+		
 		@Override
 		public NAVIGABLE_SET KEY_GENERIC_TYPE subSet(KEY_TYPE fromElement, boolean fromInclusive, KEY_TYPE toElement, boolean toInclusive) {
 			return new KeySetKV_BRACES(m.subMap(fromElement, fromInclusive, toElement, toInclusive));