position-strings
Version:
Lexicographically-ordered position strings for collaborative lists and text
31 lines • 976 B
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
exports.LastInternal = exports.assert = exports.precond = void 0;
function precond(statement, message, ...optionalParams) {
if (!statement) {
if (optionalParams.length === 0) {
throw new Error(message);
}
else {
throw new Error(message + " " + optionalParams.map((value) => String(value)).join(" "));
}
}
}
exports.precond = precond;
function assert(statement, message, ...optionalParams) {
if (!statement) {
if (message === undefined) {
precond(statement, "Assertion failed", ...optionalParams);
}
else {
precond(statement, "Assertion failed: " + message, ...optionalParams);
}
}
}
exports.assert = assert;
/**
* [[PositionSource.LAST]] copy that avoids circular dependencies
* (PositionSource <-> IDs).
*/
exports.LastInternal = "~";
//# sourceMappingURL=util.js.map