339 lines
15 KiB
Java
339 lines
15 KiB
Java
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;
|
|
|
|
class LoadingBar {
|
|
|
|
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][0-9]|2[0-4]):[0-5][0-9]");
|
|
private static final Pattern LUNCH_DURATION_PATTERN = Pattern.compile("\\d+");
|
|
private static final Pattern OFFSET_PATTERN = Pattern.compile("[\\+\\-]\\d+");
|
|
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 int DEFAULT_NUMBER_WORK_MINS_BEFORE_LUNCH = 5 * 60;
|
|
private static final int MAX_NUMBER_WORK_MINS_WITHOUT_LUNCH = 6 * 60;
|
|
private static final int MAX_NUMBER_WORK_MINS = 8 * 60;
|
|
|
|
private static enum DaySection {
|
|
MITTAG("-m", "Mittag"),
|
|
ZAPFENSTREICH("-z", "Zapfenstreich");
|
|
|
|
private final String param;
|
|
private final String description;
|
|
|
|
|
|
private DaySection(String param, String description) {
|
|
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];
|
|
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, lunchDuration);
|
|
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 + ")" : "";
|
|
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());
|
|
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(new StringBuilder().append("Mögliche Argumente für LoadingBar:\n")
|
|
.append("Normalfall Vormittag (Mittagspause <= ").append(LATEST_LUNCH_TIME).append(")\n")
|
|
.append(TIME_FORMAT).append(" ").append(DaySection.MITTAG.getParam()).append("\n")
|
|
.append("Vormittag mit expliziter Mittagspause (<= ").append(LATEST_LUNCH_TIME).append(")\n")
|
|
.append(TIME_FORMAT).append(" ").append(DaySection.MITTAG.getParam()).append(" ").append(TIME_FORMAT).append("\n")
|
|
.append("Normalfall Nachmittag (Mittagspause ").append(MIN_LUNCH_DURATION).append(" min)\n")
|
|
.append(TIME_FORMAT).append(" ").append(DaySection.ZAPFENSTREICH.getParam()).append("\n")
|
|
.append("Nachmittag mit expliziter Länge Mittagspause (Mittagspause unter ").append(MIN_LUNCH_DURATION).append(" min wird auf ").append(MIN_LUNCH_DURATION).append(" min korrigiert)\n")
|
|
.append(TIME_FORMAT).append(" ").append(DaySection.ZAPFENSTREICH.getParam()).append(" mm\n")
|
|
.append("Nachmittag mit explizitem Feierabend (Mittagspause je nach Minimum (s.u.))\n")
|
|
.append(TIME_FORMAT).append(" ").append(DaySection.ZAPFENSTREICH.getParam()).append(" ").append(TIME_FORMAT).append("\n")
|
|
.append("Nachmittag mit abweichender Minutenanzahl Arbeitszeit\n")
|
|
.append(TIME_FORMAT).append(" ").append(DaySection.ZAPFENSTREICH.getParam()).append(" -+mm\n")
|
|
.append("Nachmittag mit explizitem Feierabend u. expliziter Länge Mittagspause (Mittagspause unter Minimum (s.u.) wird auf Minimum korrigiert)\n")
|
|
.append(TIME_FORMAT).append(" ").append(DaySection.ZAPFENSTREICH.getParam()).append(" mm ").append(TIME_FORMAT).append("\n")
|
|
.append("Nachmittag mit explizitem Feierabend u. abweichender Minutenanzahl Arbeitszeit\n")
|
|
.append(TIME_FORMAT).append(" ").append(DaySection.ZAPFENSTREICH.getParam()).append(" ").append(TIME_FORMAT).append(" -+mm\n\n")
|
|
.append("Mittagspause minimum in Minuten:\n")
|
|
.append(" - bis ").append(MAX_NUMBER_WORK_MINS_WITHOUT_LUNCH).append(" min (")
|
|
.append(MAX_NUMBER_WORK_MINS_WITHOUT_LUNCH / 60).append(" std): 0\n")
|
|
.append(" - bis ").append(MAX_NUMBER_WORK_MINS_WITHOUT_LUNCH).append(" min + ")
|
|
.append(MIN_LUNCH_DURATION).append(" min: Arbeitszeit - ").append(MAX_NUMBER_WORK_MINS_WITHOUT_LUNCH).append(" min\n")
|
|
.append(" - ab ").append(MAX_NUMBER_WORK_MINS_WITHOUT_LUNCH).append(" min + ").append(MIN_LUNCH_DURATION).append(" min: ")
|
|
.append(MIN_LUNCH_DURATION).append(" min\n")
|
|
.toString());
|
|
}
|
|
|
|
|
|
private static void showLoadingBarMittagspause(LocalTime startTime) {
|
|
showLoadingBarMittagspause(startTime, null);
|
|
}
|
|
|
|
|
|
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, Integer manualLunchDuration) {
|
|
showLoadingBarZapfenstreich(startTime, manualLunchDuration, 0);
|
|
}
|
|
|
|
|
|
private static void showLoadingBarZapfenstreich(LocalTime startTime, Integer manualLunchDuration, int endTimeOffset) {
|
|
int minLunchDuration = getMinLunchDuration(startTime, endTimeOffset);
|
|
int realLunchDuration = getRealLunchDuration(manualLunchDuration, minLunchDuration);
|
|
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;
|
|
int minLunchDuration = getMinLunchDuration(startTime, trueEndTime);
|
|
int realLunchDuration = getRealLunchDuration(manualLunchDuration, minLunchDuration);
|
|
if (trueEndTime == null) {
|
|
trueEndTime = startTime.plusMinutes(MAX_NUMBER_WORK_MINS + realLunchDuration);
|
|
}
|
|
realShowLoadingBarZapfenstreich(startTime, realLunchDuration, trueEndTime);
|
|
}
|
|
|
|
|
|
private static int getMinLunchDuration(LocalTime startTime, int endTimeOffset) {
|
|
if (endTimeOffset == 0) {
|
|
return MIN_LUNCH_DURATION;
|
|
}
|
|
int totalDuration = MAX_NUMBER_WORK_MINS + endTimeOffset;
|
|
int effectiveLunchDuration = totalDuration - MAX_NUMBER_WORK_MINS_WITHOUT_LUNCH;
|
|
return getMinLunchDuration(effectiveLunchDuration);
|
|
}
|
|
|
|
|
|
private static int getMinLunchDuration(LocalTime startTime, LocalTime endTime) {
|
|
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 int getMinLunchDuration(int effectiveLunchDuration) {
|
|
if (effectiveLunchDuration < 0) {
|
|
effectiveLunchDuration = 0;
|
|
}
|
|
return effectiveLunchDuration < MIN_LUNCH_DURATION ? effectiveLunchDuration : MIN_LUNCH_DURATION;
|
|
}
|
|
|
|
|
|
private static int getRealLunchDuration(Integer manualLunchDuration, int minLunchDuration) {
|
|
return manualLunchDuration != null && manualLunchDuration >= minLunchDuration ? manualLunchDuration : minLunchDuration;
|
|
}
|
|
|
|
|
|
private static void realShowLoadingBarZapfenstreich(LocalTime startTime, int manualLunchDuration, LocalTime endTime) {
|
|
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 < 100; i++) {
|
|
if (i < numberOfEquals) {
|
|
sb.append("=");
|
|
} else {
|
|
sb.append("-");
|
|
}
|
|
}
|
|
sb.append("] ").append(PERCENTAGE_FORMAT.format(wholePercentage)).append("% ")
|
|
.append(minutesToTimeString(passedMinutes)).append(" - ").append(minutesToTimeString(remainingMinutes));
|
|
if (progressive) {
|
|
sb.append("\r");
|
|
}
|
|
return sb.toString();
|
|
}
|
|
|
|
|
|
private static String minutesToTimeString(long minutes) {
|
|
return LocalTime.of((int) minutes / 60, (int) minutes % 60).format(TIME_FORMATTER);
|
|
}
|
|
}
|