mapcomplete/UI/OpeningHours/OpeningHours.ts

541 lines
17 KiB
TypeScript
Raw Normal View History

import {Utils} from "../../Utils";
2020-10-04 12:55:44 +02:00
export interface OpeningHour {
2020-10-04 01:04:46 +02:00
weekday: number, // 0 is monday, 1 is tuesday, ...
startHour: number,
startMinutes: number,
endHour: number,
endMinutes: number
}
2021-06-16 14:23:53 +02:00
/**
* Various utilities manipulating opening hours
*/
2020-10-06 01:37:02 +02:00
export class OH {
2020-10-04 12:55:44 +02:00
private static readonly days = ["Mo", "Tu", "We", "Th", "Fr", "Sa", "Su"]
private static readonly daysIndexed = {
mo: 0,
tu: 1,
we: 2,
th: 3,
fr: 4,
sa: 5,
su: 6
}
2020-10-08 19:03:00 +02:00
public static hhmm(h: number, m: number): string {
if (h == 24) {
return "00:00";
}
return Utils.TwoDigits(h) + ":" + Utils.TwoDigits(m);
}
2020-10-04 12:55:44 +02:00
public static ToString(ohs: OpeningHour[]) {
2020-10-06 01:37:02 +02:00
if (ohs.length == 0) {
return "";
}
const partsPerWeekday: string [][] = [[], [], [], [], [], [], []];
2020-10-04 12:55:44 +02:00
for (const oh of ohs) {
2020-10-08 19:03:00 +02:00
partsPerWeekday[oh.weekday].push(OH.hhmm(oh.startHour, oh.startMinutes) + "-" + OH.hhmm(oh.endHour, oh.endMinutes));
2020-10-06 01:37:02 +02:00
}
const stringPerWeekday = partsPerWeekday.map(parts => parts.sort().join(", "));
const rules = [];
let rangeStart = 0;
let rangeEnd = 0;
2021-06-16 16:39:48 +02:00
function pushRule() {
2020-10-06 01:37:02 +02:00
const rule = stringPerWeekday[rangeStart];
2021-06-16 16:39:48 +02:00
if (rule === "") {
2020-10-06 01:37:02 +02:00
return;
}
if (rangeStart == (rangeEnd - 1)) {
rules.push(
`${OH.days[rangeStart]} ${rule}`
);
} else {
rules.push(
2021-06-16 16:39:48 +02:00
`${OH.days[rangeStart]}-${OH.days[rangeEnd - 1]} ${rule}`
2020-10-06 01:37:02 +02:00
);
}
}
2020-10-06 02:09:09 +02:00
2020-10-06 01:37:02 +02:00
for (; rangeEnd < 7; rangeEnd++) {
if (stringPerWeekday[rangeStart] != stringPerWeekday[rangeEnd]) {
pushRule();
rangeStart = rangeEnd
}
2020-10-04 12:55:44 +02:00
}
2020-10-06 01:37:02 +02:00
pushRule();
2020-10-04 12:55:44 +02:00
2020-10-08 19:03:00 +02:00
const oh = rules.join("; ")
if (oh === "Mo-Su 00:00-00:00") {
2020-10-06 02:09:09 +02:00
return "24/7"
}
return oh;
2020-10-04 12:55:44 +02:00
}
2020-10-04 01:04:46 +02:00
/**
* Merge duplicate opening-hour element in place.
* Returns true if something changed
* @param ohs
* @constructor
*/
public static MergeTimes(ohs: OpeningHour[]): OpeningHour[] {
2021-06-16 16:39:48 +02:00
const queue = ohs.map(oh => {
if (oh.endHour === 0 && oh.endMinutes === 0) {
const newOh = {
...oh
2021-06-16 16:39:48 +02:00
}
newOh.endHour = 24
return newOh
}
return oh;
});
2020-10-04 01:04:46 +02:00
const newList = [];
while (queue.length > 0) {
let maybeAdd = queue.pop();
2020-10-04 12:55:44 +02:00
2020-10-04 01:04:46 +02:00
let doAddEntry = true;
2021-06-16 16:39:48 +02:00
if (maybeAdd.weekday == undefined) {
2020-10-04 01:04:46 +02:00
doAddEntry = false;
}
2020-10-04 12:55:44 +02:00
2020-10-04 01:04:46 +02:00
for (let i = newList.length - 1; i >= 0 && doAddEntry; i--) {
let guard = newList[i];
if (maybeAdd.weekday != guard.weekday) {
// Not the same day
continue
}
2020-10-06 01:37:02 +02:00
if (OH.startTimeLiesInRange(maybeAdd, guard) && OH.endTimeLiesInRange(maybeAdd, guard)) {
2020-10-04 01:04:46 +02:00
// Guard fully covers 'maybeAdd': we can safely ignore maybeAdd
doAddEntry = false;
break;
}
2020-10-06 01:37:02 +02:00
if (OH.startTimeLiesInRange(guard, maybeAdd) && OH.endTimeLiesInRange(guard, maybeAdd)) {
2020-10-04 01:04:46 +02:00
// 'maybeAdd' fully covers Guard - the guard is killed
newList.splice(i, 1);
break;
}
2020-10-06 01:37:02 +02:00
if (OH.startTimeLiesInRange(maybeAdd, guard) || OH.endTimeLiesInRange(maybeAdd, guard)
|| OH.startTimeLiesInRange(guard, maybeAdd) || OH.endTimeLiesInRange(guard, maybeAdd)) {
2020-10-04 01:04:46 +02:00
// At this point, the maybeAdd overlaps the guard: we should extend the guard and retest it
newList.splice(i, 1);
let startHour = guard.startHour;
let startMinutes = guard.startMinutes;
2020-10-06 01:37:02 +02:00
if (OH.startTime(maybeAdd) < OH.startTime(guard)) {
2020-10-04 01:04:46 +02:00
startHour = maybeAdd.startHour;
startMinutes = maybeAdd.startMinutes;
}
let endHour = guard.endHour;
let endMinutes = guard.endMinutes;
2020-10-06 01:37:02 +02:00
if (OH.endTime(maybeAdd) > OH.endTime(guard)) {
2020-10-04 01:04:46 +02:00
endHour = maybeAdd.endHour;
endMinutes = maybeAdd.endMinutes;
}
2020-10-04 12:55:44 +02:00
2020-10-04 01:04:46 +02:00
queue.push({
startHour: startHour,
startMinutes: startMinutes,
2021-06-16 16:39:48 +02:00
endHour: endHour,
endMinutes: endMinutes,
2020-10-04 01:04:46 +02:00
weekday: guard.weekday
});
doAddEntry = false;
break;
}
}
if (doAddEntry) {
newList.push(maybeAdd);
}
}
// New list can only differ from the old list by merging entries
// This means that the list is changed only if the lengths are different.
// If the lengths are the same, we might just as well return the old list and be a bit more stable
if (newList.length !== ohs.length) {
return newList;
} else {
return ohs;
}
}
2021-06-16 14:23:53 +02:00
/**
* Gives the number of hours since the start of day.
* E.g.
* startTime({startHour: 9, startMinuts: 15}) == 9.25
* @param oh
*/
2020-10-08 19:03:00 +02:00
public static startTime(oh: OpeningHour): number {
2020-10-04 01:04:46 +02:00
return oh.startHour + oh.startMinutes / 60;
}
2020-10-08 19:03:00 +02:00
public static endTime(oh: OpeningHour): number {
2020-10-04 01:04:46 +02:00
return oh.endHour + oh.endMinutes / 60;
}
public static startTimeLiesInRange(checked: OpeningHour, mightLieIn: OpeningHour) {
2020-10-06 01:37:02 +02:00
return OH.startTime(mightLieIn) <= OH.startTime(checked) &&
OH.startTime(checked) <= OH.endTime(mightLieIn)
2020-10-04 01:04:46 +02:00
}
public static endTimeLiesInRange(checked: OpeningHour, mightLieIn: OpeningHour) {
2020-10-06 01:37:02 +02:00
return OH.startTime(mightLieIn) <= OH.endTime(checked) &&
OH.endTime(checked) <= OH.endTime(mightLieIn)
2020-10-04 01:04:46 +02:00
}
2020-10-04 12:55:44 +02:00
2020-10-08 19:03:00 +02:00
public static parseHHMMRange(hhmmhhmm: string): {
2020-10-06 01:37:02 +02:00
startHour: number,
startMinutes: number,
endHour: number,
endMinutes: number
} {
2020-10-08 19:03:00 +02:00
if (hhmmhhmm == "off") {
2020-10-06 02:09:09 +02:00
return null;
}
2020-10-08 19:03:00 +02:00
2020-10-06 01:37:02 +02:00
const timings = hhmmhhmm.split("-");
const start = OH.parseHHMM(timings[0])
const end = OH.parseHHMM(timings[1]);
return {
startHour: start.hours,
startMinutes: start.minutes,
endHour: end.hours,
endMinutes: end.minutes
2020-10-04 12:55:44 +02:00
}
2020-10-06 01:37:02 +02:00
}
2020-10-04 12:55:44 +02:00
2020-10-06 01:37:02 +02:00
public static ParseRule(rule: string): OpeningHour[] {
2020-10-08 19:03:00 +02:00
try {
if (rule.trim() == "24/7") {
return OH.multiply([0, 1, 2, 3, 4, 5, 6], [{
startHour: 0,
startMinutes: 0,
endHour: 24,
endMinutes: 0
}]);
}
2020-10-06 02:09:09 +02:00
2020-10-08 19:03:00 +02:00
const split = rule.trim().replace(/, */g, ",").split(" ");
if (split.length == 1) {
// First, try to parse this rule as a rule without weekdays
let timeranges = OH.ParseHhmmRanges(rule);
let weekdays = [0, 1, 2, 3, 4, 5, 6];
return OH.multiply(weekdays, timeranges);
}
2020-10-04 12:55:44 +02:00
2020-10-08 19:03:00 +02:00
if (split.length == 2) {
const weekdays = OH.ParseWeekdayRanges(split[0]);
const timeranges = OH.ParseHhmmRanges(split[1]);
return OH.multiply(weekdays, timeranges);
}
return null;
} catch (e) {
console.log("Could not parse weekday rule ", rule);
return null;
2020-10-06 01:37:02 +02:00
}
}
2021-06-16 16:39:48 +02:00
public static ParsePHRule(str: string): {
mode: string,
start?: string,
end?: string
} {
if (str === undefined) {
2021-09-02 21:22:34 +02:00
return null
}
2021-06-16 16:39:48 +02:00
str = str.trim();
if (!str.startsWith("PH")) {
return null;
}
str = str.trim();
if (str === "PH off") {
return {
mode: "off"
}
}
if (str === "PH open") {
return {
mode: "open"
}
}
if (!str.startsWith("PH ")) {
return null;
}
try {
const timerange = OH.parseHHMMRange(str.substring(2));
if (timerange === null) {
return null;
}
return {
mode: " ",
start: OH.hhmm(timerange.startHour, timerange.startMinutes),
end: OH.hhmm(timerange.endHour, timerange.endMinutes),
}
} catch (e) {
return null;
}
}
2020-10-06 01:37:02 +02:00
2022-01-26 21:40:38 +01:00
public static simplify(str: string): string {
2022-01-07 04:14:53 +01:00
return OH.ToString(OH.MergeTimes(OH.Parse(str)))
}
2022-01-26 21:40:38 +01:00
public static Parse(rules: string): OpeningHour[] {
2020-10-06 01:37:02 +02:00
if (rules === undefined || rules === "") {
return []
}
2022-01-26 21:40:38 +01:00
const ohs: OpeningHour[] = []
2020-10-06 01:37:02 +02:00
const split = rules.split(";");
for (const rule of split) {
2021-06-16 16:39:48 +02:00
if (rule === "") {
2020-10-06 01:37:02 +02:00
continue;
}
try {
2020-10-08 19:03:00 +02:00
const parsed = OH.ParseRule(rule)
if (parsed !== null) {
ohs.push(...parsed);
}
2020-10-04 12:55:44 +02:00
} catch (e) {
2020-10-06 01:37:02 +02:00
console.error("Could not parse ", rule, ": ", e)
2020-10-04 12:55:44 +02:00
}
}
return ohs;
}
2021-06-16 14:23:53 +02:00
/*
This function converts a number of ranges (generated by OpeningHours.js) into all the hours of day that a change occurs.
E.g.
Monday, some business is opended from 9:00 till 17:00
Tuesday from 9:30 till 18:00
Wednesday from 9:30 till 12:30
This function will extract all those moments of change and will return 9:00, 9:30, 12:30, 17:00 and 18:00
This list will be sorted
*/
public static allChangeMoments(ranges: {
isOpen: boolean,
isSpecial: boolean,
comment: string,
startDate: Date,
endDate: Date
}[][]): [number[], string[]] {
const changeHours: number[] = []
const changeHourText: string[] = [];
2021-06-16 16:39:48 +02:00
2021-06-16 14:23:53 +02:00
const extrachangeHours: number[] = []
const extrachangeHourText: string[] = [];
for (const weekday of ranges) {
for (const range of weekday) {
if (!range.isOpen && !range.isSpecial) {
continue;
}
const startOfDay: Date = new Date(range.startDate);
startOfDay.setHours(0, 0, 0, 0);
2021-06-16 16:39:48 +02:00
2021-06-16 14:23:53 +02:00
// The number of seconds since the start of the day
// @ts-ignore
const changeMoment: number = (range.startDate - startOfDay) / 1000;
if (changeHours.indexOf(changeMoment) < 0) {
changeHours.push(changeMoment);
changeHourText.push(OH.hhmm(range.startDate.getHours(), range.startDate.getMinutes()))
}
// The number of seconds till between the start of the day and closing
// @ts-ignore
let changeMomentEnd: number = (range.endDate - startOfDay) / 1000;
if (changeMomentEnd >= 24 * 60 * 60) {
if (extrachangeHours.indexOf(changeMomentEnd) < 0) {
extrachangeHours.push(changeMomentEnd);
extrachangeHourText.push(OH.hhmm(range.endDate.getHours(), range.endDate.getMinutes()))
}
} else if (changeHours.indexOf(changeMomentEnd) < 0) {
changeHours.push(changeMomentEnd);
changeHourText.push(OH.hhmm(range.endDate.getHours(), range.endDate.getMinutes()))
}
}
}
// Note that 'changeHours' and 'changeHourText' will be more or less in sync - one is in numbers, the other in 'HH:MM' format.
// But both can be sorted without problem; they'll stay in sync
changeHourText.sort();
changeHours.sort();
extrachangeHourText.sort();
extrachangeHours.sort();
2021-06-16 16:39:48 +02:00
2021-06-16 14:23:53 +02:00
changeHourText.push(...extrachangeHourText);
changeHours.push(...extrachangeHours);
return [changeHours, changeHourText]
}
/*
Calculates when the business is opened (or on holiday) between two dates.
Returns a matrix of ranges, where [0] is a list of ranges when it is opened on monday, [1] is a list of ranges for tuesday, ...
*/
public static GetRanges(oh: any, from: Date, to: Date): ({
isOpen: boolean,
isSpecial: boolean,
comment: string,
startDate: Date,
endDate: Date
}[])[] {
const values = [[], [], [], [], [], [], []];
const start = new Date(from);
// We go one day more into the past, in order to force rendering of holidays in the start of the period
start.setDate(from.getDate() - 1);
const iterator = oh.getIterator(start);
let prevValue = undefined;
while (iterator.advance(to)) {
if (prevValue) {
prevValue.endDate = iterator.getDate() as Date
}
const endDate = new Date(iterator.getDate()) as Date;
endDate.setHours(0, 0, 0, 0)
endDate.setDate(endDate.getDate() + 1);
const value = {
isSpecial: iterator.getUnknown(),
isOpen: iterator.getState(),
comment: iterator.getComment(),
startDate: iterator.getDate() as Date,
endDate: endDate // Should be overwritten by the next iteration
}
prevValue = value;
if (value.comment === undefined && !value.isOpen && !value.isSpecial) {
// simply closed, nothing special here
continue;
}
if (value.startDate < from) {
continue;
}
// Get day: sunday is 0, monday is 1. We move everything so that monday == 0
values[(value.startDate.getDay() + 6) % 7].push(value);
}
return values;
}
2021-06-16 16:39:48 +02:00
private static parseHHMM(hhmm: string): { hours: number, minutes: number } {
if (hhmm === undefined || hhmm == null) {
return null;
}
const spl = hhmm.trim().split(":");
if (spl.length != 2) {
return null;
}
const hm = {hours: Number(spl[0].trim()), minutes: Number(spl[1].trim())};
if (isNaN(hm.hours) || isNaN(hm.minutes)) {
return null;
}
return hm;
}
private static ParseHhmmRanges(hhmms: string): {
startHour: number,
startMinutes: number,
endHour: number,
endMinutes: number
}[] {
if (hhmms === "off") {
return [];
}
return hhmms.split(",")
.map(s => s.trim())
.filter(str => str !== "")
.map(OH.parseHHMMRange)
.filter(v => v != null)
}
private static ParseWeekday(weekday: string): number {
return OH.daysIndexed[weekday.trim().toLowerCase()];
}
private static ParseWeekdayRange(weekdays: string): number[] {
const split = weekdays.split("-");
if (split.length == 1) {
const parsed = OH.ParseWeekday(weekdays);
if (parsed == null) {
return null;
}
return [parsed];
} else if (split.length == 2) {
let start = OH.ParseWeekday(split[0]);
let end = OH.ParseWeekday(split[1]);
if ((start ?? null) === null || (end ?? null) === null) {
return null;
}
let range = [];
for (let i = start; i <= end; i++) {
range.push(i);
}
return range;
} else {
return null;
}
}
private static ParseWeekdayRanges(weekdays: string): number[] {
let ranges = [];
let split = weekdays.split(",");
for (const weekday of split) {
const parsed = OH.ParseWeekdayRange(weekday)
if (parsed === undefined || parsed === null) {
return null;
}
ranges.push(...parsed);
}
return ranges;
}
private static multiply(weekdays: number[], timeranges: { startHour: number, startMinutes: number, endHour: number, endMinutes: number }[]) {
if ((weekdays ?? null) == null || (timeranges ?? null) == null) {
return null;
}
const ohs: OpeningHour[] = []
for (const timerange of timeranges) {
for (const weekday of weekdays) {
ohs.push({
weekday: weekday,
startHour: timerange.startHour, startMinutes: timerange.startMinutes,
endHour: timerange.endHour, endMinutes: timerange.endMinutes,
});
}
}
return ohs;
}
2020-10-04 01:04:46 +02:00
}