2023-10-23 23:03:10 +02:00
|
|
|
package Calendar;
|
|
|
|
|
|
|
|
import java.util.TreeSet;
|
|
|
|
|
|
|
|
public enum ActivityType {
|
2023-10-31 12:56:10 +01:00
|
|
|
Empty,
|
2023-10-23 23:03:10 +02:00
|
|
|
Retrieve,
|
|
|
|
FirstRelease,
|
|
|
|
Renew,
|
|
|
|
Shipment,
|
|
|
|
Lost,
|
|
|
|
Ruined;
|
2023-10-31 12:56:10 +01:00
|
|
|
public static TreeSet<ActivityType> Names () {
|
|
|
|
TreeSet<ActivityType> TMP = new TreeSet<>();
|
2023-10-23 23:03:10 +02:00
|
|
|
for (var name: ActivityType.values()) {
|
2023-10-31 12:56:10 +01:00
|
|
|
TMP.add(name);
|
2023-10-23 23:03:10 +02:00
|
|
|
}
|
|
|
|
return TMP;
|
|
|
|
}
|
|
|
|
}
|