1 /* TODO: Separate Project-specific data from Source */

     1 /* TODO: Separate Project-specific data from Source */

     2 

     2 

     3 /* model.js is where data is stored in a standard form, whatever the serializer */

     3 /* model.js is where data is stored in a standard form, whatever the serializer */

     6 

     5 

     7 var Model = {

     6 var Model = {

     8     _SOURCE_STATUS_EMPTY : 0,

     7     _SOURCE_STATUS_EMPTY : 0,

     9     _SOURCE_STATUS_WAITING : 1,

     8     _SOURCE_STATUS_WAITING : 1,

    10     _SOURCE_STATUS_READY : 2,

     9     _SOURCE_STATUS_READY : 2,

   980     var _res = new Model.List(this);

   979     var _res = new Model.List(this);

   981     _res.addIds(ns._(this.elements).keys());

   980     _res.addIds(ns._(this.elements).keys());

   982     return _res;

   981     return _res;

   983 }

   982 }

   984 

   983 

   986 

   985 

   987 })(IriSP);

   986 })(IriSP);