updated js sally client libraries

Cakefile

@@ -21,13 +21,11 @@ task 'build', 'Build the .js files', ->
   exec "cp target/compile/theo.js release/"
   exec "cp target/compile/sally_client.js release/"
   exec "cp target/compile/frames.js release/"
-  exec "cp target/compile/text.js release/"
-  exec "cp target/compile/repository.js release/"
+  exec "cp target/compile/jsonix.js release/"
 
 task 'sbuild', 'Build the .js files', ->
   exec "r.js -o build.js optimize=none"
   exec "cp target/compile/theo.js release/"
   exec "cp target/compile/sally_client.js release/"
   exec "cp target/compile/frames.js release/"
-  exec "cp target/compile/text.js release/"
-  exec "cp target/compile/repository.js release/"
+  exec "cp target/compile/jsonix.js release/"

build.js

@@ -7,22 +7,15 @@
 	modules : [
 		{
 		    name : "sally_client",
+			exclude : ["jsonix"]
 		},
 		{
 		    name : "theo",
-		    exclude : ["sally_client"]
+		    exclude : ["jsonix", "sally_client"]
 		},
 		{
 		    name : "frames",
-		    exclude : ["sally_client"]
-		},
-		{
-		    name : "repository",
-		    exclude : ["sally_client"]
-		},
-		{
-		    name : "text",
-		    exclude : ["sally_client"]
+		    exclude : ["jsonix", "sally_client"]
 		}
 	]
 }
\ No newline at end of file

extlibs/info_kwarc_sally_comm_core.js

-var info_kwarc_sally_comm_core = {
-  name: 'info_kwarc_sally_comm_core',
-  defaultElementNamespaceURI: 'http:\/\/kwarc.info\/sally\/comm\/core',
-  typeInfos: [{
-      type: 'classInfo',
-      localName: 'HeartbeatResponse',
-      propertyInfos: []
-    }, {
-      type: 'classInfo',
-      localName: 'HeartbeatRequest',
-      propertyInfos: []
-    }, {
-      type: 'classInfo',
-      localName: 'RegisterClientResponse',
-      propertyInfos: [{
-          type: 'element',
-          name: 'sendQueue',
-          elementName: 'SendQueue',
-          typeInfo: 'String'
-        }]
-    }, {
-      type: 'classInfo',
-      localName: 'RegisterClientRequest',
-      propertyInfos: [{
-          type: 'element',
-          name: 'listenQueue',
-          elementName: 'ListenQueue',
-          typeInfo: 'String'
-        }, {
-          type: 'element',
-          name: 'schemas',
-          collection: true,
-          elementName: 'Schemas',
-          typeInfo: 'String'
-        }, {
-          type: 'element',
-          name: 'environmentID',
-          elementName: 'EnvironmentID',
-          typeInfo: 'String'
-        }]
-    }],
-  elementInfos: [{
-      elementName: 'HeartbeatResponse',
-      typeInfo: 'info_kwarc_sally_comm_core.HeartbeatResponse'
-    }, {
-      elementName: 'HeartbeatRequest',
-      typeInfo: 'info_kwarc_sally_comm_core.HeartbeatRequest'
-    }, {
-      elementName: 'RegisterClientResponse',
-      typeInfo: 'info_kwarc_sally_comm_core.RegisterClientResponse'
-    }, {
-      elementName: 'RegisterClientRequest',
-      typeInfo: 'info_kwarc_sally_comm_core.RegisterClientRequest'
-    }]
+var _info_kwarc_sally_comm_core_factory = function () {
+  var info_kwarc_sally_comm_core = {
+    name: 'info_kwarc_sally_comm_core',
+    defaultElementNamespaceURI: 'http:\/\/kwarc.info\/sally\/comm\/core',
+    typeInfos: [{
+        type: 'classInfo',
+        localName: 'HeartbeatResponse',
+        propertyInfos: []
+      }, {
+        type: 'classInfo',
+        localName: 'HeartbeatRequest',
+        propertyInfos: []
+      }, {
+        type: 'classInfo',
+        localName: 'RegisterClientResponse',
+        propertyInfos: [{
+            type: 'element',
+            name: 'sendQueue',
+            elementName: 'SendQueue',
+            typeInfo: 'String'
+          }]
+      }, {
+        type: 'classInfo',
+        localName: 'RegisterClientRequest',
+        propertyInfos: [{
+            type: 'element',
+            name: 'listenQueue',
+            elementName: 'ListenQueue',
+            typeInfo: 'String'
+          }, {
+            type: 'element',
+            name: 'schemas',
+            collection: true,
+            elementName: 'Schemas',
+            typeInfo: 'String'
+          }, {
+            type: 'element',
+            name: 'environmentID',
+            elementName: 'EnvironmentID',
+            typeInfo: 'String'
+          }]
+      }],
+    elementInfos: [{
+        elementName: 'HeartbeatResponse',
+        typeInfo: 'info_kwarc_sally_comm_core.HeartbeatResponse'
+      }, {
+        elementName: 'HeartbeatRequest',
+        typeInfo: 'info_kwarc_sally_comm_core.HeartbeatRequest'
+      }, {
+        elementName: 'RegisterClientResponse',
+        typeInfo: 'info_kwarc_sally_comm_core.RegisterClientResponse'
+      }, {
+        elementName: 'RegisterClientRequest',
+        typeInfo: 'info_kwarc_sally_comm_core.RegisterClientRequest'
+      }]
+  };
+  return {
+    info_kwarc_sally_comm_core: info_kwarc_sally_comm_core
+  };
 };
+if (typeof define === 'function' && define.amd) {
+  define([], _info_kwarc_sally_comm_core_factory);
+}
+else {
+  if (typeof module !== 'undefined' && module.exports) {
+    module.exports.info_kwarc_sally_comm_core = _info_kwarc_sally_comm_core_factory().info_kwarc_sally_comm_core;
+  }
+  else {
+    var info_kwarc_sally_comm_core = _info_kwarc_sally_comm_core_factory().info_kwarc_sally_comm_core;
+  }
+}
\ No newline at end of file

extlibs/info_kwarc_sally_comm_frames.js

-var info_kwarc_sally_comm_frames = {
-  name: 'info_kwarc_sally_comm_frames',
-  defaultElementNamespaceURI: 'http:\/\/kwarc.info\/sally\/comm\/frames',
-  typeInfos: [{
-      type: 'classInfo',
-      localName: 'RemoveDocLevelService',
-      propertyInfos: [{
-          type: 'element',
-          name: 'id',
-          elementName: 'id',
-          typeInfo: 'String'
-        }]
-    }, {
-      type: 'classInfo',
-      localName: 'ExecDocLevelService',
-      propertyInfos: [{
-          type: 'element',
-          name: 'id',
-          elementName: 'id',
-          typeInfo: 'String'
-        }]
-    }, {
-      type: 'classInfo',
-      localName: 'NewDocLevelService',
-      propertyInfos: [{
-          type: 'element',
-          name: 'id',
-          elementName: 'id',
-          typeInfo: 'String'
-        }, {
-          type: 'element',
-          name: 'type',
-          elementName: 'type',
-          typeInfo: 'String'
-        }, {
-          type: 'element',
-          name: 'name',
-          elementName: 'name',
-          typeInfo: 'String'
-        }, {
-          type: 'element',
-          name: 'icon',
-          elementName: 'icon',
-          typeInfo: 'String'
-        }]
-    }, {
-      type: 'classInfo',
-      localName: 'ShowSallyFrameMenu',
-      propertyInfos: [{
-          type: 'element',
-          name: 'posx',
-          elementName: 'posx',
-          typeInfo: 'Int'
-        }, {
-          type: 'element',
-          name: 'posy',
-          elementName: 'posy',
-          typeInfo: 'Int'
-        }]
-    }],
-  elementInfos: [{
-      elementName: 'RemoveDocLevelService',
-      typeInfo: 'info_kwarc_sally_comm_frames.RemoveDocLevelService'
-    }, {
-      elementName: 'ExecDocLevelService',
-      typeInfo: 'info_kwarc_sally_comm_frames.ExecDocLevelService'
-    }, {
-      elementName: 'NewDocLevelService',
-      typeInfo: 'info_kwarc_sally_comm_frames.NewDocLevelService'
-    }, {
-      elementName: 'ShowSallyFrameMenu',
-      typeInfo: 'info_kwarc_sally_comm_frames.ShowSallyFrameMenu'
-    }, {
-      elementName: 'ListenDocLevelServices',
-      typeInfo: 'AnyType'
-    }]
+var _info_kwarc_sally_comm_frames_factory = function () {
+  var info_kwarc_sally_comm_frames = {
+    name: 'info_kwarc_sally_comm_frames',
+    defaultElementNamespaceURI: 'http:\/\/kwarc.info\/sally\/comm\/frames',
+    typeInfos: [{
+        type: 'classInfo',
+        localName: 'RemoveDocLevelService',
+        propertyInfos: [{
+            type: 'element',
+            name: 'id',
+            elementName: 'id',
+            typeInfo: 'String'
+          }]
+      }, {
+        type: 'classInfo',
+        localName: 'ExecDocLevelService',
+        propertyInfos: [{
+            type: 'element',
+            name: 'id',
+            elementName: 'id',
+            typeInfo: 'String'
+          }]
+      }, {
+        type: 'classInfo',
+        localName: 'NewDocLevelService',
+        propertyInfos: [{
+            type: 'element',
+            name: 'id',
+            elementName: 'id',
+            typeInfo: 'String'
+          }, {
+            type: 'element',
+            name: 'type',
+            elementName: 'type',
+            typeInfo: 'String'
+          }, {
+            type: 'element',
+            name: 'name',
+            elementName: 'name',
+            typeInfo: 'String'
+          }, {
+            type: 'element',
+            name: 'icon',
+            elementName: 'icon',
+            typeInfo: 'String'
+          }]
+      }, {
+        type: 'classInfo',
+        localName: 'ListenDocLevelServices',
+        propertyInfos: []
+      }, {
+        type: 'classInfo',
+        localName: 'ShowSallyFrameMenu',
+        propertyInfos: [{
+            type: 'element',
+            name: 'posx',
+            elementName: 'posx',
+            typeInfo: 'Int'
+          }, {
+            type: 'element',
+            name: 'posy',
+            elementName: 'posy',
+            typeInfo: 'Int'
+          }]
+      }],
+    elementInfos: [{
+        elementName: 'RemoveDocLevelService',
+        typeInfo: 'info_kwarc_sally_comm_frames.RemoveDocLevelService'
+      }, {
+        elementName: 'ExecDocLevelService',
+        typeInfo: 'info_kwarc_sally_comm_frames.ExecDocLevelService'
+      }, {
+        elementName: 'NewDocLevelService',
+        typeInfo: 'info_kwarc_sally_comm_frames.NewDocLevelService'
+      }, {
+        elementName: 'ListenDocLevelServices',
+        typeInfo: 'info_kwarc_sally_comm_frames.ListenDocLevelServices'
+      }, {
+        elementName: 'ShowSallyFrameMenu',
+        typeInfo: 'info_kwarc_sally_comm_frames.ShowSallyFrameMenu'
+      }]
+  };
+  return {
+    info_kwarc_sally_comm_frames: info_kwarc_sally_comm_frames
+  };
 };
+if (typeof define === 'function' && define.amd) {
+  define([], _info_kwarc_sally_comm_frames_factory);
+}
+else {
+  if (typeof module !== 'undefined' && module.exports) {
+    module.exports.info_kwarc_sally_comm_frames = _info_kwarc_sally_comm_frames_factory().info_kwarc_sally_comm_frames;
+  }
+  else {
+    var info_kwarc_sally_comm_frames = _info_kwarc_sally_comm_frames_factory().info_kwarc_sally_comm_frames;
+  }
+}
\ No newline at end of file

extlibs/info_kwarc_sally_comm_repository.js

-var info_kwarc_sally_comm_repository = {
-  name: 'info_kwarc_sally_comm_repository',
-  defaultElementNamespaceURI: 'http:\/\/kwarc.info\/sally\/comm\/repository',
-  typeInfos: [{
-      type: 'classInfo',
-      localName: 'GetDocumentMetaResponse',
-      propertyInfos: [{
-          type: 'element',
-          name: 'sessionid',
-          elementName: 'sessionid',
-          typeInfo: 'String'
-        }, {
-          type: 'element',
-          name: 'repoURL',
-          elementName: 'repoURL',
-          typeInfo: 'String'
-        }, {
-          type: 'element',
-          name: 'docPath',
-          elementName: 'docPath',
-          typeInfo: 'String'
-        }]
-    }, {
-      type: 'classInfo',
-      localName: 'GetDocumentMeta',
-      propertyInfos: []
-    }],
-  elementInfos: [{
-      elementName: 'GetDocumentMetaResponse',
-      typeInfo: 'info_kwarc_sally_comm_repository.GetDocumentMetaResponse'
-    }, {
-      elementName: 'GetDocumentMeta',
-      typeInfo: 'info_kwarc_sally_comm_repository.GetDocumentMeta'
-    }]
-};

extlibs/info_kwarc_sally_comm_text.js

-var info_kwarc_sally_comm_text = {
-  name: 'info_kwarc_sally_comm_text',
-  defaultElementNamespaceURI: 'http:\/\/kwarc.info\/sally\/comm\/text',
-  typeInfos: [{
-      type: 'classInfo',
-      localName: 'SelectText',
-      propertyInfos: [{
-          type: 'element',
-          name: 'startrow',
-          elementName: 'startrow',
-          typeInfo: 'Int'
-        }, {
-          type: 'element',
-          name: 'endrow',
-          elementName: 'endrow',
-          typeInfo: 'Int'
-        }, {
-          type: 'element',
-          name: 'startcolumn',
-          elementName: 'startcolumn',
-          typeInfo: 'Int'
-        }, {
-          type: 'element',
-          name: 'endcolumn',
-          elementName: 'endcolumn',
-          typeInfo: 'Int'
-        }]
-    }, {
-      type: 'classInfo',
-      localName: 'GetCurrentSelection',
-      propertyInfos: []
-    }, {
-      type: 'classInfo',
-      localName: 'GetText',
-      propertyInfos: []
-    }, {
-      type: 'classInfo',
-      localName: 'AutocompleteResponse',
-      propertyInfos: [{
-          type: 'element',
-          name: 'suggestion',
-          collection: true,
-          elementName: 'suggestion',
-          typeInfo: 'info_kwarc_sally_comm_text.AutocompleteResponse.Suggestion'
-        }]
-    }, {
-      type: 'classInfo',
-      localName: 'AutocompleteResponse.Suggestion',
-      propertyInfos: [{
-          type: 'element',
-          name: 'concept',
-          elementName: 'concept',
-          typeInfo: 'String'
-        }, {
-          type: 'element',
-          name: 'text',
-          elementName: 'text',
-          typeInfo: 'String'
-        }]
-    }, {
-      type: 'classInfo',
-      localName: 'AutocompleteRequest',
-      propertyInfos: [{
-          type: 'element',
-          name: 'path',
-          elementName: 'path',
-          typeInfo: 'String'
-        }, {
-          type: 'element',
-          name: 'text',
-          elementName: 'text',
-          typeInfo: 'String'
-        }, {
-          type: 'element',
-          name: 'prefix',
-          elementName: 'prefix',
-          typeInfo: 'String'
-        }, {
-          type: 'element',
-          name: 'col',
-          elementName: 'col',
-          typeInfo: 'Int'
-        }, {
-          type: 'element',
-          name: 'line',
-          elementName: 'line',
-          typeInfo: 'Int'
-        }]
-    }, {
-      type: 'classInfo',
-      localName: 'GetCurrentSelectionResponse',
-      propertyInfos: [{
-          type: 'element',
-          name: 'startrow',
-          elementName: 'startrow',
-          typeInfo: 'Int'
-        }, {
-          type: 'element',
-          name: 'endrow',
-          elementName: 'endrow',
-          typeInfo: 'Int'
-        }, {
-          type: 'element',
-          name: 'startcolumn',
-          elementName: 'startcolumn',
-          typeInfo: 'Int'
-        }, {
-          type: 'element',
-          name: 'endcolumn',
-          elementName: 'endcolumn',
-          typeInfo: 'Int'
-        }]
-    }, {
-      type: 'classInfo',
-      localName: 'GetTextResponse',
-      propertyInfos: [{
-          type: 'element',
-          name: 'text',
-          elementName: 'text',
-          typeInfo: 'String'
-        }]
-    }],
-  elementInfos: [{
-      elementName: 'SelectText',
-      typeInfo: 'info_kwarc_sally_comm_text.SelectText'
-    }, {
-      elementName: 'GetCurrentSelection',
-      typeInfo: 'info_kwarc_sally_comm_text.GetCurrentSelection'
-    }, {
-      elementName: 'GetText',
-      typeInfo: 'info_kwarc_sally_comm_text.GetText'
-    }, {
-      elementName: 'AutocompleteResponse',
-      typeInfo: 'info_kwarc_sally_comm_text.AutocompleteResponse'
-    }, {
-      elementName: 'AutocompleteRequest',
-      typeInfo: 'info_kwarc_sally_comm_text.AutocompleteRequest'
-    }, {
-      elementName: 'GetCurrentSelectionResponse',
-      typeInfo: 'info_kwarc_sally_comm_text.GetCurrentSelectionResponse'
-    }, {
-      elementName: 'GetTextResponse',
-      typeInfo: 'info_kwarc_sally_comm_text.GetTextResponse'
-    }]
-};

extlibs/info_kwarc_sally_comm_theo.js

-var info_kwarc_sally_comm_theo = {
-  name: 'info_kwarc_sally_comm_theo',
-  defaultElementNamespaceURI: 'http:\/\/kwarc.info\/sally\/comm\/theo',
-  typeInfos: [{
-      type: 'classInfo',
-      localName: 'OpenTheoWindowRequest',
-      propertyInfos: [{
-          type: 'element',
-          name: 'url',
-          elementName: 'url',
-          typeInfo: 'String'
-        }, {
-          type: 'element',
-          name: 'title',
-          elementName: 'title',
-          typeInfo: 'String'
-        }, {
-          type: 'element',
-          name: 'posx',
-          elementName: 'posx',
-          typeInfo: 'Int'
-        }, {
-          type: 'element',
-          name: 'posy',
-          elementName: 'posy',
-          typeInfo: 'Int'
-        }, {
-          type: 'element',
-          name: 'width',
-          elementName: 'width',
-          typeInfo: 'Int'
-        }, {
-          type: 'element',
-          name: 'height',
-          elementName: 'height',
-          typeInfo: 'Int'
-        }]
-    }, {
-      type: 'classInfo',
-      localName: 'CloseTheoWindow',
-      propertyInfos: [{
-          type: 'element',
-          name: 'id',
-          elementName: 'id',
-          typeInfo: 'String'
-        }]
-    }, {
-      type: 'classInfo',
-      localName: 'OpenTheoWindowResponse',
-      propertyInfos: [{
-          type: 'element',
-          name: 'id',
-          elementName: 'id',
-          typeInfo: 'String'
-        }]
-    }],
-  elementInfos: [{
-      elementName: 'OpenTheoWindowRequest',
-      typeInfo: 'info_kwarc_sally_comm_theo.OpenTheoWindowRequest'
-    }, {
-      elementName: 'CloseTheoWindow',
-      typeInfo: 'info_kwarc_sally_comm_theo.CloseTheoWindow'
-    }, {
-      elementName: 'OpenTheoWindowResponse',
-      typeInfo: 'info_kwarc_sally_comm_theo.OpenTheoWindowResponse'
-    }]
+var _info_kwarc_sally_comm_theo_factory = function () {
+  var info_kwarc_sally_comm_theo = {
+    name: 'info_kwarc_sally_comm_theo',
+    defaultElementNamespaceURI: 'http:\/\/kwarc.info\/sally\/comm\/theo',
+    typeInfos: [{
+        type: 'classInfo',
+        localName: 'OpenTheoWindowRequest',
+        propertyInfos: [{
+            type: 'element',
+            name: 'url',
+            elementName: 'url',
+            typeInfo: 'String'
+          }, {
+            type: 'element',
+            name: 'title',
+            elementName: 'title',
+            typeInfo: 'String'
+          }, {
+            type: 'element',
+            name: 'posx',
+            elementName: 'posx',
+            typeInfo: 'Int'
+          }, {
+            type: 'element',
+            name: 'posy',
+            elementName: 'posy',
+            typeInfo: 'Int'
+          }, {
+            type: 'element',
+            name: 'width',
+            elementName: 'width',
+            typeInfo: 'Int'
+          }, {
+            type: 'element',
+            name: 'height',