OILS / _devbuild / gen / value_asdl.py View on Github | oilshell.org

2315 lines, 1708 significant
1from asdl import pybase
2from mycpp import mops
3from typing import Optional, List, Tuple, Dict, Any, cast, TYPE_CHECKING
4
5if TYPE_CHECKING:
6 from _devbuild.gen.syntax_asdl import loc_t, Token, expr_t, command_t, DoubleQuoted, re_t, proc_sig_t, LiteralBlock, Func, NameType, EggexFlag
7 from _devbuild.gen.runtime_asdl import Cell
8
9
10from asdl import runtime # For runtime.NO_SPID
11from asdl.runtime import NewRecord, NewLeaf, TraversalState
12from _devbuild.gen.hnode_asdl import color_e, hnode, hnode_e, hnode_t, Field
13
14class y_lvalue_e(object):
15 Local = 66
16 Container = 2
17
18_y_lvalue_str = {
19 2: 'Container',
20 66: 'Local',
21}
22
23def y_lvalue_str(tag, dot=True):
24 # type: (int, bool) -> str
25 v = _y_lvalue_str[tag]
26 if dot:
27 return "y_lvalue.%s" % v
28 else:
29 return v
30
31class y_lvalue_t(pybase.CompoundObj):
32 def tag(self):
33 # type: () -> int
34 return self._type_tag
35 pass
36
37class y_lvalue(object):
38 class Container(y_lvalue_t):
39 _type_tag = 2
40 __slots__ = ('obj', 'index')
41
42 def __init__(self, obj, index):
43 # type: (value_t, value_t) -> None
44 self.obj = obj
45 self.index = index
46
47 @staticmethod
48 def CreateNull(alloc_lists=False):
49 # type: () -> y_lvalue.Container
50 return y_lvalue.Container(cast(value_t, None), cast(value_t, None))
51
52 def PrettyTree(self, trav=None):
53 # type: (Optional[TraversalState]) -> hnode_t
54 trav = trav or TraversalState()
55 heap_id = id(self)
56 if heap_id in trav.seen:
57 return hnode.AlreadySeen(heap_id)
58 trav.seen[heap_id] = True
59 out_node = NewRecord('y_lvalue.Container')
60 L = out_node.fields
61
62 assert self.obj is not None
63 x0 = self.obj.PrettyTree(trav=trav)
64 L.append(Field('obj', x0))
65
66 assert self.index is not None
67 x1 = self.index.PrettyTree(trav=trav)
68 L.append(Field('index', x1))
69
70 return out_node
71
72 def _AbbreviatedTree(self, trav=None):
73 # type: (Optional[TraversalState]) -> hnode_t
74 trav = trav or TraversalState()
75 heap_id = id(self)
76 if heap_id in trav.seen:
77 return hnode.AlreadySeen(heap_id)
78 trav.seen[heap_id] = True
79 out_node = NewRecord('y_lvalue.Container')
80 L = out_node.fields
81 assert self.obj is not None
82 x0 = self.obj.AbbreviatedTree(trav=trav)
83 L.append(Field('obj', x0))
84
85 assert self.index is not None
86 x1 = self.index.AbbreviatedTree(trav=trav)
87 L.append(Field('index', x1))
88
89 return out_node
90
91 def AbbreviatedTree(self, trav=None):
92 # type: (Optional[TraversalState]) -> hnode_t
93 return self._AbbreviatedTree(trav=trav)
94
95 pass
96
97class sh_lvalue_e(object):
98 Var = 66
99 Indexed = 2
100 Keyed = 3
101
102_sh_lvalue_str = {
103 2: 'Indexed',
104 3: 'Keyed',
105 66: 'Var',
106}
107
108def sh_lvalue_str(tag, dot=True):
109 # type: (int, bool) -> str
110 v = _sh_lvalue_str[tag]
111 if dot:
112 return "sh_lvalue.%s" % v
113 else:
114 return v
115
116class sh_lvalue_t(pybase.CompoundObj):
117 def tag(self):
118 # type: () -> int
119 return self._type_tag
120 pass
121
122class sh_lvalue(object):
123 class Indexed(sh_lvalue_t):
124 _type_tag = 2
125 __slots__ = ('name', 'index', 'blame_loc')
126
127 def __init__(self, name, index, blame_loc):
128 # type: (str, int, loc_t) -> None
129 self.name = name
130 self.index = index
131 self.blame_loc = blame_loc
132
133 @staticmethod
134 def CreateNull(alloc_lists=False):
135 # type: () -> sh_lvalue.Indexed
136 return sh_lvalue.Indexed('', -1, cast(loc_t, None))
137
138 def PrettyTree(self, trav=None):
139 # type: (Optional[TraversalState]) -> hnode_t
140 trav = trav or TraversalState()
141 heap_id = id(self)
142 if heap_id in trav.seen:
143 return hnode.AlreadySeen(heap_id)
144 trav.seen[heap_id] = True
145 out_node = NewRecord('sh_lvalue.Indexed')
146 L = out_node.fields
147
148 x0 = NewLeaf(self.name, color_e.StringConst)
149 L.append(Field('name', x0))
150
151 x1 = hnode.Leaf(str(self.index), color_e.OtherConst)
152 L.append(Field('index', x1))
153
154 assert self.blame_loc is not None
155 x2 = self.blame_loc.PrettyTree(trav=trav)
156 L.append(Field('blame_loc', x2))
157
158 return out_node
159
160 def _AbbreviatedTree(self, trav=None):
161 # type: (Optional[TraversalState]) -> hnode_t
162 trav = trav or TraversalState()
163 heap_id = id(self)
164 if heap_id in trav.seen:
165 return hnode.AlreadySeen(heap_id)
166 trav.seen[heap_id] = True
167 out_node = NewRecord('sh_lvalue.Indexed')
168 L = out_node.fields
169 x0 = NewLeaf(self.name, color_e.StringConst)
170 L.append(Field('name', x0))
171
172 x1 = hnode.Leaf(str(self.index), color_e.OtherConst)
173 L.append(Field('index', x1))
174
175 assert self.blame_loc is not None
176 x2 = self.blame_loc.AbbreviatedTree(trav=trav)
177 L.append(Field('blame_loc', x2))
178
179 return out_node
180
181 def AbbreviatedTree(self, trav=None):
182 # type: (Optional[TraversalState]) -> hnode_t
183 return self._AbbreviatedTree(trav=trav)
184
185 class Keyed(sh_lvalue_t):
186 _type_tag = 3
187 __slots__ = ('name', 'key', 'blame_loc')
188
189 def __init__(self, name, key, blame_loc):
190 # type: (str, str, loc_t) -> None
191 self.name = name
192 self.key = key
193 self.blame_loc = blame_loc
194
195 @staticmethod
196 def CreateNull(alloc_lists=False):
197 # type: () -> sh_lvalue.Keyed
198 return sh_lvalue.Keyed('', '', cast(loc_t, None))
199
200 def PrettyTree(self, trav=None):
201 # type: (Optional[TraversalState]) -> hnode_t
202 trav = trav or TraversalState()
203 heap_id = id(self)
204 if heap_id in trav.seen:
205 return hnode.AlreadySeen(heap_id)
206 trav.seen[heap_id] = True
207 out_node = NewRecord('sh_lvalue.Keyed')
208 L = out_node.fields
209
210 x0 = NewLeaf(self.name, color_e.StringConst)
211 L.append(Field('name', x0))
212
213 x1 = NewLeaf(self.key, color_e.StringConst)
214 L.append(Field('key', x1))
215
216 assert self.blame_loc is not None
217 x2 = self.blame_loc.PrettyTree(trav=trav)
218 L.append(Field('blame_loc', x2))
219
220 return out_node
221
222 def _AbbreviatedTree(self, trav=None):
223 # type: (Optional[TraversalState]) -> hnode_t
224 trav = trav or TraversalState()
225 heap_id = id(self)
226 if heap_id in trav.seen:
227 return hnode.AlreadySeen(heap_id)
228 trav.seen[heap_id] = True
229 out_node = NewRecord('sh_lvalue.Keyed')
230 L = out_node.fields
231 x0 = NewLeaf(self.name, color_e.StringConst)
232 L.append(Field('name', x0))
233
234 x1 = NewLeaf(self.key, color_e.StringConst)
235 L.append(Field('key', x1))
236
237 assert self.blame_loc is not None
238 x2 = self.blame_loc.AbbreviatedTree(trav=trav)
239 L.append(Field('blame_loc', x2))
240
241 return out_node
242
243 def AbbreviatedTree(self, trav=None):
244 # type: (Optional[TraversalState]) -> hnode_t
245 return self._AbbreviatedTree(trav=trav)
246
247 pass
248
249class eggex_ops_e(object):
250 No = 1
251 Yes = 2
252
253_eggex_ops_str = {
254 1: 'No',
255 2: 'Yes',
256}
257
258def eggex_ops_str(tag, dot=True):
259 # type: (int, bool) -> str
260 v = _eggex_ops_str[tag]
261 if dot:
262 return "eggex_ops.%s" % v
263 else:
264 return v
265
266class eggex_ops_t(pybase.CompoundObj):
267 def tag(self):
268 # type: () -> int
269 return self._type_tag
270 pass
271
272class eggex_ops__No(eggex_ops_t):
273 _type_tag = 1
274 __slots__ = ()
275
276 def __init__(self, ):
277 # type: () -> None
278 pass
279
280 def PrettyTree(self, trav=None):
281 # type: (Optional[TraversalState]) -> hnode_t
282 trav = trav or TraversalState()
283 heap_id = id(self)
284 if heap_id in trav.seen:
285 return hnode.AlreadySeen(heap_id)
286 trav.seen[heap_id] = True
287 out_node = NewRecord('eggex_ops__No')
288 L = out_node.fields
289
290 return out_node
291
292 def _AbbreviatedTree(self, trav=None):
293 # type: (Optional[TraversalState]) -> hnode_t
294 trav = trav or TraversalState()
295 heap_id = id(self)
296 if heap_id in trav.seen:
297 return hnode.AlreadySeen(heap_id)
298 trav.seen[heap_id] = True
299 out_node = NewRecord('eggex_ops__No')
300 L = out_node.fields
301 return out_node
302
303 def AbbreviatedTree(self, trav=None):
304 # type: (Optional[TraversalState]) -> hnode_t
305 return self._AbbreviatedTree(trav=trav)
306
307class eggex_ops(object):
308 No = eggex_ops__No()
309
310 class Yes(eggex_ops_t):
311 _type_tag = 2
312 __slots__ = ('convert_funcs', 'convert_toks', 'capture_names')
313
314 def __init__(self, convert_funcs, convert_toks, capture_names):
315 # type: (List[Optional[value_t]], List[Optional[Token]], List[Optional[str]]) -> None
316 self.convert_funcs = convert_funcs
317 self.convert_toks = convert_toks
318 self.capture_names = capture_names
319
320 @staticmethod
321 def CreateNull(alloc_lists=False):
322 # type: () -> eggex_ops.Yes
323 return eggex_ops.Yes([] if alloc_lists else cast('List[Optional[value_t]]', None), [] if alloc_lists else cast('List[Optional[Token]]', None), [] if alloc_lists else cast('List[Optional[str]]', None))
324
325 def PrettyTree(self, trav=None):
326 # type: (Optional[TraversalState]) -> hnode_t
327 trav = trav or TraversalState()
328 heap_id = id(self)
329 if heap_id in trav.seen:
330 return hnode.AlreadySeen(heap_id)
331 trav.seen[heap_id] = True
332 out_node = NewRecord('eggex_ops.Yes')
333 L = out_node.fields
334
335 if self.convert_funcs is not None: # List
336 x0 = hnode.Array([])
337 for i0 in self.convert_funcs:
338 h = (hnode.Leaf("_", color_e.OtherConst) if i0 is None else
339 i0.PrettyTree(trav=trav))
340 x0.children.append(h)
341 L.append(Field('convert_funcs', x0))
342
343 if self.convert_toks is not None: # List
344 x1 = hnode.Array([])
345 for i1 in self.convert_toks:
346 h = (hnode.Leaf("_", color_e.OtherConst) if i1 is None else
347 i1.PrettyTree(trav=trav))
348 x1.children.append(h)
349 L.append(Field('convert_toks', x1))
350
351 if self.capture_names is not None: # List
352 x2 = hnode.Array([])
353 for i2 in self.capture_names:
354 x2.children.append(NewLeaf(i2, color_e.StringConst))
355 L.append(Field('capture_names', x2))
356
357 return out_node
358
359 def _AbbreviatedTree(self, trav=None):
360 # type: (Optional[TraversalState]) -> hnode_t
361 trav = trav or TraversalState()
362 heap_id = id(self)
363 if heap_id in trav.seen:
364 return hnode.AlreadySeen(heap_id)
365 trav.seen[heap_id] = True
366 out_node = NewRecord('eggex_ops.Yes')
367 L = out_node.fields
368 if self.convert_funcs is not None: # List
369 x0 = hnode.Array([])
370 for i0 in self.convert_funcs:
371 h = (hnode.Leaf("_", color_e.OtherConst) if i0 is None else
372 i0.AbbreviatedTree(trav=trav))
373 x0.children.append(h)
374 L.append(Field('convert_funcs', x0))
375
376 if self.convert_toks is not None: # List
377 x1 = hnode.Array([])
378 for i1 in self.convert_toks:
379 h = (hnode.Leaf("_", color_e.OtherConst) if i1 is None else
380 i1.AbbreviatedTree(trav=trav))
381 x1.children.append(h)
382 L.append(Field('convert_toks', x1))
383
384 if self.capture_names is not None: # List
385 x2 = hnode.Array([])
386 for i2 in self.capture_names:
387 x2.children.append(NewLeaf(i2, color_e.StringConst))
388 L.append(Field('capture_names', x2))
389
390 return out_node
391
392 def AbbreviatedTree(self, trav=None):
393 # type: (Optional[TraversalState]) -> hnode_t
394 return self._AbbreviatedTree(trav=trav)
395
396 pass
397
398class regex_match_e(object):
399 No = 1
400 Yes = 67
401
402_regex_match_str = {
403 1: 'No',
404 67: 'Yes',
405}
406
407def regex_match_str(tag, dot=True):
408 # type: (int, bool) -> str
409 v = _regex_match_str[tag]
410 if dot:
411 return "regex_match.%s" % v
412 else:
413 return v
414
415class regex_match_t(pybase.CompoundObj):
416 def tag(self):
417 # type: () -> int
418 return self._type_tag
419 pass
420
421class regex_match__No(regex_match_t):
422 _type_tag = 1
423 __slots__ = ()
424
425 def __init__(self, ):
426 # type: () -> None
427 pass
428
429 def PrettyTree(self, trav=None):
430 # type: (Optional[TraversalState]) -> hnode_t
431 trav = trav or TraversalState()
432 heap_id = id(self)
433 if heap_id in trav.seen:
434 return hnode.AlreadySeen(heap_id)
435 trav.seen[heap_id] = True
436 out_node = NewRecord('regex_match__No')
437 L = out_node.fields
438
439 return out_node
440
441 def _AbbreviatedTree(self, trav=None):
442 # type: (Optional[TraversalState]) -> hnode_t
443 trav = trav or TraversalState()
444 heap_id = id(self)
445 if heap_id in trav.seen:
446 return hnode.AlreadySeen(heap_id)
447 trav.seen[heap_id] = True
448 out_node = NewRecord('regex_match__No')
449 L = out_node.fields
450 return out_node
451
452 def AbbreviatedTree(self, trav=None):
453 # type: (Optional[TraversalState]) -> hnode_t
454 return self._AbbreviatedTree(trav=trav)
455
456class regex_match(object):
457 No = regex_match__No()
458
459 pass
460
461class value_e(object):
462 Interrupted = 1
463 Stdin = 2
464 Undef = 3
465 Str = 4
466 BashArray = 5
467 SparseArray = 6
468 BashAssoc = 7
469 Null = 8
470 Bool = 9
471 Int = 10
472 Float = 11
473 List = 12
474 Dict = 68
475 Eggex = 14
476 Match = 67
477 Expr = 16
478 Command = 17
479 Block = 18
480 Place = 19
481 Module = 20
482 IO = 21
483 Guts = 22
484 BuiltinFunc = 23
485 BoundFunc = 24
486 Proc = 25
487 Func = 26
488 Slice = 27
489 Range = 28
490
491_value_str = {
492 1: 'Interrupted',
493 2: 'Stdin',
494 3: 'Undef',
495 4: 'Str',
496 5: 'BashArray',
497 6: 'SparseArray',
498 7: 'BashAssoc',
499 8: 'Null',
500 9: 'Bool',
501 10: 'Int',
502 11: 'Float',
503 12: 'List',
504 14: 'Eggex',
505 16: 'Expr',
506 17: 'Command',
507 18: 'Block',
508 19: 'Place',
509 20: 'Module',
510 21: 'IO',
511 22: 'Guts',
512 23: 'BuiltinFunc',
513 24: 'BoundFunc',
514 25: 'Proc',
515 26: 'Func',
516 27: 'Slice',
517 28: 'Range',
518 67: 'Match',
519 68: 'Dict',
520}
521
522def value_str(tag, dot=True):
523 # type: (int, bool) -> str
524 v = _value_str[tag]
525 if dot:
526 return "value.%s" % v
527 else:
528 return v
529
530class value_t(pybase.CompoundObj):
531 def tag(self):
532 # type: () -> int
533 return self._type_tag
534 pass
535
536class value__Interrupted(value_t):
537 _type_tag = 1
538 __slots__ = ()
539
540 def __init__(self, ):
541 # type: () -> None
542 pass
543
544 def PrettyTree(self, trav=None):
545 # type: (Optional[TraversalState]) -> hnode_t
546 trav = trav or TraversalState()
547 heap_id = id(self)
548 if heap_id in trav.seen:
549 return hnode.AlreadySeen(heap_id)
550 trav.seen[heap_id] = True
551 out_node = NewRecord('value__Interrupted')
552 L = out_node.fields
553
554 return out_node
555
556 def _AbbreviatedTree(self, trav=None):
557 # type: (Optional[TraversalState]) -> hnode_t
558 trav = trav or TraversalState()
559 heap_id = id(self)
560 if heap_id in trav.seen:
561 return hnode.AlreadySeen(heap_id)
562 trav.seen[heap_id] = True
563 out_node = NewRecord('value__Interrupted')
564 L = out_node.fields
565 return out_node
566
567 def AbbreviatedTree(self, trav=None):
568 # type: (Optional[TraversalState]) -> hnode_t
569 return self._AbbreviatedTree(trav=trav)
570
571class value__Stdin(value_t):
572 _type_tag = 2
573 __slots__ = ()
574
575 def __init__(self, ):
576 # type: () -> None
577 pass
578
579 def PrettyTree(self, trav=None):
580 # type: (Optional[TraversalState]) -> hnode_t
581 trav = trav or TraversalState()
582 heap_id = id(self)
583 if heap_id in trav.seen:
584 return hnode.AlreadySeen(heap_id)
585 trav.seen[heap_id] = True
586 out_node = NewRecord('value__Stdin')
587 L = out_node.fields
588
589 return out_node
590
591 def _AbbreviatedTree(self, trav=None):
592 # type: (Optional[TraversalState]) -> hnode_t
593 trav = trav or TraversalState()
594 heap_id = id(self)
595 if heap_id in trav.seen:
596 return hnode.AlreadySeen(heap_id)
597 trav.seen[heap_id] = True
598 out_node = NewRecord('value__Stdin')
599 L = out_node.fields
600 return out_node
601
602 def AbbreviatedTree(self, trav=None):
603 # type: (Optional[TraversalState]) -> hnode_t
604 return self._AbbreviatedTree(trav=trav)
605
606class value__Undef(value_t):
607 _type_tag = 3
608 __slots__ = ()
609
610 def __init__(self, ):
611 # type: () -> None
612 pass
613
614 def PrettyTree(self, trav=None):
615 # type: (Optional[TraversalState]) -> hnode_t
616 trav = trav or TraversalState()
617 heap_id = id(self)
618 if heap_id in trav.seen:
619 return hnode.AlreadySeen(heap_id)
620 trav.seen[heap_id] = True
621 out_node = NewRecord('value__Undef')
622 L = out_node.fields
623
624 return out_node
625
626 def _AbbreviatedTree(self, trav=None):
627 # type: (Optional[TraversalState]) -> hnode_t
628 trav = trav or TraversalState()
629 heap_id = id(self)
630 if heap_id in trav.seen:
631 return hnode.AlreadySeen(heap_id)
632 trav.seen[heap_id] = True
633 out_node = NewRecord('value__Undef')
634 L = out_node.fields
635 return out_node
636
637 def AbbreviatedTree(self, trav=None):
638 # type: (Optional[TraversalState]) -> hnode_t
639 return self._AbbreviatedTree(trav=trav)
640
641class value__Null(value_t):
642 _type_tag = 8
643 __slots__ = ()
644
645 def __init__(self, ):
646 # type: () -> None
647 pass
648
649 def PrettyTree(self, trav=None):
650 # type: (Optional[TraversalState]) -> hnode_t
651 trav = trav or TraversalState()
652 heap_id = id(self)
653 if heap_id in trav.seen:
654 return hnode.AlreadySeen(heap_id)
655 trav.seen[heap_id] = True
656 out_node = NewRecord('value__Null')
657 L = out_node.fields
658
659 return out_node
660
661 def _AbbreviatedTree(self, trav=None):
662 # type: (Optional[TraversalState]) -> hnode_t
663 trav = trav or TraversalState()
664 heap_id = id(self)
665 if heap_id in trav.seen:
666 return hnode.AlreadySeen(heap_id)
667 trav.seen[heap_id] = True
668 out_node = NewRecord('value__Null')
669 L = out_node.fields
670 return out_node
671
672 def AbbreviatedTree(self, trav=None):
673 # type: (Optional[TraversalState]) -> hnode_t
674 return self._AbbreviatedTree(trav=trav)
675
676class value(object):
677 Interrupted = value__Interrupted()
678
679 Stdin = value__Stdin()
680
681 Undef = value__Undef()
682
683 class Str(value_t):
684 _type_tag = 4
685 __slots__ = ('s',)
686
687 def __init__(self, s):
688 # type: (str) -> None
689 self.s = s
690
691 @staticmethod
692 def CreateNull(alloc_lists=False):
693 # type: () -> value.Str
694 return value.Str('')
695
696 def PrettyTree(self, trav=None):
697 # type: (Optional[TraversalState]) -> hnode_t
698 trav = trav or TraversalState()
699 heap_id = id(self)
700 if heap_id in trav.seen:
701 return hnode.AlreadySeen(heap_id)
702 trav.seen[heap_id] = True
703 out_node = NewRecord('value.Str')
704 L = out_node.fields
705
706 x0 = NewLeaf(self.s, color_e.StringConst)
707 L.append(Field('s', x0))
708
709 return out_node
710
711 def _AbbreviatedTree(self, trav=None):
712 # type: (Optional[TraversalState]) -> hnode_t
713 trav = trav or TraversalState()
714 heap_id = id(self)
715 if heap_id in trav.seen:
716 return hnode.AlreadySeen(heap_id)
717 trav.seen[heap_id] = True
718 out_node = NewRecord('value.Str')
719 L = out_node.fields
720 x0 = NewLeaf(self.s, color_e.StringConst)
721 L.append(Field('s', x0))
722
723 return out_node
724
725 def AbbreviatedTree(self, trav=None):
726 # type: (Optional[TraversalState]) -> hnode_t
727 return self._AbbreviatedTree(trav=trav)
728
729 class BashArray(value_t):
730 _type_tag = 5
731 __slots__ = ('strs',)
732
733 def __init__(self, strs):
734 # type: (List[str]) -> None
735 self.strs = strs
736
737 @staticmethod
738 def CreateNull(alloc_lists=False):
739 # type: () -> value.BashArray
740 return value.BashArray([] if alloc_lists else cast('List[str]', None))
741
742 def PrettyTree(self, trav=None):
743 # type: (Optional[TraversalState]) -> hnode_t
744 trav = trav or TraversalState()
745 heap_id = id(self)
746 if heap_id in trav.seen:
747 return hnode.AlreadySeen(heap_id)
748 trav.seen[heap_id] = True
749 out_node = NewRecord('value.BashArray')
750 L = out_node.fields
751
752 if self.strs is not None: # List
753 x0 = hnode.Array([])
754 for i0 in self.strs:
755 x0.children.append(NewLeaf(i0, color_e.StringConst))
756 L.append(Field('strs', x0))
757
758 return out_node
759
760 def _AbbreviatedTree(self, trav=None):
761 # type: (Optional[TraversalState]) -> hnode_t
762 trav = trav or TraversalState()
763 heap_id = id(self)
764 if heap_id in trav.seen:
765 return hnode.AlreadySeen(heap_id)
766 trav.seen[heap_id] = True
767 out_node = NewRecord('value.BashArray')
768 L = out_node.fields
769 if self.strs is not None: # List
770 x0 = hnode.Array([])
771 for i0 in self.strs:
772 x0.children.append(NewLeaf(i0, color_e.StringConst))
773 L.append(Field('strs', x0))
774
775 return out_node
776
777 def AbbreviatedTree(self, trav=None):
778 # type: (Optional[TraversalState]) -> hnode_t
779 return self._AbbreviatedTree(trav=trav)
780
781 class SparseArray(value_t):
782 _type_tag = 6
783 __slots__ = ('d', 'max_index')
784
785 def __init__(self, d, max_index):
786 # type: (Dict[mops.BigInt, str], mops.BigInt) -> None
787 self.d = d
788 self.max_index = max_index
789
790 @staticmethod
791 def CreateNull(alloc_lists=False):
792 # type: () -> value.SparseArray
793 return value.SparseArray(cast('Dict[mops.BigInt, str]', None), mops.BigInt(-1))
794
795 def PrettyTree(self, trav=None):
796 # type: (Optional[TraversalState]) -> hnode_t
797 trav = trav or TraversalState()
798 heap_id = id(self)
799 if heap_id in trav.seen:
800 return hnode.AlreadySeen(heap_id)
801 trav.seen[heap_id] = True
802 out_node = NewRecord('value.SparseArray')
803 L = out_node.fields
804
805 if self.d is not None: # Dict
806 m = hnode.Leaf("Dict", color_e.OtherConst)
807 x0 = hnode.Array([m])
808 for k0, v0 in self.d.iteritems():
809 x0.children.append(hnode.Leaf(mops.ToStr(k0), color_e.OtherConst))
810 x0.children.append(NewLeaf(v0, color_e.StringConst))
811 L.append(Field('d', x0))
812
813 x1 = hnode.Leaf(mops.ToStr(self.max_index), color_e.OtherConst)
814 L.append(Field('max_index', x1))
815
816 return out_node
817
818 def _AbbreviatedTree(self, trav=None):
819 # type: (Optional[TraversalState]) -> hnode_t
820 trav = trav or TraversalState()
821 heap_id = id(self)
822 if heap_id in trav.seen:
823 return hnode.AlreadySeen(heap_id)
824 trav.seen[heap_id] = True
825 out_node = NewRecord('value.SparseArray')
826 L = out_node.fields
827 if self.d is not None: # Dict
828 m = hnode.Leaf("Dict", color_e.OtherConst)
829 x0 = hnode.Array([m])
830 for k0, v0 in self.d.iteritems():
831 x0.children.append(hnode.Leaf(mops.ToStr(k0), color_e.OtherConst))
832 x0.children.append(NewLeaf(v0, color_e.StringConst))
833 L.append(Field('d', x0))
834
835 x1 = hnode.Leaf(mops.ToStr(self.max_index), color_e.OtherConst)
836 L.append(Field('max_index', x1))
837
838 return out_node
839
840 def AbbreviatedTree(self, trav=None):
841 # type: (Optional[TraversalState]) -> hnode_t
842 return self._AbbreviatedTree(trav=trav)
843
844 class BashAssoc(value_t):
845 _type_tag = 7
846 __slots__ = ('d',)
847
848 def __init__(self, d):
849 # type: (Dict[str, str]) -> None
850 self.d = d
851
852 @staticmethod
853 def CreateNull(alloc_lists=False):
854 # type: () -> value.BashAssoc
855 return value.BashAssoc(cast('Dict[str, str]', None))
856
857 def PrettyTree(self, trav=None):
858 # type: (Optional[TraversalState]) -> hnode_t
859 trav = trav or TraversalState()
860 heap_id = id(self)
861 if heap_id in trav.seen:
862 return hnode.AlreadySeen(heap_id)
863 trav.seen[heap_id] = True
864 out_node = NewRecord('value.BashAssoc')
865 L = out_node.fields
866
867 if self.d is not None: # Dict
868 m = hnode.Leaf("Dict", color_e.OtherConst)
869 x0 = hnode.Array([m])
870 for k0, v0 in self.d.iteritems():
871 x0.children.append(NewLeaf(k0, color_e.StringConst))
872 x0.children.append(NewLeaf(v0, color_e.StringConst))
873 L.append(Field('d', x0))
874
875 return out_node
876
877 def _AbbreviatedTree(self, trav=None):
878 # type: (Optional[TraversalState]) -> hnode_t
879 trav = trav or TraversalState()
880 heap_id = id(self)
881 if heap_id in trav.seen:
882 return hnode.AlreadySeen(heap_id)
883 trav.seen[heap_id] = True
884 out_node = NewRecord('value.BashAssoc')
885 L = out_node.fields
886 if self.d is not None: # Dict
887 m = hnode.Leaf("Dict", color_e.OtherConst)
888 x0 = hnode.Array([m])
889 for k0, v0 in self.d.iteritems():
890 x0.children.append(NewLeaf(k0, color_e.StringConst))
891 x0.children.append(NewLeaf(v0, color_e.StringConst))
892 L.append(Field('d', x0))
893
894 return out_node
895
896 def AbbreviatedTree(self, trav=None):
897 # type: (Optional[TraversalState]) -> hnode_t
898 return self._AbbreviatedTree(trav=trav)
899
900 Null = value__Null()
901
902 class Bool(value_t):
903 _type_tag = 9
904 __slots__ = ('b',)
905
906 def __init__(self, b):
907 # type: (bool) -> None
908 self.b = b
909
910 @staticmethod
911 def CreateNull(alloc_lists=False):
912 # type: () -> value.Bool
913 return value.Bool(False)
914
915 def PrettyTree(self, trav=None):
916 # type: (Optional[TraversalState]) -> hnode_t
917 trav = trav or TraversalState()
918 heap_id = id(self)
919 if heap_id in trav.seen:
920 return hnode.AlreadySeen(heap_id)
921 trav.seen[heap_id] = True
922 out_node = NewRecord('value.Bool')
923 L = out_node.fields
924
925 x0 = hnode.Leaf('T' if self.b else 'F', color_e.OtherConst)
926 L.append(Field('b', x0))
927
928 return out_node
929
930 def _AbbreviatedTree(self, trav=None):
931 # type: (Optional[TraversalState]) -> hnode_t
932 trav = trav or TraversalState()
933 heap_id = id(self)
934 if heap_id in trav.seen:
935 return hnode.AlreadySeen(heap_id)
936 trav.seen[heap_id] = True
937 out_node = NewRecord('value.Bool')
938 L = out_node.fields
939 x0 = hnode.Leaf('T' if self.b else 'F', color_e.OtherConst)
940 L.append(Field('b', x0))
941
942 return out_node
943
944 def AbbreviatedTree(self, trav=None):
945 # type: (Optional[TraversalState]) -> hnode_t
946 return self._AbbreviatedTree(trav=trav)
947
948 class Int(value_t):
949 _type_tag = 10
950 __slots__ = ('i',)
951
952 def __init__(self, i):
953 # type: (mops.BigInt) -> None
954 self.i = i
955
956 @staticmethod
957 def CreateNull(alloc_lists=False):
958 # type: () -> value.Int
959 return value.Int(mops.BigInt(-1))
960
961 def PrettyTree(self, trav=None):
962 # type: (Optional[TraversalState]) -> hnode_t
963 trav = trav or TraversalState()
964 heap_id = id(self)
965 if heap_id in trav.seen:
966 return hnode.AlreadySeen(heap_id)
967 trav.seen[heap_id] = True
968 out_node = NewRecord('value.Int')
969 L = out_node.fields
970
971 x0 = hnode.Leaf(mops.ToStr(self.i), color_e.OtherConst)
972 L.append(Field('i', x0))
973
974 return out_node
975
976 def _AbbreviatedTree(self, trav=None):
977 # type: (Optional[TraversalState]) -> hnode_t
978 trav = trav or TraversalState()
979 heap_id = id(self)
980 if heap_id in trav.seen:
981 return hnode.AlreadySeen(heap_id)
982 trav.seen[heap_id] = True
983 out_node = NewRecord('value.Int')
984 L = out_node.fields
985 x0 = hnode.Leaf(mops.ToStr(self.i), color_e.OtherConst)
986 L.append(Field('i', x0))
987
988 return out_node
989
990 def AbbreviatedTree(self, trav=None):
991 # type: (Optional[TraversalState]) -> hnode_t
992 return self._AbbreviatedTree(trav=trav)
993
994 class Float(value_t):
995 _type_tag = 11
996 __slots__ = ('f',)
997
998 def __init__(self, f):
999 # type: (float) -> None
1000 self.f = f
1001
1002 @staticmethod
1003 def CreateNull(alloc_lists=False):
1004 # type: () -> value.Float
1005 return value.Float(0.0)
1006
1007 def PrettyTree(self, trav=None):
1008 # type: (Optional[TraversalState]) -> hnode_t
1009 trav = trav or TraversalState()
1010 heap_id = id(self)
1011 if heap_id in trav.seen:
1012 return hnode.AlreadySeen(heap_id)
1013 trav.seen[heap_id] = True
1014 out_node = NewRecord('value.Float')
1015 L = out_node.fields
1016
1017 x0 = hnode.Leaf(str(self.f), color_e.OtherConst)
1018 L.append(Field('f', x0))
1019
1020 return out_node
1021
1022 def _AbbreviatedTree(self, trav=None):
1023 # type: (Optional[TraversalState]) -> hnode_t
1024 trav = trav or TraversalState()
1025 heap_id = id(self)
1026 if heap_id in trav.seen:
1027 return hnode.AlreadySeen(heap_id)
1028 trav.seen[heap_id] = True
1029 out_node = NewRecord('value.Float')
1030 L = out_node.fields
1031 x0 = hnode.Leaf(str(self.f), color_e.OtherConst)
1032 L.append(Field('f', x0))
1033
1034 return out_node
1035
1036 def AbbreviatedTree(self, trav=None):
1037 # type: (Optional[TraversalState]) -> hnode_t
1038 return self._AbbreviatedTree(trav=trav)
1039
1040 class List(value_t):
1041 _type_tag = 12
1042 __slots__ = ('items',)
1043
1044 def __init__(self, items):
1045 # type: (List[value_t]) -> None
1046 self.items = items
1047
1048 @staticmethod
1049 def CreateNull(alloc_lists=False):
1050 # type: () -> value.List
1051 return value.List([] if alloc_lists else cast('List[value_t]', None))
1052
1053 def PrettyTree(self, trav=None):
1054 # type: (Optional[TraversalState]) -> hnode_t
1055 trav = trav or TraversalState()
1056 heap_id = id(self)
1057 if heap_id in trav.seen:
1058 return hnode.AlreadySeen(heap_id)
1059 trav.seen[heap_id] = True
1060 out_node = NewRecord('value.List')
1061 L = out_node.fields
1062
1063 if self.items is not None: # List
1064 x0 = hnode.Array([])
1065 for i0 in self.items:
1066 h = (hnode.Leaf("_", color_e.OtherConst) if i0 is None else
1067 i0.PrettyTree(trav=trav))
1068 x0.children.append(h)
1069 L.append(Field('items', x0))
1070
1071 return out_node
1072
1073 def _AbbreviatedTree(self, trav=None):
1074 # type: (Optional[TraversalState]) -> hnode_t
1075 trav = trav or TraversalState()
1076 heap_id = id(self)
1077 if heap_id in trav.seen:
1078 return hnode.AlreadySeen(heap_id)
1079 trav.seen[heap_id] = True
1080 out_node = NewRecord('value.List')
1081 L = out_node.fields
1082 if self.items is not None: # List
1083 x0 = hnode.Array([])
1084 for i0 in self.items:
1085 h = (hnode.Leaf("_", color_e.OtherConst) if i0 is None else
1086 i0.AbbreviatedTree(trav=trav))
1087 x0.children.append(h)
1088 L.append(Field('items', x0))
1089
1090 return out_node
1091
1092 def AbbreviatedTree(self, trav=None):
1093 # type: (Optional[TraversalState]) -> hnode_t
1094 return self._AbbreviatedTree(trav=trav)
1095
1096 class Eggex(value_t):
1097 _type_tag = 14
1098 __slots__ = ('spliced', 'canonical_flags', 'convert_funcs', 'convert_toks',
1099 'as_ere', 'capture_names')
1100
1101 def __init__(self, spliced, canonical_flags, convert_funcs, convert_toks,
1102 as_ere, capture_names):
1103 # type: (re_t, str, List[Optional[value_t]], List[Optional[Token]], Optional[str], List[Optional[str]]) -> None
1104 self.spliced = spliced
1105 self.canonical_flags = canonical_flags
1106 self.convert_funcs = convert_funcs
1107 self.convert_toks = convert_toks
1108 self.as_ere = as_ere
1109 self.capture_names = capture_names
1110
1111 @staticmethod
1112 def CreateNull(alloc_lists=False):
1113 # type: () -> value.Eggex
1114 return value.Eggex(cast(re_t, None), '', [] if alloc_lists else cast('List[Optional[value_t]]', None), [] if alloc_lists else cast('List[Optional[Token]]', None), cast('Optional[str]', None), [] if alloc_lists else cast('List[Optional[str]]', None))
1115
1116 def PrettyTree(self, trav=None):
1117 # type: (Optional[TraversalState]) -> hnode_t
1118 trav = trav or TraversalState()
1119 heap_id = id(self)
1120 if heap_id in trav.seen:
1121 return hnode.AlreadySeen(heap_id)
1122 trav.seen[heap_id] = True
1123 out_node = NewRecord('value.Eggex')
1124 L = out_node.fields
1125
1126 assert self.spliced is not None
1127 x0 = self.spliced.PrettyTree(trav=trav)
1128 L.append(Field('spliced', x0))
1129
1130 x1 = NewLeaf(self.canonical_flags, color_e.StringConst)
1131 L.append(Field('canonical_flags', x1))
1132
1133 if self.convert_funcs is not None: # List
1134 x2 = hnode.Array([])
1135 for i2 in self.convert_funcs:
1136 h = (hnode.Leaf("_", color_e.OtherConst) if i2 is None else
1137 i2.PrettyTree(trav=trav))
1138 x2.children.append(h)
1139 L.append(Field('convert_funcs', x2))
1140
1141 if self.convert_toks is not None: # List
1142 x3 = hnode.Array([])
1143 for i3 in self.convert_toks:
1144 h = (hnode.Leaf("_", color_e.OtherConst) if i3 is None else
1145 i3.PrettyTree(trav=trav))
1146 x3.children.append(h)
1147 L.append(Field('convert_toks', x3))
1148
1149 if self.as_ere is not None: # Optional
1150 x4 = NewLeaf(self.as_ere, color_e.StringConst)
1151 L.append(Field('as_ere', x4))
1152
1153 if self.capture_names is not None: # List
1154 x5 = hnode.Array([])
1155 for i5 in self.capture_names:
1156 x5.children.append(NewLeaf(i5, color_e.StringConst))
1157 L.append(Field('capture_names', x5))
1158
1159 return out_node
1160
1161 def _AbbreviatedTree(self, trav=None):
1162 # type: (Optional[TraversalState]) -> hnode_t
1163 trav = trav or TraversalState()
1164 heap_id = id(self)
1165 if heap_id in trav.seen:
1166 return hnode.AlreadySeen(heap_id)
1167 trav.seen[heap_id] = True
1168 out_node = NewRecord('value.Eggex')
1169 L = out_node.fields
1170 assert self.spliced is not None
1171 x0 = self.spliced.AbbreviatedTree(trav=trav)
1172 L.append(Field('spliced', x0))
1173
1174 x1 = NewLeaf(self.canonical_flags, color_e.StringConst)
1175 L.append(Field('canonical_flags', x1))
1176
1177 if self.convert_funcs is not None: # List
1178 x2 = hnode.Array([])
1179 for i2 in self.convert_funcs:
1180 h = (hnode.Leaf("_", color_e.OtherConst) if i2 is None else
1181 i2.AbbreviatedTree(trav=trav))
1182 x2.children.append(h)
1183 L.append(Field('convert_funcs', x2))
1184
1185 if self.convert_toks is not None: # List
1186 x3 = hnode.Array([])
1187 for i3 in self.convert_toks:
1188 h = (hnode.Leaf("_", color_e.OtherConst) if i3 is None else
1189 i3.AbbreviatedTree(trav=trav))
1190 x3.children.append(h)
1191 L.append(Field('convert_toks', x3))
1192
1193 if self.as_ere is not None: # Optional
1194 x4 = NewLeaf(self.as_ere, color_e.StringConst)
1195 L.append(Field('as_ere', x4))
1196
1197 if self.capture_names is not None: # List
1198 x5 = hnode.Array([])
1199 for i5 in self.capture_names:
1200 x5.children.append(NewLeaf(i5, color_e.StringConst))
1201 L.append(Field('capture_names', x5))
1202
1203 return out_node
1204
1205 def AbbreviatedTree(self, trav=None):
1206 # type: (Optional[TraversalState]) -> hnode_t
1207 return self._AbbreviatedTree(trav=trav)
1208
1209 class Expr(value_t):
1210 _type_tag = 16
1211 __slots__ = ('e',)
1212
1213 def __init__(self, e):
1214 # type: (expr_t) -> None
1215 self.e = e
1216
1217 @staticmethod
1218 def CreateNull(alloc_lists=False):
1219 # type: () -> value.Expr
1220 return value.Expr(cast(expr_t, None))
1221
1222 def PrettyTree(self, trav=None):
1223 # type: (Optional[TraversalState]) -> hnode_t
1224 trav = trav or TraversalState()
1225 heap_id = id(self)
1226 if heap_id in trav.seen:
1227 return hnode.AlreadySeen(heap_id)
1228 trav.seen[heap_id] = True
1229 out_node = NewRecord('value.Expr')
1230 L = out_node.fields
1231
1232 assert self.e is not None
1233 x0 = self.e.PrettyTree(trav=trav)
1234 L.append(Field('e', x0))
1235
1236 return out_node
1237
1238 def _AbbreviatedTree(self, trav=None):
1239 # type: (Optional[TraversalState]) -> hnode_t
1240 trav = trav or TraversalState()
1241 heap_id = id(self)
1242 if heap_id in trav.seen:
1243 return hnode.AlreadySeen(heap_id)
1244 trav.seen[heap_id] = True
1245 out_node = NewRecord('value.Expr')
1246 L = out_node.fields
1247 assert self.e is not None
1248 x0 = self.e.AbbreviatedTree(trav=trav)
1249 L.append(Field('e', x0))
1250
1251 return out_node
1252
1253 def AbbreviatedTree(self, trav=None):
1254 # type: (Optional[TraversalState]) -> hnode_t
1255 return self._AbbreviatedTree(trav=trav)
1256
1257 class Command(value_t):
1258 _type_tag = 17
1259 __slots__ = ('c',)
1260
1261 def __init__(self, c):
1262 # type: (command_t) -> None
1263 self.c = c
1264
1265 @staticmethod
1266 def CreateNull(alloc_lists=False):
1267 # type: () -> value.Command
1268 return value.Command(cast(command_t, None))
1269
1270 def PrettyTree(self, trav=None):
1271 # type: (Optional[TraversalState]) -> hnode_t
1272 trav = trav or TraversalState()
1273 heap_id = id(self)
1274 if heap_id in trav.seen:
1275 return hnode.AlreadySeen(heap_id)
1276 trav.seen[heap_id] = True
1277 out_node = NewRecord('value.Command')
1278 L = out_node.fields
1279
1280 assert self.c is not None
1281 x0 = self.c.PrettyTree(trav=trav)
1282 L.append(Field('c', x0))
1283
1284 return out_node
1285
1286 def _AbbreviatedTree(self, trav=None):
1287 # type: (Optional[TraversalState]) -> hnode_t
1288 trav = trav or TraversalState()
1289 heap_id = id(self)
1290 if heap_id in trav.seen:
1291 return hnode.AlreadySeen(heap_id)
1292 trav.seen[heap_id] = True
1293 out_node = NewRecord('value.Command')
1294 L = out_node.fields
1295 assert self.c is not None
1296 x0 = self.c.AbbreviatedTree(trav=trav)
1297 L.append(Field('c', x0))
1298
1299 return out_node
1300
1301 def AbbreviatedTree(self, trav=None):
1302 # type: (Optional[TraversalState]) -> hnode_t
1303 return self._AbbreviatedTree(trav=trav)
1304
1305 class Block(value_t):
1306 _type_tag = 18
1307 __slots__ = ('block',)
1308
1309 def __init__(self, block):
1310 # type: (LiteralBlock) -> None
1311 self.block = block
1312
1313 @staticmethod
1314 def CreateNull(alloc_lists=False):
1315 # type: () -> value.Block
1316 return value.Block(cast(LiteralBlock, None))
1317
1318 def PrettyTree(self, trav=None):
1319 # type: (Optional[TraversalState]) -> hnode_t
1320 trav = trav or TraversalState()
1321 heap_id = id(self)
1322 if heap_id in trav.seen:
1323 return hnode.AlreadySeen(heap_id)
1324 trav.seen[heap_id] = True
1325 out_node = NewRecord('value.Block')
1326 L = out_node.fields
1327
1328 assert self.block is not None
1329 x0 = self.block.PrettyTree(trav=trav)
1330 L.append(Field('block', x0))
1331
1332 return out_node
1333
1334 def _AbbreviatedTree(self, trav=None):
1335 # type: (Optional[TraversalState]) -> hnode_t
1336 trav = trav or TraversalState()
1337 heap_id = id(self)
1338 if heap_id in trav.seen:
1339 return hnode.AlreadySeen(heap_id)
1340 trav.seen[heap_id] = True
1341 out_node = NewRecord('value.Block')
1342 L = out_node.fields
1343 assert self.block is not None
1344 x0 = self.block.AbbreviatedTree(trav=trav)
1345 L.append(Field('block', x0))
1346
1347 return out_node
1348
1349 def AbbreviatedTree(self, trav=None):
1350 # type: (Optional[TraversalState]) -> hnode_t
1351 return self._AbbreviatedTree(trav=trav)
1352
1353 class Place(value_t):
1354 _type_tag = 19
1355 __slots__ = ('lval', 'frame')
1356
1357 def __init__(self, lval, frame):
1358 # type: (y_lvalue_t, Dict[str, Cell]) -> None
1359 self.lval = lval
1360 self.frame = frame
1361
1362 @staticmethod
1363 def CreateNull(alloc_lists=False):
1364 # type: () -> value.Place
1365 return value.Place(cast(y_lvalue_t, None), cast('Dict[str, Cell]', None))
1366
1367 def PrettyTree(self, trav=None):
1368 # type: (Optional[TraversalState]) -> hnode_t
1369 trav = trav or TraversalState()
1370 heap_id = id(self)
1371 if heap_id in trav.seen:
1372 return hnode.AlreadySeen(heap_id)
1373 trav.seen[heap_id] = True
1374 out_node = NewRecord('value.Place')
1375 L = out_node.fields
1376
1377 assert self.lval is not None
1378 x0 = self.lval.PrettyTree(trav=trav)
1379 L.append(Field('lval', x0))
1380
1381 if self.frame is not None: # Dict
1382 m = hnode.Leaf("Dict", color_e.OtherConst)
1383 x1 = hnode.Array([m])
1384 for k1, v1 in self.frame.iteritems():
1385 x1.children.append(NewLeaf(k1, color_e.StringConst))
1386 x1.children.append(v1.PrettyTree(trav=trav))
1387 L.append(Field('frame', x1))
1388
1389 return out_node
1390
1391 def _AbbreviatedTree(self, trav=None):
1392 # type: (Optional[TraversalState]) -> hnode_t
1393 trav = trav or TraversalState()
1394 heap_id = id(self)
1395 if heap_id in trav.seen:
1396 return hnode.AlreadySeen(heap_id)
1397 trav.seen[heap_id] = True
1398 out_node = NewRecord('value.Place')
1399 L = out_node.fields
1400 assert self.lval is not None
1401 x0 = self.lval.AbbreviatedTree(trav=trav)
1402 L.append(Field('lval', x0))
1403
1404 if self.frame is not None: # Dict
1405 m = hnode.Leaf("Dict", color_e.OtherConst)
1406 x1 = hnode.Array([m])
1407 for k1, v1 in self.frame.iteritems():
1408 x1.children.append(NewLeaf(k1, color_e.StringConst))
1409 x1.children.append(v1.AbbreviatedTree(trav=trav))
1410 L.append(Field('frame', x1))
1411
1412 return out_node
1413
1414 def AbbreviatedTree(self, trav=None):
1415 # type: (Optional[TraversalState]) -> hnode_t
1416 return self._AbbreviatedTree(trav=trav)
1417
1418 class Module(value_t):
1419 _type_tag = 20
1420 __slots__ = ('defs',)
1421
1422 def __init__(self, defs):
1423 # type: (Dict[str, value_t]) -> None
1424 self.defs = defs
1425
1426 @staticmethod
1427 def CreateNull(alloc_lists=False):
1428 # type: () -> value.Module
1429 return value.Module(cast('Dict[str, value_t]', None))
1430
1431 def PrettyTree(self, trav=None):
1432 # type: (Optional[TraversalState]) -> hnode_t
1433 trav = trav or TraversalState()
1434 heap_id = id(self)
1435 if heap_id in trav.seen:
1436 return hnode.AlreadySeen(heap_id)
1437 trav.seen[heap_id] = True
1438 out_node = NewRecord('value.Module')
1439 L = out_node.fields
1440
1441 if self.defs is not None: # Dict
1442 m = hnode.Leaf("Dict", color_e.OtherConst)
1443 x0 = hnode.Array([m])
1444 for k0, v0 in self.defs.iteritems():
1445 x0.children.append(NewLeaf(k0, color_e.StringConst))
1446 x0.children.append(v0.PrettyTree(trav=trav))
1447 L.append(Field('defs', x0))
1448
1449 return out_node
1450
1451 def _AbbreviatedTree(self, trav=None):
1452 # type: (Optional[TraversalState]) -> hnode_t
1453 trav = trav or TraversalState()
1454 heap_id = id(self)
1455 if heap_id in trav.seen:
1456 return hnode.AlreadySeen(heap_id)
1457 trav.seen[heap_id] = True
1458 out_node = NewRecord('value.Module')
1459 L = out_node.fields
1460 if self.defs is not None: # Dict
1461 m = hnode.Leaf("Dict", color_e.OtherConst)
1462 x0 = hnode.Array([m])
1463 for k0, v0 in self.defs.iteritems():
1464 x0.children.append(NewLeaf(k0, color_e.StringConst))
1465 x0.children.append(v0.AbbreviatedTree(trav=trav))
1466 L.append(Field('defs', x0))
1467
1468 return out_node
1469
1470 def AbbreviatedTree(self, trav=None):
1471 # type: (Optional[TraversalState]) -> hnode_t
1472 return self._AbbreviatedTree(trav=trav)
1473
1474 class IO(value_t):
1475 _type_tag = 21
1476 __slots__ = ('cmd_ev', 'prompt_ev')
1477
1478 def __init__(self, cmd_ev, prompt_ev):
1479 # type: (Any, Any) -> None
1480 self.cmd_ev = cmd_ev
1481 self.prompt_ev = prompt_ev
1482
1483 @staticmethod
1484 def CreateNull(alloc_lists=False):
1485 # type: () -> value.IO
1486 return value.IO(cast(Any, None), cast(Any, None))
1487
1488 def PrettyTree(self, trav=None):
1489 # type: (Optional[TraversalState]) -> hnode_t
1490 trav = trav or TraversalState()
1491 heap_id = id(self)
1492 if heap_id in trav.seen:
1493 return hnode.AlreadySeen(heap_id)
1494 trav.seen[heap_id] = True
1495 out_node = NewRecord('value.IO')
1496 L = out_node.fields
1497
1498 x0 = hnode.External(self.cmd_ev)
1499 L.append(Field('cmd_ev', x0))
1500
1501 x1 = hnode.External(self.prompt_ev)
1502 L.append(Field('prompt_ev', x1))
1503
1504 return out_node
1505
1506 def _AbbreviatedTree(self, trav=None):
1507 # type: (Optional[TraversalState]) -> hnode_t
1508 trav = trav or TraversalState()
1509 heap_id = id(self)
1510 if heap_id in trav.seen:
1511 return hnode.AlreadySeen(heap_id)
1512 trav.seen[heap_id] = True
1513 out_node = NewRecord('value.IO')
1514 L = out_node.fields
1515 x0 = hnode.External(self.cmd_ev)
1516 L.append(Field('cmd_ev', x0))
1517
1518 x1 = hnode.External(self.prompt_ev)
1519 L.append(Field('prompt_ev', x1))
1520
1521 return out_node
1522
1523 def AbbreviatedTree(self, trav=None):
1524 # type: (Optional[TraversalState]) -> hnode_t
1525 return self._AbbreviatedTree(trav=trav)
1526
1527 class Guts(value_t):
1528 _type_tag = 22
1529 __slots__ = ('vm',)
1530
1531 def __init__(self, vm):
1532 # type: (Any) -> None
1533 self.vm = vm
1534
1535 @staticmethod
1536 def CreateNull(alloc_lists=False):
1537 # type: () -> value.Guts
1538 return value.Guts(cast(Any, None))
1539
1540 def PrettyTree(self, trav=None):
1541 # type: (Optional[TraversalState]) -> hnode_t
1542 trav = trav or TraversalState()
1543 heap_id = id(self)
1544 if heap_id in trav.seen:
1545 return hnode.AlreadySeen(heap_id)
1546 trav.seen[heap_id] = True
1547 out_node = NewRecord('value.Guts')
1548 L = out_node.fields
1549
1550 x0 = hnode.External(self.vm)
1551 L.append(Field('vm', x0))
1552
1553 return out_node
1554
1555 def _AbbreviatedTree(self, trav=None):
1556 # type: (Optional[TraversalState]) -> hnode_t
1557 trav = trav or TraversalState()
1558 heap_id = id(self)
1559 if heap_id in trav.seen:
1560 return hnode.AlreadySeen(heap_id)
1561 trav.seen[heap_id] = True
1562 out_node = NewRecord('value.Guts')
1563 L = out_node.fields
1564 x0 = hnode.External(self.vm)
1565 L.append(Field('vm', x0))
1566
1567 return out_node
1568
1569 def AbbreviatedTree(self, trav=None):
1570 # type: (Optional[TraversalState]) -> hnode_t
1571 return self._AbbreviatedTree(trav=trav)
1572
1573 class BuiltinFunc(value_t):
1574 _type_tag = 23
1575 __slots__ = ('callable',)
1576
1577 def __init__(self, callable):
1578 # type: (Any) -> None
1579 self.callable = callable
1580
1581 @staticmethod
1582 def CreateNull(alloc_lists=False):
1583 # type: () -> value.BuiltinFunc
1584 return value.BuiltinFunc(cast(Any, None))
1585
1586 def PrettyTree(self, trav=None):
1587 # type: (Optional[TraversalState]) -> hnode_t
1588 trav = trav or TraversalState()
1589 heap_id = id(self)
1590 if heap_id in trav.seen:
1591 return hnode.AlreadySeen(heap_id)
1592 trav.seen[heap_id] = True
1593 out_node = NewRecord('value.BuiltinFunc')
1594 L = out_node.fields
1595
1596 x0 = hnode.External(self.callable)
1597 L.append(Field('callable', x0))
1598
1599 return out_node
1600
1601 def _AbbreviatedTree(self, trav=None):
1602 # type: (Optional[TraversalState]) -> hnode_t
1603 trav = trav or TraversalState()
1604 heap_id = id(self)
1605 if heap_id in trav.seen:
1606 return hnode.AlreadySeen(heap_id)
1607 trav.seen[heap_id] = True
1608 out_node = NewRecord('value.BuiltinFunc')
1609 L = out_node.fields
1610 x0 = hnode.External(self.callable)
1611 L.append(Field('callable', x0))
1612
1613 return out_node
1614
1615 def AbbreviatedTree(self, trav=None):
1616 # type: (Optional[TraversalState]) -> hnode_t
1617 return self._AbbreviatedTree(trav=trav)
1618
1619 class BoundFunc(value_t):
1620 _type_tag = 24
1621 __slots__ = ('me', 'func')
1622
1623 def __init__(self, me, func):
1624 # type: (value_t, value_t) -> None
1625 self.me = me
1626 self.func = func
1627
1628 @staticmethod
1629 def CreateNull(alloc_lists=False):
1630 # type: () -> value.BoundFunc
1631 return value.BoundFunc(cast(value_t, None), cast(value_t, None))
1632
1633 def PrettyTree(self, trav=None):
1634 # type: (Optional[TraversalState]) -> hnode_t
1635 trav = trav or TraversalState()
1636 heap_id = id(self)
1637 if heap_id in trav.seen:
1638 return hnode.AlreadySeen(heap_id)
1639 trav.seen[heap_id] = True
1640 out_node = NewRecord('value.BoundFunc')
1641 L = out_node.fields
1642
1643 assert self.me is not None
1644 x0 = self.me.PrettyTree(trav=trav)
1645 L.append(Field('me', x0))
1646
1647 assert self.func is not None
1648 x1 = self.func.PrettyTree(trav=trav)
1649 L.append(Field('func', x1))
1650
1651 return out_node
1652
1653 def _AbbreviatedTree(self, trav=None):
1654 # type: (Optional[TraversalState]) -> hnode_t
1655 trav = trav or TraversalState()
1656 heap_id = id(self)
1657 if heap_id in trav.seen:
1658 return hnode.AlreadySeen(heap_id)
1659 trav.seen[heap_id] = True
1660 out_node = NewRecord('value.BoundFunc')
1661 L = out_node.fields
1662 assert self.me is not None
1663 x0 = self.me.AbbreviatedTree(trav=trav)
1664 L.append(Field('me', x0))
1665
1666 assert self.func is not None
1667 x1 = self.func.AbbreviatedTree(trav=trav)
1668 L.append(Field('func', x1))
1669
1670 return out_node
1671
1672 def AbbreviatedTree(self, trav=None):
1673 # type: (Optional[TraversalState]) -> hnode_t
1674 return self._AbbreviatedTree(trav=trav)
1675
1676 class Proc(value_t):
1677 _type_tag = 25
1678 __slots__ = ('name', 'name_tok', 'sig', 'body', 'defaults', 'sh_compat')
1679
1680 def __init__(self, name, name_tok, sig, body, defaults, sh_compat):
1681 # type: (str, Token, proc_sig_t, command_t, Optional[ProcDefaults], bool) -> None
1682 self.name = name
1683 self.name_tok = name_tok
1684 self.sig = sig
1685 self.body = body
1686 self.defaults = defaults
1687 self.sh_compat = sh_compat
1688
1689 @staticmethod
1690 def CreateNull(alloc_lists=False):
1691 # type: () -> value.Proc
1692 return value.Proc('', cast(Token, None), cast(proc_sig_t, None), cast(command_t, None), cast('Optional[ProcDefaults]', None), False)
1693
1694 def PrettyTree(self, trav=None):
1695 # type: (Optional[TraversalState]) -> hnode_t
1696 trav = trav or TraversalState()
1697 heap_id = id(self)
1698 if heap_id in trav.seen:
1699 return hnode.AlreadySeen(heap_id)
1700 trav.seen[heap_id] = True
1701 out_node = NewRecord('value.Proc')
1702 L = out_node.fields
1703
1704 x0 = NewLeaf(self.name, color_e.StringConst)
1705 L.append(Field('name', x0))
1706
1707 assert self.name_tok is not None
1708 x1 = self.name_tok.PrettyTree(trav=trav)
1709 L.append(Field('name_tok', x1))
1710
1711 assert self.sig is not None
1712 x2 = self.sig.PrettyTree(trav=trav)
1713 L.append(Field('sig', x2))
1714
1715 assert self.body is not None
1716 x3 = self.body.PrettyTree(trav=trav)
1717 L.append(Field('body', x3))
1718
1719 if self.defaults is not None: # Optional
1720 x4 = self.defaults.PrettyTree(trav=trav)
1721 L.append(Field('defaults', x4))
1722
1723 x5 = hnode.Leaf('T' if self.sh_compat else 'F', color_e.OtherConst)
1724 L.append(Field('sh_compat', x5))
1725
1726 return out_node
1727
1728 def _AbbreviatedTree(self, trav=None):
1729 # type: (Optional[TraversalState]) -> hnode_t
1730 trav = trav or TraversalState()
1731 heap_id = id(self)
1732 if heap_id in trav.seen:
1733 return hnode.AlreadySeen(heap_id)
1734 trav.seen[heap_id] = True
1735 out_node = NewRecord('value.Proc')
1736 L = out_node.fields
1737 x0 = NewLeaf(self.name, color_e.StringConst)
1738 L.append(Field('name', x0))
1739
1740 assert self.name_tok is not None
1741 x1 = self.name_tok.AbbreviatedTree(trav=trav)
1742 L.append(Field('name_tok', x1))
1743
1744 assert self.sig is not None
1745 x2 = self.sig.AbbreviatedTree(trav=trav)
1746 L.append(Field('sig', x2))
1747
1748 assert self.body is not None
1749 x3 = self.body.AbbreviatedTree(trav=trav)
1750 L.append(Field('body', x3))
1751
1752 if self.defaults is not None: # Optional
1753 x4 = self.defaults.AbbreviatedTree(trav=trav)
1754 L.append(Field('defaults', x4))
1755
1756 x5 = hnode.Leaf('T' if self.sh_compat else 'F', color_e.OtherConst)
1757 L.append(Field('sh_compat', x5))
1758
1759 return out_node
1760
1761 def AbbreviatedTree(self, trav=None):
1762 # type: (Optional[TraversalState]) -> hnode_t
1763 return self._AbbreviatedTree(trav=trav)
1764
1765 class Func(value_t):
1766 _type_tag = 26
1767 __slots__ = ('name', 'parsed', 'pos_defaults', 'named_defaults', 'module_')
1768
1769 def __init__(self, name, parsed, pos_defaults, named_defaults, module_):
1770 # type: (str, Func, List[value_t], Dict[str, value_t], Optional[Dict[str, Cell]]) -> None
1771 self.name = name
1772 self.parsed = parsed
1773 self.pos_defaults = pos_defaults
1774 self.named_defaults = named_defaults
1775 self.module_ = module_
1776
1777 @staticmethod
1778 def CreateNull(alloc_lists=False):
1779 # type: () -> value.Func
1780 return value.Func('', cast(Func, None), [] if alloc_lists else cast('List[value_t]', None), cast('Dict[str, value_t]', None), cast('Optional[Dict[str, Cell]]', None))
1781
1782 def PrettyTree(self, trav=None):
1783 # type: (Optional[TraversalState]) -> hnode_t
1784 trav = trav or TraversalState()
1785 heap_id = id(self)
1786 if heap_id in trav.seen:
1787 return hnode.AlreadySeen(heap_id)
1788 trav.seen[heap_id] = True
1789 out_node = NewRecord('value.Func')
1790 L = out_node.fields
1791
1792 x0 = NewLeaf(self.name, color_e.StringConst)
1793 L.append(Field('name', x0))
1794
1795 assert self.parsed is not None
1796 x1 = self.parsed.PrettyTree(trav=trav)
1797 L.append(Field('parsed', x1))
1798
1799 if self.pos_defaults is not None: # List
1800 x2 = hnode.Array([])
1801 for i2 in self.pos_defaults:
1802 h = (hnode.Leaf("_", color_e.OtherConst) if i2 is None else
1803 i2.PrettyTree(trav=trav))
1804 x2.children.append(h)
1805 L.append(Field('pos_defaults', x2))
1806
1807 if self.named_defaults is not None: # Dict
1808 m = hnode.Leaf("Dict", color_e.OtherConst)
1809 x3 = hnode.Array([m])
1810 for k3, v3 in self.named_defaults.iteritems():
1811 x3.children.append(NewLeaf(k3, color_e.StringConst))
1812 x3.children.append(v3.PrettyTree(trav=trav))
1813 L.append(Field('named_defaults', x3))
1814
1815 if self.module_ is not None: # Dict
1816 m = hnode.Leaf("Dict", color_e.OtherConst)
1817 x4 = hnode.Array([m])
1818 for k4, v4 in self.module_.iteritems():
1819 x4.children.append(NewLeaf(k4, color_e.StringConst))
1820 x4.children.append(v4.PrettyTree(trav=trav))
1821 L.append(Field('module_', x4))
1822
1823 return out_node
1824
1825 def _AbbreviatedTree(self, trav=None):
1826 # type: (Optional[TraversalState]) -> hnode_t
1827 trav = trav or TraversalState()
1828 heap_id = id(self)
1829 if heap_id in trav.seen:
1830 return hnode.AlreadySeen(heap_id)
1831 trav.seen[heap_id] = True
1832 out_node = NewRecord('value.Func')
1833 L = out_node.fields
1834 x0 = NewLeaf(self.name, color_e.StringConst)
1835 L.append(Field('name', x0))
1836
1837 assert self.parsed is not None
1838 x1 = self.parsed.AbbreviatedTree(trav=trav)
1839 L.append(Field('parsed', x1))
1840
1841 if self.pos_defaults is not None: # List
1842 x2 = hnode.Array([])
1843 for i2 in self.pos_defaults:
1844 h = (hnode.Leaf("_", color_e.OtherConst) if i2 is None else
1845 i2.AbbreviatedTree(trav=trav))
1846 x2.children.append(h)
1847 L.append(Field('pos_defaults', x2))
1848
1849 if self.named_defaults is not None: # Dict
1850 m = hnode.Leaf("Dict", color_e.OtherConst)
1851 x3 = hnode.Array([m])
1852 for k3, v3 in self.named_defaults.iteritems():
1853 x3.children.append(NewLeaf(k3, color_e.StringConst))
1854 x3.children.append(v3.AbbreviatedTree(trav=trav))
1855 L.append(Field('named_defaults', x3))
1856
1857 if self.module_ is not None: # Dict
1858 m = hnode.Leaf("Dict", color_e.OtherConst)
1859 x4 = hnode.Array([m])
1860 for k4, v4 in self.module_.iteritems():
1861 x4.children.append(NewLeaf(k4, color_e.StringConst))
1862 x4.children.append(v4.AbbreviatedTree(trav=trav))
1863 L.append(Field('module_', x4))
1864
1865 return out_node
1866
1867 def AbbreviatedTree(self, trav=None):
1868 # type: (Optional[TraversalState]) -> hnode_t
1869 return self._AbbreviatedTree(trav=trav)
1870
1871 class Slice(value_t):
1872 _type_tag = 27
1873 __slots__ = ('lower', 'upper')
1874
1875 def __init__(self, lower, upper):
1876 # type: (Optional[IntBox], Optional[IntBox]) -> None
1877 self.lower = lower
1878 self.upper = upper
1879
1880 @staticmethod
1881 def CreateNull(alloc_lists=False):
1882 # type: () -> value.Slice
1883 return value.Slice(cast('Optional[IntBox]', None), cast('Optional[IntBox]', None))
1884
1885 def PrettyTree(self, trav=None):
1886 # type: (Optional[TraversalState]) -> hnode_t
1887 trav = trav or TraversalState()
1888 heap_id = id(self)
1889 if heap_id in trav.seen:
1890 return hnode.AlreadySeen(heap_id)
1891 trav.seen[heap_id] = True
1892 out_node = NewRecord('value.Slice')
1893 L = out_node.fields
1894
1895 if self.lower is not None: # Optional
1896 x0 = self.lower.PrettyTree(trav=trav)
1897 L.append(Field('lower', x0))
1898
1899 if self.upper is not None: # Optional
1900 x1 = self.upper.PrettyTree(trav=trav)
1901 L.append(Field('upper', x1))
1902
1903 return out_node
1904
1905 def _AbbreviatedTree(self, trav=None):
1906 # type: (Optional[TraversalState]) -> hnode_t
1907 trav = trav or TraversalState()
1908 heap_id = id(self)
1909 if heap_id in trav.seen:
1910 return hnode.AlreadySeen(heap_id)
1911 trav.seen[heap_id] = True
1912 out_node = NewRecord('value.Slice')
1913 L = out_node.fields
1914 if self.lower is not None: # Optional
1915 x0 = self.lower.AbbreviatedTree(trav=trav)
1916 L.append(Field('lower', x0))
1917
1918 if self.upper is not None: # Optional
1919 x1 = self.upper.AbbreviatedTree(trav=trav)
1920 L.append(Field('upper', x1))
1921
1922 return out_node
1923
1924 def AbbreviatedTree(self, trav=None):
1925 # type: (Optional[TraversalState]) -> hnode_t
1926 return self._AbbreviatedTree(trav=trav)
1927
1928 class Range(value_t):
1929 _type_tag = 28
1930 __slots__ = ('lower', 'upper')
1931
1932 def __init__(self, lower, upper):
1933 # type: (int, int) -> None
1934 self.lower = lower
1935 self.upper = upper
1936
1937 @staticmethod
1938 def CreateNull(alloc_lists=False):
1939 # type: () -> value.Range
1940 return value.Range(-1, -1)
1941
1942 def PrettyTree(self, trav=None):
1943 # type: (Optional[TraversalState]) -> hnode_t
1944 trav = trav or TraversalState()
1945 heap_id = id(self)
1946 if heap_id in trav.seen:
1947 return hnode.AlreadySeen(heap_id)
1948 trav.seen[heap_id] = True
1949 out_node = NewRecord('value.Range')
1950 L = out_node.fields
1951
1952 x0 = hnode.Leaf(str(self.lower), color_e.OtherConst)
1953 L.append(Field('lower', x0))
1954
1955 x1 = hnode.Leaf(str(self.upper), color_e.OtherConst)
1956 L.append(Field('upper', x1))
1957
1958 return out_node
1959
1960 def _AbbreviatedTree(self, trav=None):
1961 # type: (Optional[TraversalState]) -> hnode_t
1962 trav = trav or TraversalState()
1963 heap_id = id(self)
1964 if heap_id in trav.seen:
1965 return hnode.AlreadySeen(heap_id)
1966 trav.seen[heap_id] = True
1967 out_node = NewRecord('value.Range')
1968 L = out_node.fields
1969 x0 = hnode.Leaf(str(self.lower), color_e.OtherConst)
1970 L.append(Field('lower', x0))
1971
1972 x1 = hnode.Leaf(str(self.upper), color_e.OtherConst)
1973 L.append(Field('upper', x1))
1974
1975 return out_node
1976
1977 def AbbreviatedTree(self, trav=None):
1978 # type: (Optional[TraversalState]) -> hnode_t
1979 return self._AbbreviatedTree(trav=trav)
1980
1981 pass
1982
1983class IntBox(pybase.CompoundObj):
1984 _type_tag = 64
1985 __slots__ = ('i',)
1986
1987 def __init__(self, i):
1988 # type: (int) -> None
1989 self.i = i
1990
1991 @staticmethod
1992 def CreateNull(alloc_lists=False):
1993 # type: () -> IntBox
1994 return IntBox(-1)
1995
1996 def PrettyTree(self, trav=None):
1997 # type: (Optional[TraversalState]) -> hnode_t
1998 trav = trav or TraversalState()
1999 heap_id = id(self)
2000 if heap_id in trav.seen:
2001 return hnode.AlreadySeen(heap_id)
2002 trav.seen[heap_id] = True
2003 out_node = NewRecord('IntBox')
2004 L = out_node.fields
2005
2006 x0 = hnode.Leaf(str(self.i), color_e.OtherConst)
2007 L.append(Field('i', x0))
2008
2009 return out_node
2010
2011 def _AbbreviatedTree(self, trav=None):
2012 # type: (Optional[TraversalState]) -> hnode_t
2013 trav = trav or TraversalState()
2014 heap_id = id(self)
2015 if heap_id in trav.seen:
2016 return hnode.AlreadySeen(heap_id)
2017 trav.seen[heap_id] = True
2018 out_node = NewRecord('IntBox')
2019 L = out_node.fields
2020 x0 = hnode.Leaf(str(self.i), color_e.OtherConst)
2021 L.append(Field('i', x0))
2022
2023 return out_node
2024
2025 def AbbreviatedTree(self, trav=None):
2026 # type: (Optional[TraversalState]) -> hnode_t
2027 return self._AbbreviatedTree(trav=trav)
2028
2029class ProcDefaults(pybase.CompoundObj):
2030 _type_tag = 65
2031 __slots__ = ('for_word', 'for_typed', 'for_named', 'for_block')
2032
2033 def __init__(self, for_word, for_typed, for_named, for_block):
2034 # type: (Optional[List[value_t]], Optional[List[value_t]], Optional[Dict[str, value_t]], Optional[value_t]) -> None
2035 self.for_word = for_word
2036 self.for_typed = for_typed
2037 self.for_named = for_named
2038 self.for_block = for_block
2039
2040 @staticmethod
2041 def CreateNull(alloc_lists=False):
2042 # type: () -> ProcDefaults
2043 return ProcDefaults(cast('Optional[List[value_t]]', None), cast('Optional[List[value_t]]', None), cast('Optional[Dict[str, value_t]]', None), cast('Optional[value_t]', None))
2044
2045 def PrettyTree(self, trav=None):
2046 # type: (Optional[TraversalState]) -> hnode_t
2047 trav = trav or TraversalState()
2048 heap_id = id(self)
2049 if heap_id in trav.seen:
2050 return hnode.AlreadySeen(heap_id)
2051 trav.seen[heap_id] = True
2052 out_node = NewRecord('ProcDefaults')
2053 L = out_node.fields
2054
2055 if self.for_word is not None: # List
2056 x0 = hnode.Array([])
2057 for i0 in self.for_word:
2058 h = (hnode.Leaf("_", color_e.OtherConst) if i0 is None else
2059 i0.PrettyTree(trav=trav))
2060 x0.children.append(h)
2061 L.append(Field('for_word', x0))
2062
2063 if self.for_typed is not None: # List
2064 x1 = hnode.Array([])
2065 for i1 in self.for_typed:
2066 h = (hnode.Leaf("_", color_e.OtherConst) if i1 is None else
2067 i1.PrettyTree(trav=trav))
2068 x1.children.append(h)
2069 L.append(Field('for_typed', x1))
2070
2071 if self.for_named is not None: # Dict
2072 m = hnode.Leaf("Dict", color_e.OtherConst)
2073 x2 = hnode.Array([m])
2074 for k2, v2 in self.for_named.iteritems():
2075 x2.children.append(NewLeaf(k2, color_e.StringConst))
2076 x2.children.append(v2.PrettyTree(trav=trav))
2077 L.append(Field('for_named', x2))
2078
2079 if self.for_block is not None: # Optional
2080 x3 = self.for_block.PrettyTree(trav=trav)
2081 L.append(Field('for_block', x3))
2082
2083 return out_node
2084
2085 def _AbbreviatedTree(self, trav=None):
2086 # type: (Optional[TraversalState]) -> hnode_t
2087 trav = trav or TraversalState()
2088 heap_id = id(self)
2089 if heap_id in trav.seen:
2090 return hnode.AlreadySeen(heap_id)
2091 trav.seen[heap_id] = True
2092 out_node = NewRecord('ProcDefaults')
2093 L = out_node.fields
2094 if self.for_word is not None: # List
2095 x0 = hnode.Array([])
2096 for i0 in self.for_word:
2097 h = (hnode.Leaf("_", color_e.OtherConst) if i0 is None else
2098 i0.AbbreviatedTree(trav=trav))
2099 x0.children.append(h)
2100 L.append(Field('for_word', x0))
2101
2102 if self.for_typed is not None: # List
2103 x1 = hnode.Array([])
2104 for i1 in self.for_typed:
2105 h = (hnode.Leaf("_", color_e.OtherConst) if i1 is None else
2106 i1.AbbreviatedTree(trav=trav))
2107 x1.children.append(h)
2108 L.append(Field('for_typed', x1))
2109
2110 if self.for_named is not None: # Dict
2111 m = hnode.Leaf("Dict", color_e.OtherConst)
2112 x2 = hnode.Array([m])
2113 for k2, v2 in self.for_named.iteritems():
2114 x2.children.append(NewLeaf(k2, color_e.StringConst))
2115 x2.children.append(v2.AbbreviatedTree(trav=trav))
2116 L.append(Field('for_named', x2))
2117
2118 if self.for_block is not None: # Optional
2119 x3 = self.for_block.AbbreviatedTree(trav=trav)
2120 L.append(Field('for_block', x3))
2121
2122 return out_node
2123
2124 def AbbreviatedTree(self, trav=None):
2125 # type: (Optional[TraversalState]) -> hnode_t
2126 return self._AbbreviatedTree(trav=trav)
2127
2128class LeftName(y_lvalue_t, sh_lvalue_t):
2129 _type_tag = 66
2130 __slots__ = ('name', 'blame_loc')
2131
2132 def __init__(self, name, blame_loc):
2133 # type: (str, loc_t) -> None
2134 self.name = name
2135 self.blame_loc = blame_loc
2136
2137 @staticmethod
2138 def CreateNull(alloc_lists=False):
2139 # type: () -> LeftName
2140 return LeftName('', cast(loc_t, None))
2141
2142 def PrettyTree(self, trav=None):
2143 # type: (Optional[TraversalState]) -> hnode_t
2144 trav = trav or TraversalState()
2145 heap_id = id(self)
2146 if heap_id in trav.seen:
2147 return hnode.AlreadySeen(heap_id)
2148 trav.seen[heap_id] = True
2149 out_node = NewRecord('LeftName')
2150 L = out_node.fields
2151
2152 x0 = NewLeaf(self.name, color_e.StringConst)
2153 L.append(Field('name', x0))
2154
2155 assert self.blame_loc is not None
2156 x1 = self.blame_loc.PrettyTree(trav=trav)
2157 L.append(Field('blame_loc', x1))
2158
2159 return out_node
2160
2161 def _AbbreviatedTree(self, trav=None):
2162 # type: (Optional[TraversalState]) -> hnode_t
2163 trav = trav or TraversalState()
2164 heap_id = id(self)
2165 if heap_id in trav.seen:
2166 return hnode.AlreadySeen(heap_id)
2167 trav.seen[heap_id] = True
2168 out_node = NewRecord('LeftName')
2169 L = out_node.fields
2170 x0 = NewLeaf(self.name, color_e.StringConst)
2171 L.append(Field('name', x0))
2172
2173 assert self.blame_loc is not None
2174 x1 = self.blame_loc.AbbreviatedTree(trav=trav)
2175 L.append(Field('blame_loc', x1))
2176
2177 return out_node
2178
2179 def AbbreviatedTree(self, trav=None):
2180 # type: (Optional[TraversalState]) -> hnode_t
2181 return self._AbbreviatedTree(trav=trav)
2182
2183class RegexMatch(regex_match_t, value_t):
2184 _type_tag = 67
2185 __slots__ = ('s', 'indices', 'ops')
2186
2187 def __init__(self, s, indices, ops):
2188 # type: (str, List[int], eggex_ops_t) -> None
2189 self.s = s
2190 self.indices = indices
2191 self.ops = ops
2192
2193 @staticmethod
2194 def CreateNull(alloc_lists=False):
2195 # type: () -> RegexMatch
2196 return RegexMatch('', [] if alloc_lists else cast('List[int]', None), cast(eggex_ops_t, None))
2197
2198 def PrettyTree(self, trav=None):
2199 # type: (Optional[TraversalState]) -> hnode_t
2200 trav = trav or TraversalState()
2201 heap_id = id(self)
2202 if heap_id in trav.seen:
2203 return hnode.AlreadySeen(heap_id)
2204 trav.seen[heap_id] = True
2205 out_node = NewRecord('RegexMatch')
2206 L = out_node.fields
2207
2208 x0 = NewLeaf(self.s, color_e.StringConst)
2209 L.append(Field('s', x0))
2210
2211 if self.indices is not None: # List
2212 x1 = hnode.Array([])
2213 for i1 in self.indices:
2214 x1.children.append(hnode.Leaf(str(i1), color_e.OtherConst))
2215 L.append(Field('indices', x1))
2216
2217 assert self.ops is not None
2218 x2 = self.ops.PrettyTree(trav=trav)
2219 L.append(Field('ops', x2))
2220
2221 return out_node
2222
2223 def _AbbreviatedTree(self, trav=None):
2224 # type: (Optional[TraversalState]) -> hnode_t
2225 trav = trav or TraversalState()
2226 heap_id = id(self)
2227 if heap_id in trav.seen:
2228 return hnode.AlreadySeen(heap_id)
2229 trav.seen[heap_id] = True
2230 out_node = NewRecord('RegexMatch')
2231 L = out_node.fields
2232 x0 = NewLeaf(self.s, color_e.StringConst)
2233 L.append(Field('s', x0))
2234
2235 if self.indices is not None: # List
2236 x1 = hnode.Array([])
2237 for i1 in self.indices:
2238 x1.children.append(hnode.Leaf(str(i1), color_e.OtherConst))
2239 L.append(Field('indices', x1))
2240
2241 assert self.ops is not None
2242 x2 = self.ops.AbbreviatedTree(trav=trav)
2243 L.append(Field('ops', x2))
2244
2245 return out_node
2246
2247 def AbbreviatedTree(self, trav=None):
2248 # type: (Optional[TraversalState]) -> hnode_t
2249 return self._AbbreviatedTree(trav=trav)
2250
2251class Dict_(value_t):
2252 _type_tag = 68
2253 __slots__ = ('d', 'prototype')
2254
2255 def __init__(self, d, prototype):
2256 # type: (Dict[str, value_t], Optional[Dict_]) -> None
2257 self.d = d
2258 self.prototype = prototype
2259
2260 @staticmethod
2261 def CreateNull(alloc_lists=False):
2262 # type: () -> Dict_
2263 return Dict_(cast('Dict[str, value_t]', None), cast('Optional[Dict_]', None))
2264
2265 def PrettyTree(self, trav=None):
2266 # type: (Optional[TraversalState]) -> hnode_t
2267 trav = trav or TraversalState()
2268 heap_id = id(self)
2269 if heap_id in trav.seen:
2270 return hnode.AlreadySeen(heap_id)
2271 trav.seen[heap_id] = True
2272 out_node = NewRecord('Dict_')
2273 L = out_node.fields
2274
2275 if self.d is not None: # Dict
2276 m = hnode.Leaf("Dict", color_e.OtherConst)
2277 x0 = hnode.Array([m])
2278 for k0, v0 in self.d.iteritems():
2279 x0.children.append(NewLeaf(k0, color_e.StringConst))
2280 x0.children.append(v0.PrettyTree(trav=trav))
2281 L.append(Field('d', x0))
2282
2283 if self.prototype is not None: # Optional
2284 x1 = self.prototype.PrettyTree(trav=trav)
2285 L.append(Field('prototype', x1))
2286
2287 return out_node
2288
2289 def _AbbreviatedTree(self, trav=None):
2290 # type: (Optional[TraversalState]) -> hnode_t
2291 trav = trav or TraversalState()
2292 heap_id = id(self)
2293 if heap_id in trav.seen:
2294 return hnode.AlreadySeen(heap_id)
2295 trav.seen[heap_id] = True
2296 out_node = NewRecord('Dict_')
2297 L = out_node.fields
2298 if self.d is not None: # Dict
2299 m = hnode.Leaf("Dict", color_e.OtherConst)
2300 x0 = hnode.Array([m])
2301 for k0, v0 in self.d.iteritems():
2302 x0.children.append(NewLeaf(k0, color_e.StringConst))
2303 x0.children.append(v0.AbbreviatedTree(trav=trav))
2304 L.append(Field('d', x0))
2305
2306 if self.prototype is not None: # Optional
2307 x1 = self.prototype.AbbreviatedTree(trav=trav)
2308 L.append(Field('prototype', x1))
2309
2310 return out_node
2311
2312 def AbbreviatedTree(self, trav=None):
2313 # type: (Optional[TraversalState]) -> hnode_t
2314 return self._AbbreviatedTree(trav=trav)
2315