git.roojs.org Git - app.Builder.js/blob - src/Resources.vala

   1 /**
   2  * Resources
   3  *
   4  * Idea is to manage resourse used by the app.
   5  *
   6  * The original code downloaded all the resources before it renders the main window
   7  *
   8  * This is a bit annoying as although they do change quite a bit, it's not on every app start
   9  *
  10  * So the Resource fetching behaviour should be a button on the File view page
  11  * That starts the refresh of the resources.
  12  *
  13  * I'm not quite sure how we should flow this - if we do them all at once.. might be a bit of a server
  14  * overload... so sequentially may be best...
  15 */
  16
  17 public class ResourcesItem : Object {
  18         public string target;
  19         public string src;
  20         public string new_sha;
  21         public string cur_sha;
  22         public ResourcesItem(string src, string target, string new_sha)
  23         {
  24                 this.target = target;
  25                 this.src = src;
  26                 this.new_sha = new_sha;
  27                 this.cur_sha = "";
  28                 this.update_cur_sha();
  29                 print("New ResourcesItem %s (%s) => (%s) %s\n", target , this.cur_sha , new_sha, src);
  30         }
  31         public void update_cur_sha()
  32         {
  33                 if (this.target.contains("*")) {
  34                         return;
  35                 }
  36                 var tfn = BuilderApplication.configDirectory() + "/resources/" + this.target;
  37                 if (!GLib.FileUtils.test (tfn, FileTest.IS_REGULAR)) {
  38                         return;
  39                 }
  40                 uint8[] data;
  41                 uint8[] zero = { 0 };
  42                 GLib.FileUtils.get_data(tfn, out data);
  43
  44                 var  file = File.new_for_path (tfn);
  45
  46                 var info = file.query_info(
  47                                  "standard::*",
  48                                 FileQueryInfoFlags.NONE
  49                 );
  50                 var csdata = new GLib.ByteArray.take("blob %s".printf(info.get_size().to_string()).data);
  51                 csdata.append(zero);
  52                 csdata.append(data);
  53
  54                 // git method... blob %d\0...string...
  55                 this.cur_sha = GLib.Checksum.compute_for_data(GLib.ChecksumType.SHA1, csdata.data       );
  56         }
  57
  58 }
  59
  60
  61 public class Resources : Object
  62 {
  63
  64      public signal void updateProgress(uint cur_pos, uint total);
  65
  66      static Resources singleton_val;
  67
  68
  69      Gee.ArrayList<ResourcesItem> fetch_files;
  70
  71      public static Resources singleton()
  72      {
  73         if (singleton_val == null) {
  74             singleton_val = new Resources();
  75             singleton_val.ref();
  76         }
  77         return singleton_val;
  78
  79      }
  80          public Resources ()
  81          {
  82                 this.initFiles();
  83         }
  84
  85
  86         public void initFiles()
  87         {
  88                 string[] avail_files = {
  89                         "roodata.json",
  90                         "*",
  91                         "Editors/*.js",
  92                         "vapi/*.vapi"
  93
  94                 };
  95                 this.fetch_files = new Gee.ArrayList<ResourcesItem>();
  96                 for (var i=0;i < avail_files.length; i++) {
  97                         var target = avail_files[i];
  98                         var src = "https://raw.githubusercontent.com/roojs/app.Builder.js/master/resources/" + target;
  99
 100                         if (target == "roodata.json") {
 101                                 src = "https://raw.githubusercontent.com/roojs/roojs1/master/docs/json/roodata.json";
 102                                 //src = "http://git.roojs.org/?p=roojs1;a=blob_plain;f=docs/json/roodata.json";
 103                         }
 104                         if (target.contains("*")) {
 105                                 var split = target.split("*");
 106                                 src = "https://api.github.com/repos/roojs/app.Builder.js/contents/resources/" + split[0];
 107                         }
 108
 109                         this.fetch_files.add(new ResourcesItem(src,target, ""));
 110                 }
 111
 112         }
 113
 114
 115      int fetch_pos = 0;
 116      public void fetchStart()
 117      {
 118             this.initFiles();
 119             if (this.fetch_pos > 0) { // only fetch one at a time...
 120                 return;
 121             }
 122             this.fetch_pos =0;
 123             this.fetchNext();
 124
 125      }
 126      public void fetchNext()
 127     {
 128         var cur = this.fetch_pos;
 129         this.fetch_pos++;
 130         this.updateProgress(this.fetch_pos, this.fetch_files.size); // min=0;
 131
 132
 133         if (this.fetch_pos > this.fetch_files.size) {
 134                          this.updateProgress(0,0);
 135                      this.fetch_pos = 0;
 136                      return;
 137
 138                 }
 139
 140                 this.fetchResourceFrom ( this.fetch_files.get(cur) );
 141
 142
 143          }
 144          /**
 145           *  called on start to check we have all the required files..
 146           */
 147          public void checkResources()
 148          {
 149                 bool needsload = false;
 150
 151                 // this has to check the required files, not the list...
 152                 string[] required =  {
 153                         "bootstrap.builder.html",
 154                         "Gir.overides",
 155                         "GtkUsage.txt",
 156                         "mailer.builder.html",
 157                         "roo.builder.html",
 158                         "roo.builder.js",
 159                         "roodata.json",
 160                         "RooUsage.txt"
 161                 };
 162
 163                 for (var i = 0; i <  required.length; i++ ) {
 164
 165                         if (!FileUtils.test(
 166                                 BuilderApplication.configDirectory() + "/resources/"  + required[i],
 167                                 FileTest.EXISTS
 168                                 )) {
 169                                 needsload = true;
 170                         }
 171                 }
 172                 if (!needsload) {
 173                         return;
 174                 }
 175                 this.fetchStart();
 176          }
 177
 178         public void parseDirectory(string json, string target)
 179         {
 180                 var pa = new Json.Parser();
 181                 pa.load_from_data(json);
 182                 var node = pa.get_root();
 183                 if (node.get_node_type () != Json.NodeType.ARRAY) {
 184                         return;
 185                         //throw new Error.INVALID_FORMAT ("Unexpected element type %s", node.type_name ());
 186                 }
 187
 188                 var split = target.split("*");
 189                 var ar = node.get_array ();
 190                 for(var i = 0; i < ar.get_length(); i++) {
 191                         var ob = ar.get_object_element(i);
 192                         var n = ob.get_string_member("name");
 193                         if (ob.get_string_member("type") == "dir") {
 194                                 continue;
 195                         }
 196                         if (split.length > 1 && !n.has_suffix(split[1])) {
 197                                 // not needed..
 198                                 continue;
 199                         }
 200                         if (this.files_has_target(split[0] + n)) {
 201                                 continue;
 202                         }
 203                         var src = "https://raw.githubusercontent.com/roojs/app.Builder.js/master/resources/" + split[0] + n;
 204                         var add = new ResourcesItem(src, split[0] + n, ob.get_string_member("sha") );
 205                         //add.new_sha = ob.get_string_member("sha");
 206                         this.fetch_files.add(add);
 207
 208                 }
 209         }
 210         public bool files_has_target(string target)
 211         {
 212                 for (var i = 0; i <  this.fetch_files.size; i++ ) {
 213                         if (this.fetch_files.get(i).target == target) {
 214                                 return true;
 215                         }
 216                 }
 217                 return false;
 218
 219         }
 220
 221
 222
 223
 224     public void fetchResourceFrom(ResourcesItem item)
 225     {
 226                 if (item.new_sha != "" && item.new_sha == item.cur_sha) {
 227                         this.fetchNext();
 228                         return;
 229                 }
 230
 231                 // fetch...
 232                 print("downloading %s \nto : %s\n", item.src,item.target);
 233                 var session = new Soup.Session ();
 234                 session.user_agent = "App Builder ";
 235             var message = new Soup.Message ("GET",  item.src );
 236         session.queue_message (message, (sess, mess) => {
 237
 238                         if (item.target.contains("*")) {
 239                                 // then it's a directory listing in JSON, and we need to add any new items to our list..
 240                                 // it's used to fetch Editors (and maybe other stuff..)
 241                                 this.parseDirectory((string) message.response_body.data,item.target );
 242                                 this.fetchNext();
 243                                 return;
 244                         }
 245
 246
 247                         var tfn = BuilderApplication.configDirectory() + "/resources/" + item.target;
 248
 249
 250                         // create parent directory if needed
 251                         if (!GLib.FileUtils.test (GLib.Path.get_dirname(tfn), FileTest.IS_DIR)) {
 252                                 var f =  GLib.File.new_for_path(GLib.Path.get_dirname(tfn));
 253                                 f.make_directory_with_parents ();
 254                         }
 255
 256
 257
 258
 259                         // set data??? - if it's binary?
 260             FileUtils.set_contents(  tfn, (string) message.response_body.data );
 261
 262             switch (item.target) {
 263                                 case "Gir.overides":
 264                                         Palete.Gir.factory("Gtk").loadOverrides(true);
 265                                         break;
 266
 267                                 case "GtkUsage.txt":
 268                                         Palete.factory("Gtk").load();
 269                                         break;
 270
 271                                 case "roodata.json":
 272                                         Palete.factory("Roo").classes  = null;
 273                                         Palete.factory("Roo").load();
 274                                         break;
 275
 276                                 default:
 277                                         break;
 278                         }
 279
 280
 281
 282
 283
 284
 285             this.fetchNext();
 286
 287         });
 288
 289
 290     }
 291 }