Source: xxe/res/RemoteFiles.js

  1. /**
  2.  * {@linkplain ResourceStorage Resource storage} for remote, 
  3.  * that is, XXE server-side, resources.
  4.  */
  5. export class RemoteFiles extends ResourceStorage {
  6.     /**
  7.      * Constructs an XXE server-side resource storage for use by specified
  8.      * XML Editor.
  9.      */
  10.     constructor(xmlEditor) {
  11.         super(xmlEditor);
  12.     }
  14.     loadResource(uri) {
  15.         return this._xmlEditor.sendRequest("loadResource", uri)
  16.             .then((data) => {
  17.                       if (data) {
  18.                           return new RemoteFile(uri, data);
  19.                       } else {
  20.                           // Unknown URI.
  21.                           return null;
  22.                       }
  23.                   },
  24.                   (error) => {
  25.                       throw new Error(
  26.                           `Cannot load resource "${uri}": ${error}`);
  27.                   });
  28.     }
  29.     
  30.     storeResource(data, uri) {
  31.         return this._xmlEditor.sendRequest("storeResource", data, uri)
  32.             .then((done) => {
  33.                       if (done) {
  34.                           return new RemoteFile(uri, data);
  35.                       } else {
  36.                           // Unknown URI.
  37.                           return null;
  38.                       }
  39.                   },
  40.                   (error) => {
  41.                       throw new Error(
  42.                           `Cannot store resource '${uri}': ${error}`);
  43.                   });
  44.     }
  45.     
  46.     openResource(options) {
  47.         let uri = [ "???" ];
  48.         
  49.         return RemoteFileDialog.showDialog(this._xmlEditor, options)
  50.             .then((choice) => {
  51.                 if (choice === null) {
  52.                     // Canceled by user.
  53.                     return null;
  54.                 } else {
  55.                     uri[0] = choice.uri;
  56.                     return this._xmlEditor.sendRequest("loadResource", uri[0]);
  57.                 }
  58.             })
  59.             .then((data) => {
  60.                 if (data === null) {
  61.                     // Canceled by user.
  62.                     return null;
  63.                 } else {
  64.                     return new RemoteFile(uri[0], data);
  65.                 }
  66.             })
  67.             .catch((error) => {
  68.                 throw new Error(`Cannot load resource "${uri[0]}": ${error}`);
  69.             });
  70.     }
  71. }