/**
 * Element id generator.
 */
export var EID;
(function (EID) {
    // #region Fields
    let COUNTER = 0;
    // #endregion
    // #region Methods
    /**
     * Generates a new element id.
     *
     * @public
     * @param prefix - The optional prefix.
     */
    function next(prefix) {
        const id = `${prefix ? `${prefix}-` : ''}${COUNTER}`;
        COUNTER++;
        return id;
    }
    EID.next = next;
    // #endregion
})(EID || (EID = {}));
//# sourceMappingURL=EId.js.map