# Source: editor/DocumentSavedAsEvent.js

    /**
     * {@link XMLEditorEvent} sent after the document being edited in an XMLEditor
     * has been successfully saved to a new disk location.
     *
     * @see XMLEditor#saveDocumentAs
     */
    export class DocumentSavedAsEvent extends XMLEditorEvent {
        constructor(xmlEditor, data) {
            super(xmlEditor, data, "documentSavedAs");
        }

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

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