languages/dart-sdk
languages/dart-sdk
1
0
Fork 0
mirror of https://github.com/dart-lang/sdk synced 2024-09-16 02:37:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

Serialize/deserialize lists in JS ports

Browse source 
Review URL: https://chromiumcodereview.appspot.com//10702113

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@9452 260f80e4-7a28-3924-810f-c04153c831b5
This commit is contained in:
vsm@google.com 2012-07-09 02:10:37 +00:00
parent 38feb0a647
commit ee6b0e23a8
1 changed files with 19 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
client/dart.js
View file

@ -53,6 +53,12 @@ function ReceivePortSync() {
typeof(message) == 'number' ||
typeof(message) == 'boolean') {
return message;
} else if (message instanceof Array) {
var values = new Array(message.length);
for (var i = 0; i < message.length; i++) {
values[i] = serialize(message[i]);
}
return [ 'list', message.length, values ];
} else if (message instanceof LocalSendPortSync) {
return [ 'sendport', 'nativejs', message.receivePort.id ];
} else if (message instanceof DartSendPortSync) {
@ -63,7 +69,7 @@ function ReceivePortSync() {
var keys = Object.getOwnPropertyNames(message);
var values = new Array(keys.length);
for (var i = 0; i < keys.length; i++) {
values[i] = message[keys[i]];
values[i] = serialize(message[keys[i]]);
}
return [ 'map', id, keys, values ];
}
@ -83,6 +89,7 @@ function ReceivePortSync() {
switch (x[0]) {
case 'map': return deserializeMap(x);
case 'sendport': return deserializeSendPort(x);
case 'list': return deserializeList(x);
default: throw 'unimplemented';
}
}
@ -105,7 +112,7 @@ function ReceivePortSync() {
switch (tag) {
case 'nativejs':
var id = x[2];
return new LocalSendPortSync(id);
return new LocalSendPortSync(ReceivePortSync.map[id]);
case 'dart':
var isolateId = x[2];
var portId = x[3];
@ -115,6 +122,16 @@ function ReceivePortSync() {
}
}
function deserializeList(x) {
var length = x[1];
var values = x[2];
var result = new Array(length);
for (var i = 0; i < length; i++) {
result[i] = values[i];
}
return result;
}
window.registerPort = function(name, port) {
var stringified = JSON.stringify(serialize(port));
window.localStorage['dart-port:' + name] = stringified;