@comunica/utils-expression-evaluator 3.2.4-alpha.47.0

package/lib/util/Parsing.js

@@ -0,0 +1,166 @@
+"use strict";
+// TODO: Find a library for this, because this is basically an xsd datatypes parser
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.parseDayTimeDuration = exports.parseYearMonthDuration = exports.parseDuration = exports.parseTime = exports.parseDate = exports.parseDateTime = exports.parseXSDDecimal = exports.parseXSDFloat = void 0;
+const DateTimeHelpers_1 = require("./DateTimeHelpers");
+const Errors_1 = require("./Errors");
+const SpecAlgos_1 = require("./SpecAlgos");
+/**
+ * TODO: Fix decently
+ * Parses float datatypes (double, float).
+ *
+ * All invalid lexical values return undefined.
+ *
+ * @param value the string to interpret as a number
+ */
+function parseXSDFloat(value) {
+    const numb = Number(value);
+    if (Number.isNaN(numb)) {
+        if (value === 'NaN') {
+            return Number.NaN;
+        }
+        if (value === 'INF' || value === '+INF') {
+            return Number.POSITIVE_INFINITY;
+        }
+        if (value === '-INF') {
+            return Number.NEGATIVE_INFINITY;
+        }
+        return undefined;
+    }
+    return numb;
+}
+exports.parseXSDFloat = parseXSDFloat;
+/**
+ * Parses decimal datatypes (decimal, int, byte, nonPositiveInteger, etc...).
+ *
+ * All other values, including NaN, INF, and floating point numbers all
+ * return undefined;
+ *
+ * @param value the string to interpret as a number
+ */
+function parseXSDDecimal(value) {
+    const numb = Number(value);
+    return Number.isNaN(numb) ? undefined : numb;
+}
+exports.parseXSDDecimal = parseXSDDecimal;
+function parseDateTime(dateTimeStr) {
+    // https://www.w3.org/TR/xmlschema-2/#dateTime
+    const [date, time] = dateTimeStr.split('T');
+    if (time === undefined) {
+        throw new Errors_1.ParseError(dateTimeStr, 'dateTime');
+    }
+    return { ...parseDate(date), ...__parseTime(time) };
+}
+exports.parseDateTime = parseDateTime;
+function parseTimeZone(timeZoneStr) {
+    // https://www.w3.org/TR/xmlschema-2/#dateTime-timezones
+    if (timeZoneStr === '') {
+        return { zoneHours: undefined, zoneMinutes: undefined };
+    }
+    if (timeZoneStr === 'Z') {
+        return { zoneHours: 0, zoneMinutes: 0 };
+    }
+    const timeZoneStrings = timeZoneStr.replaceAll(/^([+|-])(\d\d):(\d\d)$/gu, '$11!$2!$3').split('!');
+    const timeZone = timeZoneStrings.map(Number);
+    return {
+        zoneHours: timeZone[0] * timeZone[1],
+        zoneMinutes: timeZone[0] * timeZone[2],
+    };
+}
+function parseDate(dateStr) {
+    // https://www.w3.org/TR/xmlschema-2/#date-lexical-representation
+    const formatted = dateStr.replaceAll(/^(-)?([123456789]*\d{4})-(\d\d)-(\d\d)(Z|([+-]\d\d:\d\d))?$/gu, '$11!$2!$3!$4!$5');
+    if (formatted === dateStr) {
+        throw new Errors_1.ParseError(dateStr, 'date');
+    }
+    const dateStrings = formatted.split('!');
+    const date = dateStrings.slice(0, -1).map(Number);
+    const res = {
+        year: date[0] * date[1],
+        month: date[2],
+        day: date[3],
+        ...parseTimeZone(dateStrings[4]),
+    };
+    if (!(res.month >= 1 && res.month <= 12) || !(res.day >= 1 && res.day <= (0, SpecAlgos_1.maximumDayInMonthFor)(res.year, res.month))) {
+        throw new Errors_1.ParseError(dateStr, 'date');
+    }
+    return res;
+}
+exports.parseDate = parseDate;
+function __parseTime(timeStr) {
+    // https://www.w3.org/TR/xmlschema-2/#time-lexical-repr
+    const formatted = timeStr.replaceAll(/^(\d\d):(\d\d):(\d\d(\.\d+)?)(Z|([+-]\d\d:\d\d))?$/gu, '$1!$2!$3!$5');
+    if (formatted === timeStr) {
+        throw new Errors_1.ParseError(timeStr, 'time');
+    }
+    const timeStrings = formatted.split('!');
+    const time = timeStrings.slice(0, -1).map(Number);
+    const res = {
+        hours: time[0],
+        minutes: time[1],
+        seconds: time[2],
+        ...parseTimeZone(timeStrings[3]),
+    };
+    if (res.seconds >= 60 || res.minutes >= 60 || res.hours > 24 ||
+        (res.hours === 24 && (res.minutes !== 0 || res.seconds !== 0))) {
+        throw new Errors_1.ParseError(timeStr, 'time');
+    }
+    return res;
+}
+// We make a separation in internal and external since dateTime will have hour-date rollover,
+// but time just does modulo the time.
+function parseTime(timeStr) {
+    // https://www.w3.org/TR/xmlschema-2/#time-lexical-repr
+    const res = __parseTime(timeStr);
+    res.hours %= 24;
+    return res;
+}
+exports.parseTime = parseTime;
+function parseDuration(durationStr) {
+    // https://www.w3.org/TR/xmlschema-2/#duration-lexical-repr
+    const [dayNotation, timeNotation] = durationStr.split('T');
+    // Handle date part
+    const formattedDayDur = dayNotation.replaceAll(/^(-)?P(\d+Y)?(\d+M)?(\d+D)?$/gu, '$11S!$2!$3!$4');
+    if (formattedDayDur === dayNotation) {
+        throw new Errors_1.ParseError(durationStr, 'duration');
+    }
+    const durationStrings = formattedDayDur.split('!');
+    if (timeNotation !== undefined) {
+        const formattedTimeDur = timeNotation.replaceAll(/^(\d+H)?(\d+M)?(\d+(\.\d+)?S)?$/gu, '$1!$2!$3');
+        if (timeNotation === '' || timeNotation === formattedTimeDur) {
+            throw new Errors_1.ParseError(durationStr, 'duration');
+        }
+        durationStrings.push(...formattedTimeDur.split('!'));
+    }
+    const duration = durationStrings.map(str => str.slice(0, -1));
+    if (!duration.slice(1).some(Boolean)) {
+        throw new Errors_1.ParseError(durationStr, 'duration');
+    }
+    const sign = Number(duration[0]);
+    return (0, DateTimeHelpers_1.simplifyDurationRepresentation)({
+        year: duration[1] ? sign * Number(duration[1]) : undefined,
+        month: duration[2] ? sign * Number(duration[2]) : undefined,
+        day: duration[3] ? sign * Number(duration[3]) : undefined,
+        hours: duration[4] ? sign * Number(duration[4]) : undefined,
+        minutes: duration[5] ? sign * Number(duration[5]) : undefined,
+        seconds: duration[6] ? sign * Number(duration[6]) : undefined,
+    });
+}
+exports.parseDuration = parseDuration;
+function parseYearMonthDuration(durationStr) {
+    const res = parseDuration(durationStr);
+    if (['hours', 'minutes', 'seconds', 'day'].some(key => Boolean(res[key]))) {
+        throw new Errors_1.ParseError(durationStr, 'yearMonthDuration');
+    }
+    return res;
+}
+exports.parseYearMonthDuration = parseYearMonthDuration;
+function parseDayTimeDuration(durationStr) {
+    const res = parseDuration(durationStr);
+    if (['year', 'month'].some(key => Boolean(res[key]))) {
+        throw new Errors_1.ParseError(durationStr, 'dayTimeDuration');
+    }
+    return res;
+}
+exports.parseDayTimeDuration = parseDayTimeDuration;
+//# sourceMappingURL=Parsing.js.map

package/lib/util/Parsing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Parsing.js","sourceRoot":"","sources":["Parsing.ts"],"names":[],"mappings":";AAAA,mFAAmF;;;AAWnF,uDAAmE;AACnE,qCAAsC;AACtC,2CAAmD;AAEnD;;;;;;;GAOG;AACH,SAAgB,aAAa,CAAC,KAAa;IACzC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;YACpB,OAAO,MAAM,CAAC,GAAG,CAAC;QACpB,CAAC;QACD,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;YACxC,OAAO,MAAM,CAAC,iBAAiB,CAAC;QAClC,CAAC;QACD,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;YACrB,OAAO,MAAM,CAAC,iBAAiB,CAAC;QAClC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAfD,sCAeC;AAED;;;;;;;GAOG;AACH,SAAgB,eAAe,CAAC,KAAa;IAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/C,CAAC;AAHD,0CAGC;AAED,SAAgB,aAAa,CAAC,WAAmB;IAC/C,8CAA8C;IAC9C,MAAM,CAAE,IAAI,EAAE,IAAI,CAAE,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,mBAAU,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;AACtD,CAAC;AAPD,sCAOC;AAED,SAAS,aAAa,CAAC,WAAmB;IACxC,wDAAwD;IACxD,IAAI,WAAW,KAAK,EAAE,EAAE,CAAC;QACvB,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;IAC1D,CAAC;IACD,IAAI,WAAW,KAAK,GAAG,EAAE,CAAC;QACxB,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;IAC1C,CAAC;IACD,MAAM,eAAe,GAAG,WAAW,CAAC,UAAU,CAAC,0BAA0B,EAAE,WAAW,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnG,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7C,OAAO;QACL,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;QACpC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;KACvC,CAAC;AACJ,CAAC;AAED,SAAgB,SAAS,CAAC,OAAe;IACvC,iEAAiE;IACjE,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAClC,+DAA+D,EAC/D,iBAAiB,CAClB,CAAC;IACF,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,IAAI,mBAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,WAAW,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAElD,MAAM,GAAG,GAAG;QACV,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;QACvB,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QACd,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QACZ,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;KACjC,CAAC;IACF,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,IAAI,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC,GAAG,IAAI,IAAA,gCAAoB,EAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACpH,MAAM,IAAI,mBAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAtBD,8BAsBC;AAED,SAAS,WAAW,CAAC,OAAe;IAClC,uDAAuD;IACvD,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,sDAAsD,EAAE,aAAa,CAAC,CAAC;IAC5G,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,IAAI,mBAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,WAAW,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAElD,MAAM,GAAG,GAAG;QACV,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QACd,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QAChB,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QAChB,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;KACjC,CAAC;IAEF,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,IAAI,GAAG,CAAC,KAAK,GAAG,EAAE;QAC1D,CAAC,GAAG,CAAC,KAAK,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,CAAC,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,mBAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,6FAA6F;AAC7F,sCAAsC;AACtC,SAAgB,SAAS,CAAC,OAAe;IACvC,uDAAuD;IACvD,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACjC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;IAChB,OAAO,GAAG,CAAC;AACb,CAAC;AALD,8BAKC;AAED,SAAgB,aAAa,CAAC,WAAmB;IAC/C,2DAA2D;IAC3D,MAAM,CAAE,WAAW,EAAE,YAAY,CAAE,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAE7D,mBAAmB;IACnB,MAAM,eAAe,GAAG,WAAW,CAAC,UAAU,CAAC,gCAAgC,EAAE,eAAe,CAAC,CAAC;IAClG,IAAI,eAAe,KAAK,WAAW,EAAE,CAAC;QACpC,MAAM,IAAI,mBAAU,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,eAAe,GAAG,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,gBAAgB,GAAG,YAAY,CAAC,UAAU,CAAC,mCAAmC,EAAE,UAAU,CAAC,CAAC;QAElG,IAAI,YAAY,KAAK,EAAE,IAAI,YAAY,KAAK,gBAAgB,EAAE,CAAC;YAC7D,MAAM,IAAI,mBAAU,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;QAChD,CAAC;QACD,eAAe,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9D,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,mBAAU,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,IAAI,GAAY,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,OAAO,IAAA,gDAA8B,EAAC;QACpC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QAC1D,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QAC3D,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QACzD,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QAC3D,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QAC7D,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;KAC9D,CAAC,CAAC;AACL,CAAC;AAjCD,sCAiCC;AAED,SAAgB,sBAAsB,CAAC,WAAmB;IACxD,MAAM,GAAG,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IACvC,IAAI,CAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAQ,GAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,MAAM,IAAI,mBAAU,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAND,wDAMC;AAED,SAAgB,oBAAoB,CAAC,WAAmB;IACtD,MAAM,GAAG,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IACvC,IAAI,CAAE,MAAM,EAAE,OAAO,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAQ,GAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,mBAAU,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAND,oDAMC","sourcesContent":["// TODO: Find a library for this, because this is basically an xsd datatypes parser\n\nimport type {\n  IDateRepresentation,\n  IDateTimeRepresentation,\n  IDayTimeDurationRepresentation,\n  IDurationRepresentation,\n  ITimeRepresentation,\n  ITimeZoneRepresentation,\n  IYearMonthDurationRepresentation,\n} from '@comunica/types';\nimport { simplifyDurationRepresentation } from './DateTimeHelpers';\nimport { ParseError } from './Errors';\nimport { maximumDayInMonthFor } from './SpecAlgos';\n\n/**\n * TODO: Fix decently\n * Parses float datatypes (double, float).\n *\n * All invalid lexical values return undefined.\n *\n * @param value the string to interpret as a number\n */\nexport function parseXSDFloat(value: string): number | undefined {\n  const numb = Number(value);\n  if (Number.isNaN(numb)) {\n    if (value === 'NaN') {\n      return Number.NaN;\n    }\n    if (value === 'INF' || value === '+INF') {\n      return Number.POSITIVE_INFINITY;\n    }\n    if (value === '-INF') {\n      return Number.NEGATIVE_INFINITY;\n    }\n    return undefined;\n  }\n  return numb;\n}\n\n/**\n * Parses decimal datatypes (decimal, int, byte, nonPositiveInteger, etc...).\n *\n * All other values, including NaN, INF, and floating point numbers all\n * return undefined;\n *\n * @param value the string to interpret as a number\n */\nexport function parseXSDDecimal(value: string): number | undefined {\n  const numb = Number(value);\n  return Number.isNaN(numb) ? undefined : numb;\n}\n\nexport function parseDateTime(dateTimeStr: string): IDateTimeRepresentation {\n  // https://www.w3.org/TR/xmlschema-2/#dateTime\n  const [ date, time ] = dateTimeStr.split('T');\n  if (time === undefined) {\n    throw new ParseError(dateTimeStr, 'dateTime');\n  }\n  return { ...parseDate(date), ...__parseTime(time) };\n}\n\nfunction parseTimeZone(timeZoneStr: string): Partial<ITimeZoneRepresentation> {\n  // https://www.w3.org/TR/xmlschema-2/#dateTime-timezones\n  if (timeZoneStr === '') {\n    return { zoneHours: undefined, zoneMinutes: undefined };\n  }\n  if (timeZoneStr === 'Z') {\n    return { zoneHours: 0, zoneMinutes: 0 };\n  }\n  const timeZoneStrings = timeZoneStr.replaceAll(/^([+|-])(\\d\\d):(\\d\\d)$/gu, '$11!$2!$3').split('!');\n  const timeZone = timeZoneStrings.map(Number);\n  return {\n    zoneHours: timeZone[0] * timeZone[1],\n    zoneMinutes: timeZone[0] * timeZone[2],\n  };\n}\n\nexport function parseDate(dateStr: string): IDateRepresentation {\n  // https://www.w3.org/TR/xmlschema-2/#date-lexical-representation\n  const formatted = dateStr.replaceAll(\n    /^(-)?([123456789]*\\d{4})-(\\d\\d)-(\\d\\d)(Z|([+-]\\d\\d:\\d\\d))?$/gu,\n    '$11!$2!$3!$4!$5',\n  );\n  if (formatted === dateStr) {\n    throw new ParseError(dateStr, 'date');\n  }\n  const dateStrings = formatted.split('!');\n  const date = dateStrings.slice(0, -1).map(Number);\n\n  const res = {\n    year: date[0] * date[1],\n    month: date[2],\n    day: date[3],\n    ...parseTimeZone(dateStrings[4]),\n  };\n  if (!(res.month >= 1 && res.month <= 12) || !(res.day >= 1 && res.day <= maximumDayInMonthFor(res.year, res.month))) {\n    throw new ParseError(dateStr, 'date');\n  }\n  return res;\n}\n\nfunction __parseTime(timeStr: string): ITimeRepresentation {\n  // https://www.w3.org/TR/xmlschema-2/#time-lexical-repr\n  const formatted = timeStr.replaceAll(/^(\\d\\d):(\\d\\d):(\\d\\d(\\.\\d+)?)(Z|([+-]\\d\\d:\\d\\d))?$/gu, '$1!$2!$3!$5');\n  if (formatted === timeStr) {\n    throw new ParseError(timeStr, 'time');\n  }\n  const timeStrings = formatted.split('!');\n  const time = timeStrings.slice(0, -1).map(Number);\n\n  const res = {\n    hours: time[0],\n    minutes: time[1],\n    seconds: time[2],\n    ...parseTimeZone(timeStrings[3]),\n  };\n\n  if (res.seconds >= 60 || res.minutes >= 60 || res.hours > 24 ||\n    (res.hours === 24 && (res.minutes !== 0 || res.seconds !== 0))) {\n    throw new ParseError(timeStr, 'time');\n  }\n  return res;\n}\n\n// We make a separation in internal and external since dateTime will have hour-date rollover,\n// but time just does modulo the time.\nexport function parseTime(timeStr: string): ITimeRepresentation {\n  // https://www.w3.org/TR/xmlschema-2/#time-lexical-repr\n  const res = __parseTime(timeStr);\n  res.hours %= 24;\n  return res;\n}\n\nexport function parseDuration(durationStr: string): Partial<IDurationRepresentation> {\n  // https://www.w3.org/TR/xmlschema-2/#duration-lexical-repr\n  const [ dayNotation, timeNotation ] = durationStr.split('T');\n\n  // Handle date part\n  const formattedDayDur = dayNotation.replaceAll(/^(-)?P(\\d+Y)?(\\d+M)?(\\d+D)?$/gu, '$11S!$2!$3!$4');\n  if (formattedDayDur === dayNotation) {\n    throw new ParseError(durationStr, 'duration');\n  }\n\n  const durationStrings = formattedDayDur.split('!');\n  if (timeNotation !== undefined) {\n    const formattedTimeDur = timeNotation.replaceAll(/^(\\d+H)?(\\d+M)?(\\d+(\\.\\d+)?S)?$/gu, '$1!$2!$3');\n\n    if (timeNotation === '' || timeNotation === formattedTimeDur) {\n      throw new ParseError(durationStr, 'duration');\n    }\n    durationStrings.push(...formattedTimeDur.split('!'));\n  }\n  const duration = durationStrings.map(str => str.slice(0, -1));\n  if (!duration.slice(1).some(Boolean)) {\n    throw new ParseError(durationStr, 'duration');\n  }\n\n  const sign = <-1 | 1> Number(duration[0]);\n  return simplifyDurationRepresentation({\n    year: duration[1] ? sign * Number(duration[1]) : undefined,\n    month: duration[2] ? sign * Number(duration[2]) : undefined,\n    day: duration[3] ? sign * Number(duration[3]) : undefined,\n    hours: duration[4] ? sign * Number(duration[4]) : undefined,\n    minutes: duration[5] ? sign * Number(duration[5]) : undefined,\n    seconds: duration[6] ? sign * Number(duration[6]) : undefined,\n  });\n}\n\nexport function parseYearMonthDuration(durationStr: string): Partial<IYearMonthDurationRepresentation> {\n  const res = parseDuration(durationStr);\n  if ([ 'hours', 'minutes', 'seconds', 'day' ].some(key => Boolean((<any> res)[key]))) {\n    throw new ParseError(durationStr, 'yearMonthDuration');\n  }\n  return res;\n}\n\nexport function parseDayTimeDuration(durationStr: string): Partial<IDayTimeDurationRepresentation> {\n  const res = parseDuration(durationStr);\n  if ([ 'year', 'month' ].some(key => Boolean((<any> res)[key]))) {\n    throw new ParseError(durationStr, 'dayTimeDuration');\n  }\n  return res;\n}\n"]}

package/lib/util/Serialization.d.ts

@@ -0,0 +1,5 @@
+import type { IDateRepresentation, IDateTimeRepresentation, IDurationRepresentation, ITimeRepresentation } from '@comunica/types';
+export declare function serializeDateTime(date: IDateTimeRepresentation): string;
+export declare function serializeDate(date: IDateRepresentation): string;
+export declare function serializeTime(time: ITimeRepresentation): string;
+export declare function serializeDuration(dur: Partial<IDurationRepresentation>, zeroString?: 'PT0S' | 'P0M'): string;

package/lib/util/Serialization.js

@@ -0,0 +1,54 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.serializeDuration = exports.serializeTime = exports.serializeDate = exports.serializeDateTime = void 0;
+function numSerializer(num, min = 2) {
+    return num.toLocaleString(undefined, { minimumIntegerDigits: min, useGrouping: false });
+}
+function serializeDateTime(date) {
+    // https://www.w3.org/TR/xmlschema-2/#dateTime
+    // Extraction is needed because the date serializer can not add timezone y
+    return `${serializeDate({ year: date.year, month: date.month, day: date.day })}T${serializeTime(date)}`;
+}
+exports.serializeDateTime = serializeDateTime;
+function serializeTimeZone(tz) {
+    // https://www.w3.org/TR/xmlschema-2/#dateTime-timezones
+    if (tz.zoneHours === undefined || tz.zoneMinutes === undefined) {
+        return '';
+    }
+    if (tz.zoneHours === 0 && tz.zoneMinutes === 0) {
+        return 'Z';
+    }
+    // SerializeTimeZone({ zoneHours: 5, zoneMinutes: 4 }) returns +05:04
+    return `${tz.zoneHours >= 0 ? `+${numSerializer(tz.zoneHours)}` : numSerializer(tz.zoneHours)}:${numSerializer(Math.abs(tz.zoneMinutes))}`;
+}
+function serializeDate(date) {
+    // https://www.w3.org/TR/xmlschema-2/#date-lexical-representation
+    return `${numSerializer(date.year, 4)}-${numSerializer(date.month)}-${numSerializer(date.day)}${serializeTimeZone(date)}`;
+}
+exports.serializeDate = serializeDate;
+function serializeTime(time) {
+    // https://www.w3.org/TR/xmlschema-2/#time-lexical-repr
+    return `${numSerializer(time.hours)}:${numSerializer(time.minutes)}:${numSerializer(time.seconds)}${serializeTimeZone(time)}`;
+}
+exports.serializeTime = serializeTime;
+function serializeDuration(dur, zeroString = 'PT0S') {
+    // https://www.w3.org/TR/xmlschema-2/#duration-lexical-repr
+    if (!Object.values(dur).some(val => (val || 0) !== 0)) {
+        return zeroString;
+    }
+    const sign = Object.values(dur).some(val => (val || 0) < 0) ? '-' : '';
+    const year = dur.year ? `${Math.abs(dur.year)}Y` : '';
+    const month = dur.month ? `${Math.abs(dur.month)}M` : '';
+    const day = dur.day ? `${Math.abs(dur.day)}D` : '';
+    const dayNotation = `${sign}P${year}${month}${day}`;
+    // eslint-disable-next-line ts/prefer-nullish-coalescing
+    if (!(dur.hours || dur.minutes || dur.seconds)) {
+        return dayNotation;
+    }
+    const hour = dur.hours ? `${Math.abs(dur.hours)}H` : '';
+    const minute = dur.minutes ? `${Math.abs(dur.minutes)}M` : '';
+    const second = dur.seconds ? `${Math.abs(dur.seconds)}S` : '';
+    return `${dayNotation}T${hour}${minute}${second}`;
+}
+exports.serializeDuration = serializeDuration;
+//# sourceMappingURL=Serialization.js.map

package/lib/util/Serialization.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Serialization.js","sourceRoot":"","sources":["Serialization.ts"],"names":[],"mappings":";;;AAQA,SAAS,aAAa,CAAC,GAAW,EAAE,GAAG,GAAG,CAAC;IACzC,OAAO,GAAG,CAAC,cAAc,CAAC,SAAS,EAAE,EAAE,oBAAoB,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;AAC1F,CAAC;AAED,SAAgB,iBAAiB,CAAC,IAA6B;IAC7D,8CAA8C;IAC9C,0EAA0E;IAC1E,OAAO,GAAG,aAAa,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;AAC1G,CAAC;AAJD,8CAIC;AAED,SAAS,iBAAiB,CAAC,EAAoC;IAC7D,wDAAwD;IACxD,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QAC/D,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,EAAE,CAAC,SAAS,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,GAAG,CAAC;IACb,CAAC;IACD,qEAAqE;IACrE,OAAO,GAAG,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC;AAC7I,CAAC;AAED,SAAgB,aAAa,CAAC,IAAyB;IACrD,iEAAiE;IACjE,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5H,CAAC;AAHD,sCAGC;AAED,SAAgB,aAAa,CAAC,IAAyB;IACrD,uDAAuD;IACvD,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;AAChI,CAAC;AAHD,sCAGC;AAED,SAAgB,iBAAiB,CAAC,GAAqC,EAAE,aAA6B,MAAM;IAC1G,2DAA2D;IAC3D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACtD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACvE,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACtD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACzD,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAEnD,MAAM,WAAW,GAAG,GAAG,IAAI,IAAI,IAAI,GAAG,KAAK,GAAG,GAAG,EAAE,CAAC;IACpD,wDAAwD;IACxD,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/C,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAE9D,OAAO,GAAG,WAAW,IAAI,IAAI,GAAG,MAAM,GAAG,MAAM,EAAE,CAAC;AACpD,CAAC;AAtBD,8CAsBC","sourcesContent":["import type {\n  IDateRepresentation,\n  IDateTimeRepresentation,\n  IDurationRepresentation,\n  ITimeRepresentation,\n  ITimeZoneRepresentation,\n} from '@comunica/types';\n\nfunction numSerializer(num: number, min = 2): string {\n  return num.toLocaleString(undefined, { minimumIntegerDigits: min, useGrouping: false });\n}\n\nexport function serializeDateTime(date: IDateTimeRepresentation): string {\n  // https://www.w3.org/TR/xmlschema-2/#dateTime\n  // Extraction is needed because the date serializer can not add timezone y\n  return `${serializeDate({ year: date.year, month: date.month, day: date.day })}T${serializeTime(date)}`;\n}\n\nfunction serializeTimeZone(tz: Partial<ITimeZoneRepresentation>): string {\n  // https://www.w3.org/TR/xmlschema-2/#dateTime-timezones\n  if (tz.zoneHours === undefined || tz.zoneMinutes === undefined) {\n    return '';\n  }\n  if (tz.zoneHours === 0 && tz.zoneMinutes === 0) {\n    return 'Z';\n  }\n  // SerializeTimeZone({ zoneHours: 5, zoneMinutes: 4 }) returns +05:04\n  return `${tz.zoneHours >= 0 ? `+${numSerializer(tz.zoneHours)}` : numSerializer(tz.zoneHours)}:${numSerializer(Math.abs(tz.zoneMinutes))}`;\n}\n\nexport function serializeDate(date: IDateRepresentation): string {\n  // https://www.w3.org/TR/xmlschema-2/#date-lexical-representation\n  return `${numSerializer(date.year, 4)}-${numSerializer(date.month)}-${numSerializer(date.day)}${serializeTimeZone(date)}`;\n}\n\nexport function serializeTime(time: ITimeRepresentation): string {\n  // https://www.w3.org/TR/xmlschema-2/#time-lexical-repr\n  return `${numSerializer(time.hours)}:${numSerializer(time.minutes)}:${numSerializer(time.seconds)}${serializeTimeZone(time)}`;\n}\n\nexport function serializeDuration(dur: Partial<IDurationRepresentation>, zeroString: 'PT0S' | 'P0M' = 'PT0S'): string {\n  // https://www.w3.org/TR/xmlschema-2/#duration-lexical-repr\n  if (!Object.values(dur).some(val => (val || 0) !== 0)) {\n    return zeroString;\n  }\n\n  const sign = Object.values(dur).some(val => (val || 0) < 0) ? '-' : '';\n  const year = dur.year ? `${Math.abs(dur.year)}Y` : '';\n  const month = dur.month ? `${Math.abs(dur.month)}M` : '';\n  const day = dur.day ? `${Math.abs(dur.day)}D` : '';\n\n  const dayNotation = `${sign}P${year}${month}${day}`;\n  // eslint-disable-next-line ts/prefer-nullish-coalescing\n  if (!(dur.hours || dur.minutes || dur.seconds)) {\n    return dayNotation;\n  }\n\n  const hour = dur.hours ? `${Math.abs(dur.hours)}H` : '';\n  const minute = dur.minutes ? `${Math.abs(dur.minutes)}M` : '';\n  const second = dur.seconds ? `${Math.abs(dur.seconds)}S` : '';\n\n  return `${dayNotation}T${hour}${minute}${second}`;\n}\n"]}

package/lib/util/SpecAlgos.d.ts

@@ -0,0 +1,4 @@
+import type { IDateTimeRepresentation, IDurationRepresentation, ITimeZoneRepresentation } from '@comunica/types';
+export declare function maximumDayInMonthFor(yearValue: number, monthValue: number): number;
+export declare function addDurationToDateTime(date: IDateTimeRepresentation, duration: IDurationRepresentation): IDateTimeRepresentation;
+export declare function elapsedDuration(first: IDateTimeRepresentation, second: IDateTimeRepresentation, defaultTimeZone: ITimeZoneRepresentation): Partial<IDurationRepresentation>;

package/lib/util/SpecAlgos.js

@@ -0,0 +1,81 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.elapsedDuration = exports.addDurationToDateTime = exports.maximumDayInMonthFor = void 0;
+const DateTimeHelpers_1 = require("./DateTimeHelpers");
+function fDiv(arg, high, low = 0) {
+    // Adds the 4 spec functions into one since they are highly related,
+    // and fQuotient and modulo are almost always called in pairs.
+    const first = arg - low;
+    const second = high - low;
+    const intDiv = Math.floor(first / second);
+    return { intDiv, remainder: arg - intDiv * second };
+}
+function maximumDayInMonthFor(yearValue, monthValue) {
+    const { intDiv: additionalYears, remainder: month } = fDiv(monthValue, 13, 1);
+    const year = yearValue + additionalYears;
+    if ([1, 3, 5, 7, 8, 10, 12].includes(month)) {
+        return 31;
+    }
+    if ([4, 6, 9, 11].includes(month)) {
+        return 30;
+    }
+    if (month === 2 && (fDiv(year, 400).remainder === 0 ||
+        (fDiv(year, 100).remainder !== 0 && fDiv(year, 4).remainder === 0))) {
+        return 29;
+    }
+    return 28;
+}
+exports.maximumDayInMonthFor = maximumDayInMonthFor;
+// https://www.w3.org/TR/xmlschema-2/#adding-durations-to-dateTimes
+function addDurationToDateTime(date, duration) {
+    // Used to cary over optional fields like timezone
+    const newDate = { ...date };
+    // Month
+    let tempDiv = fDiv(date.month + duration.month, 13, 1);
+    newDate.month = tempDiv.remainder;
+    // Year
+    newDate.year = date.year + duration.year + tempDiv.intDiv;
+    // Seconds
+    tempDiv = fDiv(date.seconds + duration.seconds, 60);
+    newDate.seconds = tempDiv.remainder;
+    // Minutes
+    tempDiv = fDiv(date.minutes + duration.minutes + tempDiv.intDiv, 60);
+    newDate.minutes = tempDiv.remainder;
+    // Hours
+    tempDiv = fDiv(date.hours + duration.hours + tempDiv.intDiv, 24);
+    newDate.hours = tempDiv.remainder;
+    // We skip a part of the spec code since: Defined spec code can not happen since it would be an invalid literal
+    newDate.day = date.day + duration.day + tempDiv.intDiv;
+    while (true) {
+        let carry;
+        if (newDate.day < 1) {
+            newDate.day += maximumDayInMonthFor(newDate.year, newDate.month - 1);
+            carry = -1;
+        }
+        else if (newDate.day > maximumDayInMonthFor(newDate.year, newDate.month)) {
+            newDate.day -= maximumDayInMonthFor(newDate.year, newDate.month);
+            carry = 1;
+        }
+        else {
+            break;
+        }
+        tempDiv = fDiv(newDate.month + carry, 13, 1);
+        newDate.month = tempDiv.remainder;
+        newDate.year += tempDiv.intDiv;
+    }
+    return newDate;
+}
+exports.addDurationToDateTime = addDurationToDateTime;
+function elapsedDuration(first, second, defaultTimeZone) {
+    const d1 = (0, DateTimeHelpers_1.toUTCDate)(first, defaultTimeZone);
+    const d2 = (0, DateTimeHelpers_1.toUTCDate)(second, defaultTimeZone);
+    const diff = d1.getTime() - d2.getTime();
+    return {
+        day: Math.floor(diff / (1_000 * 60 * 60 * 24)),
+        hours: Math.floor((diff % (1_000 * 60 * 60 * 24)) / (1_000 * 60 * 60)),
+        minutes: Math.floor(diff % (1_000 * 60 * 60) / (1_000 * 60)),
+        seconds: diff % (1_000 * 60),
+    };
+}
+exports.elapsedDuration = elapsedDuration;
+//# sourceMappingURL=SpecAlgos.js.map

package/lib/util/SpecAlgos.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SpecAlgos.js","sourceRoot":"","sources":["SpecAlgos.ts"],"names":[],"mappings":";;;AACA,uDAA8C;AAE9C,SAAS,IAAI,CAAC,GAAW,EAAE,IAAY,EAAE,GAAG,GAAG,CAAC;IAC9C,oEAAoE;IACpE,8DAA8D;IAC9D,MAAM,KAAK,GAAG,GAAG,GAAG,GAAG,CAAC;IACxB,MAAM,MAAM,GAAG,IAAI,GAAG,GAAG,CAAC;IAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC;IAC1C,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,GAAG,MAAM,GAAG,MAAM,EAAE,CAAC;AACtD,CAAC;AAED,SAAgB,oBAAoB,CAAC,SAAiB,EAAE,UAAkB;IACxE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,IAAI,GAAG,SAAS,GAAG,eAAe,CAAC;IAEzC,IAAI,CAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9C,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,CAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,KAAK,KAAK,CAAC,IAAI,CACjB,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,SAAS,KAAK,CAAC;QAC/B,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,SAAS,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAhBD,oDAgBC;AAED,mEAAmE;AACnE,SAAgB,qBAAqB,CAAC,IAA6B,EAAE,QAAiC;IAEpG,kDAAkD;IAClD,MAAM,OAAO,GAA4B,EAAE,GAAG,IAAI,EAAE,CAAC;IAErD,QAAQ;IACR,IAAI,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACvD,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC;IAClC,OAAO;IACP,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,QAAQ,CAAC,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC;IAC1D,UAAU;IACV,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACpD,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC;IACpC,UAAU;IACV,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAC,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACrE,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC;IACpC,QAAQ;IACR,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACjE,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC;IAElC,+GAA+G;IAE/G,OAAO,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,GAAG,QAAQ,CAAC,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC;IAEvD,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,KAAK,CAAC;QACV,IAAI,OAAO,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,GAAG,IAAI,oBAAoB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACrE,KAAK,GAAG,CAAC,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,OAAO,CAAC,GAAG,GAAG,oBAAoB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3E,OAAO,CAAC,GAAG,IAAI,oBAAoB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;YACjE,KAAK,GAAG,CAAC,CAAC;QACZ,CAAC;aAAM,CAAC;YACN,MAAM;QACR,CAAC;QACD,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,GAAG,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC7C,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC;QAClC,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC;IACjC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAxCD,sDAwCC;AAED,SAAgB,eAAe,CAC7B,KAA8B,EAC9B,MAA+B,EAC/B,eAAwC;IAExC,MAAM,EAAE,GAAG,IAAA,2BAAS,EAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IAC7C,MAAM,EAAE,GAAG,IAAA,2BAAS,EAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC;IACzC,OAAO;QACL,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACtE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC;QAC5D,OAAO,EAAE,IAAI,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC;KAC7B,CAAC;AACJ,CAAC;AAdD,0CAcC","sourcesContent":["import type { IDateTimeRepresentation, IDurationRepresentation, ITimeZoneRepresentation } from '@comunica/types';\nimport { toUTCDate } from './DateTimeHelpers';\n\nfunction fDiv(arg: number, high: number, low = 0): { intDiv: number; remainder: number } {\n  // Adds the 4 spec functions into one since they are highly related,\n  // and fQuotient and modulo are almost always called in pairs.\n  const first = arg - low;\n  const second = high - low;\n  const intDiv = Math.floor(first / second);\n  return { intDiv, remainder: arg - intDiv * second };\n}\n\nexport function maximumDayInMonthFor(yearValue: number, monthValue: number): number {\n  const { intDiv: additionalYears, remainder: month } = fDiv(monthValue, 13, 1);\n  const year = yearValue + additionalYears;\n\n  if ([ 1, 3, 5, 7, 8, 10, 12 ].includes(month)) {\n    return 31;\n  }\n  if ([ 4, 6, 9, 11 ].includes(month)) {\n    return 30;\n  }\n  if (month === 2 && (\n    fDiv(year, 400).remainder === 0 ||\n    (fDiv(year, 100).remainder !== 0 && fDiv(year, 4).remainder === 0))) {\n    return 29;\n  }\n  return 28;\n}\n\n// https://www.w3.org/TR/xmlschema-2/#adding-durations-to-dateTimes\nexport function addDurationToDateTime(date: IDateTimeRepresentation, duration: IDurationRepresentation):\nIDateTimeRepresentation {\n  // Used to cary over optional fields like timezone\n  const newDate: IDateTimeRepresentation = { ...date };\n\n  // Month\n  let tempDiv = fDiv(date.month + duration.month, 13, 1);\n  newDate.month = tempDiv.remainder;\n  // Year\n  newDate.year = date.year + duration.year + tempDiv.intDiv;\n  // Seconds\n  tempDiv = fDiv(date.seconds + duration.seconds, 60);\n  newDate.seconds = tempDiv.remainder;\n  // Minutes\n  tempDiv = fDiv(date.minutes + duration.minutes + tempDiv.intDiv, 60);\n  newDate.minutes = tempDiv.remainder;\n  // Hours\n  tempDiv = fDiv(date.hours + duration.hours + tempDiv.intDiv, 24);\n  newDate.hours = tempDiv.remainder;\n\n  // We skip a part of the spec code since: Defined spec code can not happen since it would be an invalid literal\n\n  newDate.day = date.day + duration.day + tempDiv.intDiv;\n\n  while (true) {\n    let carry;\n    if (newDate.day < 1) {\n      newDate.day += maximumDayInMonthFor(newDate.year, newDate.month - 1);\n      carry = -1;\n    } else if (newDate.day > maximumDayInMonthFor(newDate.year, newDate.month)) {\n      newDate.day -= maximumDayInMonthFor(newDate.year, newDate.month);\n      carry = 1;\n    } else {\n      break;\n    }\n    tempDiv = fDiv(newDate.month + carry, 13, 1);\n    newDate.month = tempDiv.remainder;\n    newDate.year += tempDiv.intDiv;\n  }\n  return newDate;\n}\n\nexport function elapsedDuration(\n  first: IDateTimeRepresentation,\n  second: IDateTimeRepresentation,\n  defaultTimeZone: ITimeZoneRepresentation,\n): Partial<IDurationRepresentation> {\n  const d1 = toUTCDate(first, defaultTimeZone);\n  const d2 = toUTCDate(second, defaultTimeZone);\n  const diff = d1.getTime() - d2.getTime();\n  return {\n    day: Math.floor(diff / (1_000 * 60 * 60 * 24)),\n    hours: Math.floor((diff % (1_000 * 60 * 60 * 24)) / (1_000 * 60 * 60)),\n    minutes: Math.floor(diff % (1_000 * 60 * 60) / (1_000 * 60)),\n    seconds: diff % (1_000 * 60),\n  };\n}\n"]}

package/lib/util/TypeHandling.d.ts

@@ -0,0 +1,56 @@
+import type { GeneralSuperTypeDict, ISuperTypeProvider, TermExpression, TermType } from '@comunica/types';
+import type { ArgumentType } from '../functions/OverloadTree';
+import type { KnownLiteralTypes } from './Consts';
+import { TypeAlias } from './Consts';
+export type OverrideType = KnownLiteralTypes | 'term';
+/**
+ * Types that are not mentioned just map to 'term'.
+ * When editing this, make sure type promotion and substitution don't start interfering.
+ * e.g. when saying something like string -> stringly -> anyUri -> term.
+ * This would make substitution on types that promote to each other possible. We and the specs don't want that!
+ * A DAG will be created based on this. Make sure it doesn't have any cycles!
+ */
+export declare const extensionTableInput: Record<KnownLiteralTypes, OverrideType>;
+type SuperTypeDict = Record<KnownLiteralTypes, number> & {
+    __depth: number;
+};
+type SuperTypeDictTable = Record<KnownLiteralTypes, SuperTypeDict>;
+export declare const superTypeDictTable: SuperTypeDictTable;
+/**
+ * This will return the super types of a type and cache them.
+ * @param type IRI we will decide the super types of.
+ * @param openWorldType the enabler that provides a way to find super types.
+ */
+export declare function getSuperTypes(type: string, openWorldType: ISuperTypeProvider): GeneralSuperTypeDict;
+export declare function extensionTableInit(): void;
+export declare const typeAliasCheck: Record<TypeAlias, boolean>;
+export declare function asTypeAlias(type: string): TypeAlias | undefined;
+export declare function asKnownLiteralType(type: string): KnownLiteralTypes | undefined;
+export declare function asOverrideType(type: string): OverrideType | undefined;
+export declare function asGeneralType(type: string): 'term' | TermType | undefined;
+/**
+ * Internal type of @see isSubTypeOf This only takes knownTypes but doesn't need an enabler
+ */
+export declare function isInternalSubType(baseType: OverrideType, argumentType: KnownLiteralTypes): boolean;
+/**
+ * This function can be used to check the base type is a restriction on a type in the dict.
+ * If we want to check if type x is a restriction on string we do this by calling:
+ * 'http://www.w3.org/2001/XMLSchema#string' in getSuperTypeDict(X, superTypeProvider)
+ * @param baseType
+ * @param superTypeProvider
+ */
+export declare function getSuperTypeDict(baseType: string, superTypeProvider: ISuperTypeProvider): GeneralSuperTypeDict;
+/**
+ * This function needs to be O(1)! The execution time of this function is vital!
+ * We define typeA isSubtypeOf typeA as true.
+ * If you find yourself using this function a lot (e.g. in a case) please use getSuperTypeDict instead.
+ * @param baseType type you want to provide.
+ * @param argumentType type you want to provide @param baseType to.
+ * @param superTypeProvider the enabler to discover super types of unknown types.
+ */
+export declare function isSubTypeOf(baseType: string, argumentType: KnownLiteralTypes, superTypeProvider: ISuperTypeProvider): boolean;
+export declare const typePromotion: Partial<Record<ArgumentType, {
+    typeToPromote: KnownLiteralTypes;
+    conversionFunction: (arg: TermExpression) => TermExpression;
+}[]>>;
+export {};

package/lib/util/TypeHandling.js

@@ -0,0 +1,216 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.typePromotion = exports.isSubTypeOf = exports.getSuperTypeDict = exports.isInternalSubType = exports.asGeneralType = exports.asOverrideType = exports.asKnownLiteralType = exports.asTypeAlias = exports.typeAliasCheck = exports.extensionTableInit = exports.getSuperTypes = exports.superTypeDictTable = exports.extensionTableInput = void 0;
+const expressions_1 = require("../expressions");
+const Helpers_1 = require("../functions/Helpers");
+const Consts_1 = require("./Consts");
+/**
+ * Types that are not mentioned just map to 'term'.
+ * When editing this, make sure type promotion and substitution don't start interfering.
+ * e.g. when saying something like string -> stringly -> anyUri -> term.
+ * This would make substitution on types that promote to each other possible. We and the specs don't want that!
+ * A DAG will be created based on this. Make sure it doesn't have any cycles!
+ */
+exports.extensionTableInput = {
+    // Datetime types
+    [Consts_1.TypeURL.XSD_DATE_TIME_STAMP]: Consts_1.TypeURL.XSD_DATE_TIME,
+    // Duration types
+    [Consts_1.TypeURL.XSD_DAY_TIME_DURATION]: Consts_1.TypeURL.XSD_DURATION,
+    [Consts_1.TypeURL.XSD_YEAR_MONTH_DURATION]: Consts_1.TypeURL.XSD_DURATION,
+    // Stringly types
+    [Consts_1.TypeURL.RDF_LANG_STRING]: Consts_1.TypeAlias.SPARQL_STRINGLY,
+    [Consts_1.TypeURL.XSD_STRING]: Consts_1.TypeAlias.SPARQL_STRINGLY,
+    // String types
+    [Consts_1.TypeURL.XSD_NORMALIZED_STRING]: Consts_1.TypeURL.XSD_STRING,
+    [Consts_1.TypeURL.XSD_TOKEN]: Consts_1.TypeURL.XSD_NORMALIZED_STRING,
+    [Consts_1.TypeURL.XSD_LANGUAGE]: Consts_1.TypeURL.XSD_TOKEN,
+    [Consts_1.TypeURL.XSD_NM_TOKEN]: Consts_1.TypeURL.XSD_TOKEN,
+    [Consts_1.TypeURL.XSD_NAME]: Consts_1.TypeURL.XSD_TOKEN,
+    [Consts_1.TypeURL.XSD_NC_NAME]: Consts_1.TypeURL.XSD_NAME,
+    [Consts_1.TypeURL.XSD_ENTITY]: Consts_1.TypeURL.XSD_NC_NAME,
+    [Consts_1.TypeURL.XSD_ID]: Consts_1.TypeURL.XSD_NC_NAME,
+    [Consts_1.TypeURL.XSD_ID_REF]: Consts_1.TypeURL.XSD_NC_NAME,
+    // Numeric types
+    // https://www.w3.org/TR/sparql11-query/#operandDataTypes
+    // > numeric denotes typed literals with datatypes xsd:integer, xsd:decimal, xsd:float, and xsd:double
+    [Consts_1.TypeURL.XSD_DOUBLE]: Consts_1.TypeAlias.SPARQL_NUMERIC,
+    [Consts_1.TypeURL.XSD_FLOAT]: Consts_1.TypeAlias.SPARQL_NUMERIC,
+    [Consts_1.TypeURL.XSD_DECIMAL]: Consts_1.TypeAlias.SPARQL_NUMERIC,
+    // Decimal types
+    [Consts_1.TypeURL.XSD_INTEGER]: Consts_1.TypeURL.XSD_DECIMAL,
+    [Consts_1.TypeURL.XSD_NON_POSITIVE_INTEGER]: Consts_1.TypeURL.XSD_INTEGER,
+    [Consts_1.TypeURL.XSD_NEGATIVE_INTEGER]: Consts_1.TypeURL.XSD_NON_POSITIVE_INTEGER,
+    [Consts_1.TypeURL.XSD_LONG]: Consts_1.TypeURL.XSD_INTEGER,
+    [Consts_1.TypeURL.XSD_INT]: Consts_1.TypeURL.XSD_LONG,
+    [Consts_1.TypeURL.XSD_SHORT]: Consts_1.TypeURL.XSD_INT,
+    [Consts_1.TypeURL.XSD_BYTE]: Consts_1.TypeURL.XSD_SHORT,
+    [Consts_1.TypeURL.XSD_NON_NEGATIVE_INTEGER]: Consts_1.TypeURL.XSD_INTEGER,
+    [Consts_1.TypeURL.XSD_POSITIVE_INTEGER]: Consts_1.TypeURL.XSD_NON_NEGATIVE_INTEGER,
+    [Consts_1.TypeURL.XSD_UNSIGNED_LONG]: Consts_1.TypeURL.XSD_NON_NEGATIVE_INTEGER,
+    [Consts_1.TypeURL.XSD_UNSIGNED_INT]: Consts_1.TypeURL.XSD_UNSIGNED_LONG,
+    [Consts_1.TypeURL.XSD_UNSIGNED_SHORT]: Consts_1.TypeURL.XSD_UNSIGNED_INT,
+    [Consts_1.TypeURL.XSD_UNSIGNED_BYTE]: Consts_1.TypeURL.XSD_UNSIGNED_SHORT,
+    [Consts_1.TypeURL.XSD_DATE_TIME]: 'term',
+    [Consts_1.TypeURL.XSD_BOOLEAN]: 'term',
+    [Consts_1.TypeURL.XSD_DATE]: 'term',
+    [Consts_1.TypeURL.XSD_G_MONTH]: 'term',
+    [Consts_1.TypeURL.XSD_G_MONTHDAY]: 'term',
+    [Consts_1.TypeURL.XSD_G_YEAR]: 'term',
+    [Consts_1.TypeURL.XSD_G_YEAR_MONTH]: 'term',
+    [Consts_1.TypeURL.XSD_TIME]: 'term',
+    [Consts_1.TypeURL.XSD_G_DAY]: 'term',
+    [Consts_1.TypeURL.XSD_DURATION]: 'term',
+    [Consts_1.TypeAlias.SPARQL_NUMERIC]: 'term',
+    [Consts_1.TypeAlias.SPARQL_STRINGLY]: 'term',
+    [Consts_1.TypeURL.XSD_ANY_URI]: 'term',
+};
+exports.superTypeDictTable = Object.create(null);
+/**
+ * This will return the super types of a type and cache them.
+ * @param type IRI we will decide the super types of.
+ * @param openWorldType the enabler that provides a way to find super types.
+ */
+function getSuperTypes(type, openWorldType) {
+    const cached = openWorldType.cache.get(type);
+    if (cached) {
+        return cached;
+    }
+    const value = openWorldType.discoverer(type);
+    if (value === 'term') {
+        const res = Object.create(null);
+        res.__depth = 0;
+        res[type] = 0;
+        openWorldType.cache.set(type, res);
+        return res;
+    }
+    let subExtension;
+    const knownValue = asKnownLiteralType(value);
+    if (knownValue) {
+        subExtension = { ...exports.superTypeDictTable[knownValue] };
+    }
+    else {
+        subExtension = { ...getSuperTypes(value, openWorldType) };
+    }
+    subExtension.__depth++;
+    subExtension[type] = subExtension.__depth;
+    openWorldType.cache.set(type, subExtension);
+    return subExtension;
+}
+exports.getSuperTypes = getSuperTypes;
+// No circular structure allowed! & No other keys allowed!
+function extensionTableInit() {
+    for (const [_key, value] of Object.entries(exports.extensionTableInput)) {
+        const key = _key;
+        if (exports.superTypeDictTable[key]) {
+            continue;
+        }
+        extensionTableBuilderInitKey(key, value, exports.superTypeDictTable);
+    }
+}
+exports.extensionTableInit = extensionTableInit;
+extensionTableInit();
+function extensionTableBuilderInitKey(key, value, res) {
+    if (value === 'term' || value === undefined) {
+        const baseRes = Object.create(null);
+        baseRes.__depth = 0;
+        baseRes[key] = 0;
+        res[key] = baseRes;
+        return;
+    }
+    if (!res[value]) {
+        extensionTableBuilderInitKey(value, exports.extensionTableInput[value], res);
+    }
+    res[key] = { ...res[value], [key]: res[value].__depth + 1, __depth: res[value].__depth + 1 };
+}
+exports.typeAliasCheck = Object.create(null);
+function initTypeAliasCheck() {
+    for (const val of Object.values(Consts_1.TypeAlias)) {
+        exports.typeAliasCheck[val] = true;
+    }
+}
+initTypeAliasCheck();
+function asTypeAlias(type) {
+    if (type in exports.typeAliasCheck) {
+        return type;
+    }
+    return undefined;
+}
+exports.asTypeAlias = asTypeAlias;
+function asKnownLiteralType(type) {
+    if (type in exports.superTypeDictTable) {
+        return type;
+    }
+    return undefined;
+}
+exports.asKnownLiteralType = asKnownLiteralType;
+function asOverrideType(type) {
+    if (asKnownLiteralType(type) ?? type === 'term') {
+        return type;
+    }
+    return undefined;
+}
+exports.asOverrideType = asOverrideType;
+function asGeneralType(type) {
+    if (type === 'term' || (0, expressions_1.asTermType)(type)) {
+        return type;
+    }
+    return undefined;
+}
+exports.asGeneralType = asGeneralType;
+/**
+ * Internal type of @see isSubTypeOf This only takes knownTypes but doesn't need an enabler
+ */
+function isInternalSubType(baseType, argumentType) {
+    return baseType !== 'term' &&
+        (exports.superTypeDictTable[baseType] && exports.superTypeDictTable[baseType][argumentType] !== undefined);
+}
+exports.isInternalSubType = isInternalSubType;
+/**
+ * This function can be used to check the base type is a restriction on a type in the dict.
+ * If we want to check if type x is a restriction on string we do this by calling:
+ * 'http://www.w3.org/2001/XMLSchema#string' in getSuperTypeDict(X, superTypeProvider)
+ * @param baseType
+ * @param superTypeProvider
+ */
+function getSuperTypeDict(baseType, superTypeProvider) {
+    const concreteType = asKnownLiteralType(baseType);
+    if (concreteType) {
+        // Concrete dataType is known by utils-expression-evaluator.
+        return exports.superTypeDictTable[concreteType];
+    }
+    // Datatype is a custom datatype
+    return getSuperTypes(baseType, superTypeProvider);
+}
+exports.getSuperTypeDict = getSuperTypeDict;
+/**
+ * This function needs to be O(1)! The execution time of this function is vital!
+ * We define typeA isSubtypeOf typeA as true.
+ * If you find yourself using this function a lot (e.g. in a case) please use getSuperTypeDict instead.
+ * @param baseType type you want to provide.
+ * @param argumentType type you want to provide @param baseType to.
+ * @param superTypeProvider the enabler to discover super types of unknown types.
+ */
+function isSubTypeOf(baseType, argumentType, superTypeProvider) {
+    if (baseType === 'term') {
+        return false;
+    }
+    return getSuperTypeDict(baseType, superTypeProvider)[argumentType] !== undefined;
+}
+exports.isSubTypeOf = isSubTypeOf;
+// Defined by https://www.w3.org/TR/xpath-31/#promotion .
+// e.g. When a function takes a string, it can also accept a XSD_ANY_URI if it's cast first.
+exports.typePromotion = {
+    [Consts_1.TypeURL.XSD_STRING]: [
+        { typeToPromote: Consts_1.TypeURL.XSD_ANY_URI, conversionFunction: arg => (0, Helpers_1.string)(arg.str()) },
+    ],
+    [Consts_1.TypeURL.XSD_DOUBLE]: [
+        { typeToPromote: Consts_1.TypeURL.XSD_FLOAT, conversionFunction: arg => (0, Helpers_1.double)(arg.typedValue) },
+        // TODO: in case of decimal a round needs to happen.
+        { typeToPromote: Consts_1.TypeURL.XSD_DECIMAL, conversionFunction: arg => (0, Helpers_1.double)(arg.typedValue) },
+    ],
+    [Consts_1.TypeURL.XSD_FLOAT]: [
+        // TODO: in case of decimal a round needs to happen.
+        { typeToPromote: Consts_1.TypeURL.XSD_DECIMAL, conversionFunction: arg => (0, Helpers_1.float)(arg.typedValue) },
+    ],
+};
+//# sourceMappingURL=TypeHandling.js.map