Permalink
Sep 5, 2014
Feb 1, 2020
Sep 5, 2014
Jul 21, 2020
Dec 28, 2020
Dec 28, 2020
Dec 28, 2020
May 17, 2019
Sep 5, 2014
Feb 1, 2020
Jan 15, 2018
Apr 3, 2019
Apr 3, 2019
Feb 1, 2020
Apr 3, 2019
Dec 13, 2018
Dec 21, 2018
Oct 5, 2020
Dec 21, 2018
Nov 6, 2019
Dec 21, 2018
Sep 5, 2014
Dec 10, 2018
Dec 10, 2018
Dec 21, 2018
Sep 5, 2014
Mar 7, 2018
Feb 26, 2018
Feb 1, 2020
Dec 21, 2018
Dec 21, 2018
Dec 21, 2018
Dec 21, 2018
Sep 5, 2014
Dec 10, 2018
Jan 29, 2021
Dec 28, 2020
Dec 10, 2018
Jan 29, 2021
Sep 5, 2014
Sep 5, 2014
Jul 30, 2020
Jul 14, 2020
Jul 31, 2018
Sep 5, 2014
Jul 31, 2018
Dec 10, 2018
Nov 2, 2018
Jul 31, 2018
Sep 5, 2014
Sep 5, 2014
Sep 5, 2014
Jun 11, 2020
Dec 10, 2018
Dec 21, 2018
Sep 5, 2014
Sep 5, 2014
Jun 11, 2020
Apr 18, 2020
Sep 5, 2014
Jun 11, 2020
May 27, 2018
Apr 18, 2020
Feb 1, 2020
Dec 21, 2018
Feb 3, 2018
Feb 1, 2020
Jul 4, 2020
Jul 4, 2020
Jul 30, 2020
Jul 30, 2020
Dec 21, 2018
Dec 21, 2018
Sep 5, 2014
Sep 5, 2014
Sep 5, 2014
Sep 5, 2014
Sep 5, 2014
Sep 5, 2014
Sep 5, 2014
Mar 7, 2018
Sep 5, 2014
Sep 5, 2014
Dec 21, 2018
Sep 5, 2014
Sep 5, 2014
Mar 7, 2018
Nov 9, 2015
May 17, 2019
Feb 26, 2018
Jul 21, 2020
Dec 28, 2020
Feb 26, 2018
Dec 28, 2020
Dec 13, 2018
Sep 5, 2014
Sep 5, 2014
Sep 5, 2014
Sep 5, 2014
Mar 7, 2018
Jan 29, 2021
Dec 21, 2018
Sep 5, 2014
Mar 7, 2018
Feb 26, 2018
Apr 14, 2019
Dec 13, 2018
Sep 5, 2014
Sep 5, 2014
May 17, 2019
Feb 26, 2018
Dec 28, 2020
Dec 1, 2018
Sep 5, 2014
Sep 5, 2014
Jun 29, 2020
Jun 28, 2018
May 16, 2020
May 16, 2020
Feb 1, 2020
Mar 7, 2018
Aug 2, 2018
Mar 16, 2021
Sep 5, 2014
Newer
100644
1217 lines (1098 sloc)
35.7 KB
1
;(function($B){
2
3
/*
4
Implementation of Python dictionaries
5
6
We can't use Javascript's Map here, because the behaviour is not exactly the
7
same (eg with keys that are instances of classes with a __hash__ method...)
8
and because Map is much slower than regular Javascript objects.
9
10
A Python dictionary is implemented as a Javascript objects with these
11
attributes:
12
. $version: an integer with an initial value of 0, incremented at each
13
insertion
14
. $numeric_dict: for keys of type int
15
. $string_dict and $str_hash: for keys of type str
16
. $object_dict: for keys of other types
17
18
The value associated to a key in $numeric_dict and $string_dict is a pair
19
[value, rank] where "value" is the value associated with the key and "rank"
20
is the value of the dict attribute $version when the pair is inserted. This
21
is required to keep track of the insertion order, mandatory since Python 3.7.
22
23
For keys that are not str or int, their hash value is computed. Since several
33
34
var set_ops = ["eq", "le", "lt", "ge", "gt",
35
"sub", "rsub", "and", "or", "xor"]
36
37
// methods to compare non set-like views
38
function is_sublist(t1, t2){
39
// Return true if all elements of t1 are in t2
40
for(var i = 0, ilen = t1.length; i < ilen; i++){
41
var x = t1[i],
42
flag = false
43
for(var j = 0, jlen = t2.length; j < jlen; j++){
44
if($B.rich_comp("__eq__", x, t2[j])){
45
t2.splice(j, 1)
46
flag = true
47
break
48
}
49
}
50
if(! flag){
51
return false
52
}
53
}
54
return true
55
}
56
57
dict_view_op = {
58
__eq__: function(t1, t2){
59
return t1.length == t2.length && is_sublist(t1, t2)
60
},
61
__ne__: function(t1, t2){
62
return ! dict_view_op.__eq__(t1, t2)
63
},
64
__lt__: function(t1, t2){
65
return t1.length < t2.length && is_sublist(t1, t2)
66
},
67
__gt__: function(t1, t2){
68
return dict_view_op.__lt__(t2, t1)
69
},
70
__le__: function(t1, t2){
71
return t1.length <= t2.length && is_sublist(t1, t2)
72
},
73
__ge__: function(t1, t2){
74
return dict_view_op.__le__(t2, t1)
75
},
76
__and__: function(t1, t2){
77
var items = []
78
for(var i = 0, ilen = t1.length; i < ilen; i++){
79
var x = t1[i]
80
flag = false
81
for(var j = 0, jlen = t2.length; j < jlen; j++){
82
if($B.rich_comp("__eq__", x, t2[j])){
83
t2.splice(j, 1)
84
items.push(x)
85
break
86
}
87
}
88
}
89
return items
90
},
91
__or__: function(t1, t2){
92
var items = t1
93
for(var j = 0, jlen = t2.length; j < jlen; j++){
94
var y = t2[j],
95
flag = false
96
for(var i = 0, ilen = t1.length; i < ilen; i++){
97
if($B.rich_comp("__eq__", y, t1[i])){
98
t2.splice(j, 1)
99
flag = true
100
break
101
}
102
}
103
if(! flag){
104
items.push(y)
105
}
106
}
107
return items
108
}
125
for(var i = 0, len = set_ops.length; i < len; i++){
126
var op = "__" + set_ops[i] + "__"
127
klass[op] = (function(op){
128
return function(self, other){
129
// compare set of items to other
130
if(self.set_like){
131
return _b_.set[op](_b_.set.$factory(self),
132
_b_.set.$factory(other))
133
}else{
134
// Non-set like views can only be compared to
135
// instances of the same class
136
if(other.__class__ !== klass){
137
return false
139
var other_items = _b_.list.$factory(other)
140
return dict_view_op[op](self.items, other_items)
148
it.test_change = function(){
149
return self.dict.$version != self.dict_version
150
}
158
klass.__repr__ = function(self){
159
return klass.$infos.__name__ + '(' + _b_.repr(self.items) + ')'
160
}
161
175
}
176
177
dict.$to_obj = function(d){
178
// Function applied to dictionary that only have string keys,
179
// return a Javascript objects with the kays mapped to the value,
180
// excluding the insertion rank
181
var res = {}
182
for(var key in d.$string_dict){
183
res[key] = d.$string_dict[key][0]
184
}
185
return res
186
}
187
197
if(val === undefined){val = _b_.NotImplemented}
198
else if(val === null){val = $N}
203
for(var k in d.$numeric_dict){
204
items.push([parseFloat(k), d.$numeric_dict[k]])
205
}
211
for(var k in d.$object_dict){
212
d.$object_dict[k].forEach(function(item){
213
items.push(item)
214
})
215
}
217
// sort by insertion order
218
items.sort(function(a, b){
219
return a[1][1] - b[1][1]
220
})
221
items = items.map(function(item){return [item[0], item[1][0]]})
226
}else{
227
items.__class__ = _b_.tuple
228
return items.map(function(item){
229
item.__class__ = _b_.tuple; return item}
230
)
231
}
242
si(left, _l[i][0], _l[i][1])
243
if(right.$version != right_version){
244
throw _b_.RuntimeError.$factory("dict mutated during update")
245
}
246
}
249
function rank(self, hash, key){
250
// Search if object key, with hash = hash(key), is in
251
// self.$object_dict
252
var pairs = self.$object_dict[hash]
253
if(pairs !== undefined){
254
for(var i = 0, len = pairs.length; i < len; i++){
255
if($B.rich_comp("__eq__", key, pairs[i][0])){
256
return i
257
}
258
}
259
}
260
return -1
261
}
262
269
dict.__class_getitem__ = function(cls, item){
270
// PEP 585
271
// Set as a classmethod at the end of this script, after $B.set_func_names()
272
if(! Array.isArray(item)){
273
item = [item]
274
}
275
return $B.GenericAlias.$factory(cls, item)
276
}
277
280
var $ = $B.args("__contains__", 2, {self: null, key: null},
281
["self", "key"], arguments, {}, null, null),
284
if(self.$is_namespace){key = $B.to_alias(key)} // issue 1244
285
286
if(self.$jsobj){
287
return self.$jsobj[key] !== undefined
288
}
294
return self.$numeric_dict[key] !== undefined
295
}
296
297
var hash = _b_.hash(key)
298
if(self.$str_hash[hash] !== undefined &&
299
$B.rich_comp("__eq__", key, self.$str_hash[hash])){return true}
300
if(self.$numeric_dict[hash] !== undefined &&
301
$B.rich_comp("__eq__", key, hash)){return true}
302
return rank(self, hash, key) > -1
303
}
304
307
var $ = $B.args("__eq__", 2, {self: null, arg: null},
308
["self", "arg"], arguments, {}, null, null),
317
switch(typeof arg){
318
case "string":
319
if(self.$string_dict[arg] === undefined){
339
if((ix = rank(self, hash, arg)) > -1){
340
self.$object_dict[hash].splice(ix, 1)
341
}else{
347
}
348
350
var $ = $B.args("__eq__", 2, {self: null, other: null},
351
["self", "other"], arguments, {}, null, null),
357
if(self.$jsobj){self = jsobj2dict(self.$jsobj)}
358
if(other.$jsobj){other = jsobj2dict(other.$jsobj)}
369
if(!$B.rich_comp("__eq__", other.$numeric_dict[k][0],
370
self.$numeric_dict[k][0])){
374
var pairs = other.$object_dict[k],
375
flag = false
376
for(var i = 0, len = pairs.length; i < len; i++){
377
if($B.rich_comp("__eq__", k, pairs[i][0]) &&
378
$B.rich_comp("__eq__", self.$numeric_dict[k],
379
pairs[i][1])){
380
flag = true
381
break
382
}
397
var pairs = self.$object_dict[hash]
398
// Get all (key, value) pairs in other that have the same hash
399
var other_pairs = []
400
if(other.$numeric_dict[hash] !== undefined){
401
other_pairs.push([hash, other.$numeric_dict[hash]])
402
}
404
other_pairs = other_pairs.concat(other.$object_dict[hash])
405
}
406
if(other_pairs.length == 0){
407
return false
408
}
409
for(var i = 0, len_i = pairs.length; i < len_i; i++){
410
var flag = false
411
var key = pairs[i][0],
413
for(var j = 0, len_j = other_pairs.length; j < len_j; j++){
414
if($B.rich_comp("__eq__", key, other_pairs[j][0]) &&
426
}
427
429
var $ = $B.args("__getitem__", 2, {self: null, arg: null},
430
["self", "arg"], arguments, {}, null, null),
438
dict.$getitem = function(self, arg, ignore_missing){
439
// ignore_missing is only set in dict.setdefault
452
var x = self.$string_dict[arg]
453
if(x !== undefined){
454
$B.string_count++
455
return x[0]
463
break
464
}
465
466
// since the key is more complex use 'default' method of getting item
467
492
if(! ignore_missing){
493
if(self.__class__ !== dict && ! ignore_missing){
494
try{
495
var missing_method = getattr(self.__class__, "__missing__",
496
_b_.None)
497
}catch(err){
498
console.log(err)
507
}
508
510
524
if(item[0] != 0 && item[0] != 1){
525
self.$numeric_dict[item[0]] = [item[1], self.$order++]
526
self.$version++
527
break
528
}
541
for(var key in first){
542
self.$string_dict[key] = [first[key], self.$order++]
543
}
544
return _b_.None
545
}else if(first.$jsobj){
546
self.$jsobj = {}
547
for(var attr in first.$jsobj){
548
self.$jsobj[attr] = first.$jsobj[attr]
554
}
558
arguments, {}, "first", "second")
559
var args = $.first
560
if(args.length > 1){
561
throw _b_.TypeError.$factory("dict expected at most 1 argument" +
562
", got 2")
563
}else if(args.length == 1){
564
args = args[0]
565
if(args.__class__ === dict){
566
['$string_dict', '$str_hash', '$numeric_dict', '$object_dict'].
567
forEach(function(d){
568
for(key in args[d]){self[d][key] = args[d][key]}
569
})
573
var keys = $B.$getattr(args, "keys", null)
574
if(keys !== null){
575
var gi = $B.$getattr(args, "__getitem__", null)
576
if(gi !== null){
577
// has keys and __getitem__ : it's a mapping, iterate on
578
// keys and values
579
gi = $B.$call(gi)
580
var kiter = _b_.iter($B.$call(keys)())
581
while(true){
582
try{
583
var key = _b_.next(kiter),
584
value = gi(key)
585
dict.__setitem__(self, key, value)
586
}catch(err){
587
if(err.__class__ === _b_.StopIteration){
588
break
589
}
590
throw err
591
}
592
}
593
return $N
594
}
595
}
596
if(! Array.isArray(args)){
597
args = _b_.list.$factory(args)
598
}
599
// Form "dict([[key1, value1], [key2,value2], ...])"
601
}
619
}
620
623
}
624
625
dict.__ior__ = function(self, other){
626
// PEP 584
627
dict.update(self, other)
628
return self
629
}
630
639
for(var k in self.$numeric_dict){_count++}
640
for(var k in self.$string_dict){_count++}
641
for(var hash in self.$object_dict){
642
_count += self.$object_dict[hash].length
643
}
647
649
669
dict.__or__ = function(self, other){
670
// PEP 584
671
if(! _b_.isinstance(other, dict)){
672
return _b_.NotImplemented
673
}
674
var res = dict.copy(self)
675
dict.update(res, other)
676
return res
677
}
678
689
try{
690
res.push(repr(item[0]) + ": " + repr(item[1]))
691
}catch(err){
692
throw err
693
}
697
}
698
699
dict.__ror__ = function(self, other){
700
// PEP 584
701
if(! _b_.isinstance(other, dict)){
702
return _b_.NotImplemented
703
}
704
var res = dict.copy(other)
705
dict.update(res, self)
706
return res
707
}
708
711
["self", "key", "value"], arguments, {}, null, null)
712
return dict.$setitem($.self, $.key, $.value)
713
}
718
// If key is a string, set:
719
// - $string_dict[key] = [value, order] where "order" is an auto-increment
720
// unique id to keep track of insertion order
721
// - $str_hash[hash(key)] to key
722
//
723
// If key is a number, set $numeric_dict[key] = value
724
//
725
// If key is another object, compute its hash value:
726
// - if the hash is a key of $str_hash, and key == $str_hash[hash],
727
// replace $string_dict[$str_hash[hash]] by value
728
// - if the hash is a key of $numeric_dict, and hash == key, replace
729
// $numeric_dict[hash] by value
730
// - if the hash is a key of $object_dict: $object_dict[hash] is a list
731
// of [k, v] pairs. If key is equal to one of the "k", replace the
732
// matching v by value. Otherwise, add [key, value] to the list
733
// - else set $object_dict[hash] = [[key, value]]
734
//
735
// In all cases, increment attribute $version, used to detect dictionary
738
// Parameter $hash is only set if this method is called by setdefault.
739
// In this case the hash of key has already been computed and we
740
// know that the key is not present in the dictionary, so it's no
741
// use computing hash(key) again, nor testing equality of keys
750
// If class attribute __init__ or __new__ are reset,
751
// the factory function has to change
752
self.$jsobj.$factory = $B.$instance_creator(self.$jsobj)
753
}
754
}else{
762
if(self.$string_dict === undefined){
763
console.log("pas de string dict", self, key, value)
764
}
765
if(self.$string_dict[key] !== undefined){
766
self.$string_dict[key][0] = value
767
}else{
768
self.$string_dict[key] = [value, self.$order++]
769
self.$str_hash[str_hash(key)] = key
770
self.$version++
771
}
774
if(self.$numeric_dict[key] !== undefined){
775
// existing key: preserve order
776
self.$numeric_dict[key][0] = value
777
}else{
778
// special case for 0 and 1 if True or False are keys
779
var done = false
780
if((key == 0 || key == 1) &&
781
self.$object_dict[key] !== undefined){
782
for(const item of self.$object_dict[key]){
783
if((key == 0 && item[0] === false) ||
784
(key == 1 && item[0] === true)){
785
// replace value
786
item[1][0] = value
787
done = true
788
}
789
}
790
}
791
if(! done){
792
// new key
793
self.$numeric_dict[key] = [value, self.$order++]
794
}
798
case "boolean":
799
// true replaces 1 and false replaces 0
800
var num = key ? 1 : 0
801
if(self.$numeric_dict[num] !== undefined){
802
var order = self.$numeric_dict[num][1] // preserve order
803
self.$numeric_dict[num] = [value, order]
804
return
805
}
806
if(self.$object_dict[num] !== undefined){
807
self.$object_dict[num].push([key, [value, self.$order++]])
808
}else{
809
self.$object_dict[num] = [[key, [value, self.$order++]]]
810
}
830
// If $setitem is called from setdefault, don't test equality of key
831
// with any object
832
if($hash){
833
if(self.$object_dict[$hash] !== undefined){
837
}
838
self.$version++
839
return $N
840
}
841
var ix = rank(self, hash, key)
842
if(ix > -1){
843
// reset value
854
}
855
859
860
// add "reflected" methods
862
864
// Remove all items from the dictionary.
884
}
885
887
// Return a shallow copy of the dictionary
893
return res
894
}
895
898
var $ = $B.args("fromkeys", 3, {cls: null, keys: null, value: null},
899
["cls", "keys", "value"], arguments, {value: _b_.None}, null, null),
903
// class method
908
while(1){
909
try{
910
var key = _b_.next(keys_iter)
911
if(klass === dict){dict.$setitem(res, key, value)}
912
else{$B.$getattr(res, "__setitem__")(key, value)}
913
}catch(err){
915
return res
916
}
917
throw err
918
}
919
}
920
}
921
923
var $ = $B.args("get", 3, {self: null, key: null, _default: null},
924
["self", "key", "_default"], arguments, {_default: $N}, null, null)
927
catch(err){
928
if(_b_.isinstance(err, _b_.KeyError)){return $._default}
929
else{throw err}
930
}
931
}
932
933
var dict_items = $B.make_view("dict_items", true)
934
dict_items.$iterator = $B.make_iterator_class("dict_itemiterator")
938
var _len = arguments.length - 1,
939
_msg = "items() takes no arguments (" + _len + " given)"
942
var items = to_list(self),
943
set_like = true
944
// Check if all values are hashable
945
for(var i = 0, len = items.length; i < len; i++){
946
try{
947
_b_.hash(items[i][1])
948
}catch(err){
949
set_like = false
950
break
951
}
952
}
953
var values = to_list(self)
954
var it = dict_items.$factory(self, values, set_like)
955
it.dict_version = self.$version
965
var _len = arguments.length - 1,
966
_msg = "keys() takes no arguments (" + _len + " given)"
969
var it = dict_keys.$factory(self, to_list(self, 0), true)
970
it.dict_version = self.$version
976
var missing = {},
977
$ = $B.args("pop", 3, {self: null, key: null, _default: null},
978
["self", "key", "_default"], arguments, {_default: missing}, null, null),
983
try{
986
return res
987
}catch(err){
990
throw err
991
}
992
throw err
993
}
994
}
995
1006
}
1007
1010
var $ = $B.args("setdefault", 3, {self: null, key: null, _default: null},
1011
["self", "key", "_default"], arguments, {_default: $N}, null, null),
1015
try{
1016
// Pass 3rd argument to dict.$getitem to avoid using __missing__
1017
// Cf. issue #1598
1018
return dict.$getitem(self, key, true)
1019
}catch(err){
1024
var hash = key.$hash
1025
key.$hash = undefined
1026
dict.$setitem(self, key, _default, hash)
1027
return _default
1028
}
1029
}
1030
1033
var $ = $B.args("update", 1, {"self": null}, ["self"], arguments,
1034
{}, "args", "kw"),
1035
self = $.self,
1036
args = $.args,
1037
kw = $.kw
1038
if(args.length > 0){
1039
var o = args[0]
1046
var _keys = _b_.list.$factory($B.$call($B.$getattr(o, "keys"))())
1047
for(var i = 0, len = _keys.length; i < len; i++){
1049
dict.$setitem(self, _keys[i], _value)
1050
}
1051
}else{
1052
var it = _b_.iter(o),
1053
i = 0
1054
while(true){
1055
try{
1056
var item = _b_.next(it)
1057
}catch(err){
1058
if(err.__class__ === _b_.StopIteration){break}
1059
throw err
1060
}
1061
try{
1062
key_value = _b_.list.$factory(item)
1063
}catch(err){
1064
throw _b_.TypeError.$factory("cannot convert dictionary" +
1065
" update sequence element #" + i + " to a sequence")
1066
}
1067
if(key_value.length !== 2){
1068
throw _b_.ValueError.$factory("dictionary update " +
1069
"sequence element #" + i + " has length " +
1070
key_value.length + "; 2 is required")
1071
}
1072
dict.$setitem(self, key_value[0], key_value[1])
1073
i++
1076
}
1080
}
1081
1082
var dict_values = $B.make_view("dict_values")
1083
dict_values.$iterator = $B.make_iterator_class("dict_valueiterator")
1087
var _len = arguments.length - 1,
1088
_msg = "values() takes no arguments (" + _len + " given)"
1092
var it = dict_values.$factory(self, values, false)
1093
it.dict_version = self.$version
1099
var args = [res]
1100
for(var i = 0, len = arguments.length; i < len ; i++){
1101
args.push(arguments[i])
1102
}
1103
dict.__init__.apply(null, args)
1104
return res
1105
}
1107
_b_.dict = dict
1113
$B.empty_dict = function(){
1114
return {
1115
__class__: dict,
1116
$numeric_dict : {},
1117
$object_dict : {},
1118
$string_dict : {},
1119
$str_hash: {},
1125
// This must be done after set_func_names, otherwise dict.fromkeys doesn't
1126
// have the attribute $infos
1127
dict.fromkeys = _b_.classmethod.$factory(dict.fromkeys)
1128
1129
$B.getset_descriptor = $B.make_class("getset_descriptor",
1130
function(klass, attr){
1131
return {
1132
__class__: $B.getset_descriptor,
1134
cls: klass,
1135
attr: attr
1136
}
1137
}
1138
)
1139
1140
$B.getset_descriptor.__repr__ = $B.getset_descriptor.__str__ = function(self){
1141
return `<attribute '${self.attr}' of '${self.cls.$infos.__name__}' objects>`
1142
}
1143
1144
$B.set_func_names($B.getset_descriptor, "builtins")
1145
1150
// obj is a dictionary, with $string_dict table such that
1151
// obj.$string_dict[key] = [value, rank]
1152
// Transform it into an object with attribute $jsobj such that
1153
// res.$jsobj[key] = value
1154
var res = $B.obj_dict(dict.$to_obj(obj))
1164
throw _b_.TypeError.$factory("'mappingproxy' object does not support " +
1165
"item assignment")
1168
for(var attr in dict){
1169
if(mappingproxy[attr] !== undefined ||
1170
["__class__", "__mro__", "__new__", "__init__", "__delitem__",
1171
"clear", "fromkeys", "pop", "popitem", "setdefault",
1172
"update"].indexOf(attr) > -1){
1173
continue
1174
}
1175
if(typeof dict[attr] == "function"){
1176
mappingproxy[attr] = (function(key){
1177
return function(){
1178
return dict[key].apply(null, arguments)
1179
}
1180
})(attr)
1181
}else{
1182
mappingproxy[attr] = dict[attr]
1183
}
1184
}
1185
1209
throw _b_.AttributeError.$factory("'" + $B.class_name(obj) +
1210
"' object has no attribute '__dict__'")}
1217
})(__BRYTHON__)