Source: xxe/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;
    }
}