JavaUtils/LoadingBar.java

360 lines
15 KiB
Java
Raw Permalink Normal View History

2024-08-05 14:33:49 +02:00
import java.text.DecimalFormat;
import java.time.LocalTime;
import java.time.format.DateTimeFormatter;
import java.time.temporal.ChronoUnit;
import java.util.Arrays;
import java.util.List;
import java.util.Objects;
import java.util.concurrent.TimeUnit;
import java.util.regex.Pattern;
import java.util.stream.Collectors;
public class LoadingBar {
2024-08-05 14:33:49 +02:00
private static final String TIME_FORMAT = "HH:mm";
private static final DateTimeFormatter TIME_FORMATTER = DateTimeFormatter.ofPattern(TIME_FORMAT);
private static final Pattern TIME_PATTERN = Pattern.compile("(?>[01]\\d|2[0-4]):[0-5]\\d");
2024-08-05 14:33:49 +02:00
private static final Pattern LUNCH_DURATION_PATTERN = Pattern.compile("\\d+");
private static final Pattern OFFSET_PATTERN = Pattern.compile("[+-]\\d+");
2024-08-05 14:33:49 +02:00
private static final DecimalFormat PERCENTAGE_FORMAT = new DecimalFormat("00.00");
private static final int MIN_LUNCH_DURATION = 30;
private static final LocalTime LATEST_LUNCH_TIME = LocalTime.of(13, 30);
private static final long DEFAULT_NUMBER_WORK_MINS_BEFORE_LUNCH = 5L * 60;
2024-08-05 14:33:49 +02:00
private static final int MAX_NUMBER_WORK_MINS_WITHOUT_LUNCH = 6 * 60;
private static final long MAX_NUMBER_WORK_MINS = 8L * 60;
private static final int MINS_PER_HOUR = 60;
private static final int LINE_LENGTH = 100;
2024-08-05 14:33:49 +02:00
private enum DaySection {
2024-08-05 14:33:49 +02:00
MITTAG("-m", "Mittag"),
ZAPFENSTREICH("-z", "Zapfenstreich");
private final String param;
private final String description;
DaySection(String param, String description) {
2024-08-05 14:33:49 +02:00
this.param = param;
this.description = description;
}
public static DaySection byParam(String param) {
return Arrays.stream(DaySection.values()).filter((DaySection section) -> section.getParam().equals(param)).findFirst().orElse(null);
}
public String getParam() {
return param;
}
public String getDescription() {
return description;
}
}
public static void main(String[] args) {
if (args.length > 0 && Objects.equals(args[0], "--help")) {
printHelp();
return;
}
verifyMinimumNumberOfArgs(args);
String nextArg = args[0];
verifyTimeFormat(nextArg, "Erstes Argument");
var startTime = LocalTime.parse(nextArg, TIME_FORMATTER);
nextArg = args[1];
var section = DaySection.byParam(nextArg);
verifyDaySection(section, nextArg);
if (section == DaySection.MITTAG) {
handleMittagspause(args, startTime);
} else {
handleZapfenstreich(args, startTime);
}
}
private static void handleMittagspause(String[] args, LocalTime startTime) {
if (args.length == 2) {
showLoadingBarMittagspause(startTime);
return;
}
String nextArg = args[2];
if (OFFSET_PATTERN.matcher(nextArg).matches()) {
showLoadingBarMittagspause(startTime, Integer.parseInt(nextArg));
return;
}
2024-08-05 14:33:49 +02:00
verifyTimeFormat(nextArg, "Argument nach " + DaySection.MITTAG.getParam());
var maxMittagspause = LocalTime.parse(nextArg, TIME_FORMATTER);
showLoadingBarMittagspause(startTime, maxMittagspause);
}
private static void handleZapfenstreich(String[] args, LocalTime startTime) {
Integer lunchDuration = null;
if (args.length == 2) {
showLoadingBarZapfenstreich(startTime);
2024-08-05 14:33:49 +02:00
return;
}
String nextArg = args[2];
LocalTime maxZapfenstreich = null;
int endTimeOffset = 0;
if (TIME_PATTERN.matcher(nextArg).matches()) {
maxZapfenstreich = LocalTime.parse(nextArg, TIME_FORMATTER);
} else if (OFFSET_PATTERN.matcher(nextArg).matches()) {
endTimeOffset = Integer.parseInt(nextArg);
} else {
verifyDurationFormat(nextArg, "Argument nach " + DaySection.ZAPFENSTREICH.getParam(), true); // FSFIXME erweitere Fehlermeldung
lunchDuration = Integer.parseInt(nextArg);
}
if (args.length == 3) {
if (maxZapfenstreich == null && endTimeOffset == 0) {
showLoadingBarZapfenstreich(startTime, lunchDuration);
} else if (maxZapfenstreich == null) {
showLoadingBarZapfenstreich(startTime, lunchDuration, endTimeOffset);
} else {
showLoadingBarZapfenstreich(startTime, lunchDuration, maxZapfenstreich);
}
return;
}
nextArg = args[3];
if (lunchDuration == null) {
System.out.println("Letztes Argument darf nur auf Mittagspausendauer folgen.");
System.exit(1);
}
if (maxZapfenstreich == null && !OFFSET_PATTERN.matcher(nextArg).matches()) {
verifyTimeFormat(nextArg, "Letztes Argument nach " + DaySection.ZAPFENSTREICH.getParam() + " und Mittagspausendauer");
maxZapfenstreich = LocalTime.parse(nextArg, TIME_FORMATTER);
showLoadingBarZapfenstreich(startTime, lunchDuration, maxZapfenstreich);
return;
}
verifyOffsetFormat(nextArg, "Letztes Argument nach " + DaySection.ZAPFENSTREICH.getParam() + " und Enduhrzeit");
endTimeOffset = Integer.parseInt(nextArg);
showLoadingBarZapfenstreich(startTime, lunchDuration, endTimeOffset);
}
private static void verifyMinimumNumberOfArgs(String[] args) {
if (args.length >= 2) {
return;
}
System.out.println("Mindestens 2 Argumente müssen gegeben sein.");
printHelp();
System.exit(1);
}
private static void verifyTimeFormat(String param, String errMsgPrefix) {
verifyInputFormat(TIME_PATTERN, param, errMsgPrefix, true, false);
}
private static void verifyDurationFormat(String param, String errMsgPrefix, boolean timeInputPossible) {
verifyInputFormat(LUNCH_DURATION_PATTERN, param, errMsgPrefix, false, timeInputPossible);
}
private static void verifyOffsetFormat(String param, String errMsgPrefix) {
verifyInputFormat(OFFSET_PATTERN, param, errMsgPrefix, false, false);
}
private static void verifyInputFormat(Pattern pattern, String param, String errMsgPrefix, boolean timeInput, boolean timeInputPossible) {
if (pattern.matcher(param).matches()) {
return;
} // FSFIXME fine tune message -> HH:mm, mm, -+mm
var firstInputPart = timeInput ? "Uhrzeitformat (" + TIME_FORMAT + ")" : "Minutenanzahl (" + LUNCH_DURATION_PATTERN + ")";
var possibleTimeInputPart = !timeInput && timeInputPossible ? " oder Uhrzeitformat (" + TIME_FORMAT + ")" : "";
2024-08-05 14:33:49 +02:00
System.out.println(errMsgPrefix + " \"" + param + "\" muss " + firstInputPart + possibleTimeInputPart + " entsprechen.");
System.exit(1);
}
private static void verifyDaySection(DaySection section, String param) {
if (section != null) {
return;
}
List<String> sectionDescs = Arrays.stream(DaySection.values()).map((DaySection ds) -> ds.getDescription() + " (" + ds.getParam() + ")")
.collect(Collectors.toList());
2024-08-05 14:33:49 +02:00
String sectionDescsJoined = String.join(" oder ", sectionDescs);
System.out.println("Argument nach Startzeit \"" + param + "\" muss Angabe für " + sectionDescsJoined + " sein.");
System.exit(1);
}
private static void printHelp() {
System.out.println("Mögliche Argumente für LoadingBar:\n"
+ "Normalfall Vormittag (Mittagspause <= " + LATEST_LUNCH_TIME + ")\n"
+ TIME_FORMAT + " " + DaySection.MITTAG.getParam() + "\n"
+ "Vormittag mit expliziter Mittagspause (<= " + LATEST_LUNCH_TIME + ")\n"
+ TIME_FORMAT + " " + DaySection.MITTAG.getParam() + " " + TIME_FORMAT + "\n"
+ "Vormittag mit abweichender Minutenanzahl Arbeitszeit\n"
+ TIME_FORMAT + " " + DaySection.MITTAG.getParam() + " -+mm\n"
+ "Normalfall Nachmittag (Mittagspause " + MIN_LUNCH_DURATION + " min)\n"
+ TIME_FORMAT + " " + DaySection.ZAPFENSTREICH.getParam() + "\n"
+ "Nachmittag mit expliziter Länge Mittagspause (Mittagspause unter " + MIN_LUNCH_DURATION + " min wird auf " + MIN_LUNCH_DURATION + " min korrigiert)\n"
+ TIME_FORMAT + " " + DaySection.ZAPFENSTREICH.getParam() + " mm\n"
+ "Nachmittag mit explizitem Feierabend (Mittagspause je nach Minimum (s.u.))\n"
+ TIME_FORMAT + " " + DaySection.ZAPFENSTREICH.getParam() + " " + TIME_FORMAT + "\n"
+ "Nachmittag mit abweichender Minutenanzahl Arbeitszeit\n"
+ TIME_FORMAT + " " + DaySection.ZAPFENSTREICH.getParam() + " -+mm\n"
+ "Nachmittag mit explizitem Feierabend u. expliziter Länge Mittagspause (Mittagspause unter Minimum (s.u.) wird auf Minimum korrigiert)\n"
+ TIME_FORMAT + " " + DaySection.ZAPFENSTREICH.getParam() + " mm " + TIME_FORMAT + "\n"
+ "Nachmittag mit explizitem Feierabend u. abweichender Minutenanzahl Arbeitszeit\n"
+ TIME_FORMAT + " " + DaySection.ZAPFENSTREICH.getParam() + " " + TIME_FORMAT + " -+mm\n\n"
+ "Mittagspause minimum in Minuten:\n"
+ " - bis " + MAX_NUMBER_WORK_MINS_WITHOUT_LUNCH + " min ("
+ MAX_NUMBER_WORK_MINS_WITHOUT_LUNCH / MINS_PER_HOUR + " std): 0\n"
+ " - bis " + MAX_NUMBER_WORK_MINS_WITHOUT_LUNCH + " min + "
+ MIN_LUNCH_DURATION + " min: Arbeitszeit - " + MAX_NUMBER_WORK_MINS_WITHOUT_LUNCH + " min\n"
+ " - ab " + MAX_NUMBER_WORK_MINS_WITHOUT_LUNCH + " min + " + MIN_LUNCH_DURATION + " min: "
+ MIN_LUNCH_DURATION + " min\n"
);
2024-08-05 14:33:49 +02:00
}
private static void showLoadingBarMittagspause(LocalTime startTime) {
showLoadingBarMittagspause(startTime, null);
}
private static void showLoadingBarMittagspause(LocalTime startTime, int endTimeOffset) {
LocalTime endTime = startTime.plusMinutes(DEFAULT_NUMBER_WORK_MINS_BEFORE_LUNCH + endTimeOffset);
LocalTime trueEndTime = endTime.isAfter(LATEST_LUNCH_TIME) ? LATEST_LUNCH_TIME : endTime;
showLoadingBar(startTime, trueEndTime);
}
2024-08-05 14:33:49 +02:00
private static void showLoadingBarMittagspause(LocalTime startTime, LocalTime manualEndTime) {
LocalTime endTime = manualEndTime != null ? manualEndTime : startTime.plusMinutes(DEFAULT_NUMBER_WORK_MINS_BEFORE_LUNCH);
LocalTime trueEndTime = endTime.isAfter(LATEST_LUNCH_TIME) ? LATEST_LUNCH_TIME : endTime;
showLoadingBar(startTime, trueEndTime);
}
private static void showLoadingBarZapfenstreich(LocalTime startTime) {
showLoadingBarZapfenstreich(startTime, -1, 0);
}
2024-08-05 14:33:49 +02:00
private static void showLoadingBarZapfenstreich(LocalTime startTime, Integer manualLunchDuration) {
showLoadingBarZapfenstreich(startTime, manualLunchDuration, 0);
}
private static void showLoadingBarZapfenstreich(LocalTime startTime, Integer manualLunchDuration, int endTimeOffset) {
long minLunchDuration = getMinLunchDuration(endTimeOffset);
long realLunchDuration = getRealLunchDuration(manualLunchDuration, minLunchDuration);
2024-08-05 14:33:49 +02:00
LocalTime trueEndTime = startTime.plusMinutes(MAX_NUMBER_WORK_MINS + realLunchDuration + endTimeOffset);
realShowLoadingBarZapfenstreich(startTime, realLunchDuration, trueEndTime);
}
private static void showLoadingBarZapfenstreich(LocalTime startTime, Integer manualLunchDuration, LocalTime manualEndTime) {
LocalTime trueEndTime = manualEndTime;
long minLunchDuration = getMinLunchDuration(startTime, trueEndTime);
long realLunchDuration = getRealLunchDuration(manualLunchDuration, minLunchDuration);
2024-08-05 14:33:49 +02:00
if (trueEndTime == null) {
trueEndTime = startTime.plusMinutes(MAX_NUMBER_WORK_MINS + realLunchDuration);
}
realShowLoadingBarZapfenstreich(startTime, realLunchDuration, trueEndTime);
}
private static long getMinLunchDuration(int endTimeOffset) {
2024-08-05 14:33:49 +02:00
if (endTimeOffset == 0) {
return MIN_LUNCH_DURATION;
}
long totalDuration = MAX_NUMBER_WORK_MINS + endTimeOffset;
long effectiveLunchDuration = totalDuration - MAX_NUMBER_WORK_MINS_WITHOUT_LUNCH;
2024-08-05 14:33:49 +02:00
return getMinLunchDuration(effectiveLunchDuration);
}
private static long getMinLunchDuration(LocalTime startTime, LocalTime endTime) {
2024-08-05 14:33:49 +02:00
if (endTime == null) {
return MIN_LUNCH_DURATION;
}
long totalDuration = startTime.until(endTime, ChronoUnit.MINUTES);
int effectiveLunchDuration = ((int) totalDuration) - MAX_NUMBER_WORK_MINS_WITHOUT_LUNCH;
return getMinLunchDuration(effectiveLunchDuration);
}
private static long getMinLunchDuration(long effectiveLunchDuration) {
2024-08-05 14:33:49 +02:00
if (effectiveLunchDuration < 0) {
effectiveLunchDuration = 0;
}
return Math.min(effectiveLunchDuration, MIN_LUNCH_DURATION);
2024-08-05 14:33:49 +02:00
}
private static long getRealLunchDuration(Integer manualLunchDuration, long minLunchDuration) {
2024-08-05 14:33:49 +02:00
return manualLunchDuration != null && manualLunchDuration >= minLunchDuration ? manualLunchDuration : minLunchDuration;
}
private static void realShowLoadingBarZapfenstreich(LocalTime startTime, long manualLunchDuration, LocalTime endTime) {
2024-08-05 14:33:49 +02:00
if (manualLunchDuration > 0) {
var totalWorkTime = LocalTime.MIDNIGHT.plusMinutes(startTime.until(endTime, ChronoUnit.MINUTES) - manualLunchDuration);
System.out.print("Arbeitszeit: " + TIME_FORMATTER.format(totalWorkTime) + "; ");
}
showLoadingBar(startTime, endTime);
}
private static void showLoadingBar(LocalTime startTime, LocalTime endTime) {
long initialMinutes = startTime.until(endTime, ChronoUnit.MINUTES);
System.out.print(minutesToTimeString(initialMinutes) + " gesamt; Endzeit: " + TIME_FORMATTER.format(endTime) + "\n");
long passedMinutes = startTime.until(LocalTime.now(), ChronoUnit.MINUTES);
if (passedMinutes > initialMinutes) {
passedMinutes = initialMinutes;
} else if (passedMinutes < 0) {
System.out.println(fillLoadingBar(initialMinutes, 0, false));
return;
}
while (passedMinutes < initialMinutes) {
System.out.print(fillLoadingBar(initialMinutes, passedMinutes, true));
try {
var now = LocalTime.now();
var oneMinuteLater = now.plusMinutes(1).truncatedTo(ChronoUnit.MINUTES);
// +1 second to adjust for ignored milliseconds as it is better to switch between 00 and 01 as between 59 and 00
TimeUnit.SECONDS.sleep(now.until(oneMinuteLater, ChronoUnit.SECONDS) + 1);
// TimeUnit.SECONDS.sleep(1L); // DEBUG
} catch (InterruptedException ie) {
throw new RuntimeException(ie);
}
passedMinutes++;
}
System.out.println(fillLoadingBar(initialMinutes, passedMinutes, false));
}
private static String fillLoadingBar(long initialMinutes, long passedMinutes, boolean progressive) {
double wholePercentage = ((double) passedMinutes / initialMinutes) * 100;
long remainingMinutes = initialMinutes - passedMinutes;
int numberOfEquals = (int) wholePercentage;
var sb = new StringBuilder("[");
for (int i = 0; i < LINE_LENGTH; i++) {
2024-08-05 14:33:49 +02:00
if (i < numberOfEquals) {
sb.append("=");
} else {
sb.append("-");
}
}
sb.append("] ").append(PERCENTAGE_FORMAT.format(wholePercentage)).append("% ")
.append(minutesToTimeString(passedMinutes)).append(" - ").append(minutesToTimeString(remainingMinutes));
2024-08-05 14:33:49 +02:00
if (progressive) {
sb.append("\r");
}
return sb.toString();
}
private static String minutesToTimeString(long minutes) {
return LocalTime.of((int) minutes / MINS_PER_HOUR, (int) minutes % MINS_PER_HOUR).format(TIME_FORMATTER);
2024-08-05 14:33:49 +02:00
}
}