# Source: editor/DisconnectedEvent.js

    /**
     * {@link XMLEditorEvent} sent after the XMLEditor is disconnected
     * from its server.
     *
     * @see XMLEditor#disconnect
     */
    export class DisconnectedEvent extends XMLEditorEvent {
        constructor(xmlEditor, data) {
            super(xmlEditor, data, "disconnected");
        }

        /**
         * Get the <code>code</code> property of this event.
         *
         * @type {number}
         */
        get code() {
            return this._code;
        }

        /**
         * Get the <code>reason</code> property of this event.
         *
         * @type {string}
         */
        get reason() {
            return this._reason;
        }
    }