Why Gemfury?
Push, build, and install
RubyGems
npm packages
Python packages
Maven artifacts
PHP packages
Go Modules
Debian packages
RPM packages
NuGet packages
doctorondemand
doctorondemand / Pygments python
Repository URL to install this package:
|
Version:
2.5.0 ▾
|
]q (cpygments.token
_TokenType
qX KeywordqX Namespaceqq
qq}q(X subtypesqcbuiltins
set
q ]q
q Rq X parentq
hh
q
qq}q(hh ]q(hhX Wordqq
qq}q(hh ]q
qRqh
hubhhhq
q q }q (hh ]q
q Rq!h
hubhhX Typeq"q#
q$q%}q&(hh ]q'
q(Rq)h
hubhhX PreProcq*q+
q,q-}q.(hh ]q/
q0Rq1h
hubhhX Controlq2q3
q4q5}q6(hh ]q7
q8Rq9h
hubhhX Constantq:q;
q<q=}q>(hh ]q?
q@RqAh
hubhhhX PseudoqBqC
qDqE}qF(hh ]qG
qHRqIh
hubhhX DeclarationqJqK
qLqM}qN(hh ]qO
qPRqQh
hubhhX ReservedqRqS
qTqU}qV(hh ]qW
qXRqYh
hube
qZRq[h
h)
q\q]}q^(hh ]q_(hX Escapeq`
qa
qbqc}qd(hh ]qe
qfRqgh
h]ubhX Operatorqh
qi
qjqk}ql(hh ]qm(hhhX DBSqnqo
qpqq}qr(hh ]qs
qtRquh
hkubhhhhqv
qwqx}qy(hh ]qz
q{Rq|h
hkube
q}Rq~h
h]hhxhnhqubhX Nameq
q
qq}q(hh ]q(hhX Tagq
q
qq}q(hh ]q
qRqh
hubhhX Entityqq
qq}q(hh ]qhhhhnq
qq}q(hh ]q
qRqh
huba
qRqh
hhnhubhhX Exceptionqq
qq}q (hh ]q¡
q¢Rq£h
hubhhX Decoratorq¤q¥
q¦q§}q¨(hh ]q©
qªRq«h
hubhhX Classq¬q
q®q¯}q°(hh ]q±(hhh¬hnq²
q³q´}qµ(hh ]q¶
q·Rq¸h
h¯ubhhh¬X Startq¹qº
q»q¼}q½(hh ]q¾
q¿RqÀh
h¯ube
qÁRqÂh
hh¹h¼hnh´ubhhX VariableqÆqąqŁqÆ}qÇ(hh ]qÈ(hhhÃX AnonymousqɇqʅqˁqÌ}qÍ(hh ]q΅qÏRqÐh
hÆubhhhÃh¬qхqҁqÓ}qÔ(hh ]qՅqÖRq×h
hÆubhhhÃX Magicq؇qمqځqÛ}qÜ(hh ]q݅qÞRqßh
hÆubhhhÃX Globalqàqá
qâqã}qä(hh ]qå
qæRqçh
hÆubhhhÃX Instanceqèqé
qêqë}qì(hh ]qí
qîRqïh
hÆube
qðRqñh
hh¬hÓhàhãhèhëhØhÛhÉhÌubhhX Attributeqòqó
qôqõ}qö(hh ]q÷hhhòhÇqø
qùqú}qû(hh ]qü
qýRqþh
hõuba
qÿRr h
hhÃhúubhhhr
r r }r (hh ]r
r Rr h
hubhhX Propertyr r
r
r }r (hh ]r
r Rr h
hubhhX Symbolr r
r r }r (hh ]r
r Rr h
hubhhX Classesr r
r r }r (hh ]r
r Rr h
hubhhhBr
r! r" }r# (hh ]r$
r% Rr& h
hubhhX Labelr' r(
r) r* }r+ (hh ]r,
r- Rr. h
hubhhhhr/
r0 r1 }r2 (hh ]r3
r4 Rr5 h
hubhhX Builtinr6 r7
r8 r9 }r: (hh ]r; (hhj6 hBr<
r= r> }r? (hh ]r@
rA RrB h
j9 ubhhj6 h"rC
rD rE }rF (hh ]rG
rH RrI h
j9 ube
rJ RrK h
hhBj> h"jE ubhhX FieldrL rM
rN rO }rP (hh ]rQ
rR RrS h
hubhhX OtherrT rU
rV rW }rX (hh ]rY hhjT X MemberrZ r[
r\ r] }r^ (hh ]r_
r` Rra h
jW uba
rb Rrc h
hjZ j] ubhhX Functionrd re
rf rg }rh (hh ]ri hhjd h؇rj
rk rl }rm (hh ]rn
ro Rrp h
jg uba
rq Rrr h
hhØjl ubhhh"rs
rt ru }rv (hh ]rw
rx Rry h
hubhhh:rz
r{ r| }r} (hh ]r~
r Rr h
hube
r Rr h
h]hòhõj6 j9 h¬h¯h:j| h¤h§hhhhjd jg j j j' j* hj jT jW h
hhÃhÆjL jO j j hBj" hhj1 j j h"ju ubhX Literalr
r
r
r }r (hh ]r (hj jT r
r r }r (hh ]r
r Rr h
j ubhj X Charr r
r r }r (hh ]r
r Rr h
j ubhj X Dater r
r r }r (hh ]r
r Rr h
j ubhj X Scalarr r¡
r¢ r£ }r¤ (hh ]r¥ hj j X Plainr¦ r§
r¨ r© }rª (hh ]r«
r¬ Rr h
j£ uba
r® Rr¯ h
j j¦ j© ubhj X Stringr° r±
r² r³ }r´ (hh ]rµ (hj j° X Interpolr¶ r·
r¸ r¹ }rº (hh ]r»
r¼ Rr½ h
j³ ubhj j° X Delimeterr¾ r¿
rÀ rÁ }r (hh ]rÃ
rÄ RrÅ h
j³ ubhj j° j rÆ
rÇ rÈ }rÉ (hh ]rÊ
rË RrÌ h
j³ ubhj j° j rÍ
rÎ rÏ }rÐ (hh ]rÑ
rÒ RrÓ h
j³ ubhj j° X SinglerÔ rÕ
rÖ r× }rØ (hh ]rÙ
rÚ RrÛ h
j³ ubhj j° jT rÜ
rÝ rÞ }rß (hh ]rà
rá Rrâ h
j³ ubhj j° X Backtickrã rä
rå ræ }rç (hh ]rè
ré Rrê h
j³ ubhj j° h`rë
rì rí }rî (hh ]rï
rð Rrñ h
j³ ubhj j° X Regexrò ró
rô rõ }rö (hh ]r÷
rø Rrù h
j³ ubhj j° X Momentrú rû
rü rý }rþ (hh ]rÿ
r Rr h
j³ ubhj j° X Booleanr r
r r }r (hh ]r
r Rr h
j³ ubhj j° X Characterr
r
r r
}r (hh ]r
r Rr h
j³ ubhj j° X Delimiterr r
r r }r (hh ]r
r Rr h
j³ ubhj j° X Docr r
r r }r (hh ]r
r Rr! h
j³ ubhj j° hr"
r# r$ }r% (hh ]r&
r' Rr( h
j³ ubhj j° X Affixr) r*
r+ r, }r- (hh ]r.
r/ Rr0 h
j³ ubhj j° X Heredocr1 r2
r3 r4 }r5 (hh ]r6
r7 Rr8 h
j³ ubhj j° X Doubler9 r:
r; r< }r= (hh ]r>
r? Rr@ h
j³ ubhj j° X InterprA rB
rC rD }rE (hh ]rF
rG RrH h
j³ ubhj j° X AtomrI rJ
rK rL }rM (hh ]rN
rO RrP h
j³ ube
rQ RrR h
j j) j, jã jæ j jÈ j j j j j9 j< h`jí j1 j4 j¶ j¹ jT jÞ jò jõ jÔ j× j jÏ j
j
jú jý jA jD j j j¾ jÁ jI jL hj$ ubhj X NumberrS rT
rU rV }rW (hh ]rX (hj jS X FloatrY rZ
r[ r\ }r] (hh ]r^
r_ Rr` h
jV ubhj jS X Decra rb
rc rd }re (hh ]rf
rg Rrh h
jV ubhj jS X Radixri rj
rk rl }rm (hh ]rn
ro Rrp h
jV ubhj jS X Octrq rr
rs rt }ru (hh ]rv
rw Rrx h
jV ubhj jS X Binry rz
r{ r| }r} (hh ]r~
r Rr h
jV ubhj jS hòr
r r }r (hh ]r
r Rr h
jV ubhj jS X Hexr r
r r }r (hh ]r
r Rr h
jV ubhj jS X Integerr r
r r }r (hh ]r h(j jS j X Longr tr
r r }r (hh ]r
r Rr h
j uba
r Rr h
jV j j ubhj jS X Decimalr r¡
r¢ r£ }r¤ (hh ]r¥
r¦ Rr§ h
jV ube
r¨ Rr© h
j jy j| jY j\ j j j j jq jt ji jl hòj j j£ ja jd ube
rª Rr« h
h]j° j³ jS jV j j j j£ jT j j j ubhX Genericr¬
r
r® r¯ }r° (hh ]r± (hj¬ X Errorr² r³
r´ rµ }r¶ (hh ]r·
r¸ Rr¹ h
j¯ ubhj¬ X
Subheadingrº r»
r¼ r½ }r¾ (hh ]r¿
rÀ RrÁ h
j¯ ubhj¬ X Tracebackr rÃ
rÄ rÅ }rÆ (hh ]rÇ
rÈ RrÉ h
j¯ ubhj¬ X OutputrÊ rË
rÌ rÍ }rÎ (hh ]rÏ
rÐ RrÑ h
j¯ ubhj¬ X PromptrÒ rÓ
rÔ rÕ }rÖ (hh ]r×
rØ RrÙ h
j¯ ubhj¬ X DeletedrÚ rÛ
rÜ rÝ }rÞ (hh ]rß
rà Rrá h
j¯ ubhj¬ X Insertedrâ rã
rä rå }ræ (hh ]rç
rè Rré h
j¯ ubhj¬ X Headingrê rë
rì rí }rî (hh ]rï
rð Rrñ h
j¯ ubhj¬ X Strongrò ró
rô rõ }rö (hh ]r÷
rø Rrù h
j¯ ubhj¬ X Emphrú rû
rü rý }rþ (hh ]rÿ
r Rr h
j¯ ube
r Rr h
h]jÚ jÝ jú jý j² jµ jê jí jâ jå jÊ jÍ jÒ jÕ jò jõ jº j½ j jÅ ubhj²
r
r r }r (hh ]r
r Rr
h
h]ubhhjT
r
r r
}r (hh ]r
r Rr h
h]ubhX Textr
r
r r }r (hh ]r (hj X Rootr r
r r }r (hh ]r
r Rr h
j ubhj j r
r! r" }r# (hh ]r$
r% Rr& h
j ubhj X Ragr' r(
r) r* }r+ (hh ]r,
r- Rr. h
j ubhj X
Whitespacer/ r0
r1 r2 }r3 (hh ]r4
r5 Rr6 h
j ubhj X Beerr7 r8
r9 r: }r; (hh ]r<
r= Rr> h
j ubhj X Punctuationr? r@
rA rB }rC (hh ]rD
rE RrF h
j ube
rG RrH h
h]j/ j2 j j" j? jB j j j7 j: j' j* ubhX CommentrI
rJ
rK rL }rM (hh ]rN (hjI X PreprocrO rP
rQ rR }rS (hh ]rT
rU RrV h
jL ubhjI X MultirW rX
rY rZ }r[ (hh ]r\
r] Rr^ h
jL ubhjI X Hashbangr_ r`
ra rb }rc (hh ]rd
re Rrf h
jL ubhjI jÔ rg
rh ri }rj (hh ]rk
rl Rrm h
jL ubhjI X
SingleLinern ro
rp rq }rr (hh ]rs
rt Rru h
jL ubhjI j rv
rw rx }ry (hh ]rz
r{ Rr| h
jL ubhjI X Directiver} r~
r r }r (hh ]r
r Rr h
jL ubhjI X Multiliner
r
r r }r (hh ]r
r Rr h
jL ubhjI X
Singleliner r
r r }r (hh ]r
r Rr h
jL ubhjI X PreprocFiler r
r r }r (hh ]r
r Rr h
jL ubhjI X Specialr r
r r }r¡ (hh ]r¢
r£ Rr¤ h
jL ube
r¥ Rr¦ h
h]j_ jb j
j jO jR j j jÔ ji j j j} j jn jq j jx jW jZ j j ubhj?
r§
r¨ r© }rª (hh ]r« hj? X Indicatorr¬ r
r® r¯ }r° (hh ]r±
r² Rr³ h
j© uba
r´ Rrµ h
h]j¬ j¯ ube
r¶ Rr· j j h`hcj² j jT j
hhhhj j j? j© hhhkjI jL j¬ j¯ X Tokenr¸ h]j° j³ jS jV ubh:h=hJhMhhhBhEhRhUh"h%h2h5hh h*h-hhububX moduler¹ rº j X r» r¼ hX examplesr½ r¾ hkX /r¿ rÀ hX systemsrÁ r hkj¿ rà hX viewsrÄ rÅ j X
rÆ rÇ j jÆ rÈ j X /*
* Model of views in object-oriented programming.
*
* Two object references, called the view and the backing,
* are related by a view mechanism when changes to the
* backing are automatically propagated to the view. Note
* that the state of a view need not be a projection of the
* state of the backing; the keySet method of Map, for
* example, produces two view relationships, and for the
* one in which the map is modified by changes to the key
* set, the value of the new map cannot be determined from
* the key set. Note that in the iterator view mechanism,
* the iterator is by this definition the backing object,
* since changes are propagated from iterator to collection
* and not vice versa. Oddly, a reference may be a view of
* more than one backing: there can be two iterators on the
* same collection, eg. A reference cannot be a view under
* more than one view type.
*
* A reference is made dirty when it is a backing for a view
* with which it is no longer related by the view invariant.
* This usually happens when a view is modified, either
* directly or via another backing. For example, changing a
* collection directly when it has an iterator invalidates
* it, as does changing the collection through one iterator
* when there are others.
*
* More work is needed if we want to model more closely the
* failure of an iterator when its collection is invalidated.
*
* As a terminological convention, when there are two
* complementary view relationships, we will give them types
* t and t'. For example, KeySetView propagates from map to
* set, and KeySetView' propagates from set to map.
*
* author: Daniel Jackson
*/rÉ rÊ j jÆ rË j jÆ rÌ hX openrÍ rÎ j j» rÏ hX utilrÐ rÑ hkj¿ rÒ hX orderingrÓ rÔ hkX [rÕ rÖ hX Stater× rØ hkX ]rÙ rÚ j j» rÛ hX asrÜ rÝ j j» rÞ hX sorß rà j jÆ rá hX openrâ rã j j» rä hX utilrå ræ hkj¿ rç hX relationrè ré j j» rê hX asrë rì j j» rí hX relrî rï j jÆ rð j jÆ rñ hMX sigrò ró j j» rô hX Refrõ rö j j» r÷ hkX {rø rù hkX }rú rû j jÆ rü hMX sigrý rþ j j» rÿ hX Objectr r j j» r hkjø r hkjú r j jÆ r j jÆ r ji X9 -- t->b->v in views when v is view of type t of backing br r j jÆ r ji X1 -- dirty contains refs that have been invalidatedr
r j jÆ r hMX sigr
r j j» r hX Stater r j j» r hkjø r j jÆ r j X r r hX refsr r j© X :r r j j» r hX setr r j j» r hX Refr r j© X ,r! r" j jÆ r# j X r$ r% hX objr& r' j© j r( j j» r) hX refsr* r+ j j» r, hkX ->r- r. j j» r/ hX oner0 r1 j j» r2 hX Objectr3 r4 j© j! r5 j jÆ r6 j X r7 r8 hX viewsr9 r: j© j r; j j» r< hX ViewTyper= r> j j» r? hkX ->r@ rA j j» rB hX refsrC rD j j» rE hkX ->rF rG j j» rH hX refsrI rJ j© j! rK j jÆ rL j X rM rN hX dirtyrO rP j© j rQ j j» rR hX setrS rT j j» rU hX refsrV rW j jÆ rX ji X/ -- , anyviews: Ref -> Ref -- for visualizationrY rZ j jÆ r[ j X r\ r] hkjú r^ j jÆ r_ ji X -- {anyviews = ViewType.views}r` ra j jÆ rb j jÆ rc hMX sigrd re j j» rf hX Maprg rh j j» ri hX extendsrj rk j j» rl hX Objectrm rn j j» ro hkjø rp j jÆ rq j X rr rs hX keysrt ru j© j rv j j» rw hX setrx ry j j» rz hX Refr{ r| j© j! r} j jÆ r~ j X r r hX mapr r j© j r j j» r hX keysr
r j j» r hkX ->r r j j» r hX oner r j j» r hX Refr r j jÆ r j X r r hkjú r hkjø r hX allr r j j» r hX sr r j© j r j j» r hX Stater r j j» r hkX |r r j X r¡ r¢ hX keysr£ r¤ j j» r¥ hkX +r¦ r§ j j» r¨ hX Refr© rª hkX .r« r¬ hX mapr r® j j» r¯ hxX inr° r± j j» r² hj r³ hkj« r´ hX refsrµ r¶ hkjú r· j jÆ r¸ hMX sigr¹ rº j j» r» hX MapRefr¼ r½ j j» r¾ hX extendsr¿ rÀ j j» rÁ hX Refr rà j j» rÄ hkjø rÅ hkjú rÆ j jÆ rÇ hX factrÈ rÉ j j» rÊ hkjø rË hX StaterÌ rÍ hkj« rÎ hX objrÏ rÐ hkjÕ rÑ hX MapRefrÒ rÓ hkjÙ rÔ j j» rÕ hxX inrÖ r× j j» rØ hX MaprÙ rÚ hkjú rÛ j jÆ rÜ j jÆ rÝ hMX sigrÞ rß j j» rà hX Iteratorrá râ j j» rã hX extendsrä rå j j» ræ hX Objectrç rè j j» ré hkjø rê j jÆ rë j X rì rí hX leftrî rï j© j! rð j j» rñ hX donerò ró j© j rô j j» rõ hX setrö r÷ j j» rø hX Refrù rú j© j! rû j jÆ rü j X rý rþ hX lastRefrÿ r j© j r j j» r hX loner r j j» r hX doner r j jÆ r j X r r
hkjú r hkjø r hX allr
r j j» r hj r j© j r j j» r hX Stater r j j» r hkj r j j» r hX doner r j j» r hkj¦ r j j» r hX leftr r j j» r hkj¦ r j j» r! hX lastRefr" r# j j» r$ hxX inr% r& j j» r' hj r( hkj« r) hX refsr* r+ hkjú r, j jÆ r- hMX sigr. r/ j j» r0 hX IteratorRefr1 r2 j j» r3 hX extendsr4 r5 j j» r6 hX Refr7 r8 j j» r9 hkjø r: hkjú r; j jÆ r< hX factr= r> j j» r? hkjø r@ hX StaterA rB hkj« rC hX objrD rE hkjÕ rF hX IteratorRefrG rH hkjÙ rI j j» rJ hxX inrK rL j j» rM hX IteratorrN rO hkjú rP j jÆ rQ j jÆ rR hMX sigrS rT j j» rU hX SetrV rW j j» rX hX extendsrY rZ j j» r[ hX Objectr\ r] j j» r^ hkjø r_ j jÆ r` j X ra rb hX eltsrc rd j© j re j j» rf hX setrg rh j j» ri hX Refrj rk j jÆ rl j X rm rn hkjú ro hkjø rp hX allrq rr j j» rs hj rt j© j ru j j» rv hX Staterw rx j j» ry hkj rz j j» r{ hX eltsr| r} j j» r~ hxX inr r j j» r hj r hkj« r hX refsr r
hkjú r j jÆ r hMX sigr r j j» r hX SetRefr r j j» r hX extendsr r j j» r hX Refr r j j» r hkjø r hkjú r j jÆ r hX factr r j j» r hkjø r hX Stater r hkj« r hX objr r hkjÕ r hX SetRefr¡ r¢ hkjÙ r£ j j» r¤ hxX inr¥ r¦ j j» r§ hX Setr¨ r© hkjú rª j jÆ r« j jÆ r¬ hX abstractr r® j j» r¯ hMX sigr° r± j j» r² hX ViewTyper³ r´ j j» rµ hkjø r¶ hkjú r· j jÆ r¸ hX oner¹ rº j j» r» hMX sigr¼ r½ j j» r¾ hX
KeySetViewr¿ rÀ j© j! rÁ j j» r hX KeySetView'rà rÄ j© j! rÅ j j» rÆ hX IteratorViewrÇ rÈ j j» rÉ hX extendsrÊ rË j j» rÌ hX ViewTyperÍ rÎ j j» rÏ hkjø rÐ hkjú rÑ j jÆ rÒ hX factrÓ rÔ j j» rÕ hX ViewTypesrÖ r× j j» rØ hkjø rÙ j jÆ rÚ j X rÛ rÜ hX StaterÝ rÞ hkj« rß hX viewsrà rá hkjÕ râ hX
KeySetViewrã rä hkjÙ rå j j» ræ hxX inrç rè j j» ré hX MapRefrê rë j j» rì hkX ->rí rî j j» rï hX SetRefrð rñ j jÆ rò j X ró rô hX Staterõ rö hkj« r÷ hX viewsrø rù hkjÕ rú hX KeySetView'rû rü hkjÙ rý j j» rþ hxX inrÿ r j j» r hX SetRefr r j j» r hkX ->r r j j» r hX MapRefr r j jÆ r
j X r r hX Stater
r hkj« r hX viewsr r hkjÕ r hX IteratorViewr r hkjÙ r j j» r hxX inr r j j» r hX IteratorRefr r j j» r hkX ->r r j j» r hX SetRefr r! j jÆ r" j X r# r$ hX allr% r& j j» r' hj r( j© j r) j j» r* hX Stater+ r, j j» r- hkj r. j j» r/ hj r0 hkj« r1 hX viewsr2 r3 hkjÕ r4 hX
KeySetViewr5 r6 hkjÙ r7 j j» r8 hkX =r9 r: j j» r; hkX ~r< r= hkX (r> r? hj r@ hkj« rA hX viewsrB rC hkjÕ rD hX KeySetView'rE rF hkjÙ rG hkX )rH rI j jÆ rJ j X rK rL hkjú rM j jÆ rN j jÆ rO j X» /**
* mods is refs modified directly or by view mechanism
* doesn't handle possibility of modifying an object and its view at once?
* should we limit frame conds to non-dirty refs?
*/rP rQ j jÆ rR hX predrS rT j j» rU hX modifiesrV rW j j» rX hkjÕ rY hX prerZ r[ j© j! r\ j j» r] hX postr^ r_ j© j r` j j» ra hX Staterb rc j© j! rd j j» re hX rsrf rg j© j rh j j» ri hX setrj rk j j» rl hX Refrm rn hkjÙ ro j j» rp hkjø rq j jÆ rr j X rs rt hX letru rv j j» rw hX vrrx ry j j» rz hkj9 r{ j j» r| hX prer} r~ hkj« r hX viewsr r hkjÕ r hX ViewTyper r hkjÙ r
j© j! r j j» r hX modsr r j j» r hkj9 r j j» r hX rsr r hkj« r hkX *r r hX vrr r j j» r hkjø r j jÆ r j X r r hX allr r j j» r hX rr r j© j r j j» r hX prer r¡ hkj« r¢ hX refsr£ r¤ j j» r¥ hkX -r¦ r§ j j» r¨ hX modsr© rª j j» r« hkj r¬ j j» r hX prer® r¯ hkj« r° hX objr± r² hkjÕ r³ hj r´ hkjÙ rµ j j» r¶ hkj9 r· j j» r¸ hX postr¹ rº hkj« r» hX objr¼ r½ hkjÕ r¾ hj r¿ hkjÙ rÀ j jÆ rÁ j X r rà hX allrÄ rÅ j j» rÆ hX brÇ rÈ j© j rÉ j j» rÊ hX modsrË rÌ j© j! rÍ j j» rÎ hX vrÏ rÐ j© j rÑ j j» rÒ hX prerÓ rÔ hkj« rÕ hX refsrÖ r× j© j! rØ j j» rÙ hX trÚ rÛ j© j rÜ j j» rÝ hX ViewTyperÞ rß j j» rà hkj rá j jÆ râ j X rã rä hjÇ rå hkX ->ræ rç hjÏ rè j j» ré hxX inrê rë j j» rì hX prerí rî hkj« rï hX viewsrð rñ hkjÕ rò hjÚ ró hkjÙ rô j j» rõ hkj9 rö hkX >r÷ rø j j» rù hX viewFramerú rû j j» rü hkjÕ rý hjÚ rþ j© j! rÿ j j» r hX prer r hkj« r hX objr r hkjÕ r hjÏ r hkjÙ r j© j! r j j» r
hX postr r hkj« r
hX objr r hkjÕ r hjÏ r hkjÙ r j© j! r j j» r hX postr r hkj« r hX objr r hkjÕ r hjÇ r hkjÙ r hkjÙ r j jÆ r j X r r hX postr! r" hkj« r# hX dirtyr$ r% j j» r& hkj9 r' j j» r( hX prer) r* hkj« r+ hX dirtyr, r- j j» r. hkj¦ r/ j jÆ r0 j X r1 r2 hkjø r3 hjÇ r4 j© j r5 j j» r6 hX prer7 r8 hkj« r9 hX refsr: r; j j» r< hkj r= j j» r> hX somer? r@ j j» rA hjÏ rB j© j rC j j» rD hX RefrE rF j© j! rG j j» rH hjÚ rI j© j rJ j j» rK hX ViewTyperL rM j j» rN hkj rO j jÆ rP j X
rQ rR hjÇ rS hkX ->rT rU hjÏ rV j j» rW hxX inrX rY j j» rZ hX prer[ r\ hkj« r] hX viewsr^ r_ hkjÕ r` hjÚ ra hkjÙ rb j j» rc hkX &&rd re j j» rf hkX !rg rh hX viewFrameri rj j j» rk hkjÕ rl hjÚ rm j© j! rn j j» ro hX prerp rq hkj« rr hX objrs rt hkjÕ ru hjÏ rv hkjÙ rw j© j! rx j j» ry hX postrz r{ hkj« r| hX objr} r~ hkjÕ r hjÏ r hkjÙ r j© j! r j j» r hX postr r
hkj« r hX objr r hkjÕ r hjÇ r hkjÙ r hkjÙ r j jÆ r j X r r hkjú r j jÆ r j X r r hkjú r j jÆ r j X r r hkjú r j jÆ r j jÆ r hX predr r j j» r hX allocatesr r j j» r hkjÕ r¡ hX prer¢ r£ j© j! r¤ j j» r¥ hX postr¦ r§ j© j r¨ j j» r© hX Staterª r« j© j! r¬ j j» r hX rsr® r¯ j© j r° j j» r± hX setr² r³ j j» r´ hX Refrµ r¶ hkjÙ r· j j» r¸ hkjø r¹ j jÆ rº j X r» r¼ hX nor½ r¾ j j» r¿ hX rsrÀ rÁ j j» r hkX &rà rÄ j j» rÅ hX prerÆ rÇ hkj« rÈ hX refsrÉ rÊ j jÆ rË j X rÌ rÍ hX postrÎ rÏ hkj« rÐ hX refsrÑ rÒ j j» rÓ hkj9 rÔ j j» rÕ hX prerÖ r× hkj« rØ hX refsrÙ rÚ j j» rÛ hkj¦ rÜ j j» rÝ hX rsrÞ rß j jÆ rà j X rá râ hkjú rã j jÆ rä j jÆ rå j Xs /**
* models frame condition that limits change to view object from v to v' when backing object changes to b'
*/ræ rç j jÆ rè hX predré rê j j» rë hX viewFramerì rí j j» rî hkjÕ rï hjÚ rð j© j rñ j j» rò hX ViewTyperó rô j© j! rõ j j» rö hjÏ r÷ j© j! rø j j» rù hX v'rú rû j© j! rü j j» rý hX b'rþ rÿ j© j r j j» r hX Objectr r hkjÙ r j j» r hkjø r j jÆ r j X r r hjÚ r
j j» r hxX inr r
j j» r hX
KeySetViewr r j j» r hkj9 r hkj÷ r j j» r hX v'r r hkj« r hX eltsr r j j» r hkj9 r j j» r hX domr r j j» r hkjÕ r hX b'r! r" hkj« r# hX mapr$ r% hkjÙ r& j jÆ r' j X r( r) hjÚ r* j j» r+ hxX inr, r- j j» r. hX KeySetView'r/ r0 j j» r1 hkj9 r2 hkj÷ r3 j j» r4 hX b'r5 r6 hkj« r7 hX eltsr8 r9 j j» r: hkj9 r; j j» r< hX domr= r> j j» r? hkjÕ r@ hX v'rA rB hkj« rC hX maprD rE hkjÙ rF j jÆ rG j X rH rI hjÚ rJ j j» rK hxX inrL rM j j» rN hX KeySetView'rO rP j j» rQ hkj9 rR hkj÷ rS j j» rT hkj> rU hX b'rV rW hkj« rX hX eltsrY rZ hkjH r[ j j» r\ hkX <r] r^ j© j r_ j j» r` hkj> ra hjÏ rb hkj« rc hX maprd re hkjH rf j j» rg hkj9 rh j j» ri hkj> rj hX b'rk rl hkj« rm hX eltsrn ro hkjH rp j j» rq hkj] rr j© j rs j j» rt hkj> ru hX v'rv rw hkj« rx hX mapry rz hkjH r{ j jÆ r| j X r} r~ hjÚ r j j» r hxX inr r j j» r hX IteratorViewr r
j j» r hkj9 r hkj÷ r j j» r hX v'r r hkj« r hX eltsr r j j» r hkj9 r j j» r hX b'r r hkj« r hX leftr r j j» r hkj¦ r j j» r hX b'r r hkj« r hX doner r j jÆ r j X r r¡ hkjú r¢ j jÆ r£ j jÆ r¤ hX predr¥ r¦ j j» r§ hX MapRefr¨ r© hkj« rª hX keySetr« r¬ j j» r hkjÕ r® hX prer¯ r° j© j! r± j j» r² hX postr³ r´ j© j rµ j j» r¶ hX Stater· r¸ j© j! r¹ j j» rº hX setRefsr» r¼ j© j r½ j j» r¾ hX SetRefr¿ rÀ hkjÙ rÁ j j» r hkjø rà j jÆ rÄ j X rÅ rÆ hX postrÇ rÈ hkj« rÉ hX objrÊ rË hkjÕ rÌ hX setRefsrÍ rÎ hkjÙ rÏ hkj« rÐ hX eltsrÑ rÒ j j» rÓ hkj9 rÔ j j» rÕ hX domrÖ r× j j» rØ hkjÕ rÙ hX prerÚ rÛ hkj« rÜ hX objrÝ rÞ hkjÕ rß hX thisrà rá hkjÙ râ hkj« rã hX maprä rå hkjÙ ræ j jÆ rç j X rè ré hX modifiesrê rë j j» rì hkjÕ rí hX prerî rï j© j! rð j j» rñ hX postrò ró j© j! rô j j» rõ h=X nonerö r÷ hkjÙ rø j jÆ rù j X rú rû hX allocatesrü rý j j» rþ hkjÕ rÿ hX prer r j© j! r j j» r hX postr r j© j! r j j» r hX setRefsr r hkjÙ r
j jÆ r j X r r
hX postr r hkj« r hX viewsr r j j» r hkj9 r j j» r e(hX prer r hkj« r hX viewsr r j j» r hkj¦ r j j» r hX
KeySetViewr r hkX ->r r! hX thisr" r# hkX ->r$ r% hX setRefsr& r' j j» r( hkj¦ r) j j» r* hX KeySetView'r+ r, hkX ->r- r. hX setRefsr/ r0 hkX ->r1 r2 hX thisr3 r4 j jÆ r5 j X r6 r7 hkjú r8 j jÆ r9 j jÆ r: hX predr; r< j j» r= hX MapRefr> r? hkj« r@ hX putrA rB j j» rC hkjÕ rD hX prerE rF j© j! rG j j» rH hX postrI rJ j© j rK j j» rL hX StaterM rN j© j! rO j j» rP hX krQ rR j© j! rS j j» rT hjÏ rU j© j rV j j» rW hX RefrX rY hkjÙ rZ j j» r[ hkjø r\ j jÆ r] j X r^ r_ hX postr` ra hkj« rb hX objrc rd hkjÕ re hX thisrf rg hkjÙ rh hkj« ri hX maprj rk j j» rl hkj9 rm j j» rn hX prero rp hkj« rq hX objrr rs hkjÕ rt hX thisru rv hkjÙ rw hkj« rx hX mapry rz j j» r{ hkX ++r| r} j j» r~ hjQ r hkX ->r r hjÏ r j jÆ r j X r r
hX modifiesr r j j» r hkjÕ r hX prer r j© j! r j j» r hX postr r j© j! r j j» r hX thisr r hkjÙ r j jÆ r j X r r hX allocatesr r j j» r hkjÕ r hX prer r j© j! r j j» r hX postr r¡ j© j! r¢ j j» r£ h=X noner¤ r¥ hkjÙ r¦ j jÆ r§ j X r¨ r© hX postrª r« hkj« r¬ hX viewsr r® j j» r¯ hkj9 r° j j» r± hX prer² r³ hkj« r´ hX viewsrµ r¶ j jÆ r· j X r¸ r¹ hkjú rº j jÆ r» j jÆ r¼ hX predr½ r¾ j j» r¿ hX SetRefrÀ rÁ hkj« r hX iteratorrà rÄ j j» rÅ hkjÕ rÆ hX prerÇ rÈ j© j! rÉ j j» rÊ hX postrË rÌ j© j rÍ j j» rÎ hX StaterÏ rÐ j© j! rÑ j j» rÒ hX iterRefrÓ rÔ j© j rÕ j j» rÖ hX IteratorRefr× rØ hkjÙ rÙ j j» rÚ hkjø rÛ j jÆ rÜ j X rÝ rÞ hX letrß rà j j» rá hX irâ rã j j» rä hkj9 rå j j» ræ hX postrç rè hkj« ré hX objrê rë hkjÕ rì hX iterRefrí rî hkjÙ rï j j» rð hkjø rñ j jÆ rò j X ró rô hjâ rõ hkj« rö hX leftr÷ rø j j» rù hkj9 rú j j» rû hX prerü rý hkj« rþ hX objrÿ r
hkjÕ r
hX thisr
r
hkjÙ r
hkj« r
hX eltsr
r
j jÆ r
j X r
r
hX nor
r
j j» r
hjâ r
hkj« r
hX doner
r
j j» r
hkj¦ r
j j» r
hjâ r
hkj« r
hX lastRefr
r
j jÆ r
j X r
r
hkjú r
j jÆ r
j X r
r
hX modifiesr
r!
j j» r"
hkjÕ r#
hX prer$
r%
j© j! r&
hX postr'
r(
j© j! r)
h=X noner*
r+
hkjÙ r,
j jÆ r-
j X r.
r/
hX allocatesr0
r1
j j» r2
hkjÕ r3
hX prer4
r5
j© j! r6
j j» r7
hX postr8
r9
j© j! r:
j j» r;
hX iterRefr<
r=
hkjÙ r>
j jÆ r?
j X r@
rA
hX postrB
rC
hkj« rD
hX viewsrE
rF
j j» rG
hkj9 rH
j j» rI
hX prerJ
rK
hkj« rL
hX viewsrM
rN
j j» rO
hkj¦ rP
j j» rQ
hX IteratorViewrR
rS
hkX ->rT
rU
hX iterRefrV
rW
hkX ->rX
rY
hX thisrZ
r[
j jÆ r\
j X r]
r^
hkjú r_
j jÆ r`
j jÆ ra
hX predrb
rc
j j» rd
hX IteratorRefre
rf
hkj« rg
hX removerh
ri
j j» rj
hkjÕ rk
hX prerl
rm
j© j! rn
j j» ro
hX postrp
rq
j© j rr
j j» rs
hX Statert
ru
hkjÙ rv
j j» rw
hkjø rx
j jÆ ry
j X rz
r{
hX letr|
r}
j j» r~
hjâ r
j j» r
hkj9 r
j j» r
hX prer
r
hkj« r
hX objr
r
hkjÕ r
hX thisr
r
hkjÙ r
j© j! r
j j» r
hX i'r
r
j j» r
hkj9 r
j j» r
hX postr
r
hkj« r
hX objr
r
hkjÕ r
hX thisr
r
hkjÙ r
j j» r
hkjø r
j jÆ r
j X r
r
hX i'r¡
r¢
hkj« r£
hX leftr¤
r¥
j j» r¦
hkj9 r§
j j» r¨
hjâ r©
hkj« rª
hX leftr«
r¬
j jÆ r
j X r®
r¯
hX i'r°
r±
hkj« r²
hX doner³
r´
j j» rµ
hkj9 r¶
j j» r·
hjâ r¸
hkj« r¹
hX donerº
r»
j j» r¼
hkj¦ r½
j j» r¾
hjâ r¿
hkj« rÀ
hX lastRefrÁ
rÂ
j jÆ rÃ
j X rÄ
rÅ
hX norÆ
rÇ
j j» rÈ
hX i'rÉ
rÊ
hkj« rË
hX lastRefrÌ
rÍ
j jÆ rÎ
j X rÏ
rÐ
hkjú rÑ
j jÆ rÒ
j X rÓ
rÔ
hX modifiesrÕ
rÖ
j j» r×
hkjÕ rØ
hX prerÙ
rÚ
j© j! rÛ
hX postrÜ
rÝ
j© j! rÞ
hX thisrß
rà
hkjÙ rá
j jÆ râ
j X rã
rä
hX allocatesrå
ræ
j j» rç
hkjÕ rè
hX preré
rê
j© j! rë
j j» rì
hX postrí
rî
j© j! rï
j j» rð
h=X nonerñ
rò
hkjÙ ró
j jÆ rô
j X rõ
rö
hX prer÷
rø
hkj« rù
hX viewsrú
rû
j j» rü
hkj9 rý
j j» rþ
hX postrÿ
r hkj« r hX viewsr r j jÆ r j X r r hkjú r j jÆ r j jÆ r hX predr
r j j» r hX IteratorRefr
r hkj« r hX nextr r j j» r hkjÕ r hX prer r j© j! r j j» r hX postr r j© j r j j» r hX Stater r j© j! r j j» r hX refr r! j© j r" j j» r# hX Refr$ r% hkjÙ r& j j» r' hkjø r( j jÆ r) j X r* r+ hX letr, r- j j» r. hjâ r/ j j» r0 hkj9 r1 j j» r2 hX prer3 r4 hkj« r5 hX objr6 r7 hkjÕ r8 hX thisr9 r: hkjÙ r; j© j! r< j j» r= hX i'r> r? j j» r@ hkj9 rA j j» rB hX postrC rD hkj« rE hX objrF rG hkjÕ rH hX thisrI rJ hkjÙ rK j j» rL hkjø rM j jÆ rN j X rO rP hX refrQ rR j j» rS hxX inrT rU j j» rV hjâ rW hkj« rX hX leftrY rZ j jÆ r[ j X r\ r] hX i'r^ r_ hkj« r` hX leftra rb j j» rc hkj9 rd j j» re hjâ rf hkj« rg hX leftrh ri j j» rj hkj¦ rk j j» rl hX refrm rn j jÆ ro j X rp rq hX i'rr rs hkj« rt hX doneru rv j j» rw hkj9 rx j j» ry hjâ rz hkj« r{ hX doner| r} j j» r~ hkj¦ r j j» r hX refr r j jÆ r j X r r
hX i'r r hkj« r hX lastRefr r j j» r hkj9 r j j» r hX refr r j jÆ r j X r r hkjú r j jÆ r j X r r hX modifiesr r j j» r hkjÕ r hX prer r j© j! r j j» r hX postr r j© j! r¡ j j» r¢ hX thisr£ r¤ hkjÙ r¥ j jÆ r¦ j X r§ r¨ hX allocatesr© rª j j» r« hkjÕ r¬ hX prer r® j© j! r¯ j j» r° hX postr± r² j© j! r³ j j» r´ h=X nonerµ r¶ hkjÙ r· j jÆ r¸ j X r¹ rº hX prer» r¼ hkj« r½ hX viewsr¾ r¿ j j» rÀ hkj9 rÁ j j» r hX postrà rÄ hkj« rÅ hX viewsrÆ rÇ j jÆ rÈ j X rÉ rÊ hkjú rË j jÆ rÌ j jÆ rÍ hX predrÎ rÏ j j» rÐ hX IteratorRefrÑ rÒ hkj« rÓ hX hasNextrÔ rÕ j j» rÖ hkjÕ r× hj rØ j© j rÙ j j» rÚ hX StaterÛ rÜ hkjÙ rÝ j j» rÞ hkjø rß j jÆ rà j X rá râ hX somerã rä j j» rå hj ræ hkj« rç hX objrè ré hkjÕ rê hX thisrë rì hkjÙ rí hkj« rî hX leftrï rð j jÆ rñ j X rò ró hkjú rô j jÆ rõ j jÆ rö hX assertr÷ rø j j» rù hX zippishOKrú rû j j» rü hkjø rý j jÆ rþ j X rÿ r hX allr r j jÆ r j X r r hX ksr r j© j! r j j» r hX vsr
r j© j r j j» r
hX SetRefr r j© j! r j jÆ r j X r r hX mr r j© j r j j» r hX MapRefr r j© j! r j jÆ r j X r r hX kir r j© j! r j j» r! hX vir" r# j© j r$ j j» r% hX IteratorRefr& r' j© j! r( j jÆ r) j X r* r+ hjQ r, j© j! r- j j» r. hjÏ r/ j© j r0 j j» r1 hX Refr2 r3 j j» r4 hkj r5 j jÆ r6 j X r7 r8 hX letr9 r: j j» r; hX s0r< r= hkj9 r> hX sor? r@ hkj¿ rA hX firstrB rC j© j! rD j jÆ rE j X rF rG hX s1rH rI hkj9 rJ hX sorK rL hkj¿ rM hX nextrN rO hkjÕ rP hX s0rQ rR hkjÙ rS j© j! rT j jÆ rU j X rV rW hX s2rX rY hkj9 rZ hX sor[ r\ hkj¿ r] hX nextr^ r_ hkjÕ r` hX s1ra rb hkjÙ rc j© j! rd j jÆ re j X rf rg hX s3rh ri hkj9 rj hX sork rl hkj¿ rm hX nextrn ro hkjÕ rp hX s2rq rr hkjÙ rs j© j! rt j jÆ ru j X rv rw hX s4rx ry hkj9 rz hX sor{ r| hkj¿ r} hX nextr~ r hkjÕ r hX s3r r hkjÙ r j© j! r j jÆ r
j X r r hX s5r r hkj9 r hX sor r hkj¿ r hX nextr r hkjÕ r hX s4r r hkjÙ r j© j! r j jÆ r j X r r hX s6r r hkj9 r hX sor r hkj¿ r hX nextr r hkjÕ r hX s5r¡ r¢ hkjÙ r£ j© j! r¤ j jÆ r¥ j X r¦ r§ hX s7r¨ r© hkj9 rª hX sor« r¬ hkj¿ r hX nextr® r¯ hkjÕ r° hX s6r± r² hkjÙ r³ j j» r´ hkj rµ j jÆ r¶ j X r· r¸ hkj> r¹ hkjø rº j jÆ r» j X r¼ r½ hX preconditionr¾ r¿ j j» rÀ hkjÕ rÁ hX s0r rà j© j! rÄ j j» rÅ hX ksrÆ rÇ j© j! rÈ j j» rÉ hX vsrÊ rË j© j! rÌ j j» rÍ hj rÎ hkjÙ rÏ j jÆ rÐ j X rÑ rÒ hX norÓ rÔ j j» rÕ hX s0rÖ r× hkj« rØ hX dirtyrÙ rÚ j jÆ rÛ j X rÜ rÝ hX ksrÞ rß hkj« rà hX iteratorrá râ j j» rã hkjÕ rä hX s0rå ræ j© j! rç j j» rè hX s1ré rê j© j! rë j j» rì hX kirí rî hkjÙ rï j jÆ rð j X rñ rò hX vsró rô hkj« rõ hX iteratorrö r÷ j j» rø hkjÕ rù hX s1rú rû j© j! rü j j» rý hX s2rþ rÿ j© j! r
j j» r
hX vir
r
hkjÙ r
j jÆ r
j X r
r
hX kir
r
hkj« r
hX hasNextr
r
j j» r
hkjÕ r
hX s2r
r
hkjÙ r
j jÆ r
j X r
r
hX vir
r
hkj« r
hX hasNextr
r
j j» r
hkjÕ r
hX s2r
r
hkjÙ r
j jÆ r
j X r
r!
hX kir"
r#
hkj« r$
hX thisr%
r&
hkj¿ r'
hX nextr(
r)
j j» r*
hkjÕ r+
hX s2r,
r-
j© j! r.
j j» r/
hX s3r0
r1
j© j! r2
j j» r3
hjQ r4
hkjÙ r5
j jÆ r6
j X r7
r8
hX vir9
r:
hkj« r;
hX thisr<
r=
hkj¿ r>
hX nextr?
r@
j j» rA
hkjÕ rB
hX s3rC
rD
j© j! rE
j j» rF
hX s4rG
rH
j© j! rI
j j» rJ
hjÏ rK
hkjÙ rL
j jÆ rM
j X rN
rO
hj rP
hkj« rQ
hX putrR
rS
j j» rT
hkjÕ rU
hX s4rV
rW
j© j! rX
j j» rY
hX s5rZ
r[
j© j! r\
j j» r]
hjQ r^
j© j! r_
j j» r`
hjÏ ra
hkjÙ rb
j jÆ rc
j X rd
re
hX kirf
rg
hkj« rh
hX removeri
rj
j j» rk
hkjÕ rl
hX s5rm
rn
j© j! ro
j j» rp
hX s6rq
rr
hkjÙ rs
j jÆ rt
j X ru
rv
hX virw
rx
hkj« ry
hX removerz
r{
j j» r|
hkjÕ r}
hX s6r~
r
j© j! r
j j» r
hX s7r
r
hkjÙ r
j jÆ r
j X r
r
hkjú r
j j» r
hkj9 r
hkj÷ r
j j» r
hX nor
r
j j» r
hX Stater
r
hkj« r
hX dirtyr
r
hkjH r
j jÆ r
j X r
r
hkjú r
j jÆ r
j jÆ r
hX predr
r
j j» r
hX preconditionr
r
j j» r¡
hkjÕ r¢
hX prer£
r¤
j© j r¥
j j» r¦
hX Stater§
r¨
j© j! r©
j j» rª
hX ksr«
r¬
j© j! r
j j» r®
hX vsr¯
r°
j© j! r±
j j» r²
hj r³
j© j r´
j j» rµ
hX Refr¶
r·
hkjÙ r¸
j j» r¹
hkjø rº
j jÆ r»
j X r¼
r½
ji XI // all these conditions and other errors discovered in scope of 6 but 8,3r¾
r¿
j jÆ rÀ
j X rÁ
rÂ
ji X3 // in initial state, must have view invariants holdrÃ
rÄ
j jÆ rÅ
j X rÆ
rÇ
hkj> rÈ
hX allrÉ
rÊ
j j» rË
hjÚ rÌ
j© j rÍ
j j» rÎ
hX ViewTyperÏ
rÐ
j© j! rÑ
j j» rÒ
hjÇ rÓ
j© j! rÔ
j j» rÕ
hjÏ rÖ
j© j r×
j j» rØ
hX prerÙ
rÚ
hkj« rÛ
hX refsrÜ
rÝ
j j» rÞ
hkj rß
j jÆ rà
j X rá
râ
hjÇ rã
hkX ->rä
rå
hjÏ ræ
j j» rç
hxX inrè
ré
j j» rê
hX prerë
rì
hkj« rí
hX viewsrî
rï
hkjÕ rð
hjÚ rñ
hkjÙ rò
j j» ró
hkj9 rô
hkj÷ rõ
j j» rö
hX viewFramer÷
rø
j j» rù
hkjÕ rú
hjÚ rû
j© j! rü
j j» rý
hX prerþ
rÿ
hkj« r hX objr r hkjÕ r hjÏ r hkjÙ r j© j! r j j» r hX prer r hkj« r
hX objr r hkjÕ r
hjÏ r hkjÙ r j© j! r j j» r hX prer r hkj« r hX objr r hkjÕ r hjÇ r hkjÙ r hkjÙ r hkjH r j jÆ r j X r r ji X // sets are not aliasesr r j jÆ r! ji X -- ks != vsr" r# j jÆ r$ j X r% r& ji X // sets are not views of mapr' r( j jÆ r) ji X& -- no (ks+vs)->m & ViewType.pre.viewsr* r+ j jÆ r, j X r- r. ji X& // no iterator currently on either setr/ r0 j jÆ r1 ji X( -- no Ref->(ks+vs) & ViewType.pre.viewsr2 r3 j jÆ r4 j X r5 r6 hkjú r7 j jÆ r8 j jÆ r9 hX checkr: r; j j» r< hX zippishOKr= r> j j» r? hX forr@ rA j j» rB j X 6rC rD j j» rE hX butrF rG j j» rH j X 8rI rJ j j» rK hX StaterL rM j© j! rN j j» rO j X 3rP rQ j j» rR hX ViewTyperS rT j j» rU hX expectrV rW j j» rX j X 1rY rZ j jÆ r[ j jÆ r\ j X1 /**
* experiment with controlling heap size
*/r] r^ j jÆ r_ hX factr` ra j j» rb hkjø rc hX allrd re j j» rf hj rg j© j rh j j» ri hX Staterj rk j j» rl hkj rm j j» rn hkX #ro rp hj rq hkj« rr e(hX objrs rt j j» ru hkj] rv j j» rw j X 5rx ry hkjú rz j jÆ r{ e.